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
253600

org.sat4j.csp.main.SimpleCallback

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.addEffectiveParameter(int)CORRECTNESSNP_ALWAYS_NULL317High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.addEffectiveParameter(String)CORRECTNESSNP_ALWAYS_NULL306High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.addFormalParameter(String, String)CORRECTNESSNP_ALWAYS_NULL223High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.addVariableToConstraint(String)CORRECTNESSNP_ALWAYS_NULL295High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginConstraint(String, int)CORRECTNESSNP_ALWAYS_NULL274High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginConstraintsSection(int)CORRECTNESSNP_ALWAYS_NULL260High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginDomain(String, int)CORRECTNESSNP_ALWAYS_NULL59High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginDomainsSection(int)CORRECTNESSNP_ALWAYS_NULL46High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginInstance(String)CORRECTNESSNP_ALWAYS_NULL34High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginPredicate(String)CORRECTNESSNP_ALWAYS_NULL211High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginPredicatesSection(int)CORRECTNESSNP_ALWAYS_NULL200High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginRelationsSection(int)CORRECTNESSNP_ALWAYS_NULL140High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.beginVariablesSection(int)CORRECTNESSNP_ALWAYS_NULL108High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.constraintExpression(String)CORRECTNESSNP_ALWAYS_NULL328High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.constraintReference(String)CORRECTNESSNP_ALWAYS_NULL285High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endConstraint()CORRECTNESSNP_ALWAYS_NULL335High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endConstraintsSection()CORRECTNESSNP_ALWAYS_NULL342High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endDomain()CORRECTNESSNP_ALWAYS_NULL89High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endDomainsSection()CORRECTNESSNP_ALWAYS_NULL96High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endInstance()CORRECTNESSNP_ALWAYS_NULL382High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endPredicate()CORRECTNESSNP_ALWAYS_NULL240High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endPredicatesSection()CORRECTNESSNP_ALWAYS_NULL247High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endRelationsSection()CORRECTNESSNP_ALWAYS_NULL188High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.endVariablesSection()CORRECTNESSNP_ALWAYS_NULL128High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.SimpleCallback.predicateExpression(String)CORRECTNESSNP_ALWAYS_NULL233High

org.sat4j.csp.main.Test

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.Test.main(String[])CORRECTNESSNP_ALWAYS_NULL37High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.main.Test.main(String[])CORRECTNESSNP_ALWAYS_NULL40High

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_EXIT92Medium
org.sat4j.csp.xml.InstanceParser.fatalError(SAXParseException) invoque System.exit(...), qui stoppe toute la JVMBAD_PRACTICEDM_EXIT104Medium
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.xml.InstanceParser.error(SAXParseException)CORRECTNESSNP_ALWAYS_NULL87High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.xml.InstanceParser.fatalError(SAXParseException)CORRECTNESSNP_ALWAYS_NULL99High
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.xml.InstanceParser.warning(SAXParseException)CORRECTNESSNP_ALWAYS_NULL111High

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