FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.3.9

Threshold is low

Effort is min

Summary

ClassesBugsErrorsMissing Classes
25600

org.sat4j.csp.xml.Domain

BugCategoryDetailsLinePriority
Le champ n'est pas initialisé dans le constructeur org.sat4j.csp.xml.Domain.allValuesSTYLEUWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTORLow

org.sat4j.csp.xml.Functional

BugCategoryDetailsLinePriority
Le champ n'est pas initialisé dans le constructeur org.sat4j.csp.xml.Functional.exprSTYLEUWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTORLow

org.sat4j.csp.xml.InstanceParser

BugCategoryDetailsLinePriority
org.sat4j.csp.xml.InstanceParser.error(SAXParseException) invoque System.exit(...), qui stoppe toute la JVMBAD_PRACTICEDM_EXIT83Medium
org.sat4j.csp.xml.InstanceParser.fatalError(SAXParseException) invoque System.exit(...), qui stoppe toute la JVMBAD_PRACTICEDM_EXIT95Medium

org.sat4j.csp.xml.Parameters

BugCategoryDetailsLinePriority
Le champ n'est pas initialisé dans le constructeur org.sat4j.csp.xml.Parameters.allParametersSTYLEUWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTORLow

org.sat4j.csp.xml.Relation

BugCategoryDetailsLinePriority
Le champ n'est pas initialisé dans le constructeur org.sat4j.csp.xml.Relation.allTuplesSTYLEUWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTORLow