FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.3.8

Threshold is Low

Effort is Default

Summary

Classes Bugs Errors Missing Classes
98 8 0 0

Files

Class Bugs
org.sat4j.maxsat.MinCostDecorator 4
org.sat4j.maxsat.WeightedMaxSatDecorator 4

org.sat4j.maxsat.MinCostDecorator

Bug Category Details Line Priority
Unchecked/unconfirmed cast from Number to java.math.BigInteger in org.sat4j.maxsat.MinCostDecorator.forceObjectiveValueTo(Number) STYLE BC_UNCONFIRMED_CAST 192 Low
org.sat4j.maxsat.MinCostDecorator.model() may expose internal representation by returning MinCostDecorator.prevmodel MALICIOUS_CODE EI_EXPOSE_REP 179 Medium
Class org.sat4j.maxsat.MinCostDecorator defines non-transient non-serializable instance field prevConstr BAD_PRACTICE SE_BAD_FIELD Not available Medium
MinCostDecorator.costs not initialized in constructor STYLE UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR Not available Low

org.sat4j.maxsat.WeightedMaxSatDecorator

Bug Category Details Line Priority
Unchecked/unconfirmed cast from org.sat4j.pb.IPBSolver to org.sat4j.minisat.core.Solver in new org.sat4j.maxsat.WeightedMaxSatDecorator(IPBSolver) STYLE BC_UNCONFIRMED_CAST 75 Low
Unchecked/unconfirmed cast from Number to java.math.BigInteger in org.sat4j.maxsat.WeightedMaxSatDecorator.forceObjectiveValueTo(Number) STYLE BC_UNCONFIRMED_CAST 360 Low
org.sat4j.maxsat.WeightedMaxSatDecorator.model() may expose internal representation by returning WeightedMaxSatDecorator.prevmodel MALICIOUS_CODE EI_EXPOSE_REP 98 Medium
Class org.sat4j.maxsat.WeightedMaxSatDecorator defines non-transient non-serializable instance field previousPBConstr BAD_PRACTICE SE_BAD_FIELD Not available Medium