FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.3.8

Threshold is Low

Effort is Default

Summary

Classes Bugs Errors Missing Classes
97 6 0 0

Files

Class Bugs
org.sat4j.csp.xml.Domain 1
org.sat4j.csp.xml.Functional 1
org.sat4j.csp.xml.InstanceParser 2
org.sat4j.csp.xml.Parameters 1
org.sat4j.csp.xml.Relation 1

org.sat4j.csp.xml.Domain

Bug Category Details Line Priority
Domain.allValues not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low

org.sat4j.csp.xml.Functional

Bug Category Details Line Priority
Functional.expr not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low

org.sat4j.csp.xml.InstanceParser

Bug Category Details Line Priority
org.sat4j.csp.xml.InstanceParser.error(SAXParseException) invokes System.exit(...), which shuts down the entire virtual machine BAD_PRACTICE DM_EXIT 83 Medium
org.sat4j.csp.xml.InstanceParser.fatalError(SAXParseException) invokes System.exit(...), which shuts down the entire virtual machine BAD_PRACTICE DM_EXIT 95 Medium

org.sat4j.csp.xml.Parameters

Bug Category Details Line Priority
Parameters.allParameters not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low

org.sat4j.csp.xml.Relation

Bug Category Details Line Priority
Relation.allTuples not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low