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
312300

org.sat4j.csp.CSPLauncher

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.CSPLauncher.usage()CORRECTNESSNP_ALWAYS_NULL100High

org.sat4j.csp.EnumeratedDomain

BugCategoryDetailsLinePriority
La méthode new org.sat4j.csp.EnumeratedDomain(int[]) risque d'exposer sa représentation interne en stockant un objet externe modifiable dans org.sat4j.csp.EnumeratedDomain.valuesMALICIOUS_CODEEI_EXPOSE_REP230Medium

org.sat4j.reader.CSPReader

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode new org.sat4j.reader.CSPReader(ISolver, boolean)CORRECTNESSNP_ALWAYS_NULL113High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.addVariable(String, String)CORRECTNESSNP_ALWAYS_NULL316High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginConstraint(String, int)CORRECTNESSNP_ALWAYS_NULL421High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginConstraintsSection(int)CORRECTNESSNP_ALWAYS_NULL410High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginDomainsSection(int)CORRECTNESSNP_ALWAYS_NULL255High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginInstance(String)CORRECTNESSNP_ALWAYS_NULL251High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginPredicate(String)CORRECTNESSNP_ALWAYS_NULL384High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginPredicatesSection(int)CORRECTNESSNP_ALWAYS_NULL377High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginRelation(String, int, int, boolean)CORRECTNESSNP_ALWAYS_NULL349High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginRelationsSection(int)CORRECTNESSNP_ALWAYS_NULL340High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginVariablesSection(int)CORRECTNESSNP_ALWAYS_NULL306High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endConstraintsSection()CORRECTNESSNP_ALWAYS_NULL493High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endConstraintsSection()CORRECTNESSNP_ALWAYS_NULL495High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endDomainsSection()CORRECTNESSNP_ALWAYS_NULL302High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endPredicatesSection()CORRECTNESSNP_ALWAYS_NULL402High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endPredicatesSection()CORRECTNESSNP_ALWAYS_NULL405High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endRelationsSection()CORRECTNESSNP_ALWAYS_NULL369High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endRelationsSection()CORRECTNESSNP_ALWAYS_NULL372High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endVariablesSection()CORRECTNESSNP_ALWAYS_NULL324High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endVariablesSection()CORRECTNESSNP_ALWAYS_NULL326High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endConstraint()CORRECTNESSNP_ALWAYS_NULL486Medium