The following document contains the results of FindBugs Report
FindBugs Version is 1.3.8
Threshold is Low
Effort is Default
| Classes | Bugs | Errors | Missing Classes |
|---|---|---|---|
| 329 | 17 | 0 | 0 |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| LanceurPseudo2007Eclipse.quickxplain not initialized in constructor | STYLE | UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR | Not available | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Unchecked/unconfirmed cast from Number to java.math.BigInteger in org.sat4j.pb.PseudoOptDecorator.forceObjectiveValueTo(Number) | STYLE | BC_UNCONFIRMED_CAST | 201 | Low |
| org.sat4j.pb.PseudoOptDecorator.model() may expose internal representation by returning PseudoOptDecorator.prevmodel | MALICIOUS_CODE | EI_EXPOSE_REP | 176 | Medium |
| Class org.sat4j.pb.PseudoOptDecorator defines non-transient non-serializable instance field previousPBConstr | BAD_PRACTICE | SE_BAD_FIELD | Not available | Medium |
| PseudoOptDecorator.objfct not initialized in constructor | STYLE | UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR | Not available | Low |
| PseudoOptDecorator.prevfullmodel not initialized in constructor | STYLE | UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR | Not available | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Exception is caught when Exception is not thrown in org.sat4j.pb.constraints.AbstractPBDataStructureFactory.setNormalizer(String) | STYLE | REC_CATCH_EXCEPTION | 129 | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| 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 | 204 | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause.UPPERBOUND isn't final and can't be protected from malicious code | MALICIOUS_CODE | MS_CANNOT_BE_FINAL | Not available | Medium |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| org.sat4j.pb.constraints.pb.MinWatchCardPB doesn't override org.sat4j.minisat.constraints.card.MinWatchCard.equals(Object) | STYLE | EQ_DOESNT_OVERRIDE_EQUALS | 555-577 | Medium |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Unchecked/unconfirmed cast from org.sat4j.minisat.core.Constr to org.sat4j.pb.constraints.pb.PBConstr in org.sat4j.pb.core.PBSolverCP.analyzeCP(Constr, Pair) | STYLE | BC_UNCONFIRMED_CAST | 88 | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Write to static field org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause.UPPERBOUND from instance method new org.sat4j.pb.core.PBSolverCautious(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder) | STYLE | ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD | 46 | High |
| Write to static field org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause.UPPERBOUND from instance method new org.sat4j.pb.core.PBSolverCautious(AssertingClauseGenerator, LearningStrategy, PBDataStructureFactory, IOrder, int) | STYLE | ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD | 53 | High |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Nullcheck of rest at line 71 of value previously dereferenced in org.sat4j.pb.reader.OPBReader2010.readMetaData() | CORRECTNESS | RCN_REDUNDANT_NULLCHECK_WOULD_HAVE_BEEN_A_NPE | 67 | Medium |
| Exception is caught when Exception is not thrown in org.sat4j.pb.reader.OPBReader2010.beginConstraint() | STYLE | REC_CATCH_EXCEPTION | 136 | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Unchecked/unconfirmed cast from org.sat4j.specs.IConstr to org.sat4j.pb.constraints.pb.PBConstr in org.sat4j.pb.tools.ConflictTracing.learn(IConstr) | STYLE | BC_UNCONFIRMED_CAST | 78 | Low |
| Class org.sat4j.pb.tools.ConflictTracing defines non-transient non-serializable instance field out | BAD_PRACTICE | SE_BAD_FIELD | Not available | Medium |
