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
854200

org.sat4j.sat.DetailedCommandPanel

BugCategoryDetailsLinePriority
La classe org.sat4j.sat.DetailedCommandPanel définit le champ d'instance org.sat4j.sat.DetailedCommandPanel.outSolutionFound non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow
La classe org.sat4j.sat.DetailedCommandPanel définit le champ d'instance org.sat4j.sat.DetailedCommandPanel.stringWriter non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow
La classe org.sat4j.sat.DetailedCommandPanel définit le champ d'instance org.sat4j.sat.DetailedCommandPanel.visuPreferences non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow
Switch statement found in org.sat4j.sat.DetailedCommandPanel.createReader(ISolver, String) where default case is missingSTYLESF_SWITCH_NO_DEFAULT1527Low

org.sat4j.sat.Lanceur

BugCategoryDetailsLinePriority
org.sat4j.sat.Lanceur.run(String[]) invoque System.exit(...), qui stoppe toute la JVMBAD_PRACTICEDM_EXIT420Medium
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.Lanceur.displayAnswer()CORRECTNESSNP_ALWAYS_NULL369High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.Lanceur.run(String[])CORRECTNESSNP_ALWAYS_NULL428High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.Lanceur.run(String[])CORRECTNESSNP_ALWAYS_NULL430High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.Lanceur.run(String[])CORRECTNESSNP_ALWAYS_NULL435High
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éSTYLEREC_CATCH_EXCEPTION156Low

org.sat4j.sat.LaunchRemoteControl

BugCategoryDetailsLinePriority
Switch statement found in org.sat4j.sat.LaunchRemoteControl.main(String[]) where default case is missingSTYLESF_SWITCH_NO_DEFAULT65Low

org.sat4j.sat.Launcher

BugCategoryDetailsLinePriority
org.sat4j.sat.Launcher.configureSolver(String[]) invoque System.exit(...), qui stoppe toute la JVMBAD_PRACTICEDM_EXIT301Medium
org.sat4j.sat.Launcher.run(String[]) invoque System.exit(...), qui stoppe toute la JVMBAD_PRACTICEDM_EXIT313Medium
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.Launcher.run(String[])CORRECTNESSNP_ALWAYS_NULL343High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.Launcher.run(String[])CORRECTNESSNP_ALWAYS_NULL345High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.Launcher.run(String[])CORRECTNESSNP_ALWAYS_NULL350High
Switch statement found in org.sat4j.sat.Launcher.createReader(ISolver, String) where default case is missingSTYLESF_SWITCH_NO_DEFAULT126Low

org.sat4j.sat.RTSI

BugCategoryDetailsLinePriority
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.displayResultOfFind(String)CORRECTNESSNP_ALWAYS_NULL246High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.displayResultOfFind(String, Class)CORRECTNESSNP_ALWAYS_NULL254High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.displayResultOfFind(String, String)CORRECTNESSNP_ALWAYS_NULL250High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.find(String, String, boolean)CORRECTNESSNP_ALWAYS_NULL98High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.find(String, boolean)CORRECTNESSNP_ALWAYS_NULL86High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.findnames(String, Class, boolean)CORRECTNESSNP_ALWAYS_NULL177High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.findnames(String, Class, boolean)CORRECTNESSNP_ALWAYS_NULL233High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.findnames(String, Class, boolean)CORRECTNESSNP_ALWAYS_NULL238High
Déréférencement d'un pointeur null dans la méthode org.sat4j.sat.RTSI.main(String[])CORRECTNESSNP_ALWAYS_NULL265High

org.sat4j.sat.RemoteControlFrame$5

BugCategoryDetailsLinePriority
org.sat4j.sat.RemoteControlFrame$5.actionPerformed(ActionEvent) invoque System.exit(...), qui stoppe toute la JVMBAD_PRACTICEDM_EXIT237Medium

org.sat4j.sat.RemoteControlStrategy

BugCategoryDetailsLinePriority
La classe org.sat4j.sat.RemoteControlStrategy définit le champ d'instance org.sat4j.sat.RemoteControlStrategy.logger non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow

org.sat4j.sat.RestartCommandComponent

BugCategoryDetailsLinePriority
Alimentation à perte d'une variable locale dans la méthode org.sat4j.sat.RestartCommandComponent.hasClickedOnChange()STYLEDLS_DEAD_LOCAL_STORE211Low
Alimentation à perte d'une variable locale dans la méthode org.sat4j.sat.RestartCommandComponent.hasClickedOnChange()STYLEDLS_DEAD_LOCAL_STORE209Low

org.sat4j.sat.Solvers

BugCategoryDetailsLinePriority
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éSTYLEREC_CATCH_EXCEPTION321Low

org.sat4j.sat.visu.GnuplotBasedSolverVisualisation

BugCategoryDetailsLinePriority
La classe org.sat4j.sat.visu.GnuplotBasedSolverVisualisation définit le champ d'instance org.sat4j.sat.visu.GnuplotBasedSolverVisualisation.gnuplotProcess non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium
La classe org.sat4j.sat.visu.GnuplotBasedSolverVisualisation définit le champ d'instance org.sat4j.sat.visu.GnuplotBasedSolverVisualisation.visuPreferences non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium
La classe org.sat4j.sat.visu.GnuplotBasedSolverVisualisation définit le champ d'instance org.sat4j.sat.visu.GnuplotBasedSolverVisualisation.logger non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow

org.sat4j.sat.visu.GnuplotBasedSolverVisualisation$1

BugCategoryDetailsLinePriority
La méthode org.sat4j.sat.visu.GnuplotBasedSolverVisualisation$1.run() invoque String.toUpperCase() ou String.toLowerCase ; utilisez plutôt la version acceptant une LocaleI18NDM_CONVERT_CASE361Low
La méthode org.sat4j.sat.visu.GnuplotBasedSolverVisualisation$1.run() peut ne pas fermer un flux en cas d'exceptionBAD_PRACTICEOS_OPEN_STREAM_EXCEPTION_PATH353Low

org.sat4j.sat.visu.JChartBasedSolverVisualisation

BugCategoryDetailsLinePriority
La classe org.sat4j.sat.visu.JChartBasedSolverVisualisation définit le champ d'instance org.sat4j.sat.visu.JChartBasedSolverVisualisation.pref non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDMedium

org.sat4j.sat.visu.TraceComposite

BugCategoryDetailsLinePriority
La méthode org.sat4j.sat.visu.TraceComposite.getPropertyChangeListeners(String) devrait-elle renvoyer un tableau vide plutôt que null ?STYLEPZLA_PREFER_ZERO_LENGTH_ARRAYS212Low

org.sat4j.sat.visu.VisuPreferencesFrame

BugCategoryDetailsLinePriority
La classe org.sat4j.sat.visu.VisuPreferencesFrame définit le champ d'instance org.sat4j.sat.visu.VisuPreferencesFrame.preferences non transient et non sérialisableBAD_PRACTICESE_BAD_FIELDLow