FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.2.1

Threshold is Low

Effort is Default

Summary

Classes Bugs Errors Missing Classes
53 9 0 0

org.sat4j.maxsat.MinCostDecorator

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

org.sat4j.maxsat.WeightedMaxSatDecorator

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