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 | 202 | Low |
| 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 | 189 | 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 | 364 | Low |
