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
24615000

Files

ClassBugs
org.sat4j.AbstractLauncher6
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.Solver16
org.sat4j.minisat.core.Solver$111
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$81
org.sat4j.minisat.core.Solver$91
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.MinOneDecorator4
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.LexicoDecorator5
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.OptToSatAdapter4
org.sat4j.tools.RupSearchListener2
org.sat4j.tools.SearchEnumeratorListener1
org.sat4j.tools.SearchMinOneListener2
org.sat4j.tools.StatisticsSolver2
org.sat4j.tools.TextOutputTracing12
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.readProblem(String)CORRECTNESSNP_ALWAYS_NULL196High
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractLauncher.run(String[])CORRECTNESSNP_ALWAYS_NULL250High
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractLauncher.run(String[])CORRECTNESSNP_ALWAYS_NULL252High
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractLauncher.run(String[])CORRECTNESSNP_ALWAYS_NULL258High
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractLauncher.run(String[])CORRECTNESSNP_ALWAYS_NULL222High
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractLauncher.run(String[])CORRECTNESSNP_ALWAYS_NULL228High

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_CAST307Low
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_NULL265High

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_CAST409Low
Transtypage non vérifié/non confirmé de org.sat4j.minisat.core.Constr vers co dans org.sat4j.minisat.core.Solver.removeSubsumedConstr(IConstr)STYLEBC_UNCONFIRMED_CAST430Low
org.sat4j.minisat.core.Solver.reduceDB() force le déclenchement du ramasse-miettes ; extrêmement douteux sauf dans du code de banc d'essaiPERFORMANCEDM_GC1507High
Déréférencement d'un pointeur null dans la méthode org.sat4j.minisat.core.Solver.primeImplicant()CORRECTNESSNP_ALWAYS_NULL1388High
Déréférencement d'un pointeur null dans la méthode org.sat4j.minisat.core.Solver.primeImplicant()CORRECTNESSNP_ALWAYS_NULL1460High
La méthode org.sat4j.minisat.core.Solver.findModel() devrait-elle renvoyer un tableau vide plutôt que null ?STYLEPZLA_PREFER_ZERO_LENGTH_ARRAYS2303Low
La méthode org.sat4j.minisat.core.Solver.findModel(IVecInt) devrait-elle renvoyer un tableau vide plutôt que null ?STYLEPZLA_PREFER_ZERO_LENGTH_ARRAYS2312Low
La classe org.sat4j.minisat.core.Solver définit le champ d'instance org.sat4j.minisat.core.Solver.dimacsLevel 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.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
La classe org.sat4j.minisat.core.Solver définit le champ d'instance org.sat4j.minisat.core.Solver.unitClauseProvider non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow
org.sat4j.minisat.core.Solver$7 est stocké dans le champ non transient org.sat4j.minisat.core.Solver.dimacsLevelBAD_PRACTICESE_BAD_FIELD_STORE2547Medium
Switch statement found in org.sat4j.minisat.core.Solver.learn(Constr) where default case is missingSTYLESF_SWITCH_NO_DEFAULT375Low
Switch statement found in org.sat4j.minisat.core.Solver.setLearnedConstraintsDeletionStrategy(ConflictTimer, LearnedConstraintsEvaluationType) where default case is missingSTYLESF_SWITCH_NO_DEFAULT2508Low
Switch statement found in org.sat4j.minisat.core.Solver.setLearnedConstraintsDeletionStrategy(LearnedConstraintsEvaluationType) where default case is missingSTYLESF_SWITCH_NO_DEFAULT2531Low

org.sat4j.minisat.core.Solver$11

BugCategoryDetailsLinePriority
org.sat4j.minisat.core.Solver$11 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$8

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

org.sat4j.minisat.core.Solver$9

BugCategoryDetailsLinePriority
org.sat4j.minisat.core.Solver$9 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_CLASS1800Low

org.sat4j.minisat.core.Solver$GlucoseLCDS

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

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_REP133Medium
La méthode org.sat4j.opt.MinOneDecorator.modelWithInternalVariables() risque d'exposer sa représentation interne en renvoyant org.sat4j.opt.MinOneDecorator.prevmodelWithInternalVariablesMALICIOUS_CODEEI_EXPOSE_REP138Medium
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_REP146Medium
La méthode org.sat4j.tools.LexicoDecorator.modelWithInternalVariables() risque d'exposer sa représentation interne en renvoyant org.sat4j.tools.LexicoDecorator.prevmodelwithinternalvarsMALICIOUS_CODEEI_EXPOSE_REP156Medium
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.LexicoDecorator.manageUnsatCase()CORRECTNESSNP_ALWAYS_NULL115High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.LexicoDecorator.manageUnsatCase()CORRECTNESSNP_ALWAYS_NULL124High
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_NULL393High
La méthode org.sat4j.tools.ManyCore.findModel() devrait-elle renvoyer un tableau vide plutôt que null ?STYLEPZLA_PREFER_ZERO_LENGTH_ARRAYS310Low
La méthode org.sat4j.tools.ManyCore.findModel(IVecInt) devrait-elle renvoyer un tableau vide plutôt que null ?STYLEPZLA_PREFER_ZERO_LENGTH_ARRAYS318Low
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_REP114Medium

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_REP134Medium

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.OptToSatAdapter

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.OptToSatAdapter.isSatisfiable(IVecInt)CORRECTNESSNP_ALWAYS_NULL103High
La méthode org.sat4j.tools.OptToSatAdapter.findModel() devrait-elle renvoyer un tableau vide plutôt que null ?STYLEPZLA_PREFER_ZERO_LENGTH_ARRAYS137Low
La méthode org.sat4j.tools.OptToSatAdapter.findModel(IVecInt) devrait-elle renvoyer un tableau vide plutôt que null ?STYLEPZLA_PREFER_ZERO_LENGTH_ARRAYS145Low
La classe org.sat4j.tools.OptToSatAdapter définit le champ d'instance org.sat4j.tools.OptToSatAdapter.sfl non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium

org.sat4j.tools.RupSearchListener

BugCategoryDetailsLinePriority
org.sat4j.tools.RupSearchListener.end(Lbool) ignores exceptional return value of java.io.File.delete()BAD_PRACTICERV_RETURN_VALUE_IGNORED_BAD_PRACTICE82Medium
La classe org.sat4j.tools.RupSearchListener définit le champ d'instance org.sat4j.tools.RupSearchListener.out non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium

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_NULL334High
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_NULL151High
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_NULL164High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.conflictFound(int)CORRECTNESSNP_ALWAYS_NULL124High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.conflictFound(IConstr, int, int)CORRECTNESSNP_ALWAYS_NULL117High
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.learnUnit(int)CORRECTNESSNP_ALWAYS_NULL105High
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_NULL147High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.solutionFound(int[], RandomAccessModel)CORRECTNESSNP_ALWAYS_NULL128High

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