The following document contains the results of FindBugs Report
FindBugs Version is 1.3.9
Threshold is low
Effort is min
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.admitABetterSolution(IVecInt) | CORRECTNESS | NP_ALWAYS_NULL | 110 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.admitABetterSolution(IVecInt) | CORRECTNESS | NP_ALWAYS_NULL | 126 | High |
| La classe org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator définit le champ d'instance org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.addedConstr non transient et non sérialisable | BAD_PRACTICE | SE_BAD_FIELD | Medium | |
| La classe org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator définit le champ d'instance org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.previousPBConstr non transient et non sérialisable | BAD_PRACTICE | SE_BAD_FIELD | Medium | |
| Le champ org.sat4j.pb.ConstraintRelaxingPseudoOptDecorator.previousPBConstr est uniquement mis à null | CORRECTNESS | UWF_NULL_FIELD | 77 | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Le champ n'est pas initialisé dans le constructeur org.sat4j.pb.LanceurPseudo2007Eclipse.quickxplain | STYLE | UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Transtypage non vérifié/non confirmé de org.sat4j.pb.IPBSolver vers problem dans new org.sat4j.pb.OptToPBSATAdapter(IOptimizationProblem, SolutionFoundListener) | STYLE | BC_UNCONFIRMED_CAST | 68 | Low |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.OptToPBSATAdapter.isSatisfiable(IVecInt) | CORRECTNESS | NP_ALWAYS_NULL | 104 | High |
| La classe org.sat4j.pb.OptToPBSATAdapter définit le champ d'instance org.sat4j.pb.OptToPBSATAdapter.sfl non transient et non sérialisable | BAD_PRACTICE | SE_BAD_FIELD | Medium |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.PseudoBitsAdderDecorator.isSatisfiable(IVecInt) | CORRECTNESS | NP_ALWAYS_NULL | 87 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.PseudoBitsAdderDecorator.main(String[]) | CORRECTNESS | NP_ALWAYS_NULL | 150 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.PseudoBitsAdderDecorator.main(String[]) | CORRECTNESS | NP_ALWAYS_NULL | 159 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.PseudoBitsAdderDecorator.main(String[]) | CORRECTNESS | NP_ALWAYS_NULL | 171 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.PseudoBitsAdderDecorator.main(String[]) | CORRECTNESS | NP_ALWAYS_NULL | 174 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.PseudoBitsAdderDecorator.main(String[]) | CORRECTNESS | NP_ALWAYS_NULL | 177 | High |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Transtypage non vérifié/non confirmé de java.math.BigInteger vers forcedValue dans org.sat4j.pb.PseudoOptDecorator.forceObjectiveValueTo(Number) | STYLE | BC_UNCONFIRMED_CAST | 317 | Low |
| La méthode org.sat4j.pb.PseudoOptDecorator.model() risque d'exposer sa représentation interne en renvoyant org.sat4j.pb.PseudoOptDecorator.prevmodel | MALICIOUS_CODE | EI_EXPOSE_REP | 287 | Medium |
| La méthode org.sat4j.pb.PseudoOptDecorator.modelWithInternalVariables() risque d'exposer sa représentation interne en renvoyant org.sat4j.pb.PseudoOptDecorator.prevmodelwithadditionalvars | MALICIOUS_CODE | EI_EXPOSE_REP | 326 | Medium |
| La classe org.sat4j.pb.PseudoOptDecorator définit le champ d'instance org.sat4j.pb.PseudoOptDecorator.previousPBConstr non transient et non sérialisable | BAD_PRACTICE | SE_BAD_FIELD | Medium |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| 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) | STYLE | BC_UNCONFIRMED_CAST | 210 | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause.UpperBound n'est pas final et n'est pas protégé face à du code malveillant | MALICIOUS_CODE | MS_CANNOT_BE_FINAL | Medium | |
| Le nom du champ org.sat4j.pb.constraints.pb.ConflictMapSwitchToClause.UpperBound ne commence pas par une minuscule | BAD_PRACTICE | NM_FIELD_NAMING_CONVENTION | Medium |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| org.sat4j.pb.constraints.pb.MinWatchCardPB doesn't override org.sat4j.minisat.constraints.card.MinWatchCard.equals(Object) | STYLE | EQ_DOESNT_OVERRIDE_EQUALS | 40 | Medium |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.constraints.pb.WatchPb.register() | CORRECTNESS | NP_ALWAYS_NULL | 522 | Medium |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.constraints.pb.WatchPbLong.register() | CORRECTNESS | NP_ALWAYS_NULL | 513 | Medium |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.constraints.pb.WatchPbLongCP.register() | CORRECTNESS | NP_ALWAYS_NULL | 546 | Medium |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator.processAtMostOneCstrs(ObjectiveFunction, IVecInt, IVec, Set) | CORRECTNESS | NP_ALWAYS_NULL | 257 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator.setObjectiveFunction(ObjectiveFunction) | CORRECTNESS | NP_ALWAYS_NULL | 242 | High |
| Chargement d'une valeur connue pour être à null dans org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator.setObjectiveFunction(ObjectiveFunction) | STYLE | NP_LOAD_OF_KNOWN_NULL_VALUE | 252 | Medium |
| La classe org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator définit le champ d'instance org.sat4j.pb.core.ObjectiveReducerPBSolverDecorator.atMostOneCstrs non transient et non sérialisable | BAD_PRACTICE | SE_BAD_FIELD | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.core.PBSolver$1.reduce(IVec) | CORRECTNESS | NP_ALWAYS_NULL | 251 | High |
| org.sat4j.pb.core.PBSolver$1 is serializable and an inner class | BAD_PRACTICE | SE_INNER_CLASS | 1 | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Transtypage non vérifié/non confirmé de org.sat4j.pb.constraints.pb.PBConstr vers myconfl dans org.sat4j.pb.core.PBSolverCP.analyzeCP(Constr, Pair) | STYLE | BC_UNCONFIRMED_CAST | 88 | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| 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) | STYLE | ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD | 46 | High |
| 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) | STYLE | ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD | 52 | High |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| 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é | STYLE | REC_CATCH_EXCEPTION | 170 | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Transtypage non vérifié/non confirmé de org.sat4j.pb.constraints.pb.PBConstr vers c dans org.sat4j.pb.tools.ConflictTracing.learn(IConstr) | STYLE | BC_UNCONFIRMED_CAST | 65 | Low |
| La classe org.sat4j.pb.tools.ConflictTracing définit le champ d'instance org.sat4j.pb.tools.ConflictTracing.out non transient et non sérialisable | BAD_PRACTICE | SE_BAD_FIELD | Medium |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| La classe org.sat4j.pb.tools.LexicoDecoratorPB définit le champ d'instance org.sat4j.pb.tools.LexicoDecoratorPB.objs non transient et non sérialisable | BAD_PRACTICE | SE_BAD_FIELD | Low | |
| Le champ n'est pas initialisé dans le constructeur org.sat4j.pb.tools.LexicoDecoratorPB.bigCurrentValue | STYLE | UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.tools.SearchOptimizerListener.end(Lbool) | CORRECTNESS | NP_ALWAYS_NULL | 93 | High |
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.tools.SearchOptimizerListener.solutionFound(int[], RandomAccessModel) | CORRECTNESS | NP_ALWAYS_NULL | 77 | High |
| La classe org.sat4j.pb.tools.SearchOptimizerListener définit le champ d'instance org.sat4j.pb.tools.SearchOptimizerListener.prevConstr non transient et non sérialisable | BAD_PRACTICE | SE_BAD_FIELD | Medium | |
| La classe org.sat4j.pb.tools.SearchOptimizerListener définit le champ d'instance org.sat4j.pb.tools.SearchOptimizerListener.sfl non transient et non sérialisable | BAD_PRACTICE | SE_BAD_FIELD | Medium |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Déréférencement d'un pointeur null dans la méthode org.sat4j.pb.tools.SteppedTimeoutLexicoDecoratorPB.admitABetterSolution(IVecInt) | CORRECTNESS | NP_ALWAYS_NULL | 89 | High |
