FindBugs Bug Detector Report

Last Published: 2013-04-19 | Version: 2.3.4

Parent Project

SAT4J

Project Documentation

Project Information
Project Reports
- Surefire Report
- Source Xref
- PMD Report
- CPD Report
- Checkstyle
- FindBugs Report
- JavaDocs
- Tag List

Built by Maven

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
85	42	0	0

Files

Class	Bugs
org.sat4j.sat.DetailedCommandPanel	5
org.sat4j.sat.Lanceur	7
org.sat4j.sat.LaunchRemoteControl	1
org.sat4j.sat.Launcher	7
org.sat4j.sat.RTSI	9
org.sat4j.sat.RemoteControlFrame$5	1
org.sat4j.sat.RemoteControlStrategy	1
org.sat4j.sat.RestartCommandComponent	2
org.sat4j.sat.Solvers	1
org.sat4j.sat.visu.GnuplotBasedSolverVisualisation	3
org.sat4j.sat.visu.GnuplotBasedSolverVisualisation$1	2
org.sat4j.sat.visu.JChartBasedSolverVisualisation	1
org.sat4j.sat.visu.TraceComposite	1
org.sat4j.sat.visu.VisuPreferencesFrame	1

org.sat4j.sat.DetailedCommandPanel

Bug	Category	Details	Line	Priority
La classe org.sat4j.sat.DetailedCommandPanel définit le champ d'instance org.sat4j.sat.DetailedCommandPanel.outSolutionFound non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low
La classe org.sat4j.sat.DetailedCommandPanel définit le champ d'instance org.sat4j.sat.DetailedCommandPanel.stringWriter non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low
La classe org.sat4j.sat.DetailedCommandPanel définit le champ d'instance org.sat4j.sat.DetailedCommandPanel.visuPreferences non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low
Switch statement found in org.sat4j.sat.DetailedCommandPanel.createReader(ISolver, String) where default case is missing	STYLE	SF_SWITCH_NO_DEFAULT	1527	Low

org.sat4j.sat.Lanceur

Bug	Category	Details	Line	Priority
org.sat4j.sat.Lanceur.run(String[]) invoque System.exit(...), qui stoppe toute la JVM	BAD_PRACTICE	DM_EXIT	420	Medium
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.Lanceur.displayAnswer()	CORRECTNESS	NP_ALWAYS_NULL	369	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.Lanceur.run(String[])	CORRECTNESS	NP_ALWAYS_NULL	428	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.Lanceur.run(String[])	CORRECTNESS	NP_ALWAYS_NULL	430	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.Lanceur.run(String[])	CORRECTNESS	NP_ALWAYS_NULL	435	High
La méthode org.sat4j.sat.Lanceur.configureSolver(String[]) intercepte Exception, mais Exception n'est pas lancé dans le bloc try/catch et RuntimeException n'est pas appelé	STYLE	REC_CATCH_EXCEPTION	156	Low

org.sat4j.sat.LaunchRemoteControl

Bug	Category	Details	Line	Priority
Switch statement found in org.sat4j.sat.LaunchRemoteControl.main(String[]) where default case is missing	STYLE	SF_SWITCH_NO_DEFAULT	65	Low

org.sat4j.sat.Launcher

Bug	Category	Details	Line	Priority
org.sat4j.sat.Launcher.configureSolver(String[]) invoque System.exit(...), qui stoppe toute la JVM	BAD_PRACTICE	DM_EXIT	301	Medium
org.sat4j.sat.Launcher.run(String[]) invoque System.exit(...), qui stoppe toute la JVM	BAD_PRACTICE	DM_EXIT	313	Medium
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.Launcher.run(String[])	CORRECTNESS	NP_ALWAYS_NULL	343	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.Launcher.run(String[])	CORRECTNESS	NP_ALWAYS_NULL	345	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.Launcher.run(String[])	CORRECTNESS	NP_ALWAYS_NULL	350	High
Switch statement found in org.sat4j.sat.Launcher.createReader(ISolver, String) where default case is missing	STYLE	SF_SWITCH_NO_DEFAULT	126	Low

org.sat4j.sat.RTSI

Bug	Category	Details	Line	Priority
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.displayResultOfFind(String)	CORRECTNESS	NP_ALWAYS_NULL	246	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.displayResultOfFind(String, Class)	CORRECTNESS	NP_ALWAYS_NULL	254	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.displayResultOfFind(String, String)	CORRECTNESS	NP_ALWAYS_NULL	250	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.find(String, String, boolean)	CORRECTNESS	NP_ALWAYS_NULL	98	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.find(String, boolean)	CORRECTNESS	NP_ALWAYS_NULL	86	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.findnames(String, Class, boolean)	CORRECTNESS	NP_ALWAYS_NULL	177	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.findnames(String, Class, boolean)	CORRECTNESS	NP_ALWAYS_NULL	233	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.findnames(String, Class, boolean)	CORRECTNESS	NP_ALWAYS_NULL	238	High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.main(String[])	CORRECTNESS	NP_ALWAYS_NULL	265	High

org.sat4j.sat.RemoteControlFrame$5

Bug	Category	Details	Line	Priority
org.sat4j.sat.RemoteControlFrame$5.actionPerformed(ActionEvent) invoque System.exit(...), qui stoppe toute la JVM	BAD_PRACTICE	DM_EXIT	237	Medium

org.sat4j.sat.RemoteControlStrategy

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

org.sat4j.sat.RestartCommandComponent

Bug	Category	Details	Line	Priority
Alimentation à perte d'une variable locale dans la méthode org.sat4j.sat.RestartCommandComponent.hasClickedOnChange()	STYLE	DLS_DEAD_LOCAL_STORE	211	Low
Alimentation à perte d'une variable locale dans la méthode org.sat4j.sat.RestartCommandComponent.hasClickedOnChange()	STYLE	DLS_DEAD_LOCAL_STORE	209	Low

org.sat4j.sat.Solvers

Bug	Category	Details	Line	Priority
La méthode org.sat4j.sat.Solvers.configureSolver(String[], ILogAble) intercepte Exception, mais Exception n'est pas lancé dans le bloc try/catch et RuntimeException n'est pas appelé	STYLE	REC_CATCH_EXCEPTION	321	Low

org.sat4j.sat.visu.GnuplotBasedSolverVisualisation

Bug	Category	Details	Line	Priority
La classe org.sat4j.sat.visu.GnuplotBasedSolverVisualisation définit le champ d'instance org.sat4j.sat.visu.GnuplotBasedSolverVisualisation.gnuplotProcess non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium
La classe org.sat4j.sat.visu.GnuplotBasedSolverVisualisation définit le champ d'instance org.sat4j.sat.visu.GnuplotBasedSolverVisualisation.visuPreferences non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium
La classe org.sat4j.sat.visu.GnuplotBasedSolverVisualisation définit le champ d'instance org.sat4j.sat.visu.GnuplotBasedSolverVisualisation.logger non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low

org.sat4j.sat.visu.GnuplotBasedSolverVisualisation$1

Bug	Category	Details	Line	Priority
La méthode org.sat4j.sat.visu.GnuplotBasedSolverVisualisation$1.run() invoque String.toUpperCase() ou String.toLowerCase ; utilisez plutôt la version acceptant une Locale	I18N	DM_CONVERT_CASE	361	Low
La méthode org.sat4j.sat.visu.GnuplotBasedSolverVisualisation$1.run() peut ne pas fermer un flux en cas d'exception	BAD_PRACTICE	OS_OPEN_STREAM_EXCEPTION_PATH	353	Low

org.sat4j.sat.visu.JChartBasedSolverVisualisation

Bug	Category	Details	Line	Priority
La classe org.sat4j.sat.visu.JChartBasedSolverVisualisation définit le champ d'instance org.sat4j.sat.visu.JChartBasedSolverVisualisation.pref non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Medium

org.sat4j.sat.visu.TraceComposite

Bug	Category	Details	Line	Priority
La méthode org.sat4j.sat.visu.TraceComposite.getPropertyChangeListeners(String) devrait-elle renvoyer un tableau vide plutôt que null ?	STYLE	PZLA_PREFER_ZERO_LENGTH_ARRAYS	212	Low

org.sat4j.sat.visu.VisuPreferencesFrame

Bug	Category	Details	Line	Priority
La classe org.sat4j.sat.visu.VisuPreferencesFrame définit le champ d'instance org.sat4j.sat.visu.VisuPreferencesFrame.preferences non transient et non sérialisable	BAD_PRACTICE	SE_BAD_FIELD		Low