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
24213600

Files

ClassBugs
org.sat4j.AbstractLauncher5
org.sat4j.AbstractOptimizationLauncher1
org.sat4j.ILauncherMode$11
org.sat4j.ILauncherMode$22
org.sat4j.MUSLauncher2
org.sat4j.MUSLauncher$11
org.sat4j.MUSLauncher$21
org.sat4j.MoreThanSAT4
org.sat4j.core.ASolverFactory5
org.sat4j.core.ReadOnlyVecInt1
org.sat4j.core.Vec3
org.sat4j.core.VecInt5
org.sat4j.minisat.constraints.cnf.Lits1
org.sat4j.minisat.core.Heap1
org.sat4j.minisat.core.Pair1
org.sat4j.minisat.core.Solver12
org.sat4j.minisat.core.Solver$101
org.sat4j.minisat.core.Solver$21
org.sat4j.minisat.core.Solver$31
org.sat4j.minisat.core.Solver$41
org.sat4j.minisat.core.Solver$51
org.sat4j.minisat.core.Solver$61
org.sat4j.minisat.core.Solver$71
org.sat4j.minisat.core.Solver$81
org.sat4j.minisat.core.Solver$Glucose2LCDS1
org.sat4j.minisat.core.Solver$GlucoseLCDS1
org.sat4j.minisat.learning.ActiveLearning1
org.sat4j.minisat.learning.LimitedLearning1
org.sat4j.minisat.learning.MiniSATLearning1
org.sat4j.minisat.orders.VarOrderHeap1
org.sat4j.opt.AbstractSelectorVariablesDecorator5
org.sat4j.opt.MaxSatDecorator1
org.sat4j.opt.MinOneDecorator3
org.sat4j.reader.AIGReader1
org.sat4j.reader.DimacsReader2
org.sat4j.reader.EfficientScanner1
org.sat4j.reader.GroupedCNFReader1
org.sat4j.reader.LecteurDimacs1
org.sat4j.specs.ILogAble$11
org.sat4j.tools.AbstractMinimalModel1
org.sat4j.tools.AllMUSes4
org.sat4j.tools.CheckMUSSolutionListener2
org.sat4j.tools.DotSearchTracing1
org.sat4j.tools.FileBasedVisualizationTool2
org.sat4j.tools.FullClauseSelectorSolver2
org.sat4j.tools.GroupClauseSelectorSolver1
org.sat4j.tools.LBDTracing1
org.sat4j.tools.LexicoDecorator4
org.sat4j.tools.ManyCore4
org.sat4j.tools.Minimal4CardinalityModel1
org.sat4j.tools.Minimal4InclusionModel1
org.sat4j.tools.ModelIteratorToSATAdapter2
org.sat4j.tools.MultiTracing1
org.sat4j.tools.NegationDecorator1
org.sat4j.tools.SearchEnumeratorListener1
org.sat4j.tools.SearchMinOneListener2
org.sat4j.tools.StatisticsSolver2
org.sat4j.tools.TextOutputTracing11
org.sat4j.tools.xplain.DeletionStrategy8
org.sat4j.tools.xplain.HighLevelXplain1
org.sat4j.tools.xplain.InsertionStrategy2
org.sat4j.tools.xplain.QuickXplain2001Strategy1
org.sat4j.tools.xplain.QuickXplainStrategy3
org.sat4j.tools.xplain.Xplain1

org.sat4j.AbstractLauncher

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractLauncher.run(String[])CORRECTNESSNP_ALWAYS_NULL238High
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractLauncher.run(String[])CORRECTNESSNP_ALWAYS_NULL240High
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractLauncher.run(String[])CORRECTNESSNP_ALWAYS_NULL246High
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractLauncher.run(String[])CORRECTNESSNP_ALWAYS_NULL210High
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractLauncher.run(String[])CORRECTNESSNP_ALWAYS_NULL216High

org.sat4j.AbstractOptimizationLauncher

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractOptimizationLauncher.displayAnswer()CORRECTNESSNP_ALWAYS_NULL87High

org.sat4j.ILauncherMode$1

BugCategoryDetailsLinePriority
Le champ n'est pas initialisé dans le constructeur org.sat4j.ILauncherMode$1.outSTYLEUWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTORLow

org.sat4j.ILauncherMode$2

BugCategoryDetailsLinePriority
Transtypage non vérifié/non confirmé de org.sat4j.specs.IOptimizationProblem vers problem dans org.sat4j.ILauncherMode$2.solve(IProblem, Reader, ILogAble, PrintWriter, long)STYLEBC_UNCONFIRMED_CAST301Low
Déréférencement d'un pointeur null dans la méthode org.sat4j.ILauncherMode$2.displayResult(ISolver, IProblem, ILogAble, PrintWriter, Reader, long, boolean)CORRECTNESSNP_ALWAYS_NULL263High

org.sat4j.MUSLauncher

BugCategoryDetailsLinePriority
La classe org.sat4j.MUSLauncher définit le champ d'instance org.sat4j.MUSLauncher.allMuses non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium
Le champ n'est pas initialisé dans le constructeur org.sat4j.MUSLauncher.xplainSTYLEUWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTORLow

org.sat4j.MUSLauncher$1

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.MUSLauncher$1.onSolutionFound(IVecInt)CORRECTNESSNP_ALWAYS_NULL165High

org.sat4j.MUSLauncher$2

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.MUSLauncher$2.onSolutionFound(IVecInt)CORRECTNESSNP_ALWAYS_NULL179High

org.sat4j.MoreThanSAT

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.MoreThanSAT.main(String[])CORRECTNESSNP_ALWAYS_NULL77High
Déréférencement d'un pointeur null dans la méthode org.sat4j.MoreThanSAT.main(String[])CORRECTNESSNP_ALWAYS_NULL86High
Déréférencement d'un pointeur null dans la méthode org.sat4j.MoreThanSAT.main(String[])CORRECTNESSNP_ALWAYS_NULL95High
Déréférencement d'un pointeur null dans la méthode org.sat4j.MoreThanSAT.main(String[])CORRECTNESSNP_ALWAYS_NULL97High

org.sat4j.core.ASolverFactory

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.core.ASolverFactory.createSolverByName(String)CORRECTNESSNP_ALWAYS_NULL92High
Déréférencement d'un pointeur null dans la méthode org.sat4j.core.ASolverFactory.createSolverByName(String)CORRECTNESSNP_ALWAYS_NULL94High
Déréférencement d'un pointeur null dans la méthode org.sat4j.core.ASolverFactory.createSolverByName(String)CORRECTNESSNP_ALWAYS_NULL96High
Déréférencement d'un pointeur null dans la méthode org.sat4j.core.ASolverFactory.createSolverByName(String)CORRECTNESSNP_ALWAYS_NULL98High
Déréférencement d'un pointeur null dans la méthode org.sat4j.core.ASolverFactory.createSolverByName(String)CORRECTNESSNP_ALWAYS_NULL100High

org.sat4j.core.ReadOnlyVecInt

BugCategoryDetailsLinePriority
La méthode org.sat4j.core.ReadOnlyVecInt.subset(int) devrait-elle renvoyer un tableau vide plutôt que null ?STYLEPZLA_PREFER_ZERO_LENGTH_ARRAYS199Low

org.sat4j.core.Vec

BugCategoryDetailsLinePriority
Transtypage non vérifié/non confirmé de org.sat4j.core.Vec vers copy dans org.sat4j.core.Vec.copyTo(IVec)STYLEBC_UNCONFIRMED_CAST289Low
La méthode org.sat4j.core.Vec.toArray() risque d'exposer sa représentation interne en renvoyant org.sat4j.core.Vec.myarrayMALICIOUS_CODEEI_EXPOSE_REP322Medium
La méthode new org.sat4j.core.Vec(Object[]) risque d'exposer sa représentation interne en stockant un objet externe modifiable dans org.sat4j.core.Vec.myarrayMALICIOUS_CODEEI_EXPOSE_REP288Medium

org.sat4j.core.VecInt

BugCategoryDetailsLinePriority
Transtypage non vérifié/non confirmé de org.sat4j.core.VecInt vers copy dans org.sat4j.core.VecInt.copyTo(IVecInt)STYLEBC_UNCONFIRMED_CAST392Low
Transtypage non vérifié/non confirmé de org.sat4j.core.VecInt vers dest dans org.sat4j.core.VecInt.moveTo2(IVecInt)STYLEBC_UNCONFIRMED_CAST417Low
Transtypage non vérifié/non confirmé de org.sat4j.core.VecInt vers vec dans org.sat4j.core.VecInt.pushAll(IVecInt)STYLEBC_UNCONFIRMED_CAST636Low
La méthode org.sat4j.core.VecInt.toArray() risque d'exposer sa représentation interne en renvoyant org.sat4j.core.VecInt.myarrayMALICIOUS_CODEEI_EXPOSE_REP692Medium
La méthode new org.sat4j.core.VecInt(int[]) risque d'exposer sa représentation interne en stockant un objet externe modifiable dans org.sat4j.core.VecInt.myarrayMALICIOUS_CODEEI_EXPOSE_REP2248Medium

org.sat4j.minisat.constraints.cnf.Lits

BugCategoryDetailsLinePriority
La classe org.sat4j.minisat.constraints.cnf.Lits définit le champ d'instance org.sat4j.minisat.constraints.cnf.Lits.reason non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow

org.sat4j.minisat.core.Heap

BugCategoryDetailsLinePriority
La méthode new org.sat4j.minisat.core.Heap(double[]) risque d'exposer sa représentation interne en stockant un objet externe modifiable dans org.sat4j.minisat.core.Heap.activityMALICIOUS_CODEEI_EXPOSE_REP2105Medium

org.sat4j.minisat.core.Pair

BugCategoryDetailsLinePriority
La classe org.sat4j.minisat.core.Pair définit le champ d'instance org.sat4j.minisat.core.Pair.reason non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow

org.sat4j.minisat.core.Solver

BugCategoryDetailsLinePriority
Transtypage non vérifié/non confirmé de org.sat4j.minisat.core.Constr vers co dans org.sat4j.minisat.core.Solver.removeConstr(IConstr)STYLEBC_UNCONFIRMED_CAST400Low
Transtypage non vérifié/non confirmé de org.sat4j.minisat.core.Constr vers co dans org.sat4j.minisat.core.Solver.removeSubsumedConstr(IConstr)STYLEBC_UNCONFIRMED_CAST421Low
org.sat4j.minisat.core.Solver.reduceDB() force le déclenchement du ramasse-miettes ; extrêmement douteux sauf dans du code de banc d'essaiPERFORMANCEDM_GC1503High
Déréférencement d'un pointeur null dans la méthode org.sat4j.minisat.core.Solver.primeImplicant()CORRECTNESSNP_ALWAYS_NULL1385High
La méthode org.sat4j.minisat.core.Solver.findModel() devrait-elle renvoyer un tableau vide plutôt que null ?STYLEPZLA_PREFER_ZERO_LENGTH_ARRAYS2296Low
La méthode org.sat4j.minisat.core.Solver.findModel(IVecInt) devrait-elle renvoyer un tableau vide plutôt que null ?STYLEPZLA_PREFER_ZERO_LENGTH_ARRAYS2305Low
La classe org.sat4j.minisat.core.Solver définit le champ d'instance org.sat4j.minisat.core.Solver.order non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow
La classe org.sat4j.minisat.core.Solver définit le champ d'instance org.sat4j.minisat.core.Solver.out non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow
La classe org.sat4j.minisat.core.Solver définit le champ d'instance org.sat4j.minisat.core.Solver.sharedConflict non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow
Switch statement found in org.sat4j.minisat.core.Solver.learn(Constr) where default case is missingSTYLESF_SWITCH_NO_DEFAULT366Low
Switch statement found in org.sat4j.minisat.core.Solver.setLearnedConstraintsDeletionStrategy(ConflictTimer, LearnedConstraintsEvaluationType) where default case is missingSTYLESF_SWITCH_NO_DEFAULT2501Low
Switch statement found in org.sat4j.minisat.core.Solver.setLearnedConstraintsDeletionStrategy(LearnedConstraintsEvaluationType) where default case is missingSTYLESF_SWITCH_NO_DEFAULT2524Low

org.sat4j.minisat.core.Solver$10

BugCategoryDetailsLinePriority
org.sat4j.minisat.core.Solver$10 is serializable and an inner classBAD_PRACTICESE_INNER_CLASS1Low

org.sat4j.minisat.core.Solver$2

BugCategoryDetailsLinePriority
org.sat4j.minisat.core.Solver$2 is serializable and an inner classBAD_PRACTICESE_INNER_CLASS1Low

org.sat4j.minisat.core.Solver$3

BugCategoryDetailsLinePriority
org.sat4j.minisat.core.Solver$3 is serializable and an inner classBAD_PRACTICESE_INNER_CLASS1Low

org.sat4j.minisat.core.Solver$4

BugCategoryDetailsLinePriority
org.sat4j.minisat.core.Solver$4 is serializable and an inner classBAD_PRACTICESE_INNER_CLASS1Low

org.sat4j.minisat.core.Solver$5

BugCategoryDetailsLinePriority
org.sat4j.minisat.core.Solver$5 is serializable and an inner classBAD_PRACTICESE_INNER_CLASS1Low

org.sat4j.minisat.core.Solver$6

BugCategoryDetailsLinePriority
org.sat4j.minisat.core.Solver$6 is serializable and an inner classBAD_PRACTICESE_INNER_CLASS1Low

org.sat4j.minisat.core.Solver$7

BugCategoryDetailsLinePriority
org.sat4j.minisat.core.Solver$7 is serializable and an inner classBAD_PRACTICESE_INNER_CLASS1Low

org.sat4j.minisat.core.Solver$8

BugCategoryDetailsLinePriority
org.sat4j.minisat.core.Solver$8 is serializable and an inner classBAD_PRACTICESE_INNER_CLASS1Low

org.sat4j.minisat.core.Solver$Glucose2LCDS

BugCategoryDetailsLinePriority
org.sat4j.minisat.core.Solver$Glucose2LCDS is serializable and an inner classBAD_PRACTICESE_INNER_CLASS1796Low

org.sat4j.minisat.core.Solver$GlucoseLCDS

BugCategoryDetailsLinePriority
org.sat4j.minisat.core.Solver$GlucoseLCDS is serializable and an inner classBAD_PRACTICESE_INNER_CLASS1709Low

org.sat4j.minisat.learning.ActiveLearning

BugCategoryDetailsLinePriority
La classe org.sat4j.minisat.learning.ActiveLearning définit le champ d'instance org.sat4j.minisat.learning.ActiveLearning.order non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow

org.sat4j.minisat.learning.LimitedLearning

BugCategoryDetailsLinePriority
Le champ n'est pas initialisé dans le constructeur org.sat4j.minisat.learning.LimitedLearning.statsSTYLEUWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTORLow

org.sat4j.minisat.learning.MiniSATLearning

BugCategoryDetailsLinePriority
Le champ n'est pas initialisé dans le constructeur org.sat4j.minisat.learning.MiniSATLearning.dsfSTYLEUWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTORLow

org.sat4j.minisat.orders.VarOrderHeap

BugCategoryDetailsLinePriority
La méthode org.sat4j.minisat.orders.VarOrderHeap.getVariableHeuristics() risque d'exposer sa représentation interne en renvoyant org.sat4j.minisat.orders.VarOrderHeap.activityMALICIOUS_CODEEI_EXPOSE_REP245Medium

org.sat4j.opt.AbstractSelectorVariablesDecorator

BugCategoryDetailsLinePriority
La méthode org.sat4j.opt.AbstractSelectorVariablesDecorator.getPrevboolmodel() risque d'exposer sa représentation interne en renvoyant org.sat4j.opt.AbstractSelectorVariablesDecorator.prevboolmodelMALICIOUS_CODEEI_EXPOSE_REP151Medium
La méthode org.sat4j.opt.AbstractSelectorVariablesDecorator.getPrevfullmodel() risque d'exposer sa représentation interne en renvoyant org.sat4j.opt.AbstractSelectorVariablesDecorator.prevfullmodelMALICIOUS_CODEEI_EXPOSE_REP135Medium
La méthode org.sat4j.opt.AbstractSelectorVariablesDecorator.getPrevmodel() risque d'exposer sa représentation interne en renvoyant org.sat4j.opt.AbstractSelectorVariablesDecorator.prevmodelMALICIOUS_CODEEI_EXPOSE_REP143Medium
La méthode org.sat4j.opt.AbstractSelectorVariablesDecorator.model() risque d'exposer sa représentation interne en renvoyant org.sat4j.opt.AbstractSelectorVariablesDecorator.prevmodelMALICIOUS_CODEEI_EXPOSE_REP114Medium
Le champ n'est pas initialisé dans le constructeur org.sat4j.opt.AbstractSelectorVariablesDecorator.prevboolmodelSTYLEUWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTORLow

org.sat4j.opt.MaxSatDecorator

BugCategoryDetailsLinePriority
La classe org.sat4j.opt.MaxSatDecorator définit le champ d'instance org.sat4j.opt.MaxSatDecorator.prevConstr non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium

org.sat4j.opt.MinOneDecorator

BugCategoryDetailsLinePriority
La méthode org.sat4j.opt.MinOneDecorator.model() risque d'exposer sa représentation interne en renvoyant org.sat4j.opt.MinOneDecorator.prevmodelMALICIOUS_CODEEI_EXPOSE_REP130Medium
La classe org.sat4j.opt.MinOneDecorator définit le champ d'instance org.sat4j.opt.MinOneDecorator.previousConstr non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium
Le champ n'est pas initialisé dans le constructeur org.sat4j.opt.MinOneDecorator.prevmodelSTYLEUWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTORLow

org.sat4j.reader.AIGReader

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.AIGReader.decode(InputStream)CORRECTNESSNP_ALWAYS_NULL148High

org.sat4j.reader.DimacsReader

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.DimacsReader.flushConstraint()CORRECTNESSNP_ALWAYS_NULL212High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.DimacsReader.readConstrs()CORRECTNESSNP_ALWAYS_NULL185High

org.sat4j.reader.EfficientScanner

BugCategoryDetailsLinePriority
Le champ org.sat4j.reader.EfficientScanner.in est transient mais n'est pas alimenté lors de la désérialisationBAD_PRACTICESE_TRANSIENT_FIELD_NOT_RESTOREDLow

org.sat4j.reader.GroupedCNFReader

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.GroupedCNFReader.flushConstraint()CORRECTNESSNP_ALWAYS_NULL141High

org.sat4j.reader.LecteurDimacs

BugCategoryDetailsLinePriority
Le champ n'est pas initialisé dans le constructeur org.sat4j.reader.LecteurDimacs.inSTYLEUWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTORLow

org.sat4j.specs.ILogAble$1

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.specs.ILogAble$1.log(String)CORRECTNESSNP_ALWAYS_NULL45High

org.sat4j.tools.AbstractMinimalModel

BugCategoryDetailsLinePriority
La classe org.sat4j.tools.AbstractMinimalModel définit le champ d'instance org.sat4j.tools.AbstractMinimalModel.modelListener non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium

org.sat4j.tools.AllMUSes

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.AllMUSes.computeAllMSS(SolutionFoundListener, ISolver, IVecInt)CORRECTNESSNP_ALWAYS_NULL199High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.AllMUSes.computeAllMSS(SolutionFoundListener, ISolver, IVecInt)CORRECTNESSNP_ALWAYS_NULL252High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.AllMUSes.computeAllMUSes(SolutionFoundListener, ISolver)CORRECTNESSNP_ALWAYS_NULL133High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.AllMUSes.computeAllMUSes(SolutionFoundListener, ISolver)CORRECTNESSNP_ALWAYS_NULL166High

org.sat4j.tools.CheckMUSSolutionListener

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.CheckMUSSolutionListener.onSolutionFound(IVecInt)CORRECTNESSNP_ALWAYS_NULL137High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.CheckMUSSolutionListener.onSolutionFound(IVecInt)CORRECTNESSNP_ALWAYS_NULL139High

org.sat4j.tools.DotSearchTracing

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode new org.sat4j.tools.DotSearchTracing(String, Map)CORRECTNESSNP_ALWAYS_NULL84High

org.sat4j.tools.FileBasedVisualizationTool

BugCategoryDetailsLinePriority
La classe org.sat4j.tools.FileBasedVisualizationTool définit le champ d'instance org.sat4j.tools.FileBasedVisualizationTool.out non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium
org.sat4j.tools.FileBasedVisualizationTool est Serializable ; pensez à déclarer serialVersionUIDBAD_PRACTICESE_NO_SERIALVERSIONID12Low

org.sat4j.tools.FullClauseSelectorSolver

BugCategoryDetailsLinePriority
La méthode org.sat4j.tools.FullClauseSelectorSolver.model() devrait-elle renvoyer un tableau vide plutôt que null ?STYLEPZLA_PREFER_ZERO_LENGTH_ARRAYS93Low
La classe org.sat4j.tools.FullClauseSelectorSolver définit le champ d'instance org.sat4j.tools.FullClauseSelectorSolver.lastConstr non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium

org.sat4j.tools.GroupClauseSelectorSolver

BugCategoryDetailsLinePriority
La méthode org.sat4j.tools.GroupClauseSelectorSolver.model() devrait-elle renvoyer un tableau vide plutôt que null ?STYLEPZLA_PREFER_ZERO_LENGTH_ARRAYS88Low

org.sat4j.tools.LBDTracing

BugCategoryDetailsLinePriority
Transtypage non vérifié/non confirmé de org.sat4j.minisat.core.Constr vers confl dans org.sat4j.tools.LBDTracing.conflictFound(IConstr, int, int)STYLEBC_UNCONFIRMED_CAST54Low

org.sat4j.tools.LexicoDecorator

BugCategoryDetailsLinePriority
La méthode org.sat4j.tools.LexicoDecorator.model() risque d'exposer sa représentation interne en renvoyant org.sat4j.tools.LexicoDecorator.prevfullmodelMALICIOUS_CODEEI_EXPOSE_REP143Medium
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.LexicoDecorator.manageUnsatCase()CORRECTNESSNP_ALWAYS_NULL112High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.LexicoDecorator.manageUnsatCase()CORRECTNESSNP_ALWAYS_NULL121High
La classe org.sat4j.tools.LexicoDecorator définit le champ d'instance org.sat4j.tools.LexicoDecorator.prevConstr non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow

org.sat4j.tools.ManyCore

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.ManyCore.onFinishWithAnswer(boolean, boolean, int)CORRECTNESSNP_ALWAYS_NULL381High
La méthode org.sat4j.tools.ManyCore.findModel() devrait-elle renvoyer un tableau vide plutôt que null ?STYLEPZLA_PREFER_ZERO_LENGTH_ARRAYS298Low
La méthode org.sat4j.tools.ManyCore.findModel(IVecInt) devrait-elle renvoyer un tableau vide plutôt que null ?STYLEPZLA_PREFER_ZERO_LENGTH_ARRAYS306Low
La classe org.sat4j.tools.ManyCore définit le champ d'instance org.sat4j.tools.ManyCore.solvers non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow

org.sat4j.tools.Minimal4CardinalityModel

BugCategoryDetailsLinePriority
La méthode org.sat4j.tools.Minimal4CardinalityModel.modelWithInternalVariables() risque d'exposer sa représentation interne en renvoyant org.sat4j.tools.Minimal4CardinalityModel.prevfullmodelMALICIOUS_CODEEI_EXPOSE_REP109Medium

org.sat4j.tools.Minimal4InclusionModel

BugCategoryDetailsLinePriority
La méthode org.sat4j.tools.Minimal4InclusionModel.modelWithInternalVariables() risque d'exposer sa représentation interne en renvoyant org.sat4j.tools.Minimal4InclusionModel.prevfullmodelMALICIOUS_CODEEI_EXPOSE_REP129Medium

org.sat4j.tools.ModelIteratorToSATAdapter

BugCategoryDetailsLinePriority
La méthode org.sat4j.tools.ModelIteratorToSATAdapter.model() risque d'exposer sa représentation interne en renvoyant org.sat4j.tools.ModelIteratorToSATAdapter.lastModelMALICIOUS_CODEEI_EXPOSE_REP84Medium
La classe org.sat4j.tools.ModelIteratorToSATAdapter définit le champ d'instance org.sat4j.tools.ModelIteratorToSATAdapter.sfl non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium

org.sat4j.tools.MultiTracing

BugCategoryDetailsLinePriority
La classe org.sat4j.tools.MultiTracing définit le champ d'instance org.sat4j.tools.MultiTracing.listeners non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow

org.sat4j.tools.NegationDecorator

BugCategoryDetailsLinePriority
La classe org.sat4j.tools.NegationDecorator définit le champ d'instance org.sat4j.tools.NegationDecorator.addedVars non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow

org.sat4j.tools.SearchEnumeratorListener

BugCategoryDetailsLinePriority
La classe org.sat4j.tools.SearchEnumeratorListener définit le champ d'instance org.sat4j.tools.SearchEnumeratorListener.sfl non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium

org.sat4j.tools.SearchMinOneListener

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

org.sat4j.tools.StatisticsSolver

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.StatisticsSolver.printStat(PrintWriter)CORRECTNESSNP_ALWAYS_NULL333High
Le champ n'est pas initialisé dans le constructeur org.sat4j.tools.StatisticsSolver.sizeoccurrencesSTYLEUWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTORLow

org.sat4j.tools.TextOutputTracing

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.adding(int)CORRECTNESSNP_ALWAYS_NULL90High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.assuming(int)CORRECTNESSNP_ALWAYS_NULL75High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.backjump(int)CORRECTNESSNP_ALWAYS_NULL143High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.backtracking(int)CORRECTNESSNP_ALWAYS_NULL86High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.cleaning()CORRECTNESSNP_ALWAYS_NULL156High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.conflictFound(int)CORRECTNESSNP_ALWAYS_NULL116High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.conflictFound(IConstr, int, int)CORRECTNESSNP_ALWAYS_NULL109High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.learn(IConstr)CORRECTNESSNP_ALWAYS_NULL97High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.propagating(int, IConstr)CORRECTNESSNP_ALWAYS_NULL82High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.restarting()CORRECTNESSNP_ALWAYS_NULL139High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.solutionFound(int[], RandomAccessModel)CORRECTNESSNP_ALWAYS_NULL120High

org.sat4j.tools.xplain.DeletionStrategy

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.DeletionStrategy.explain(ISolver, Map, IVecInt)CORRECTNESSNP_ALWAYS_NULL74High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.DeletionStrategy.explain(ISolver, Map, IVecInt)CORRECTNESSNP_ALWAYS_NULL115High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.DeletionStrategy.explain(ISolver, Map, IVecInt)CORRECTNESSNP_ALWAYS_NULL122High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.DeletionStrategy.explain(ISolver, Map, IVecInt)CORRECTNESSNP_ALWAYS_NULL126High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.DeletionStrategy.explain(ISolver, Map, IVecInt)CORRECTNESSNP_ALWAYS_NULL134High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.DeletionStrategy.explain(ISolver, Map, IVecInt)CORRECTNESSNP_ALWAYS_NULL143High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.DeletionStrategy.explain(ISolver, Map, IVecInt)CORRECTNESSNP_ALWAYS_NULL152High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.DeletionStrategy.explain(ISolver, Map, IVecInt)CORRECTNESSNP_ALWAYS_NULL156High

org.sat4j.tools.xplain.HighLevelXplain

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.HighLevelXplain.toString(String)CORRECTNESSNP_ALWAYS_NULL170High

org.sat4j.tools.xplain.InsertionStrategy

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.InsertionStrategy.explain(ISolver, Map, IVecInt)CORRECTNESSNP_ALWAYS_NULL96High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.InsertionStrategy.explain(ISolver, Map, IVecInt)CORRECTNESSNP_ALWAYS_NULL151High

org.sat4j.tools.xplain.QuickXplain2001Strategy

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.QuickXplain2001Strategy.explain(ISolver, Map, IVecInt)CORRECTNESSNP_ALWAYS_NULL84High

org.sat4j.tools.xplain.QuickXplainStrategy

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.QuickXplainStrategy.computeExplanation(ISolver, Map, IVecInt, int, int, IVecInt)CORRECTNESSNP_ALWAYS_NULL133High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.QuickXplainStrategy.computeExplanation(ISolver, Map, IVecInt, int, int, IVecInt)CORRECTNESSNP_ALWAYS_NULL143High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.QuickXplainStrategy.explain(ISolver, Map, IVecInt)CORRECTNESSNP_ALWAYS_NULL92High

org.sat4j.tools.xplain.Xplain

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.Xplain.toString(String)CORRECTNESSNP_ALWAYS_NULL204High