FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.2.1

Threshold is Low

Effort is Default

Summary

Classes Bugs Errors Missing Classes
98 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
org.sat4j.csp.EnumeratedDomain.EnumeratedDomain(int[]) may expose internal representation by storing an externally mutable object into EnumeratedDomain.values MALICIOUS_CODE EI_EXPOSE_REP2 31

org.sat4j.csp.Predicate

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

org.sat4j.csp.constraints.Supports

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

org.sat4j.reader.CSPReader

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