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 |
|---|---|---|---|---|
| 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 | 83 | 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) | STYLE | BC_UNCONFIRMED_CAST | 58 | Low |
| 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 | 212 | 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 | 185 | 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 | 221 | 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 | |
| Le champ n'est pas initialisé dans le constructeur org.sat4j.pb.PseudoOptDecorator.objectiveValue | STYLE | UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR | Low | |
| Le champ n'est pas initialisé dans le constructeur org.sat4j.pb.PseudoOptDecorator.prevfullmodel | STYLE | UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| La classe org.sat4j.pb.UserFriendlyPBStringSolver définit le champ d'instance org.sat4j.pb.UserFriendlyPBStringSolver.mapping non transient et non sérialisable | BAD_PRACTICE | SE_BAD_FIELD | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| La méthode org.sat4j.pb.constraints.AbstractPBDataStructureFactory.setNormalizer(String) intercepte Exception, mais Exception n'est pas lancé dans le bloc try/catch et RuntimeException n'est pas appelé | STYLE | REC_CATCH_EXCEPTION | 125 | Low |
| 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 | 204 | 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 |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| 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érialisable | BAD_PRACTICE | SE_BAD_FIELD | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| 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érialisable | BAD_PRACTICE | SE_BAD_FIELD | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| 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érialisable | BAD_PRACTICE | SE_BAD_FIELD | Low |
| 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 | 38 | Medium |
| 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 | 85 | 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 | 44 | 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 | 50 | High |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| La classe org.sat4j.pb.reader.OPBReader2007 définit le champ d'instance org.sat4j.pb.reader.OPBReader2007.binaryProductToVar non transient et non sérialisable | BAD_PRACTICE | SE_BAD_FIELD | Low | |
| La classe org.sat4j.pb.reader.OPBReader2007 définit le champ d'instance org.sat4j.pb.reader.OPBReader2007.varToProduct non transient et non sérialisable | BAD_PRACTICE | SE_BAD_FIELD | Low |
| Bug | Category | Details | Line | Priority |
|---|---|---|---|---|
| Dereference of the result of readLine() without nullcheck in org.sat4j.pb.reader.OPBReader2010.readMetaData() | STYLE | NP_DEREFERENCE_OF_READLINE_VALUE | 95 | Medium |
| Test de nullité dans rest d'une valeur préalablement déréférencée dans org.sat4j.pb.reader.OPBReader2010.readMetaData() | CORRECTNESS | RCN_REDUNDANT_NULLCHECK_WOULD_HAVE_BEEN_A_NPE | 95 | Medium |
| 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 | 164 | 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 | 105 | 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 |
|---|---|---|---|---|
| Le champ n'est pas initialisé dans le constructeur org.sat4j.pb.tools.LexicoDecoratorPB.bigCurrentValue | STYLE | UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR | Low |
