The following document contains the results of FindBugs Report
FindBugs Version is 1.3.9
Threshold is low
Effort is min
Bug | Category | Details | Line | Priority |
---|---|---|---|---|
Déréférencement d'un pointeur null dans la méthode org.sat4j.csp.CSPLauncher.usage() | CORRECTNESS | NP_ALWAYS_NULL | 100 | High |
Bug | Category | Details | Line | Priority |
---|---|---|---|---|
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.values | MALICIOUS_CODE | EI_EXPOSE_REP2 | 30 | Medium |
Bug | Category | Details | Line | Priority |
---|---|---|---|---|
Déréférencement d'un pointeur null dans la méthode new org.sat4j.reader.CSPReader(ISolver, boolean) | CORRECTNESS | NP_ALWAYS_NULL | 113 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.addVariable(String, String) | CORRECTNESS | NP_ALWAYS_NULL | 316 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginConstraint(String, int) | CORRECTNESS | NP_ALWAYS_NULL | 421 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginConstraintsSection(int) | CORRECTNESS | NP_ALWAYS_NULL | 410 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginDomainsSection(int) | CORRECTNESS | NP_ALWAYS_NULL | 255 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginInstance(String) | CORRECTNESS | NP_ALWAYS_NULL | 251 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginPredicate(String) | CORRECTNESS | NP_ALWAYS_NULL | 384 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginPredicatesSection(int) | CORRECTNESS | NP_ALWAYS_NULL | 377 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginRelation(String, int, int, boolean) | CORRECTNESS | NP_ALWAYS_NULL | 349 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginRelationsSection(int) | CORRECTNESS | NP_ALWAYS_NULL | 340 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.beginVariablesSection(int) | CORRECTNESS | NP_ALWAYS_NULL | 306 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endConstraintsSection() | CORRECTNESS | NP_ALWAYS_NULL | 493 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endConstraintsSection() | CORRECTNESS | NP_ALWAYS_NULL | 495 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endDomainsSection() | CORRECTNESS | NP_ALWAYS_NULL | 302 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endPredicatesSection() | CORRECTNESS | NP_ALWAYS_NULL | 402 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endPredicatesSection() | CORRECTNESS | NP_ALWAYS_NULL | 405 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endRelationsSection() | CORRECTNESS | NP_ALWAYS_NULL | 369 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endRelationsSection() | CORRECTNESS | NP_ALWAYS_NULL | 372 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endVariablesSection() | CORRECTNESS | NP_ALWAYS_NULL | 324 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endVariablesSection() | CORRECTNESS | NP_ALWAYS_NULL | 326 | High |
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.CSPReader.endConstraint() | CORRECTNESS | NP_ALWAYS_NULL | 486 | Medium |