FindBugs Bug Detector Report

The following document contains the results of FindBugs Report

FindBugs Version is 1.3.9

Threshold is low

Effort is min

Summary

ClassesBugsErrorsMissing Classes
6500

org.sat4j.maxsat.MinCostDecorator

BugCategoryDetailsLinePriority
Transtypage non vérifié/non confirmé de java.math.BigInteger vers forcedValue dans org.sat4j.maxsat.MinCostDecorator.forceObjectiveValueTo(Number)STYLEBC_UNCONFIRMED_CAST202Low
La méthode org.sat4j.maxsat.MinCostDecorator.model() risque d'exposer sa représentation interne en renvoyant org.sat4j.maxsat.MinCostDecorator.prevmodelMALICIOUS_CODEEI_EXPOSE_REP189Medium
La classe org.sat4j.maxsat.MinCostDecorator définit le champ d'instance org.sat4j.maxsat.MinCostDecorator.prevConstr non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium
Le champ n'est pas initialisé dans le constructeur org.sat4j.maxsat.MinCostDecorator.costsSTYLEUWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTORLow

org.sat4j.maxsat.WeightedMaxSatDecorator

BugCategoryDetailsLinePriority
Transtypage non vérifié/non confirmé de java.math.BigInteger vers forcedValue dans org.sat4j.maxsat.WeightedMaxSatDecorator.forceObjectiveValueTo(Number)STYLEBC_UNCONFIRMED_CAST364Low