FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.3.6

Threshold is Low

Effort is Default

Summary

Classes Bugs Errors Missing Classes
158 8 0 0

Files

Class Bugs
org.sat4j.csp.EnumeratedDomain 1
org.sat4j.csp.Predicate 2
org.sat4j.csp.constraints.Supports 2
org.sat4j.reader.CSPReader 3

org.sat4j.csp.EnumeratedDomain

Bug Category Details Line Priority
new org.sat4j.csp.EnumeratedDomain(int[]) may expose internal representation by storing an externally mutable object into EnumeratedDomain.values MALICIOUS_CODE EI_EXPOSE_REP2 31 Medium

org.sat4j.csp.Predicate

Bug Category Details Line Priority
Predicate.encoding not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low
Predicate.myscript not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low

org.sat4j.csp.constraints.Supports

Bug Category Details Line Priority
Supports.encoding not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low
Supports.mtuple not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low

org.sat4j.reader.CSPReader

Bug Category Details Line Priority
CSPReader.currentclausifiable not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low
CSPReader.currentdomain not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low
CSPReader.currentpredicate not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low