The following document contains the results of FindBugs Report
FindBugs Version is 1.2.1
Threshold is Low
Effort is Default
| Classes | Bugs | Errors | Missing Classes |
|---|---|---|---|
| 248 | 12 | 0 | 0 |
| Bug | Category | Details | Line |
|---|---|---|---|
| LanceurPseudo2007Eclipse.quickxplain not initialized in constructor | STYLE | UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR | Not available |
| Bug | Category | Details | Line |
|---|---|---|---|
| Unchecked/unconfirmed cast from java.lang.Number to java.math.BigInteger in org.sat4j.pb.PseudoOptDecorator.forceObjectiveValueTo(Number) | STYLE | BC_UNCONFIRMED_CAST | 185 |
| org.sat4j.pb.PseudoOptDecorator.model() may expose internal representation by returning PseudoOptDecorator.prevmodel | MALICIOUS_CODE | EI_EXPOSE_REP | 161 |
| Class org.sat4j.pb.PseudoOptDecorator defines non-transient non-serializable instance field previousPBConstr | BAD_PRACTICE | SE_BAD_FIELD | Not available |
| PseudoOptDecorator.objectiveValue not initialized in constructor | STYLE | UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR | Not available |
| PseudoOptDecorator.objfct not initialized in constructor | STYLE | UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR | Not available |
| PseudoOptDecorator.prevfullmodel not initialized in constructor | STYLE | UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR | Not available |
| Bug | Category | Details | Line |
|---|---|---|---|
| UserFriendlyPBStringSolver.mapping not initialized in constructor | STYLE | UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR | Not available |
| Bug | Category | Details | Line |
|---|---|---|---|
| Exception is caught when Exception is not thrown in org.sat4j.pb.constraints.AbstractPBDataStructureFactory.setNormalizer(String) | STYLE | REC_CATCH_EXCEPTION | 112 |
| Bug | Category | Details | Line |
|---|---|---|---|
| Unchecked/unconfirmed cast from org.sat4j.pb.constraints.pb.PBConstr to org.sat4j.pb.constraints.pb.WatchPb in org.sat4j.pb.constraints.pb.ConflictMap.resolve(PBConstr, int, VarActivityListener) | STYLE | BC_UNCONFIRMED_CAST | 201 |
| Bug | Category | Details | Line |
|---|---|---|---|
| Unchecked/unconfirmed cast from org.sat4j.minisat.core.Constr to org.sat4j.pb.constraints.pb.PBConstr in org.sat4j.pb.core.PBSolverCP.analyze(Constr, Pair) | STYLE | BC_UNCONFIRMED_CAST | 81 |
| Bug | Category | Details | Line |
|---|---|---|---|
| Dead store to prime in org.sat4j.pb.tools.WeightedObject.hashCode() | STYLE | DLS_DEAD_LOCAL_STORE | 56 |
