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 |
|---|---|---|---|---|
| Transtypage non vérifié/non confirmé de java.math.BigInteger vers forcedValue dans org.sat4j.maxsat.MinCostDecorator.forceObjectiveValueTo(Number) | STYLE | BC_UNCONFIRMED_CAST | 214 | Low |
| Method org.sat4j.maxsat.MinCostDecorator.calculateObjective() invokes inefficient new Integer(int) constructor; use Integer.valueOf(int) instead | PERFORMANCE | DM_NUMBER_CTOR | 165 | Medium |
| La méthode org.sat4j.maxsat.MinCostDecorator.model() risque d'exposer sa représentation interne en renvoyant org.sat4j.maxsat.MinCostDecorator.prevmodel | MALICIOUS_CODE | EI_EXPOSE_REP | 200 | Medium |
| La classe org.sat4j.maxsat.MinCostDecorator définit le champ d'instance org.sat4j.maxsat.MinCostDecorator.prevConstr non transient et non sérialisable | BAD_PRACTICE | SE_BAD_FIELD | Medium | |
| Le champ n'est pas initialisé dans le constructeur org.sat4j.maxsat.MinCostDecorator.costs | STYLE | UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Transtypage non vérifié/non confirmé de java.math.BigInteger vers forcedValue dans org.sat4j.maxsat.WeightedMaxSatDecorator.forceObjectiveValueTo(Number) | STYLE | BC_UNCONFIRMED_CAST | 452 | Low |
