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
1322800

org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator

BugCategoryDetailsLinePriority
La classe org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator définit le champ d'instance org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.addedConstr non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium
La classe org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator définit le champ d'instance org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.previousPBConstr non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium
Le champ org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.previousPBConstr est uniquement mis à nullCORRECTNESSUWF_NULL_FIELD85Low

org.sat4j.pb.LanceurPseudo2007Eclipse

BugCategoryDetailsLinePriority
Le champ n'est pas initialisé dans le constructeur org.sat4j.pb.LanceurPseudo2007Eclipse.quickxplainSTYLEUWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTORLow

org.sat4j.pb.OptToPBSATAdapter

BugCategoryDetailsLinePriority
Transtypage non vérifié/non confirmé de org.sat4j.pb.IPBSolver vers problem dans new org.sat4j.pb.OptToPBSATAdapter(IOptimizationProblem)STYLEBC_UNCONFIRMED_CAST62Low

org.sat4j.pb.PseudoOptDecorator

BugCategoryDetailsLinePriority
Transtypage non vérifié/non confirmé de java.math.BigInteger vers forcedValue dans org.sat4j.pb.PseudoOptDecorator.forceObjectiveValueTo(Number)STYLEBC_UNCONFIRMED_CAST268Low
La méthode org.sat4j.pb.PseudoOptDecorator.model() risque d'exposer sa représentation interne en renvoyant org.sat4j.pb.PseudoOptDecorator.prevmodelMALICIOUS_CODEEI_EXPOSE_REP241Medium
La méthode org.sat4j.pb.PseudoOptDecorator.modelWithInternalVariables() risque d'exposer sa représentation interne en renvoyant org.sat4j.pb.PseudoOptDecorator.prevmodelwithadditionalvarsMALICIOUS_CODEEI_EXPOSE_REP277Medium
La classe org.sat4j.pb.PseudoOptDecorator définit le champ d'instance org.sat4j.pb.PseudoOptDecorator.previousPBConstr non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium

org.sat4j.pb.UserFriendlyPBStringSolver

BugCategoryDetailsLinePriority
La classe org.sat4j.pb.UserFriendlyPBStringSolver définit le champ d'instance org.sat4j.pb.UserFriendlyPBStringSolver.mapping non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow

org.sat4j.pb.constraints.pb.ConflictMap

BugCategoryDetailsLinePriority
Transtypage non vérifié/non confirmé de org.sat4j.pb.constraints.pb.IWatchPb vers cpb dans org.sat4j.pb.constraints.pb.ConflictMap.resolve(PBConstr, int, VarActivityListener)STYLEBC_UNCONFIRMED_CAST209Low
La méthode privée org.sat4j.pb.constraints.pb.ConflictMap.saturation1(BigInteger[], BigInteger, IWatchPb) n'est jamais appeléePERFORMANCEUPM_UNCALLED_PRIVATE_METHOD598Low
La méthode privée org.sat4j.pb.constraints.pb.ConflictMap.saturation2(BigInteger[], BigInteger, IWatchPb, BigInteger) n'est jamais appeléePERFORMANCEUPM_UNCALLED_PRIVATE_METHOD576Low

org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause

BugCategoryDetailsLinePriority
org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause.UPPERBOUND n'est pas final et n'est pas protégé face à du code malveillantMALICIOUS_CODEMS_CANNOT_BE_FINALMedium

org.sat4j.pb.constraints.pb.MaxWatchPb

BugCategoryDetailsLinePriority
La classe org.sat4j.pb.constraints.pb.MaxWatchPb définit le champ d'instance org.sat4j.pb.constraints.pb.MaxWatchPb.litToCoeffs non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow

org.sat4j.pb.constraints.pb.MaxWatchPbLong

BugCategoryDetailsLinePriority
La classe org.sat4j.pb.constraints.pb.MaxWatchPbLong définit le champ d'instance org.sat4j.pb.constraints.pb.MaxWatchPbLong.litToCoeffs non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow

org.sat4j.pb.constraints.pb.MaxWatchPbLongCP

BugCategoryDetailsLinePriority
La classe org.sat4j.pb.constraints.pb.MaxWatchPbLongCP définit le champ d'instance org.sat4j.pb.constraints.pb.MaxWatchPbLongCP.litToCoeffs non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow

org.sat4j.pb.constraints.pb.MinWatchCardPB

BugCategoryDetailsLinePriority
org.sat4j.pb.constraints.pb.MinWatchCardPB doesn't override org.sat4j.minisat.constraints.card.MinWatchCard.equals(Object)STYLEEQ_DOESNT_OVERRIDE_EQUALS40Medium

org.sat4j.pb.core.PBSolver$1

BugCategoryDetailsLinePriority
org.sat4j.pb.core.PBSolver$1 is serializable and an inner classBAD_PRACTICESE_INNER_CLASS1Low

org.sat4j.pb.core.PBSolverCP

BugCategoryDetailsLinePriority
Transtypage non vérifié/non confirmé de org.sat4j.pb.constraints.pb.PBConstr vers myconfl dans org.sat4j.pb.core.PBSolverCP.analyzeCP(Constr, Pair)STYLEBC_UNCONFIRMED_CAST88Low

org.sat4j.pb.core.PBSolverCautious

BugCategoryDetailsLinePriority
Ecriture d'un champ statique org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause.UPPERBOUND depuis la méthode d'une instance new org.sat4j.pb.core.PBSolverCautious(LearningStrategy, PBDataStructureFactory, IOrder)STYLEST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD46High
Ecriture d'un champ statique org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause.UPPERBOUND depuis la méthode d'une instance new org.sat4j.pb.core.PBSolverCautious(LearningStrategy, PBDataStructureFactory, IOrder, int)STYLEST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD52High

org.sat4j.pb.reader.OPBReader2007

BugCategoryDetailsLinePriority
La classe org.sat4j.pb.reader.OPBReader2007 définit le champ d'instance org.sat4j.pb.reader.OPBReader2007.binaryProductToVar non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow
La classe org.sat4j.pb.reader.OPBReader2007 définit le champ d'instance org.sat4j.pb.reader.OPBReader2007.varToProduct non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow

org.sat4j.pb.reader.OPBReader2010

BugCategoryDetailsLinePriority
La méthode org.sat4j.pb.reader.OPBReader2010.beginConstraint() intercepte Exception, mais Exception n'est pas lancé dans le bloc try/catch et RuntimeException n'est pas appeléSTYLEREC_CATCH_EXCEPTION170Low

org.sat4j.pb.tools.ConflictTracing

BugCategoryDetailsLinePriority
Transtypage non vérifié/non confirmé de org.sat4j.pb.constraints.pb.PBConstr vers c dans org.sat4j.pb.tools.ConflictTracing.learn(IConstr)STYLEBC_UNCONFIRMED_CAST65Low
La classe org.sat4j.pb.tools.ConflictTracing définit le champ d'instance org.sat4j.pb.tools.ConflictTracing.out non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium

org.sat4j.pb.tools.LexicoDecoratorPB

BugCategoryDetailsLinePriority
Le champ n'est pas initialisé dans le constructeur org.sat4j.pb.tools.LexicoDecoratorPB.bigCurrentValueSTYLEUWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTORLow