The following document contains the results of FindBugs Report
FindBugs Version is 1.3.9
Threshold is low
Effort is min
| Class | Bugs |
|---|---|
| org.sat4j.maxsat.GenericOptLauncher | 1 |
| org.sat4j.maxsat.MinCostDecorator | 4 |
| org.sat4j.maxsat.WeightedMaxSatDecorator | 3 |
| org.sat4j.maxsat.reader.WDimacsReader | 1 |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| org.sat4j.maxsat.GenericOptLauncher.configureSolver(String[]) invoque System.exit(...), qui stoppe toute la JVM | BAD_PRACTICE | DM_EXIT | 141 | Medium |
| 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 |
| 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 | 473 | Low |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.maxsat.WeightedMaxSatDecorator.addSoftClause(BigInteger, IVecInt) | CORRECTNESS | NP_ALWAYS_NULL | 240 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.maxsat.WeightedMaxSatDecorator.addSoftClause(BigInteger, IVecInt) | CORRECTNESS | NP_ALWAYS_NULL | 257 | High |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Déréférencement d'un pointeur null dans la méthode org.sat4j.maxsat.reader.WDimacsReader.flushConstraint() | CORRECTNESS | NP_ALWAYS_NULL | 57 | High |
