The following document contains the results of FindBugs Report
FindBugs Version is 1.3.6
Threshold is Low
Effort is Default
| Classes | Bugs | Errors | Missing Classes |
|---|---|---|---|
| 260 | 7 | 0 | 0 |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Call to unsupported method org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(IVecInt) in org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(IVecInt, boolean) | STYLE | DMI_UNSUPPORTED_METHOD | 71 | Medium |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| org.sat4j.pb.PseudoOptDecorator.model() may expose internal representation by returning PseudoOptDecorator.prevmodel | MALICIOUS_CODE | EI_EXPOSE_REP | 97 | 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 |
|---|---|---|---|---|
| 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 | 202 | Low |
| 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 | 556-579 | 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.analyze(Constr, Pair) | STYLE | BC_UNCONFIRMED_CAST | 77 | Low |
