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
1414600

org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.admitABetterSolution(IVecInt)CORRECTNESSNP_ALWAYS_NULL110High
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.admitABetterSolution(IVecInt)CORRECTNESSNP_ALWAYS_NULL126High
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_FIELD77Low

org.sat4j.pb.LanceurPseudo2005

BugCategoryDetailsLinePriority

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, SolutionFoundListener)STYLEBC_UNCONFIRMED_CAST68Low
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(IVecInt)CORRECTNESSNP_ALWAYS_NULL104High
La classe org.sat4j.pb.OptToPBSATAdapter définit le champ d'instance org.sat4j.pb.OptToPBSATAdapter.sfl non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium

org.sat4j.pb.PseudoBitsAdderDecorator

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.PseudoBitsAdderDecorator.isSatisfiable(IVecInt)CORRECTNESSNP_ALWAYS_NULL87High
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.PseudoBitsAdderDecorator.main(String[])CORRECTNESSNP_ALWAYS_NULL150High
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.PseudoBitsAdderDecorator.main(String[])CORRECTNESSNP_ALWAYS_NULL159High
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.PseudoBitsAdderDecorator.main(String[])CORRECTNESSNP_ALWAYS_NULL171High
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.PseudoBitsAdderDecorator.main(String[])CORRECTNESSNP_ALWAYS_NULL174High
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.PseudoBitsAdderDecorator.main(String[])CORRECTNESSNP_ALWAYS_NULL177High

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_CAST317Low
La méthode org.sat4j.pb.PseudoOptDecorator.model() risque d'exposer sa représentation interne en renvoyant org.sat4j.pb.PseudoOptDecorator.prevmodelMALICIOUS_CODEEI_EXPOSE_REP287Medium
La méthode org.sat4j.pb.PseudoOptDecorator.modelWithInternalVariables() risque d'exposer sa représentation interne en renvoyant org.sat4j.pb.PseudoOptDecorator.prevmodelwithadditionalvarsMALICIOUS_CODEEI_EXPOSE_REP326Medium
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.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_CAST210Low

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
Le nom du champ org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause.UpperBound ne commence pas par une minusculeBAD_PRACTICENM_FIELD_NAMING_CONVENTIONMedium

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.constraints.pb.WatchPb

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.constraints.pb.WatchPb.register()CORRECTNESSNP_ALWAYS_NULL522Medium

org.sat4j.pb.constraints.pb.WatchPbLong

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.constraints.pb.WatchPbLong.register()CORRECTNESSNP_ALWAYS_NULL513Medium

org.sat4j.pb.constraints.pb.WatchPbLongCP

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.constraints.pb.WatchPbLongCP.register()CORRECTNESSNP_ALWAYS_NULL546Medium

org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator.processAtMostOneCstrs(ObjectiveFunction, IVecInt, IVec, Set)CORRECTNESSNP_ALWAYS_NULL257High
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator.setObjectiveFunction(ObjectiveFunction)CORRECTNESSNP_ALWAYS_NULL242High
Chargement d'une valeur connue pour être à null dans org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator.setObjectiveFunction(ObjectiveFunction)STYLENP_LOAD_OF_KNOWN_NULL_VALUE252Medium
La classe org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator définit le champ d'instance org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator.atMostOneCstrs non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow

org.sat4j.pb.core.PBSolver$1

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.core.PBSolver$1.reduce(IVec)CORRECTNESSNP_ALWAYS_NULL251High
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.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
La classe org.sat4j.pb.tools.LexicoDecoratorPB définit le champ d'instance org.sat4j.pb.tools.LexicoDecoratorPB.objs non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow
Le champ n'est pas initialisé dans le constructeur org.sat4j.pb.tools.LexicoDecoratorPB.bigCurrentValueSTYLEUWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTORLow

org.sat4j.pb.tools.SearchOptimizerListener

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.tools.SearchOptimizerListener.end(Lbool)CORRECTNESSNP_ALWAYS_NULL93High
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.tools.SearchOptimizerListener.solutionFound(int[], RandomAccessModel)CORRECTNESSNP_ALWAYS_NULL77High
La classe org.sat4j.pb.tools.SearchOptimizerListener définit le champ d'instance org.sat4j.pb.tools.SearchOptimizerListener.prevConstr non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium
La classe org.sat4j.pb.tools.SearchOptimizerListener définit le champ d'instance org.sat4j.pb.tools.SearchOptimizerListener.sfl non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium

org.sat4j.pb.tools.SteppedTimeoutLexicoDecoratorPB

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.tools.SteppedTimeoutLexicoDecoratorPB.admitABetterSolution(IVecInt)CORRECTNESSNP_ALWAYS_NULL89High