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 |
|---|---|---|---|---|
| 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 |
|---|---|---|---|---|
| Method org.sat4j.csp.encodings.BinarySupportEncoding.generateClauses(Evaluable, Map, ISolver) invokes inefficient new Integer(int) constructor; use Integer.valueOf(int) instead | PERFORMANCE | DM_NUMBER_CTOR | 90 | Medium |
