| ID | Checker | File | Function | Classification |
| 1 | BAD_EQ | /acl2s/plugin/console/MyConsole.java | acl2s.plugin.console.MyConsole.find(java.lang.Class, java.lang.Object) | UNINSPECTED |
| 2 | BAD_EQ | /org/peterd/util/Misc.java | org.peterd.util.Misc.equal(java.lang.Object, java.lang.Object) | UNINSPECTED |
| 3 | BAD_OVERRIDE | /acl2s/lib/parse/obj/UnpackagedSym.java | acl2s.lib.parse.obj.UnpackagedSym.hashcode() | UNINSPECTED |
| 4 | BAD_OVERRIDE | /acl2s/lib/parse/obj/UninternedSym.java | acl2s.lib.parse.obj.UninternedSym.hashcode() | UNINSPECTED |
| 5 | CHECKED_RETURN | /acl2s/lib/parse/obj/Char.java | acl2s.lib.parse.obj.Char.parse(acl2s.lib.parse.Parser) | UNINSPECTED |
| 6 | CHECKED_RETURN | /acl2s/lib/parse/no_obj/Str.java | acl2s.lib.parse.no_obj.Str.parse(acl2s.lib.parse.Parser) | UNINSPECTED |
| 7 | CHECKED_RETURN | /acl2s/lib/parse/no_obj/Char.java | acl2s.lib.parse.no_obj.Char.parse(acl2s.lib.parse.Parser) | UNINSPECTED |
| 8 | DC.LOCALIZATION | /acl2s/lib/session/ModeDir.java | acl2s.lib.session.ModeDir.maybeWriteDirLsp() | UNINSPECTED |
| 9 | DC.LOCALIZATION | /acl2s/lib/session/ModeDir.java | acl2s.lib.session.ModeDir$ModeDirParser.startElement(java.lang.String, java.lang.String, java.lang.String, org.xml.sax.Attributes) | UNINSPECTED |
| 10 | DC.LOCALIZATION | /acl2s/lib/session/MyBaseConfig.java | acl2s.lib.session.MyBaseConfig.getCertifyOrder(java.io.File) | UNINSPECTED |
| 11 | DC.LOCALIZATION | /acl2s/plugin/Acl2sPlugin.java | acl2s.plugin.Acl2sPlugin.start(org.osgi.framework.BundleContext) | UNINSPECTED |
| 12 | DC.LOCALIZATION | /acl2s/plugin/GroundZeroIndexer.java | acl2s.plugin.GroundZeroIndexer$1.run() | UNINSPECTED |
| 13 | DC.LOCALIZATION | /acl2s/plugin/dialogs/RemoveOldStuffDialog.java | acl2s.plugin.dialogs.RemoveOldStuffDialog$UnverFilter.<init>(java.lang.String) | UNINSPECTED |
| 14 | DC.LOCALIZATION | /acl2s/plugin/dialogs/RemoveOldStuffDialog.java | acl2s.plugin.dialogs.RemoveOldStuffDialog$UnverFilter.accept(java.io.File, java.lang.String) | UNINSPECTED |
| 15 | DC.LOCALIZATION | /acl2s/plugin/editors/LispCompletionProcessor.java | acl2s.plugin.editors.LispCompletionProcessor.computeCompletionsAndInfo(org.eclipse.jface.text.ITextViewer, int, java.util.ArrayList, java.util.ArrayList) | UNINSPECTED |
| 16 | DC.LOCALIZATION | /acl2s/plugin/editors/LispCompletionProcessor.java | acl2s.plugin.editors.LispCompletionProcessor.computeCompletionsAndInfo(org.eclipse.jface.text.ITextViewer, int, java.util.ArrayList, java.util.ArrayList) | UNINSPECTED |
| 17 | DC.LOCALIZATION | /acl2s/plugin/editors/LispCompletionProcessor.java | acl2s.plugin.editors.LispCompletionProcessor.getFunParams(java.lang.String, acl2s.plugin.editors.lisp.LispDocument, int, java.util.List) | UNINSPECTED |
| 18 | DC.LOCALIZATION | /acl2s/plugin/editors/LispCompletionProcessor.java | acl2s.plugin.editors.LispCompletionProcessor.getLetBindings(java.lang.String, acl2s.plugin.editors.lisp.LispDocument, int, java.util.List) | UNINSPECTED |
| 19 | DC.LOCALIZATION | /acl2s/plugin/editors/LispCompletionProcessor.java | acl2s.plugin.editors.LispCompletionProcessor.getLetBindings(java.lang.String, acl2s.plugin.editors.lisp.LispDocument, int, java.util.List) | UNINSPECTED |
| 20 | DC.LOCALIZATION | /acl2s/plugin/editors/LispCompletionProcessor.java | acl2s.plugin.editors.LispCompletionProcessor.getLetBindings(java.lang.String, acl2s.plugin.editors.lisp.LispDocument, int, java.util.List) | UNINSPECTED |
| 21 | DC.LOCALIZATION | /acl2s/plugin/editors/LispCompletionProcessor.java | acl2s.plugin.editors.LispCompletionProcessor.getLetBindings(java.lang.String, acl2s.plugin.editors.lisp.LispDocument, int, java.util.List) | UNINSPECTED |
| 22 | DC.LOCALIZATION | /acl2s/plugin/editors/lisp/LispDocument.java | acl2s.plugin.editors.lisp.LispDocument.getDumpStream() | UNINSPECTED |
| 23 | DC.LOCALIZATION | /acl2s/plugin/editors/session/Acl2DocHyperlinkDetector.java | acl2s.plugin.editors.session.Acl2DocHyperlinkDetector.detectHyperlinks(org.eclipse.jface.text.ITextViewer, org.eclipse.jface.text.IRegion, boolean) | UNINSPECTED |
| 24 | DC.LOCALIZATION | /acl2s/lib/certify/Certifier.java | acl2s.lib.certify.Certifier.legalLispFile(java.io.File) | UNINSPECTED |
| 25 | DC.LOCALIZATION | /acl2s/lib/certify/MaybeExtractPreamble.java | acl2s.lib.certify.MaybeExtractPreamble.go(java.io.File, java.io.File, java.lang.String, boolean, java.io.PrintWriter) | UNINSPECTED |
| 26 | DC.LOCALIZATION | /acl2s/lib/certify/MaybeExtractPreamble.java | acl2s.lib.certify.MaybeExtractPreamble.go(java.io.File, java.io.File, java.lang.String, boolean, java.io.PrintWriter) | UNINSPECTED |
| 27 | DC.LOCALIZATION | /acl2s/lib/certify/MaybeExtractPreamble.java | acl2s.lib.certify.MaybeExtractPreamble.main(java.lang.String[]) | UNINSPECTED |
| 28 | DC.LOCALIZATION | /acl2s/lib/certify/ReadPreamble.java | acl2s.lib.certify.ReadPreamble.main(java.lang.String[]) | UNINSPECTED |
| 29 | DC.LOCALIZATION | /acl2s/lib/certify/ReadPreamble.java | acl2s.lib.certify.ReadPreamble.main(java.lang.String[]) | UNINSPECTED |
| 30 | DC.LOCALIZATION | /acl2s/lib/certify/ReadPreamble.java | acl2s.lib.certify.ReadPreamble.main(java.lang.String[]) | UNINSPECTED |
| 31 | DC.LOCALIZATION | /acl2s/lib/download/Acl2sCert.java | acl2s.lib.download.Acl2sCert.<clinit>() | UNINSPECTED |
| 32 | DC.LOCALIZATION | /acl2s/lib/download/Acl2sCert.java | acl2s.lib.download.Acl2sCert.<clinit>() | UNINSPECTED |
| 33 | DC.LOCALIZATION | /acl2s/lib/parse/Parser.java | acl2s.lib.parse.Parser.parseListOfSymbols(java.lang.String, java.util.ArrayList, int) | UNINSPECTED |
| 34 | DC.LOCALIZATION | /acl2s/lib/parse/Parser.java | acl2s.lib.parse.Parser.parseListOfSymbols(java.lang.String, java.util.ArrayList, int) | UNINSPECTED |
| 35 | DC.LOCALIZATION | /acl2s/lib/parse/StreamParser.java | acl2s.lib.parse.StreamParser.<init>(acl2s.lib.parse.IParseContext, java.io.InputStream) | UNINSPECTED |
| 36 | DC.LOCALIZATION | /acl2s/lib/parse/no_obj/Sym.java | acl2s.lib.parse.no_obj.Sym.create(acl2s.lib.parse.IParseContext, java.lang.String, java.lang.String, boolean) | UNINSPECTED |
| 37 | DC.LOCALIZATION | /acl2s/lib/session/BatchSession.java | acl2s.lib.session.BatchSession.init() | UNINSPECTED |
| 38 | DC.LOCALIZATION | /acl2s/lib/session/BatchSession.java | acl2s.lib.session.BatchSession$OutputHandler.run() | UNINSPECTED |
| 39 | DC.LOCALIZATION | /acl2s/lib/session/InteractiveSession.java | acl2s.lib.session.InteractiveSession.beginInit() | UNINSPECTED |
| 40 | DC.LOCALIZATION | /acl2s/lib/session/InteractiveSession.java | acl2s.lib.session.InteractiveSession.beginInit() | UNINSPECTED |
| 41 | DC.LOCALIZATION | /acl2s/uilib/cmd/ResolvableUserInput.java | acl2s.uilib.cmd.ResolvableUserInput.parse(acl2s.lib.parse.PositionableParser, java.lang.String, acl2s.plugin.ISessionDocument) | UNINSPECTED |
| 42 | DC.LOCALIZATION | /acl2s/uilib/cmd/ResolvableUserInput.java | acl2s.uilib.cmd.ResolvableUserInput.isASCII(java.lang.String) | UNINSPECTED |
| 43 | DC.LOCALIZATION | /acl2s/plugin/wizards/NewLispPage.java | acl2s.plugin.wizards.NewLispPage.dialogChanged() | UNINSPECTED |
| 44 | DC.LOCALIZATION | /acl2s/plugin/wizards/NewLisp.java | acl2s.plugin.wizards.NewLisp.performFinish() | UNINSPECTED |
| 45 | DC.LOCALIZATION | /acl2s/plugin/prefs/Acl2Prefs.java | acl2s.plugin.prefs.Acl2Prefs.getAcl2ImageDir() | UNINSPECTED |
| 46 | DC.LOCALIZATION | /acl2s/plugin/prefs/Acl2Prefs.java | acl2s.plugin.prefs.Acl2Prefs.<clinit>() | UNINSPECTED |
| 47 | DC.LOCALIZATION | /acl2s/plugin/prefs/Acl2Prefs.java | acl2s.plugin.prefs.Acl2Prefs.<clinit>() | UNINSPECTED |
| 48 | DC.LOCALIZATION | /acl2s/plugin/parse/LispTokens.java | acl2s.plugin.parse.LispTokens.documentChanged(org.eclipse.jface.text.DocumentEvent) | UNINSPECTED |
| 49 | DC.LOCALIZATION | /acl2s/plugin/indent/DefaultLispIndent.java | acl2s.plugin.indent.DefaultLispIndent.getNextIndentionFrom(int, boolean) | UNINSPECTED |
| 50 | DC.LOCALIZATION | /acl2s/plugin/graphics/ColorParser.java | acl2s.plugin.graphics.ColorParser.main(java.lang.String[]) | UNINSPECTED |
| 51 | DC.LOCALIZATION | /acl2s/plugin/editors/session/Acl2DocHyperlinkDetector.java | acl2s.plugin.editors.session.Acl2DocHyperlinkDetector.detectHyperlinks(org.eclipse.jface.text.ITextViewer, org.eclipse.jface.text.IRegion, boolean) | UNINSPECTED |
| 52 | DC.PERFORMANCE | /acl2s/lib/bool/SwingTCNGame.java | acl2s.lib.bool.SwingTCNGame.<init>() | UNINSPECTED |
| 53 | DC.PERFORMANCE | /acl2s/lib/bool/SwingTCNGame.java | acl2s.lib.bool.SwingTCNGame.<init>() | UNINSPECTED |
| 54 | DC.PERFORMANCE | /acl2s/lib/bool/SwingPickEquivGame.java | acl2s.lib.bool.SwingPickEquivGame.actionPerformed(java.awt.event.ActionEvent) | UNINSPECTED |
| 55 | DC.PERFORMANCE | /acl2s/lib/parse/PositionableParser.java | acl2s.lib.parse.PositionableParser.save() | UNINSPECTED |
| 56 | DC.PERFORMANCE | /acl2s/lib/bool/SwingEquivGame.java | acl2s.lib.bool.SwingEquivGame.<init>() | UNINSPECTED |
| 57 | DC.PERFORMANCE | /acl2s/lib/parse/obj/Char.java | acl2s.lib.parse.obj.Char.lookupName(java.lang.String) | UNINSPECTED |
| 58 | DC.PERFORMANCE | /acl2s/lib/bool/SwingEquivGame.java | acl2s.lib.bool.SwingEquivGame.<init>() | UNINSPECTED |
| 59 | DC.PERFORMANCE | /acl2s/lib/bool/SwingEquivGame.java | acl2s.lib.bool.SwingEquivGame.<init>() | UNINSPECTED |
| 60 | DC.PERFORMANCE | /acl2s/lib/bool/SwingEquivGame.java | acl2s.lib.bool.SwingEquivGame.<init>() | UNINSPECTED |
| 61 | DC.PERFORMANCE | /acl2s/plugin/editors/session/SessionEditor.java | acl2s.plugin.editors.session.SessionEditor$SessionContentOutlinePage.getElements(java.lang.Object) | UNINSPECTED |
| 62 | DC.PERFORMANCE | /acl2s/plugin/editors/session/SessionEditor.java | acl2s.plugin.editors.session.SessionEditor$SessionContentOutlinePage.select(int) | UNINSPECTED |
| 63 | DC.PERFORMANCE | /acl2s/plugin/editors/session/SessionEditor.java | acl2s.plugin.editors.session.SessionEditor$SessionContentOutlinePage.update() | UNINSPECTED |
| 64 | DC.PERFORMANCE | /acl2s/plugin/editors/session/SessionEditor.java | acl2s.plugin.editors.session.SessionEditor$SessionContentOutlinePage.update() | UNINSPECTED |
| 65 | DC.PERFORMANCE | /acl2s/plugin/editors/session/SessionEditor.java | acl2s.plugin.editors.session.SessionEditor$SessionContentOutlinePage.update() | UNINSPECTED |
| 66 | FORWARD_CLASSCAST | /acl2s/lib/contentassist/Underflow.java | acl2s.lib.contentassist.Underflow.makePure() | UNINSPECTED |
| 67 | FORWARD_CLASSCAST | /acl2s/lib/session/AbstractSessionConfig.java | acl2s.lib.session.AbstractSessionConfig.<init>() | UNINSPECTED |
| 68 | FORWARD_NULL | /acl2s/plugin/parse/LispTokens.java | acl2s.plugin.parse.LispTokens.documentChanged(org.eclipse.jface.text.DocumentEvent) | UNINSPECTED |
| 69 | FORWARD_NULL | /acl2s/plugin/editors/session/SessionDocument.java | acl2s.plugin.editors.session.SessionDocument.sessionStatusChanged(int) | UNINSPECTED |
| 70 | FORWARD_NULL | /acl2s/plugin/editors/lisp/LispDocument.java | acl2s.plugin.editors.lisp.LispDocument.moveTodoPastCursor(acl2s.plugin.editors.A2sEditor) | UNINSPECTED |
| 71 | FORWARD_NULL | /acl2s/plugin/Acl2sPlugin.java | acl2s.plugin.Acl2sPlugin.getPeer(acl2s.plugin.ISessionDocument, acl2s.plugin.editors.A2sEditor, boolean, boolean) | UNINSPECTED |
| 72 | GUARDED_BY_VIOLATION | /org/peterd/util/process/QuickProcess.java | org.peterd.util.process.QuickProcess.getCmdLine() | UNINSPECTED |
| 73 | GUARDED_BY_VIOLATION | /org/peterd/util/process/QuickProcess.java | org.peterd.util.process.QuickProcess.getOutput() | UNINSPECTED |
| 74 | GUARDED_BY_VIOLATION | /acl2s/lib/session/BatchSession.java | acl2s.lib.session.BatchSession$OutputHandler.handleIOException(java.io.IOException) | UNINSPECTED |
| 75 | GUARDED_BY_VIOLATION | /org/peterd/util/process/QuickProcess.java | org.peterd.util.process.QuickProcess.getResult() | UNINSPECTED |
| 76 | GUARDED_BY_VIOLATION | /acl2s/lib/session/BatchSession.java | acl2s.lib.session.BatchSession$OutputHandler.run() | UNINSPECTED |
| 77 | GUARDED_BY_VIOLATION | /acl2s/plugin/certify/CertifyConsole.java | acl2s.plugin.certify.CertifyConsole$1.run() | UNINSPECTED |
| 78 | GUARDED_BY_VIOLATION | /acl2s/plugin/editors/MyQuickDiffRefProvider.java | acl2s.plugin.editors.MyQuickDiffRefProvider.getReference(org.eclipse.core.runtime.IProgressMonitor) | UNINSPECTED |
| 79 | GUARDED_BY_VIOLATION | /acl2s/lib/session/BatchSession.java | acl2s.lib.session.BatchSession.getSecret() | UNINSPECTED |
| 80 | GUARDED_BY_VIOLATION | /acl2s/lib/session/BatchSession.java | acl2s.lib.session.BatchSession.getCmdLine() | UNINSPECTED |
| 81 | GUARDED_BY_VIOLATION | /acl2s/lib/session/BatchSession.java | acl2s.lib.session.BatchSession.getConfig() | UNINSPECTED |
| 82 | GUARDED_BY_VIOLATION | /acl2s/lib/session/InteractiveSession.java | acl2s.lib.session.InteractiveSession.getSecret() | UNINSPECTED |
| 83 | GUARDED_BY_VIOLATION | /acl2s/lib/session/InteractiveSession.java | acl2s.lib.session.InteractiveSession.getEnvInfo() | UNINSPECTED |
| 84 | GUARDED_BY_VIOLATION | /acl2s/lib/session/InteractiveSession.java | acl2s.lib.session.InteractiveSession.getStatusInfo() | UNINSPECTED |
| 85 | GUARDED_BY_VIOLATION | /acl2s/lib/session/InteractiveSession.java | acl2s.lib.session.InteractiveSession.getCmdLine() | UNINSPECTED |
| 86 | GUARDED_BY_VIOLATION | /acl2s/lib/session/InteractiveSession.java | acl2s.lib.session.InteractiveSession.getConfig() | UNINSPECTED |
| 87 | INDIRECT_GUARDED_BY_VIOLATION | /acl2s/plugin/editors/session/SessionDocument.java | acl2s.plugin.editors.session.SessionDocument.interrupt() | UNINSPECTED |
| 88 | MUTABLE_COMPARISON | /acl2s/plugin/parse/LispToken.java | acl2s.plugin.parse.LispToken.compareTo(acl2s.plugin.parse.LispToken) | UNINSPECTED |
| 89 | NULL_RETURNS | /acl2s/plugin/editors/lisp/LispDocument.java | acl2s.plugin.editors.lisp.LispDocument.cleanOutputFiles(acl2s.plugin.editors.A2sEditor) | UNINSPECTED |
| 90 | RESOURCE_LEAK | /acl2s/lib/certify/MaybeExtractPreamble.java | acl2s.lib.certify.MaybeExtractPreamble.go(java.io.File, java.io.File, java.lang.String, boolean, java.io.PrintWriter) | UNINSPECTED |
| 91 | RESOURCE_LEAK | /acl2s/lib/session/MyBaseConfig.java | acl2s.lib.session.MyBaseConfig.getCertifyOrder(java.io.File) | UNINSPECTED |
| 92 | RESOURCE_LEAK | /acl2s/lib/session/ModeDir.java | acl2s.lib.session.ModeDir.maybeWriteDirLsp() | UNINSPECTED |
| 93 | RESOURCE_LEAK | /acl2s/lib/session/ModeDir.java | acl2s.lib.session.ModeDir$ModeDirParser.startElement(java.lang.String, java.lang.String, java.lang.String, org.xml.sax.Attributes) | UNINSPECTED |
| 94 | RESOURCE_LEAK | /acl2s/lib/certify/ReadPreamble.java | acl2s.lib.certify.ReadPreamble.main(java.lang.String[]) | UNINSPECTED |
| 95 | RESOURCE_LEAK | /acl2s/plugin/Acl2sPlugin.java | acl2s.plugin.Acl2sPlugin.start(org.osgi.framework.BundleContext) | UNINSPECTED |
| 96 | RESOURCE_LEAK | /acl2s/lib/certify/MaybeExtractPreamble.java | acl2s.lib.certify.MaybeExtractPreamble.go(java.io.File, java.io.File, java.lang.String, boolean, java.io.PrintWriter) | UNINSPECTED |
| 97 | RESOURCE_LEAK | /acl2s/plugin/prefs/Acl2Prefs.java | acl2s.plugin.prefs.Acl2Prefs.getAcl2ImageDir() | UNINSPECTED |
| 98 | REVERSE_INULL | /acl2s/plugin/editors/LispCompletionProcessor.java | acl2s.plugin.editors.LispCompletionProcessor.getLetBindings(java.lang.String, acl2s.plugin.editors.lisp.LispDocument, int, java.util.List) | UNINSPECTED |
| 99 | REVERSE_INULL | /acl2s/plugin/dialogs/RemoveOldStuffDialog.java | acl2s.plugin.dialogs.RemoveOldStuffDialog$OldStuff.removeFiles(java.io.File, org.eclipse.core.runtime.IProgressMonitor) | UNINSPECTED |
| 100 | REVERSE_INULL | /acl2s/plugin/editors/LispCompletionProcessor.java | acl2s.plugin.editors.LispCompletionProcessor.getFunParams(java.lang.String, acl2s.plugin.editors.lisp.LispDocument, int, java.util.List) | UNINSPECTED |
| 101 | REVERSE_INULL | /acl2s/plugin/editors/LispCompletionProcessor.java | acl2s.plugin.editors.LispCompletionProcessor.getLetBindings(java.lang.String, acl2s.plugin.editors.lisp.LispDocument, int, java.util.List) | UNINSPECTED |
| 102 | SET_STATIC_IN_NON_STATIC | /acl2s/plugin/Acl2sPlugin.java | acl2s.plugin.Acl2sPlugin.<init>() | UNINSPECTED |
| 103 | SET_STATIC_IN_NON_STATIC | /acl2s/plugin/Acl2sPlugin.java | acl2s.plugin.Acl2sPlugin.<init>() | UNINSPECTED |
| 104 | SET_STATIC_IN_NON_STATIC | /acl2s/plugin/Acl2sPlugin.java | acl2s.plugin.Acl2sPlugin.start(org.osgi.framework.BundleContext) | UNINSPECTED |
| 105 | SET_STATIC_IN_NON_STATIC | /acl2s/plugin/Acl2sPlugin.java | acl2s.plugin.Acl2sPlugin.start(org.osgi.framework.BundleContext) | UNINSPECTED |
| 106 | SET_STATIC_IN_NON_STATIC | /acl2s/plugin/Acl2sPlugin.java | acl2s.plugin.Acl2sPlugin.start(org.osgi.framework.BundleContext) | UNINSPECTED |
| 107 | SET_STATIC_IN_NON_STATIC | /acl2s/plugin/Acl2sPlugin.java | acl2s.plugin.Acl2sPlugin.start(org.osgi.framework.BundleContext) | UNINSPECTED |
| 108 | SET_STATIC_IN_NON_STATIC | /acl2s/plugin/Acl2sPlugin.java | acl2s.plugin.Acl2sPlugin.start(org.osgi.framework.BundleContext) | UNINSPECTED |