FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.3.6

Threshold is Low

Effort is Default

Summary

Classes Bugs Errors Missing Classes
101 4 0 0

Files

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

org.sat4j.maxsat.MinCostDecorator

Bug Category Details Line Priority
org.sat4j.maxsat.MinCostDecorator.model() may expose internal representation by returning MinCostDecorator.prevmodel MALICIOUS_CODE EI_EXPOSE_REP 156 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 72 Low
org.sat4j.maxsat.WeightedMaxSatDecorator.model() may expose internal representation by returning WeightedMaxSatDecorator.prevmodel MALICIOUS_CODE EI_EXPOSE_REP 96 Medium