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
50 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
Domain.allValues not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available

org.sat4j.csp.xml.Functional

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

org.sat4j.csp.xml.InstanceParser

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

org.sat4j.csp.xml.Parameters

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

org.sat4j.csp.xml.Relation

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