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

Classes	Bugs	Errors	Missing Classes
246	150	0	0

Files

Class	Bugs
org.sat4j.AbstractLauncher	6
org.sat4j.AbstractOptimizationLauncher	1
org.sat4j.ILauncherMode$1	1
org.sat4j.ILauncherMode$2	2
org.sat4j.MUSLauncher	2
org.sat4j.MUSLauncher$1	1
org.sat4j.MUSLauncher$2	1
org.sat4j.MoreThanSAT	4
org.sat4j.core.ASolverFactory	5
org.sat4j.core.ReadOnlyVecInt	1
org.sat4j.core.Vec	3
org.sat4j.core.VecInt	5
org.sat4j.minisat.constraints.cnf.Lits	1
org.sat4j.minisat.core.Heap	1
org.sat4j.minisat.core.Pair	1
org.sat4j.minisat.core.Solver	16
org.sat4j.minisat.core.Solver$11	1
org.sat4j.minisat.core.Solver$2	1
org.sat4j.minisat.core.Solver$3	1
org.sat4j.minisat.core.Solver$4	1
org.sat4j.minisat.core.Solver$5	1
org.sat4j.minisat.core.Solver$6	1
org.sat4j.minisat.core.Solver$8	1
org.sat4j.minisat.core.Solver$9	1
org.sat4j.minisat.core.Solver$Glucose2LCDS	1
org.sat4j.minisat.core.Solver$GlucoseLCDS	1
org.sat4j.minisat.learning.ActiveLearning	1
org.sat4j.minisat.learning.LimitedLearning	1
org.sat4j.minisat.learning.MiniSATLearning	1
org.sat4j.minisat.orders.VarOrderHeap	1
org.sat4j.opt.AbstractSelectorVariablesDecorator	5
org.sat4j.opt.MaxSatDecorator	1
org.sat4j.opt.MinOneDecorator	4
org.sat4j.reader.AIGReader	1
org.sat4j.reader.DimacsReader	2
org.sat4j.reader.EfficientScanner	1
org.sat4j.reader.GroupedCNFReader	1
org.sat4j.reader.LecteurDimacs	1
org.sat4j.specs.ILogAble$1	1
org.sat4j.tools.AbstractMinimalModel	1
org.sat4j.tools.AllMUSes	4
org.sat4j.tools.CheckMUSSolutionListener	2
org.sat4j.tools.DotSearchTracing	1
org.sat4j.tools.FileBasedVisualizationTool	2
org.sat4j.tools.FullClauseSelectorSolver	2
org.sat4j.tools.GroupClauseSelectorSolver	1
org.sat4j.tools.LBDTracing	1
org.sat4j.tools.LexicoDecorator	5
org.sat4j.tools.ManyCore	4
org.sat4j.tools.Minimal4CardinalityModel	1
org.sat4j.tools.Minimal4InclusionModel	1
org.sat4j.tools.ModelIteratorToSATAdapter	2
org.sat4j.tools.MultiTracing	1
org.sat4j.tools.NegationDecorator	1
org.sat4j.tools.OptToSatAdapter	4
org.sat4j.tools.RupSearchListener	2
org.sat4j.tools.SearchEnumeratorListener	1
org.sat4j.tools.SearchMinOneListener	2
org.sat4j.tools.StatisticsSolver	2
org.sat4j.tools.TextOutputTracing	12
org.sat4j.tools.xplain.DeletionStrategy	8
org.sat4j.tools.xplain.HighLevelXplain	1
org.sat4j.tools.xplain.InsertionStrategy	2
org.sat4j.tools.xplain.QuickXplain2001Strategy	1
org.sat4j.tools.xplain.QuickXplainStrategy	3
org.sat4j.tools.xplain.Xplain	1

org.sat4j.AbstractLauncher

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractLauncher.readProblem(String)	CORRECTNESS	NP_ALWAYS_NULL	196	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractLauncher.run(String[])	CORRECTNESS	NP_ALWAYS_NULL	250	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractLauncher.run(String[])	CORRECTNESS	NP_ALWAYS_NULL	252	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractLauncher.run(String[])	CORRECTNESS	NP_ALWAYS_NULL	258	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractLauncher.run(String[])	CORRECTNESS	NP_ALWAYS_NULL	222	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractLauncher.run(String[])	CORRECTNESS	NP_ALWAYS_NULL	228	High

org.sat4j.AbstractOptimizationLauncher

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.AbstractOptimizationLauncher.displayAnswer()	CORRECTNESS	NP_ALWAYS_NULL	87	High

org.sat4j.ILauncherMode$1

Bug	Category	Details	Line	Priority
Le champ n'est pas initialisé dans le constructeur org.sat4j.ILauncherMode$1.out	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR		Low

org.sat4j.ILauncherMode$2

Bug	Category	Details	Line	Priority
Transtypage non vérifié/non confirmé de org.sat4j.specs.IOptimizationProblem vers problem dans org.sat4j.ILauncherMode$2.solve(IProblem, Reader, ILogAble, PrintWriter, long)	STYLE	BC_UNCONFIRMED_CAST	307	Low
Déréférencement d'un pointeur null dans la méthode org.sat4j.ILauncherMode$2.displayResult(ISolver, IProblem, ILogAble, PrintWriter, Reader, long, boolean)	CORRECTNESS	NP_ALWAYS_NULL	265	High

org.sat4j.MUSLauncher

Bug	Category	Details	Line	Priority
La classe org.sat4j.MUSLauncher définit le champ d'instance org.sat4j.MUSLauncher.allMuses non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium
Le champ n'est pas initialisé dans le constructeur org.sat4j.MUSLauncher.xplain	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR		Low

org.sat4j.MUSLauncher$1

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.MUSLauncher$1.onSolutionFound(IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	165	High

org.sat4j.MUSLauncher$2

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.MUSLauncher$2.onSolutionFound(IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	179	High

org.sat4j.MoreThanSAT

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.MoreThanSAT.main(String[])	CORRECTNESS	NP_ALWAYS_NULL	77	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.MoreThanSAT.main(String[])	CORRECTNESS	NP_ALWAYS_NULL	86	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.MoreThanSAT.main(String[])	CORRECTNESS	NP_ALWAYS_NULL	95	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.MoreThanSAT.main(String[])	CORRECTNESS	NP_ALWAYS_NULL	97	High

org.sat4j.core.ASolverFactory

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.core.ASolverFactory.createSolverByName(String)	CORRECTNESS	NP_ALWAYS_NULL	92	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.core.ASolverFactory.createSolverByName(String)	CORRECTNESS	NP_ALWAYS_NULL	94	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.core.ASolverFactory.createSolverByName(String)	CORRECTNESS	NP_ALWAYS_NULL	96	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.core.ASolverFactory.createSolverByName(String)	CORRECTNESS	NP_ALWAYS_NULL	98	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.core.ASolverFactory.createSolverByName(String)	CORRECTNESS	NP_ALWAYS_NULL	100	High

org.sat4j.core.ReadOnlyVecInt

Bug	Category	Details	Line	Priority
La méthode org.sat4j.core.ReadOnlyVecInt.subset(int) devrait-elle renvoyer un tableau vide plutôt que null ?	STYLE	PZLA_PREFER_ZERO_LENGTH_ARRAYS	199	Low

org.sat4j.core.Vec

Bug	Category	Details	Line	Priority
Transtypage non vérifié/non confirmé de org.sat4j.core.Vec vers copy dans org.sat4j.core.Vec.copyTo(IVec)	STYLE	BC_UNCONFIRMED_CAST	289	Low
La méthode org.sat4j.core.Vec.toArray() risque d'exposer sa représentation interne en renvoyant org.sat4j.core.Vec.myarray	MALICIOUS_CODE	EI_EXPOSE_REP	322	Medium
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.myarray	MALICIOUS_CODE	EI_EXPOSE_REP2	88	Medium

org.sat4j.core.VecInt

Bug	Category	Details	Line	Priority
Transtypage non vérifié/non confirmé de org.sat4j.core.VecInt vers copy dans org.sat4j.core.VecInt.copyTo(IVecInt)	STYLE	BC_UNCONFIRMED_CAST	392	Low
Transtypage non vérifié/non confirmé de org.sat4j.core.VecInt vers dest dans org.sat4j.core.VecInt.moveTo2(IVecInt)	STYLE	BC_UNCONFIRMED_CAST	417	Low
Transtypage non vérifié/non confirmé de org.sat4j.core.VecInt vers vec dans org.sat4j.core.VecInt.pushAll(IVecInt)	STYLE	BC_UNCONFIRMED_CAST	636	Low
La méthode org.sat4j.core.VecInt.toArray() risque d'exposer sa représentation interne en renvoyant org.sat4j.core.VecInt.myarray	MALICIOUS_CODE	EI_EXPOSE_REP	692	Medium
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.myarray	MALICIOUS_CODE	EI_EXPOSE_REP2	248	Medium

org.sat4j.minisat.constraints.cnf.Lits

Bug	Category	Details	Line	Priority
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érialisable	BAD_PRACTICE	SE_BAD_FIELD		Low

org.sat4j.minisat.core.Heap

Bug	Category	Details	Line	Priority
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.activity	MALICIOUS_CODE	EI_EXPOSE_REP2	105	Medium

org.sat4j.minisat.core.Pair

Bug	Category	Details	Line	Priority
La classe org.sat4j.minisat.core.Pair définit le champ d'instance org.sat4j.minisat.core.Pair.reason non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low

org.sat4j.minisat.core.Solver

Bug	Category	Details	Line	Priority
Transtypage non vérifié/non confirmé de org.sat4j.minisat.core.Constr vers co dans org.sat4j.minisat.core.Solver.removeConstr(IConstr)	STYLE	BC_UNCONFIRMED_CAST	409	Low
Transtypage non vérifié/non confirmé de org.sat4j.minisat.core.Constr vers co dans org.sat4j.minisat.core.Solver.removeSubsumedConstr(IConstr)	STYLE	BC_UNCONFIRMED_CAST	430	Low
org.sat4j.minisat.core.Solver.reduceDB() force le déclenchement du ramasse-miettes ; extrêmement douteux sauf dans du code de banc d'essai	PERFORMANCE	DM_GC	1507	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.minisat.core.Solver.primeImplicant()	CORRECTNESS	NP_ALWAYS_NULL	1388	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.minisat.core.Solver.primeImplicant()	CORRECTNESS	NP_ALWAYS_NULL	1460	High
La méthode org.sat4j.minisat.core.Solver.findModel() devrait-elle renvoyer un tableau vide plutôt que null ?	STYLE	PZLA_PREFER_ZERO_LENGTH_ARRAYS	2303	Low
La méthode org.sat4j.minisat.core.Solver.findModel(IVecInt) devrait-elle renvoyer un tableau vide plutôt que null ?	STYLE	PZLA_PREFER_ZERO_LENGTH_ARRAYS	2312	Low
La classe org.sat4j.minisat.core.Solver définit le champ d'instance org.sat4j.minisat.core.Solver.dimacsLevel non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low
La classe org.sat4j.minisat.core.Solver définit le champ d'instance org.sat4j.minisat.core.Solver.order non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low
La classe org.sat4j.minisat.core.Solver définit le champ d'instance org.sat4j.minisat.core.Solver.out non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low
La classe org.sat4j.minisat.core.Solver définit le champ d'instance org.sat4j.minisat.core.Solver.sharedConflict non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low
La classe org.sat4j.minisat.core.Solver définit le champ d'instance org.sat4j.minisat.core.Solver.unitClauseProvider non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low
org.sat4j.minisat.core.Solver$7 est stocké dans le champ non transient org.sat4j.minisat.core.Solver.dimacsLevel	BAD_PRACTICE	SE_BAD_FIELD_STORE	2547	Medium
Switch statement found in org.sat4j.minisat.core.Solver.learn(Constr) where default case is missing	STYLE	SF_SWITCH_NO_DEFAULT	375	Low
Switch statement found in org.sat4j.minisat.core.Solver.setLearnedConstraintsDeletionStrategy(ConflictTimer, LearnedConstraintsEvaluationType) where default case is missing	STYLE	SF_SWITCH_NO_DEFAULT	2508	Low
Switch statement found in org.sat4j.minisat.core.Solver.setLearnedConstraintsDeletionStrategy(LearnedConstraintsEvaluationType) where default case is missing	STYLE	SF_SWITCH_NO_DEFAULT	2531	Low

org.sat4j.minisat.core.Solver$11

Bug	Category	Details	Line	Priority
org.sat4j.minisat.core.Solver$11 is serializable and an inner class	BAD_PRACTICE	SE_INNER_CLASS	1	Low

org.sat4j.minisat.core.Solver$2

Bug	Category	Details	Line	Priority
org.sat4j.minisat.core.Solver$2 is serializable and an inner class	BAD_PRACTICE	SE_INNER_CLASS	1	Low

org.sat4j.minisat.core.Solver$3

Bug	Category	Details	Line	Priority
org.sat4j.minisat.core.Solver$3 is serializable and an inner class	BAD_PRACTICE	SE_INNER_CLASS	1	Low

org.sat4j.minisat.core.Solver$4

Bug	Category	Details	Line	Priority
org.sat4j.minisat.core.Solver$4 is serializable and an inner class	BAD_PRACTICE	SE_INNER_CLASS	1	Low

org.sat4j.minisat.core.Solver$5

Bug	Category	Details	Line	Priority
org.sat4j.minisat.core.Solver$5 is serializable and an inner class	BAD_PRACTICE	SE_INNER_CLASS	1	Low

org.sat4j.minisat.core.Solver$6

Bug	Category	Details	Line	Priority
org.sat4j.minisat.core.Solver$6 is serializable and an inner class	BAD_PRACTICE	SE_INNER_CLASS	1	Low

org.sat4j.minisat.core.Solver$8

Bug	Category	Details	Line	Priority
org.sat4j.minisat.core.Solver$8 is serializable and an inner class	BAD_PRACTICE	SE_INNER_CLASS	1	Low

org.sat4j.minisat.core.Solver$9

Bug	Category	Details	Line	Priority
org.sat4j.minisat.core.Solver$9 is serializable and an inner class	BAD_PRACTICE	SE_INNER_CLASS	1	Low

org.sat4j.minisat.core.Solver$Glucose2LCDS

Bug	Category	Details	Line	Priority
org.sat4j.minisat.core.Solver$Glucose2LCDS is serializable and an inner class	BAD_PRACTICE	SE_INNER_CLASS	1800	Low

org.sat4j.minisat.core.Solver$GlucoseLCDS

Bug	Category	Details	Line	Priority
org.sat4j.minisat.core.Solver$GlucoseLCDS is serializable and an inner class	BAD_PRACTICE	SE_INNER_CLASS	1713	Low

org.sat4j.minisat.learning.ActiveLearning

Bug	Category	Details	Line	Priority
La classe org.sat4j.minisat.learning.ActiveLearning définit le champ d'instance org.sat4j.minisat.learning.ActiveLearning.order non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low

org.sat4j.minisat.learning.LimitedLearning

Bug	Category	Details	Line	Priority
Le champ n'est pas initialisé dans le constructeur org.sat4j.minisat.learning.LimitedLearning.stats	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR		Low

org.sat4j.minisat.learning.MiniSATLearning

Bug	Category	Details	Line	Priority
Le champ n'est pas initialisé dans le constructeur org.sat4j.minisat.learning.MiniSATLearning.dsf	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR		Low

org.sat4j.minisat.orders.VarOrderHeap

Bug	Category	Details	Line	Priority
La méthode org.sat4j.minisat.orders.VarOrderHeap.getVariableHeuristics() risque d'exposer sa représentation interne en renvoyant org.sat4j.minisat.orders.VarOrderHeap.activity	MALICIOUS_CODE	EI_EXPOSE_REP	245	Medium

org.sat4j.opt.AbstractSelectorVariablesDecorator

Bug	Category	Details	Line	Priority
La méthode org.sat4j.opt.AbstractSelectorVariablesDecorator.getPrevboolmodel() risque d'exposer sa représentation interne en renvoyant org.sat4j.opt.AbstractSelectorVariablesDecorator.prevboolmodel	MALICIOUS_CODE	EI_EXPOSE_REP	151	Medium
La méthode org.sat4j.opt.AbstractSelectorVariablesDecorator.getPrevfullmodel() risque d'exposer sa représentation interne en renvoyant org.sat4j.opt.AbstractSelectorVariablesDecorator.prevfullmodel	MALICIOUS_CODE	EI_EXPOSE_REP	135	Medium
La méthode org.sat4j.opt.AbstractSelectorVariablesDecorator.getPrevmodel() risque d'exposer sa représentation interne en renvoyant org.sat4j.opt.AbstractSelectorVariablesDecorator.prevmodel	MALICIOUS_CODE	EI_EXPOSE_REP	143	Medium
La méthode org.sat4j.opt.AbstractSelectorVariablesDecorator.model() risque d'exposer sa représentation interne en renvoyant org.sat4j.opt.AbstractSelectorVariablesDecorator.prevmodel	MALICIOUS_CODE	EI_EXPOSE_REP	114	Medium
Le champ n'est pas initialisé dans le constructeur org.sat4j.opt.AbstractSelectorVariablesDecorator.prevboolmodel	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR		Low

org.sat4j.opt.MaxSatDecorator

Bug	Category	Details	Line	Priority
La classe org.sat4j.opt.MaxSatDecorator définit le champ d'instance org.sat4j.opt.MaxSatDecorator.prevConstr non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium

org.sat4j.opt.MinOneDecorator

Bug	Category	Details	Line	Priority
La méthode org.sat4j.opt.MinOneDecorator.model() risque d'exposer sa représentation interne en renvoyant org.sat4j.opt.MinOneDecorator.prevmodel	MALICIOUS_CODE	EI_EXPOSE_REP	133	Medium
La méthode org.sat4j.opt.MinOneDecorator.modelWithInternalVariables() risque d'exposer sa représentation interne en renvoyant org.sat4j.opt.MinOneDecorator.prevmodelWithInternalVariables	MALICIOUS_CODE	EI_EXPOSE_REP	138	Medium
La classe org.sat4j.opt.MinOneDecorator définit le champ d'instance org.sat4j.opt.MinOneDecorator.previousConstr non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium
Le champ n'est pas initialisé dans le constructeur org.sat4j.opt.MinOneDecorator.prevmodel	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR		Low

org.sat4j.reader.AIGReader

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.AIGReader.decode(InputStream)	CORRECTNESS	NP_ALWAYS_NULL	148	High

org.sat4j.reader.DimacsReader

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.DimacsReader.flushConstraint()	CORRECTNESS	NP_ALWAYS_NULL	212	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.DimacsReader.readConstrs()	CORRECTNESS	NP_ALWAYS_NULL	185	High

org.sat4j.reader.EfficientScanner

Bug	Category	Details	Line	Priority
Le champ org.sat4j.reader.EfficientScanner.in est transient mais n'est pas alimenté lors de la désérialisation	BAD_PRACTICE	SE_TRANSIENT_FIELD_NOT_RESTORED		Low

org.sat4j.reader.GroupedCNFReader

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.reader.GroupedCNFReader.flushConstraint()	CORRECTNESS	NP_ALWAYS_NULL	141	High

org.sat4j.reader.LecteurDimacs

Bug	Category	Details	Line	Priority
Le champ n'est pas initialisé dans le constructeur org.sat4j.reader.LecteurDimacs.in	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR		Low

org.sat4j.specs.ILogAble$1

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.specs.ILogAble$1.log(String)	CORRECTNESS	NP_ALWAYS_NULL	45	High

org.sat4j.tools.AbstractMinimalModel

Bug	Category	Details	Line	Priority
La classe org.sat4j.tools.AbstractMinimalModel définit le champ d'instance org.sat4j.tools.AbstractMinimalModel.modelListener non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium

org.sat4j.tools.AllMUSes

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.AllMUSes.computeAllMSS(SolutionFoundListener, ISolver, IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	199	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.AllMUSes.computeAllMSS(SolutionFoundListener, ISolver, IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	252	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.AllMUSes.computeAllMUSes(SolutionFoundListener, ISolver)	CORRECTNESS	NP_ALWAYS_NULL	133	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.AllMUSes.computeAllMUSes(SolutionFoundListener, ISolver)	CORRECTNESS	NP_ALWAYS_NULL	166	High

org.sat4j.tools.CheckMUSSolutionListener

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.CheckMUSSolutionListener.onSolutionFound(IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	137	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.CheckMUSSolutionListener.onSolutionFound(IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	139	High

org.sat4j.tools.DotSearchTracing

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode new org.sat4j.tools.DotSearchTracing(String, Map)	CORRECTNESS	NP_ALWAYS_NULL	84	High

org.sat4j.tools.FileBasedVisualizationTool

Bug	Category	Details	Line	Priority
La classe org.sat4j.tools.FileBasedVisualizationTool définit le champ d'instance org.sat4j.tools.FileBasedVisualizationTool.out non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium
org.sat4j.tools.FileBasedVisualizationTool est Serializable ; pensez à déclarer serialVersionUID	BAD_PRACTICE	SE_NO_SERIALVERSIONID	12	Low

org.sat4j.tools.FullClauseSelectorSolver

Bug	Category	Details	Line	Priority
La méthode org.sat4j.tools.FullClauseSelectorSolver.model() devrait-elle renvoyer un tableau vide plutôt que null ?	STYLE	PZLA_PREFER_ZERO_LENGTH_ARRAYS	93	Low
La classe org.sat4j.tools.FullClauseSelectorSolver définit le champ d'instance org.sat4j.tools.FullClauseSelectorSolver.lastConstr non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium

org.sat4j.tools.GroupClauseSelectorSolver

Bug	Category	Details	Line	Priority
La méthode org.sat4j.tools.GroupClauseSelectorSolver.model() devrait-elle renvoyer un tableau vide plutôt que null ?	STYLE	PZLA_PREFER_ZERO_LENGTH_ARRAYS	88	Low

org.sat4j.tools.LBDTracing

Bug	Category	Details	Line	Priority
Transtypage non vérifié/non confirmé de org.sat4j.minisat.core.Constr vers confl dans org.sat4j.tools.LBDTracing.conflictFound(IConstr, int, int)	STYLE	BC_UNCONFIRMED_CAST	54	Low

org.sat4j.tools.LexicoDecorator

Bug	Category	Details	Line	Priority
La méthode org.sat4j.tools.LexicoDecorator.model() risque d'exposer sa représentation interne en renvoyant org.sat4j.tools.LexicoDecorator.prevfullmodel	MALICIOUS_CODE	EI_EXPOSE_REP	146	Medium
La méthode org.sat4j.tools.LexicoDecorator.modelWithInternalVariables() risque d'exposer sa représentation interne en renvoyant org.sat4j.tools.LexicoDecorator.prevmodelwithinternalvars	MALICIOUS_CODE	EI_EXPOSE_REP	156	Medium
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.LexicoDecorator.manageUnsatCase()	CORRECTNESS	NP_ALWAYS_NULL	115	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.LexicoDecorator.manageUnsatCase()	CORRECTNESS	NP_ALWAYS_NULL	124	High
La classe org.sat4j.tools.LexicoDecorator définit le champ d'instance org.sat4j.tools.LexicoDecorator.prevConstr non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low

org.sat4j.tools.ManyCore

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.ManyCore.onFinishWithAnswer(boolean, boolean, int)	CORRECTNESS	NP_ALWAYS_NULL	393	High
La méthode org.sat4j.tools.ManyCore.findModel() devrait-elle renvoyer un tableau vide plutôt que null ?	STYLE	PZLA_PREFER_ZERO_LENGTH_ARRAYS	310	Low
La méthode org.sat4j.tools.ManyCore.findModel(IVecInt) devrait-elle renvoyer un tableau vide plutôt que null ?	STYLE	PZLA_PREFER_ZERO_LENGTH_ARRAYS	318	Low
La classe org.sat4j.tools.ManyCore définit le champ d'instance org.sat4j.tools.ManyCore.solvers non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low

org.sat4j.tools.Minimal4CardinalityModel

Bug	Category	Details	Line	Priority
La méthode org.sat4j.tools.Minimal4CardinalityModel.modelWithInternalVariables() risque d'exposer sa représentation interne en renvoyant org.sat4j.tools.Minimal4CardinalityModel.prevfullmodel	MALICIOUS_CODE	EI_EXPOSE_REP	114	Medium

org.sat4j.tools.Minimal4InclusionModel

Bug	Category	Details	Line	Priority
La méthode org.sat4j.tools.Minimal4InclusionModel.modelWithInternalVariables() risque d'exposer sa représentation interne en renvoyant org.sat4j.tools.Minimal4InclusionModel.prevfullmodel	MALICIOUS_CODE	EI_EXPOSE_REP	134	Medium

org.sat4j.tools.ModelIteratorToSATAdapter

Bug	Category	Details	Line	Priority
La méthode org.sat4j.tools.ModelIteratorToSATAdapter.model() risque d'exposer sa représentation interne en renvoyant org.sat4j.tools.ModelIteratorToSATAdapter.lastModel	MALICIOUS_CODE	EI_EXPOSE_REP	84	Medium
La classe org.sat4j.tools.ModelIteratorToSATAdapter définit le champ d'instance org.sat4j.tools.ModelIteratorToSATAdapter.sfl non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium

org.sat4j.tools.MultiTracing

Bug	Category	Details	Line	Priority
La classe org.sat4j.tools.MultiTracing définit le champ d'instance org.sat4j.tools.MultiTracing.listeners non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low

org.sat4j.tools.NegationDecorator

Bug	Category	Details	Line	Priority
La classe org.sat4j.tools.NegationDecorator définit le champ d'instance org.sat4j.tools.NegationDecorator.addedVars non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low

org.sat4j.tools.OptToSatAdapter

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.OptToSatAdapter.isSatisfiable(IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	103	High
La méthode org.sat4j.tools.OptToSatAdapter.findModel() devrait-elle renvoyer un tableau vide plutôt que null ?	STYLE	PZLA_PREFER_ZERO_LENGTH_ARRAYS	137	Low
La méthode org.sat4j.tools.OptToSatAdapter.findModel(IVecInt) devrait-elle renvoyer un tableau vide plutôt que null ?	STYLE	PZLA_PREFER_ZERO_LENGTH_ARRAYS	145	Low
La classe org.sat4j.tools.OptToSatAdapter définit le champ d'instance org.sat4j.tools.OptToSatAdapter.sfl non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium

org.sat4j.tools.RupSearchListener

Bug	Category	Details	Line	Priority
org.sat4j.tools.RupSearchListener.end(Lbool) ignores exceptional return value of java.io.File.delete()	BAD_PRACTICE	RV_RETURN_VALUE_IGNORED_BAD_PRACTICE	82	Medium
La classe org.sat4j.tools.RupSearchListener définit le champ d'instance org.sat4j.tools.RupSearchListener.out non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium

org.sat4j.tools.SearchEnumeratorListener

Bug	Category	Details	Line	Priority
La classe org.sat4j.tools.SearchEnumeratorListener définit le champ d'instance org.sat4j.tools.SearchEnumeratorListener.sfl non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium

org.sat4j.tools.SearchMinOneListener

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.SearchMinOneListener.solutionFound(int[], RandomAccessModel)	CORRECTNESS	NP_ALWAYS_NULL	75	High
La classe org.sat4j.tools.SearchMinOneListener définit le champ d'instance org.sat4j.tools.SearchMinOneListener.sfl non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium

org.sat4j.tools.StatisticsSolver

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.StatisticsSolver.printStat(PrintWriter)	CORRECTNESS	NP_ALWAYS_NULL	334	High
Le champ n'est pas initialisé dans le constructeur org.sat4j.tools.StatisticsSolver.sizeoccurrences	STYLE	UWF_FIELD_NOT_INITIALIZED_IN_CONSTRUCTOR		Low

org.sat4j.tools.TextOutputTracing

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.adding(int)	CORRECTNESS	NP_ALWAYS_NULL	90	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.assuming(int)	CORRECTNESS	NP_ALWAYS_NULL	75	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.backjump(int)	CORRECTNESS	NP_ALWAYS_NULL	151	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.backtracking(int)	CORRECTNESS	NP_ALWAYS_NULL	86	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.cleaning()	CORRECTNESS	NP_ALWAYS_NULL	164	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.conflictFound(int)	CORRECTNESS	NP_ALWAYS_NULL	124	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.conflictFound(IConstr, int, int)	CORRECTNESS	NP_ALWAYS_NULL	117	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.learn(IConstr)	CORRECTNESS	NP_ALWAYS_NULL	97	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.learnUnit(int)	CORRECTNESS	NP_ALWAYS_NULL	105	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.propagating(int, IConstr)	CORRECTNESS	NP_ALWAYS_NULL	82	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.restarting()	CORRECTNESS	NP_ALWAYS_NULL	147	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.TextOutputTracing.solutionFound(int[], RandomAccessModel)	CORRECTNESS	NP_ALWAYS_NULL	128	High

org.sat4j.tools.xplain.DeletionStrategy

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.DeletionStrategy.explain(ISolver, Map, IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	74	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.DeletionStrategy.explain(ISolver, Map, IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	115	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.DeletionStrategy.explain(ISolver, Map, IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	122	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.DeletionStrategy.explain(ISolver, Map, IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	126	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.DeletionStrategy.explain(ISolver, Map, IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	134	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.DeletionStrategy.explain(ISolver, Map, IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	143	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.DeletionStrategy.explain(ISolver, Map, IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	152	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.DeletionStrategy.explain(ISolver, Map, IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	156	High

org.sat4j.tools.xplain.HighLevelXplain

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.HighLevelXplain.toString(String)	CORRECTNESS	NP_ALWAYS_NULL	170	High

org.sat4j.tools.xplain.InsertionStrategy

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.InsertionStrategy.explain(ISolver, Map, IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	96	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.InsertionStrategy.explain(ISolver, Map, IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	151	High

org.sat4j.tools.xplain.QuickXplain2001Strategy

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.QuickXplain2001Strategy.explain(ISolver, Map, IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	84	High

org.sat4j.tools.xplain.QuickXplainStrategy

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.QuickXplainStrategy.computeExplanation(ISolver, Map, IVecInt, int, int, IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	133	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.QuickXplainStrategy.computeExplanation(ISolver, Map, IVecInt, int, int, IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	143	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.QuickXplainStrategy.explain(ISolver, Map, IVecInt)	CORRECTNESS	NP_ALWAYS_NULL	92	High

org.sat4j.tools.xplain.Xplain

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.tools.xplain.Xplain.toString(String)	CORRECTNESS	NP_ALWAYS_NULL	204	High

Parent Project

Project Documentation

FindBugs Bug Detector Report

Summary

Files

org.sat4j.AbstractLauncher

org.sat4j.AbstractOptimizationLauncher

org.sat4j.ILauncherMode$1

org.sat4j.ILauncherMode$2

org.sat4j.MUSLauncher

org.sat4j.MUSLauncher$1

org.sat4j.MUSLauncher$2

org.sat4j.MoreThanSAT

org.sat4j.core.ASolverFactory

org.sat4j.core.ReadOnlyVecInt

org.sat4j.core.Vec

org.sat4j.core.VecInt

org.sat4j.minisat.constraints.cnf.Lits

org.sat4j.minisat.core.Heap

org.sat4j.minisat.core.Pair

org.sat4j.minisat.core.Solver

org.sat4j.minisat.core.Solver$11

org.sat4j.minisat.core.Solver$2

org.sat4j.minisat.core.Solver$3

org.sat4j.minisat.core.Solver$4

org.sat4j.minisat.core.Solver$5

org.sat4j.minisat.core.Solver$6

org.sat4j.minisat.core.Solver$8

org.sat4j.minisat.core.Solver$9

org.sat4j.minisat.core.Solver$Glucose2LCDS

org.sat4j.minisat.core.Solver$GlucoseLCDS

org.sat4j.minisat.learning.ActiveLearning

org.sat4j.minisat.learning.LimitedLearning

org.sat4j.minisat.learning.MiniSATLearning

org.sat4j.minisat.orders.VarOrderHeap

org.sat4j.opt.AbstractSelectorVariablesDecorator

org.sat4j.opt.MaxSatDecorator

org.sat4j.opt.MinOneDecorator

org.sat4j.reader.AIGReader

org.sat4j.reader.DimacsReader

org.sat4j.reader.EfficientScanner

org.sat4j.reader.GroupedCNFReader

org.sat4j.reader.LecteurDimacs

org.sat4j.specs.ILogAble$1

org.sat4j.tools.AbstractMinimalModel

org.sat4j.tools.AllMUSes

org.sat4j.tools.CheckMUSSolutionListener

org.sat4j.tools.DotSearchTracing

org.sat4j.tools.FileBasedVisualizationTool

org.sat4j.tools.FullClauseSelectorSolver

org.sat4j.tools.GroupClauseSelectorSolver

org.sat4j.tools.LBDTracing

org.sat4j.tools.LexicoDecorator

org.sat4j.tools.ManyCore

org.sat4j.tools.Minimal4CardinalityModel

org.sat4j.tools.Minimal4InclusionModel

org.sat4j.tools.ModelIteratorToSATAdapter

org.sat4j.tools.MultiTracing

org.sat4j.tools.NegationDecorator

org.sat4j.tools.OptToSatAdapter

org.sat4j.tools.RupSearchListener

org.sat4j.tools.SearchEnumeratorListener

org.sat4j.tools.SearchMinOneListener

org.sat4j.tools.StatisticsSolver

org.sat4j.tools.TextOutputTracing

org.sat4j.tools.xplain.DeletionStrategy

org.sat4j.tools.xplain.HighLevelXplain

org.sat4j.tools.xplain.InsertionStrategy

org.sat4j.tools.xplain.QuickXplain2001Strategy

org.sat4j.tools.xplain.QuickXplainStrategy

org.sat4j.tools.xplain.Xplain