82289 lines of code analyzed,
in 2411 classes,
in 29 packages.
Click on a warning row to see full context information.
DE
|
edu.rice.cs.drjava.config.DrJavaPropertySetup$3.getCurrent(PropertyMaps) might ignore java.io.IOException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.config.DrJavaPropertySetup$3 In method edu.rice.cs.drjava.config.DrJavaPropertySetup$3.getCurrent(PropertyMaps) Exception class java.io.IOException At DrJavaPropertySetup.java:[line 162]
|
DE
|
edu.rice.cs.drjava.config.FileProperty.update(PropertyMaps) might ignore java.io.IOException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.config.FileProperty In method edu.rice.cs.drjava.config.FileProperty.update(PropertyMaps) Exception class java.io.IOException At FileProperty.java:[line 99]
|
DE
|
edu.rice.cs.drjava.model.AbstractGlobalModel.openNewFilesInProject() might ignore java.lang.Exception |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.model.AbstractGlobalModel In method edu.rice.cs.drjava.model.AbstractGlobalModel.openNewFilesInProject() Exception class java.lang.Exception At AbstractGlobalModel.java:[line 1535]
|
DE
|
edu.rice.cs.drjava.model.compiler.CompilerErrorModel._calculatePositions() might ignore java.io.IOException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.model.compiler.CompilerErrorModel In method edu.rice.cs.drjava.model.compiler.CompilerErrorModel._calculatePositions() Exception class java.io.IOException At CompilerErrorModel.java:[line 430]
|
DE
|
edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.createOneToOneMap(BufferedReader) might ignore java.io.IOException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper In method edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.createOneToOneMap(BufferedReader) Exception class java.io.IOException At LanguageLevelStackTraceMapper.java:[line 196]
|
DE
|
edu.rice.cs.drjava.model.definitions.indent.QuestionHasCharPrecedingOpenBrace.applyRule(AbstractDJDocument, Indenter$IndentReason) might ignore javax.swing.text.BadLocationException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.model.definitions.indent.QuestionHasCharPrecedingOpenBrace In method edu.rice.cs.drjava.model.definitions.indent.QuestionHasCharPrecedingOpenBrace.applyRule(AbstractDJDocument, Indenter$IndentReason) Exception class javax.swing.text.BadLocationException At QuestionHasCharPrecedingOpenBrace.java:[line 83]
|
DE
|
edu.rice.cs.drjava.model.GlobalModelIOTest$21.run() might ignore java.lang.Exception |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelIOTest$21 In method edu.rice.cs.drjava.model.GlobalModelIOTest$21.run() Exception class java.lang.Exception At GlobalModelIOTest.java:[line 850]
|
DE
|
edu.rice.cs.drjava.model.GlobalModelIOTest$26.run() might ignore java.lang.Exception |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelIOTest$26 In method edu.rice.cs.drjava.model.GlobalModelIOTest$26.run() Exception class java.lang.Exception At GlobalModelIOTest.java:[line 1169]
|
DE
|
edu.rice.cs.drjava.model.junit.ConcJUnitUtils.isValidJarFile(File, String[]) might ignore java.io.IOException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.model.junit.ConcJUnitUtils In method edu.rice.cs.drjava.model.junit.ConcJUnitUtils.isValidJarFile(File, String[]) Exception class java.io.IOException At ConcJUnitUtils.java:[line 89]
|
DE
|
edu.rice.cs.drjava.model.repl.InteractionsModel.loadHistory(FileOpenSelector) might ignore edu.rice.cs.util.OperationCanceledException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.model.repl.InteractionsModel In method edu.rice.cs.drjava.model.repl.InteractionsModel.loadHistory(FileOpenSelector) Exception class edu.rice.cs.util.OperationCanceledException At InteractionsModel.java:[line 362]
|
DE
|
edu.rice.cs.drjava.ui.AboutDialog$1.mouseClicked(MouseEvent) might ignore java.lang.Exception |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.ui.AboutDialog$1 In method edu.rice.cs.drjava.ui.AboutDialog$1.mouseClicked(MouseEvent) Exception class java.lang.Exception At AboutDialog.java:[line 126]
|
DE
|
edu.rice.cs.drjava.ui.AboutDialog$3.mouseClicked(MouseEvent) might ignore java.lang.Exception |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.ui.AboutDialog$3 In method edu.rice.cs.drjava.ui.AboutDialog$3.mouseClicked(MouseEvent) Exception class java.lang.Exception At AboutDialog.java:[line 236]
|
DE
|
edu.rice.cs.drjava.ui.config.FileOptionComponentTest.tearDown() might ignore java.lang.Exception |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.ui.config.FileOptionComponentTest In method edu.rice.cs.drjava.ui.config.FileOptionComponentTest.tearDown() Exception class java.lang.Exception At FileOptionComponentTest.java:[line 123]
|
DE
|
edu.rice.cs.drjava.ui.ExternalProcessPanel$6.run() might ignore java.io.IOException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.ui.ExternalProcessPanel$6 In method edu.rice.cs.drjava.ui.ExternalProcessPanel$6.run() Exception class java.io.IOException At ExternalProcessPanel.java:[line 212]
|
DE
|
edu.rice.cs.drjava.ui.GenerateCustomDrJavaJarFrame$6$1$1$1.run() might ignore java.io.IOException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.ui.GenerateCustomDrJavaJarFrame$6$1$1$1 In method edu.rice.cs.drjava.ui.GenerateCustomDrJavaJarFrame$6$1$1$1.run() Exception class java.io.IOException At GenerateCustomDrJavaJarFrame.java:[line 260]
|
DE
|
edu.rice.cs.drjava.ui.LessPanel.abortActionPerformed(ActionEvent) might ignore java.io.IOException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.ui.LessPanel In method edu.rice.cs.drjava.ui.LessPanel.abortActionPerformed(ActionEvent) Exception class java.io.IOException At LessPanel.java:[line 128]
|
DE
|
edu.rice.cs.drjava.ui.MainFrame._completeWordUnderCursor() might ignore javax.swing.text.BadLocationException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.ui.MainFrame In method edu.rice.cs.drjava.ui.MainFrame._completeWordUnderCursor() Exception class javax.swing.text.BadLocationException At MainFrame.java:[line 2019]
|
DE
|
edu.rice.cs.drjava.ui.MainFrame._showConfigException() might ignore java.io.IOException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.ui.MainFrame In method edu.rice.cs.drjava.ui.MainFrame._showConfigException() Exception class java.io.IOException At MainFrame.java:[line 5987]
|
DE
|
edu.rice.cs.drjava.ui.MainFrame._warnFileOpen(File) might ignore java.io.IOException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.ui.MainFrame In method edu.rice.cs.drjava.ui.MainFrame._warnFileOpen(File) Exception class java.io.IOException At MainFrame.java:[line 9871]
|
DE
|
edu.rice.cs.drjava.ui.NewVersionPopup._openFileDownloadPage(String) might ignore java.lang.Exception |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.ui.NewVersionPopup In method edu.rice.cs.drjava.ui.NewVersionPopup._openFileDownloadPage(String) Exception class java.lang.Exception At NewVersionPopup.java:[line 487]
|
DE
|
edu.rice.cs.drjava.ui.PreviewFrame._updateActions() might ignore java.lang.Exception |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.ui.PreviewFrame In method edu.rice.cs.drjava.ui.PreviewFrame._updateActions() Exception class java.lang.Exception At PreviewFrame.java:[line 280]
|
DE
|
edu.rice.cs.drjava.ui.PreviewFrame.showPage() might ignore java.awt.print.PrinterException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.ui.PreviewFrame In method edu.rice.cs.drjava.ui.PreviewFrame.showPage() Exception class java.awt.print.PrinterException At PreviewFrame.java:[line 422]
|
DE
|
edu.rice.cs.drjava.ui.RegionsListPanel$RegionListUserObj.toString() might ignore javax.swing.text.BadLocationException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.drjava.ui.RegionsListPanel$RegionListUserObj In method edu.rice.cs.drjava.ui.RegionsListPanel$RegionListUserObj.toString() Exception class javax.swing.text.BadLocationException At RegionsListPanel.java:[line 361]
|
DE
|
edu.rice.cs.util.BalancingStreamTokenizerTest.testAddKeywordQuotes() might ignore java.lang.Exception |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.util.BalancingStreamTokenizerTest In method edu.rice.cs.util.BalancingStreamTokenizerTest.testAddKeywordQuotes() Exception class java.lang.Exception At BalancingStreamTokenizerTest.java:[line 635]
|
DE
|
edu.rice.cs.util.BalancingStreamTokenizerTest.testAddKeywordWhitespace() might ignore java.lang.Exception |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.util.BalancingStreamTokenizerTest In method edu.rice.cs.util.BalancingStreamTokenizerTest.testAddKeywordWhitespace() Exception class java.lang.Exception At BalancingStreamTokenizerTest.java:[line 627]
|
DE
|
edu.rice.cs.util.BalancingStreamTokenizerTest.testAddQuotesRepeat() might ignore java.lang.Exception |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.util.BalancingStreamTokenizerTest In method edu.rice.cs.util.BalancingStreamTokenizerTest.testAddQuotesRepeat() Exception class java.lang.Exception At BalancingStreamTokenizerTest.java:[line 674]
|
DE
|
edu.rice.cs.util.BalancingStreamTokenizerTest.testAddQuotesWhitespace() might ignore java.lang.Exception |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.util.BalancingStreamTokenizerTest In method edu.rice.cs.util.BalancingStreamTokenizerTest.testAddQuotesWhitespace() Exception class java.lang.Exception At BalancingStreamTokenizerTest.java:[line 666]
|
DE
|
edu.rice.cs.util.FileOps.makeWritable(File) might ignore java.io.IOException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.util.FileOps In method edu.rice.cs.util.FileOps.makeWritable(File) Exception class java.io.IOException At FileOps.java:[line 952]
|
DE
|
edu.rice.cs.util.FileOpsTest.testSaveFile() might ignore java.io.IOException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.util.FileOpsTest In method edu.rice.cs.util.FileOpsTest.testSaveFile() Exception class java.io.IOException At FileOpsTest.java:[line 167]
|
DE
|
edu.rice.cs.util.ReaderThread.run() might ignore java.io.IOException |
|
Bug type DE_MIGHT_IGNORE (click for details)
In class edu.rice.cs.util.ReaderThread In method edu.rice.cs.util.ReaderThread.run() Exception class java.io.IOException At JoinInputStream.java:[line 222]
|
Dm
|
edu.rice.cs.drjava.model.AbstractGlobalModel.shutdown(boolean) invokes System.exit(...), which shuts down the entire virtual machine |
|
Bug type DM_EXIT (click for details)
In class edu.rice.cs.drjava.model.AbstractGlobalModel In method edu.rice.cs.drjava.model.AbstractGlobalModel.shutdown(boolean) At AbstractGlobalModel.java:[line 2199]
|
Dm
|
edu.rice.cs.drjava.ui.DrJavaErrorPopup$2.actionPerformed(ActionEvent) invokes System.exit(...), which shuts down the entire virtual machine |
|
Bug type DM_EXIT (click for details)
In class edu.rice.cs.drjava.ui.DrJavaErrorPopup$2 In method edu.rice.cs.drjava.ui.DrJavaErrorPopup$2.actionPerformed(ActionEvent) At DrJavaErrorPopup.java:[line 117]
|
Dm
|
edu.rice.cs.drjava.ui.DrJavaErrorWindow$2.run(WindowEvent) invokes System.exit(...), which shuts down the entire virtual machine |
|
Bug type DM_EXIT (click for details)
In class edu.rice.cs.drjava.ui.DrJavaErrorWindow$2 In method edu.rice.cs.drjava.ui.DrJavaErrorWindow$2.run(WindowEvent) At DrJavaErrorWindow.java:[line 182]
|
Dm
|
edu.rice.cs.drjava.ui.DrJavaErrorWindow$5.actionPerformed(ActionEvent) invokes System.exit(...), which shuts down the entire virtual machine |
|
Bug type DM_EXIT (click for details)
In class edu.rice.cs.drjava.ui.DrJavaErrorWindow$5 In method edu.rice.cs.drjava.ui.DrJavaErrorWindow$5.actionPerformed(ActionEvent) At DrJavaErrorWindow.java:[line 381]
|
Dm
|
edu.rice.cs.drjava.ui.SimpleInteractionsWindow.close() invokes System.exit(...), which shuts down the entire virtual machine |
|
Bug type DM_EXIT (click for details)
In class edu.rice.cs.drjava.ui.SimpleInteractionsWindow In method edu.rice.cs.drjava.ui.SimpleInteractionsWindow.close() At SimpleInteractionsWindow.java:[line 111]
|
Dm
|
edu.rice.cs.util.newjvm.AbstractSlaveJVM$1.run() invokes System.exit(...), which shuts down the entire virtual machine |
|
Bug type DM_EXIT (click for details)
In class edu.rice.cs.util.newjvm.AbstractSlaveJVM$1 In method edu.rice.cs.util.newjvm.AbstractSlaveJVM$1.run() At AbstractSlaveJVM.java:[line 77]
|
Dm
|
edu.rice.cs.util.newjvm.IntegratedMasterSlaveTest$CounterSlave$1.run() invokes System.exit(...), which shuts down the entire virtual machine |
|
Bug type DM_EXIT (click for details)
In class edu.rice.cs.util.newjvm.IntegratedMasterSlaveTest$CounterSlave$1 In method edu.rice.cs.util.newjvm.IntegratedMasterSlaveTest$CounterSlave$1.run() At IntegratedMasterSlaveTest.java:[line 199] Another occurrence at IntegratedMasterSlaveTest.java:[line 204] Another occurrence at IntegratedMasterSlaveTest.java:[line 206] Another occurrence at IntegratedMasterSlaveTest.java:[line 207] Another occurrence at IntegratedMasterSlaveTest.java:[line 208]
|
DP
|
edu.rice.cs.drjava.model.JarJDKToolsLibrary.makeFromFile(File, GlobalModel, JDKDescriptor, List) creates a edu.rice.cs.plt.reflect.PathClassLoader classloader, which should be performed within a doPrivileged block |
|
Bug type DP_CREATE_CLASSLOADER_INSIDE_DO_PRIVILEGED (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.makeFromFile(File, GlobalModel, JDKDescriptor, List) In class edu.rice.cs.plt.reflect.PathClassLoader At JarJDKToolsLibrary.java:[line 235]
|
DP
|
edu.rice.cs.drjava.model.JarJDKToolsLibrary.makeFromFile(File, GlobalModel, JDKDescriptor, List) creates a edu.rice.cs.plt.reflect.PathClassLoader classloader, which should be performed within a doPrivileged block |
|
Bug type DP_CREATE_CLASSLOADER_INSIDE_DO_PRIVILEGED (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.makeFromFile(File, GlobalModel, JDKDescriptor, List) In class edu.rice.cs.plt.reflect.PathClassLoader At JarJDKToolsLibrary.java:[line 249]
|
DP
|
edu.rice.cs.drjava.model.JarJDKToolsLibrary.makeFromFile(File, GlobalModel, JDKDescriptor, List) creates a edu.rice.cs.plt.reflect.PreemptingClassLoader classloader, which should be performed within a doPrivileged block |
|
Bug type DP_CREATE_CLASSLOADER_INSIDE_DO_PRIVILEGED (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.makeFromFile(File, GlobalModel, JDKDescriptor, List) In class edu.rice.cs.plt.reflect.PreemptingClassLoader At JarJDKToolsLibrary.java:[line 235]
|
DP
|
edu.rice.cs.drjava.model.JarJDKToolsLibrary.makeFromFile(File, GlobalModel, JDKDescriptor, List) creates a edu.rice.cs.plt.reflect.ShadowingClassLoader classloader, which should be performed within a doPrivileged block |
|
Bug type DP_CREATE_CLASSLOADER_INSIDE_DO_PRIVILEGED (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.makeFromFile(File, GlobalModel, JDKDescriptor, List) In class edu.rice.cs.plt.reflect.ShadowingClassLoader At JarJDKToolsLibrary.java:[line 176]
|
DP
|
edu.rice.cs.drjava.model.repl.newjvm.ClassPathManager.makeClassLoader(ClassLoader) creates a edu.rice.cs.plt.reflect.PathClassLoader classloader, which should be performed within a doPrivileged block |
|
Bug type DP_CREATE_CLASSLOADER_INSIDE_DO_PRIVILEGED (click for details)
In class edu.rice.cs.drjava.model.repl.newjvm.ClassPathManager In method edu.rice.cs.drjava.model.repl.newjvm.ClassPathManager.makeClassLoader(ClassLoader) In class edu.rice.cs.plt.reflect.PathClassLoader At ClassPathManager.java:[line 153]
|
Eq
|
edu.rice.cs.drjava.model.AbstractGlobalModel$ConcreteOpenDefDoc defines compareTo(Object) and uses Object.equals() |
|
Bug type EQ_COMPARETO_USE_OBJECT_EQUALS (click for details)
In class edu.rice.cs.drjava.model.AbstractGlobalModel$ConcreteOpenDefDoc In method edu.rice.cs.drjava.model.AbstractGlobalModel$ConcreteOpenDefDoc.compareTo(Object) At AbstractGlobalModel.java:[line 2705]
|
Eq
|
edu.rice.cs.drjava.model.BrowserDocumentRegion defines compareTo(BrowserDocumentRegion) and uses Object.equals() |
|
Bug type EQ_COMPARETO_USE_OBJECT_EQUALS (click for details)
In class edu.rice.cs.drjava.model.BrowserDocumentRegion In method edu.rice.cs.drjava.model.BrowserDocumentRegion.compareTo(BrowserDocumentRegion) At BrowserDocumentRegion.java:[line 79]
|
Eq
|
edu.rice.cs.drjava.model.DJError defines compareTo(DJError) and uses Object.equals() |
|
Bug type EQ_COMPARETO_USE_OBJECT_EQUALS (click for details)
In class edu.rice.cs.drjava.model.DJError In method edu.rice.cs.drjava.model.DJError.compareTo(DJError) At DJError.java:[lines 165-180]
|
Eq
|
edu.rice.cs.drjava.model.DummyOpenDefDoc defines compareTo(Object) and uses Object.equals() |
|
Bug type EQ_COMPARETO_USE_OBJECT_EQUALS (click for details)
In class edu.rice.cs.drjava.model.DummyOpenDefDoc In method edu.rice.cs.drjava.model.DummyOpenDefDoc.compareTo(Object) At DummyOpenDefDoc.java:[line 63]
|
Eq
|
edu.rice.cs.drjava.ui.config.KeyStrokeOptionComponent defines compareTo(KeyStrokeOptionComponent) and uses Object.equals() |
|
Bug type EQ_COMPARETO_USE_OBJECT_EQUALS (click for details)
In class edu.rice.cs.drjava.ui.config.KeyStrokeOptionComponent In method edu.rice.cs.drjava.ui.config.KeyStrokeOptionComponent.compareTo(KeyStrokeOptionComponent) At KeyStrokeOptionComponent.java:[line 136]
|
Eq
|
edu.rice.cs.drjava.ui.config.VectorKeyStrokeOptionComponent defines compareTo(VectorKeyStrokeOptionComponent) and uses Object.equals() |
|
Bug type EQ_COMPARETO_USE_OBJECT_EQUALS (click for details)
In class edu.rice.cs.drjava.ui.config.VectorKeyStrokeOptionComponent In method edu.rice.cs.drjava.ui.config.VectorKeyStrokeOptionComponent.compareTo(VectorKeyStrokeOptionComponent) At VectorKeyStrokeOptionComponent.java:[line 118]
|
ES
|
Comparison of String parameter using == or != in edu.rice.cs.drjava.model.definitions.reducedmodel.Brace.findBrace(String) |
|
Bug type ES_COMPARING_PARAMETER_STRING_WITH_EQ (click for details)
In class edu.rice.cs.drjava.model.definitions.reducedmodel.Brace In method edu.rice.cs.drjava.model.definitions.reducedmodel.Brace.findBrace(String) Actual type java.lang.String At Brace.java:[line 159]
|
ES
|
Comparison of String objects using == or != in edu.rice.cs.util.sexp.Tokens$SExpToken.equals(Object) |
|
Bug type ES_COMPARING_STRINGS_WITH_EQ (click for details)
In class edu.rice.cs.util.sexp.Tokens$SExpToken In method edu.rice.cs.util.sexp.Tokens$SExpToken.equals(Object) Actual type java.lang.String At Tokens.java:[line 55]
|
HE
|
edu.rice.cs.drjava.model.debug.jpda.JPDABreakpoint defines equals and uses Object.hashCode() |
|
Bug type HE_EQUALS_USE_HASHCODE (click for details)
In class edu.rice.cs.drjava.model.debug.jpda.JPDABreakpoint In method edu.rice.cs.drjava.model.debug.jpda.JPDABreakpoint.equals(Object) At JPDABreakpoint.java:[lines 193-196]
|
HE
|
edu.rice.cs.drjava.model.DocumentRegion defines equals and uses Object.hashCode() |
|
Bug type HE_EQUALS_USE_HASHCODE (click for details)
In class edu.rice.cs.drjava.model.DocumentRegion In method edu.rice.cs.drjava.model.DocumentRegion.equals(Object) At DocumentRegion.java:[lines 70-72]
|
OS
|
edu.rice.cs.drjava.DrJava.warnIfLinuxWithCompiz() may fail to close stream |
|
Bug type OS_OPEN_STREAM (click for details)
In class edu.rice.cs.drjava.DrJava In method edu.rice.cs.drjava.DrJava.warnIfLinuxWithCompiz() Need to close java.io.Reader At DrJava.java:[line 611]
|
OS
|
edu.rice.cs.drjava.model.junit.ConcJUnitUtils.generateRTConcJUnitJarFile(File, File, File) may fail to close stream |
|
Bug type OS_OPEN_STREAM (click for details)
In class edu.rice.cs.drjava.model.junit.ConcJUnitUtils In method edu.rice.cs.drjava.model.junit.ConcJUnitUtils.generateRTConcJUnitJarFile(File, File, File) Need to close java.io.Reader At ConcJUnitUtils.java:[line 346]
|
OS
|
edu.rice.cs.drjava.ui.DefinitionsPaneMemoryLeakTest.dumpHeap() may fail to close stream |
|
Bug type OS_OPEN_STREAM (click for details)
In class edu.rice.cs.drjava.ui.DefinitionsPaneMemoryLeakTest In method edu.rice.cs.drjava.ui.DefinitionsPaneMemoryLeakTest.dumpHeap() Need to close java.io.Reader At DefinitionsPaneMemoryLeakTest.java:[line 307]
|
OS
|
edu.rice.cs.drjava.ui.DefinitionsPaneMemoryLeakTest.dumpHeap() may fail to close stream |
|
Bug type OS_OPEN_STREAM (click for details)
In class edu.rice.cs.drjava.ui.DefinitionsPaneMemoryLeakTest In method edu.rice.cs.drjava.ui.DefinitionsPaneMemoryLeakTest.dumpHeap() Need to close java.io.Reader At DefinitionsPaneMemoryLeakTest.java:[line 335]
|
OS
|
edu.rice.cs.util.FileOps.getShortFile(File) may fail to close stream |
|
Bug type OS_OPEN_STREAM (click for details)
In class edu.rice.cs.util.FileOps In method edu.rice.cs.util.FileOps.getShortFile(File) Need to close java.io.Reader At FileOps.java:[line 1083]
|
OS
|
edu.rice.cs.util.jar.JarCreationTest.testCreateJar() may fail to close stream |
|
Bug type OS_OPEN_STREAM (click for details)
In class edu.rice.cs.util.jar.JarCreationTest In method edu.rice.cs.util.jar.JarCreationTest.testCreateJar() Need to close java.io.InputStream At JarCreationTest.java:[line 204]
|
OS
|
edu.rice.cs.util.StreamRedirectorTest.testDynamicInput() may fail to close stream |
|
Bug type OS_OPEN_STREAM (click for details)
In class edu.rice.cs.util.StreamRedirectorTest In method edu.rice.cs.util.StreamRedirectorTest.testDynamicInput() Need to close java.io.Reader At StreamRedirectorTest.java:[line 118]
|
OS
|
edu.rice.cs.util.StreamRedirectorTest.testEmptyInput() may fail to close stream |
|
Bug type OS_OPEN_STREAM (click for details)
In class edu.rice.cs.util.StreamRedirectorTest In method edu.rice.cs.util.StreamRedirectorTest.testEmptyInput() Need to close java.io.InputStream At StreamRedirectorTest.java:[line 87]
|
OS
|
edu.rice.cs.util.StreamRedirectorTest.testStaticInput() may fail to close stream |
|
Bug type OS_OPEN_STREAM (click for details)
In class edu.rice.cs.util.StreamRedirectorTest In method edu.rice.cs.util.StreamRedirectorTest.testStaticInput() Need to close java.io.Reader At StreamRedirectorTest.java:[line 103]
|
RV
|
edu.rice.cs.drjava.CommandLineTest$1.run() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.CommandLineTest$1 In method edu.rice.cs.drjava.CommandLineTest$1.run() Called method java.io.File.delete() At CommandLineTest.java:[line 183] Another occurrence at CommandLineTest.java:[line 186] Another occurrence at CommandLineTest.java:[line 189] Another occurrence at CommandLineTest.java:[line 192] Another occurrence at CommandLineTest.java:[line 195]
|
RV
|
edu.rice.cs.drjava.DrJava.handleCommandLineArgs(String[]) ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.DrJava In method edu.rice.cs.drjava.DrJava.handleCommandLineArgs(String[]) Called method java.io.File.delete() At DrJava.java:[line 429]
|
RV
|
edu.rice.cs.drjava.model.AbstractGlobalModel$ConcreteOpenDefDoc.saveFileAs(FileSaveSelector) ignores exceptional return value of java.io.File.renameTo(File) |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.AbstractGlobalModel$ConcreteOpenDefDoc In method edu.rice.cs.drjava.model.AbstractGlobalModel$ConcreteOpenDefDoc.saveFileAs(FileSaveSelector) Called method java.io.File.renameTo(File) At AbstractGlobalModel.java:[line 3232]
|
RV
|
edu.rice.cs.drjava.model.AbstractGlobalModel$ProjectFileGroupingState.getClassFiles() ignores exceptional return value of java.io.File.mkdirs() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.AbstractGlobalModel$ProjectFileGroupingState In method edu.rice.cs.drjava.model.AbstractGlobalModel$ProjectFileGroupingState.getClassFiles() Called method java.io.File.mkdirs() At AbstractGlobalModel.java:[line 918]
|
RV
|
edu.rice.cs.drjava.model.compiler.DefaultCompilerModel._compileLanguageLevelsFiles(List, List, Iterable, Iterable) ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.compiler.DefaultCompilerModel In method edu.rice.cs.drjava.model.compiler.DefaultCompilerModel._compileLanguageLevelsFiles(List, List, Iterable, Iterable) Called method java.io.File.delete() At DefaultCompilerModel.java:[line 406] Another occurrence at DefaultCompilerModel.java:[line 464]
|
RV
|
edu.rice.cs.drjava.model.compiler.DefaultCompilerModel$7.accept(File, String) ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.compiler.DefaultCompilerModel$7 In method edu.rice.cs.drjava.model.compiler.DefaultCompilerModel$7.accept(File, String) Called method java.io.File.delete() At DefaultCompilerModel.java:[line 527]
|
RV
|
edu.rice.cs.drjava.model.compiler.DefaultCompilerModel$8.accept(File, String) ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.compiler.DefaultCompilerModel$8 In method edu.rice.cs.drjava.model.compiler.DefaultCompilerModel$8.accept(File, String) Called method java.io.File.delete() At DefaultCompilerModel.java:[line 685]
|
RV
|
new edu.rice.cs.drjava.model.compiler.Javac160FilteringCompiler(JavaVersion$FullVersion, String, List) ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.compiler.Javac160FilteringCompiler In method new edu.rice.cs.drjava.model.compiler.Javac160FilteringCompiler(JavaVersion$FullVersion, String, List) Called method java.io.File.delete() At Javac160FilteringCompiler.java:[line 90] Another occurrence at Javac160FilteringCompiler.java:[line 97]
|
RV
|
edu.rice.cs.drjava.model.compiler.Javac160FilteringCompiler$1.run() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.compiler.Javac160FilteringCompiler$1 In method edu.rice.cs.drjava.model.compiler.Javac160FilteringCompiler$1.run() Called method java.io.File.delete() At Javac160FilteringCompiler.java:[line 122]
|
RV
|
edu.rice.cs.drjava.model.debug.jpda.DebugTest.XXXtestStepOverWithPackage() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.debug.jpda.DebugTest In method edu.rice.cs.drjava.model.debug.jpda.DebugTest.XXXtestStepOverWithPackage() Called method java.io.File.mkdir() At DebugTest.java:[line 696]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelCompileErrorsTest.testCompileAllFailsDifferentSourceRoots() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelCompileErrorsTest In method edu.rice.cs.drjava.model.GlobalModelCompileErrorsTest.testCompileAllFailsDifferentSourceRoots() Called method java.io.File.mkdir() At GlobalModelCompileErrorsTest.java:[line 125] Another occurrence at GlobalModelCompileErrorsTest.java:[line 126]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelCompileErrorsTest.testCompileEndWhileParsing() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelCompileErrorsTest In method edu.rice.cs.drjava.model.GlobalModelCompileErrorsTest.testCompileEndWhileParsing() Called method java.io.File.delete() At GlobalModelCompileErrorsTest.java:[line 350]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelCompileErrorsTest.testCompileFailsCorrectLineNumbers() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelCompileErrorsTest In method edu.rice.cs.drjava.model.GlobalModelCompileErrorsTest.testCompileFailsCorrectLineNumbers() Called method java.io.File.mkdir() At GlobalModelCompileErrorsTest.java:[line 287] Another occurrence at GlobalModelCompileErrorsTest.java:[line 288]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelCompileErrorsTest.testCompileWithPackageStatementInsideClass() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelCompileErrorsTest In method edu.rice.cs.drjava.model.GlobalModelCompileErrorsTest.testCompileWithPackageStatementInsideClass() Called method java.io.File.mkdir() At GlobalModelCompileErrorsTest.java:[line 251]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelCompileIOTest.testCompileAfterFileMoved() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelCompileIOTest In method edu.rice.cs.drjava.model.GlobalModelCompileIOTest.testCompileAfterFileMoved() Called method java.io.File.delete() At GlobalModelCompileIOTest.java:[line 135]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelCompileSuccessTest.testCompileAllDifferentSourceRoots() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelCompileSuccessTest In method edu.rice.cs.drjava.model.GlobalModelCompileSuccessTest.testCompileAllDifferentSourceRoots() Called method java.io.File.mkdir() At GlobalModelCompileSuccessTest.java:[line 57] Another occurrence at GlobalModelCompileSuccessTest.java:[line 58]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelCompileSuccessTest.testCompileClassPathOKDifferentPackages() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelCompileSuccessTest In method edu.rice.cs.drjava.model.GlobalModelCompileSuccessTest.testCompileClassPathOKDifferentPackages() Called method java.io.File.mkdir() At GlobalModelCompileSuccessTest.java:[line 145] Another occurrence at GlobalModelCompileSuccessTest.java:[line 146]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelIOTest.testFileMovedWhenTriedToSave() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelIOTest In method edu.rice.cs.drjava.model.GlobalModelIOTest.testFileMovedWhenTriedToSave() Called method java.io.File.delete() At GlobalModelIOTest.java:[line 1160]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelIOTest.testModifiedByOther() ignores exceptional return value of java.io.File.setLastModified(long) |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelIOTest In method edu.rice.cs.drjava.model.GlobalModelIOTest.testModifiedByOther() Called method java.io.File.setLastModified(long) At GlobalModelIOTest.java:[line 984]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelIOTest.testRevertFile() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelIOTest In method edu.rice.cs.drjava.model.GlobalModelIOTest.testRevertFile() Called method java.io.File.delete() At GlobalModelIOTest.java:[line 938]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelIOTest.testSaveAlreadySaved() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelIOTest In method edu.rice.cs.drjava.model.GlobalModelIOTest.testSaveAlreadySaved() Called method java.io.File.delete() At GlobalModelIOTest.java:[line 675]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelOtherTest.testBookmark() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelOtherTest In method edu.rice.cs.drjava.model.GlobalModelOtherTest.testBookmark() Called method java.io.File.mkdir() At GlobalModelOtherTest.java:[line 567]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelOtherTest.testGetMultipleSourceRootsDefaultPackage() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelOtherTest In method edu.rice.cs.drjava.model.GlobalModelOtherTest.testGetMultipleSourceRootsDefaultPackage() Called method java.io.File.mkdir() At GlobalModelOtherTest.java:[line 413] Another occurrence at GlobalModelOtherTest.java:[line 415]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelOtherTest.testGetSourceRootDefaultPackage() ignores exceptional return value of java.io.File.mkdirs() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelOtherTest In method edu.rice.cs.drjava.model.GlobalModelOtherTest.testGetSourceRootDefaultPackage() Called method java.io.File.mkdirs() At GlobalModelOtherTest.java:[line 268]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelOtherTest.testGetSourceRootPackageOneDeepValid() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelOtherTest In method edu.rice.cs.drjava.model.GlobalModelOtherTest.testGetSourceRootPackageOneDeepValid() Called method java.io.File.mkdir() At GlobalModelOtherTest.java:[line 385]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelOtherTest.testGetSourceRootPackageThreeDeepInvalid() ignores exceptional return value of java.io.File.mkdirs() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelOtherTest In method edu.rice.cs.drjava.model.GlobalModelOtherTest.testGetSourceRootPackageThreeDeepInvalid() Called method java.io.File.mkdirs() At GlobalModelOtherTest.java:[line 359]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelOtherTest.testGetSourceRootPackageThreeDeepValid() ignores exceptional return value of java.io.File.mkdirs() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelOtherTest In method edu.rice.cs.drjava.model.GlobalModelOtherTest.testGetSourceRootPackageThreeDeepValid() Called method java.io.File.mkdirs() At GlobalModelOtherTest.java:[line 298]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelOtherTest.testGetSourceRootPackageThreeDeepValidRelative() ignores exceptional return value of java.io.File.mkdirs() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelOtherTest In method edu.rice.cs.drjava.model.GlobalModelOtherTest.testGetSourceRootPackageThreeDeepValidRelative() Called method java.io.File.mkdirs() At GlobalModelOtherTest.java:[line 327]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelOtherTest.testInteractionsCanSeeCompiledClasses() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelOtherTest In method edu.rice.cs.drjava.model.GlobalModelOtherTest.testInteractionsCanSeeCompiledClasses() Called method java.io.File.mkdir() At GlobalModelOtherTest.java:[line 157] Another occurrence at GlobalModelOtherTest.java:[line 174]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelOtherTest.testInteractionsLiveUpdateClassPath() ignores exceptional return value of java.io.File.renameTo(File) |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelOtherTest In method edu.rice.cs.drjava.model.GlobalModelOtherTest.testInteractionsLiveUpdateClassPath() Called method java.io.File.renameTo(File) At GlobalModelOtherTest.java:[line 469] Another occurrence at GlobalModelOtherTest.java:[line 493]
|
RV
|
edu.rice.cs.drjava.model.GlobalModelOtherTest.testRunMainMethod() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.GlobalModelOtherTest In method edu.rice.cs.drjava.model.GlobalModelOtherTest.testRunMainMethod() Called method java.io.File.mkdir() At GlobalModelOtherTest.java:[line 533]
|
RV
|
edu.rice.cs.drjava.model.repl.InteractionsModelErrorTest.testInterpretGetPackageClass() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.repl.InteractionsModelErrorTest In method edu.rice.cs.drjava.model.repl.InteractionsModelErrorTest.testInterpretGetPackageClass() Called method java.io.File.mkdir() At InteractionsModelErrorTest.java:[line 279]
|
RV
|
edu.rice.cs.drjava.model.SingleDisplayModelTest.testDeleteFileBeforeCloseAll() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.SingleDisplayModelTest In method edu.rice.cs.drjava.model.SingleDisplayModelTest.testDeleteFileBeforeCloseAll() Called method java.io.File.delete() At SingleDisplayModelTest.java:[line 381]
|
RV
|
edu.rice.cs.drjava.model.SingleDisplayModelTest.testDeleteFileWhileOpen() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.model.SingleDisplayModelTest In method edu.rice.cs.drjava.model.SingleDisplayModelTest.testDeleteFileWhileOpen() Called method java.io.File.delete() At SingleDisplayModelTest.java:[line 351]
|
RV
|
edu.rice.cs.drjava.project.ProjectTest.setUp() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.project.ProjectTest In method edu.rice.cs.drjava.project.ProjectTest.setUp() Called method java.io.File.mkdir() At ProjectTest.java:[line 70] Another occurrence at ProjectTest.java:[line 72]
|
RV
|
edu.rice.cs.drjava.project.ProjectTest.testWriteFile() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.project.ProjectTest In method edu.rice.cs.drjava.project.ProjectTest.testWriteFile() Called method java.io.File.delete() At ProjectTest.java:[line 273]
|
RV
|
edu.rice.cs.drjava.project.ProjectTest.testWriteFilePJT() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.project.ProjectTest In method edu.rice.cs.drjava.project.ProjectTest.testWriteFilePJT() Called method java.io.File.delete() At ProjectTest.java:[line 457]
|
RV
|
edu.rice.cs.drjava.project.ProjectTest.testWriteFileXML() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.project.ProjectTest In method edu.rice.cs.drjava.project.ProjectTest.testWriteFileXML() Called method java.io.File.delete() At ProjectTest.java:[line 517]
|
RV
|
edu.rice.cs.drjava.ui.DefinitionsPaneMemoryLeakTest.dumpHeap() ignores exceptional return value of java.io.File.renameTo(File) |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.ui.DefinitionsPaneMemoryLeakTest In method edu.rice.cs.drjava.ui.DefinitionsPaneMemoryLeakTest.dumpHeap() Called method java.io.File.renameTo(File) At DefinitionsPaneMemoryLeakTest.java:[line 344]
|
RV
|
edu.rice.cs.drjava.ui.JarOptionsDialog$17.construct() ignores exceptional return value of java.io.File.createNewFile() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.ui.JarOptionsDialog$17 In method edu.rice.cs.drjava.ui.JarOptionsDialog$17.construct() Called method java.io.File.createNewFile() At JarOptionsDialog.java:[line 801]
|
RV
|
edu.rice.cs.drjava.ui.JarOptionsDialog$17.construct() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.ui.JarOptionsDialog$17 In method edu.rice.cs.drjava.ui.JarOptionsDialog$17.construct() Called method java.io.File.delete() At JarOptionsDialog.java:[line 859]
|
RV
|
edu.rice.cs.drjava.ui.MainFrame._rename() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.ui.MainFrame In method edu.rice.cs.drjava.ui.MainFrame._rename() Called method java.io.File.delete() At MainFrame.java:[line 5082]
|
RV
|
edu.rice.cs.drjava.ui.NewVersionPopup$6.run() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.ui.NewVersionPopup$6 In method edu.rice.cs.drjava.ui.NewVersionPopup$6.run() Called method java.io.File.delete() At NewVersionPopup.java:[line 361] Another occurrence at NewVersionPopup.java:[line 409]
|
RV
|
edu.rice.cs.drjava.ui.NewVersionPopup$6.run() ignores exceptional return value of java.io.File.mkdirs() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.ui.NewVersionPopup$6 In method edu.rice.cs.drjava.ui.NewVersionPopup$6.run() Called method java.io.File.mkdirs() At NewVersionPopup.java:[line 344]
|
RV
|
edu.rice.cs.drjava.ui.NewVersionPopup$6$2.run() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.ui.NewVersionPopup$6$2 In method edu.rice.cs.drjava.ui.NewVersionPopup$6$2.run() Called method java.io.File.delete() At NewVersionPopup.java:[line 390]
|
RV
|
edu.rice.cs.drjava.ui.ProjectMenuTest$1.run() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.ui.ProjectMenuTest$1 In method edu.rice.cs.drjava.ui.ProjectMenuTest$1.run() Called method java.io.File.mkdir() At ProjectMenuTest.java:[line 97]
|
RV
|
edu.rice.cs.drjava.ui.ProjectMenuTest$2.run() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.drjava.ui.ProjectMenuTest$2 In method edu.rice.cs.drjava.ui.ProjectMenuTest$2.run() Called method java.io.File.delete() At ProjectMenuTest.java:[line 135]
|
RV
|
edu.rice.cs.util.FileOps.makeWritable(File) ignores exceptional return value of java.io.File.createNewFile() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.util.FileOps In method edu.rice.cs.util.FileOps.makeWritable(File) Called method java.io.File.createNewFile() At FileOps.java:[line 949]
|
RV
|
edu.rice.cs.util.FileOps.renameFile(File, File) ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.util.FileOps In method edu.rice.cs.util.FileOps.renameFile(File, File) Called method java.io.File.delete() At FileOps.java:[line 649]
|
RV
|
edu.rice.cs.util.FileOps.saveFile(FileOps$FileSaver) ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.util.FileOps In method edu.rice.cs.util.FileOps.saveFile(FileOps$FileSaver) Called method java.io.File.delete() At FileOps.java:[line 738]
|
RV
|
edu.rice.cs.util.FileOpsTest.testDeleteDirectoryOnExit() ignores exceptional return value of java.io.File.createNewFile() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.util.FileOpsTest In method edu.rice.cs.util.FileOpsTest.testDeleteDirectoryOnExit() Called method java.io.File.createNewFile() At FileOpsTest.java:[line 268] Another occurrence at FileOpsTest.java:[line 275]
|
RV
|
edu.rice.cs.util.FileOpsTest.testDeleteDirectoryOnExit() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.util.FileOpsTest In method edu.rice.cs.util.FileOpsTest.testDeleteDirectoryOnExit() Called method java.io.File.mkdir() At FileOpsTest.java:[line 264] Another occurrence at FileOpsTest.java:[line 271]
|
RV
|
edu.rice.cs.util.FileOpsTest.testPackageExplore() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.util.FileOpsTest In method edu.rice.cs.util.FileOpsTest.testPackageExplore() Called method java.io.File.mkdir() At FileOpsTest.java:[line 229] Another occurrence at FileOpsTest.java:[line 231] Another occurrence at FileOpsTest.java:[line 233]
|
RV
|
edu.rice.cs.util.FileOpsTest.testSaveFile() ignores exceptional return value of java.io.File.setReadOnly() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.util.FileOpsTest In method edu.rice.cs.util.FileOpsTest.testSaveFile() Called method java.io.File.setReadOnly() At FileOpsTest.java:[line 199]
|
RV
|
edu.rice.cs.util.jar.JarCreationTest.testCreateJarFromDirectoryRecursive() ignores exceptional return value of java.io.File.mkdir() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.util.jar.JarCreationTest In method edu.rice.cs.util.jar.JarCreationTest.testCreateJarFromDirectoryRecursive() Called method java.io.File.mkdir() At JarCreationTest.java:[line 101] Another occurrence at JarCreationTest.java:[line 103]
|
RV
|
edu.rice.cs.util.XMLConfigTest.testSaveAndLoadConstructors() ignores exceptional return value of java.io.File.delete() |
|
Bug type RV_RETURN_VALUE_IGNORED_BAD_PRACTICE (click for details)
In class edu.rice.cs.util.XMLConfigTest In method edu.rice.cs.util.XMLConfigTest.testSaveAndLoadConstructors() Called method java.io.File.delete() At XMLConfigTest.java:[line 1101]
|
EI
|
edu.rice.cs.drjava.model.AlreadyOpenException.getOpenDocuments() may expose internal representation by returning AlreadyOpenException._openDocs |
|
Bug type EI_EXPOSE_REP (click for details)
In class edu.rice.cs.drjava.model.AlreadyOpenException In method edu.rice.cs.drjava.model.AlreadyOpenException.getOpenDocuments() Field edu.rice.cs.drjava.model.AlreadyOpenException._openDocs At AlreadyOpenException.java:[line 64]
|
EI
|
edu.rice.cs.drjava.model.definitions.DefinitionsEditorKit.getActions() may expose internal representation by returning DefinitionsEditorKit._actions |
|
Bug type EI_EXPOSE_REP (click for details)
In class edu.rice.cs.drjava.model.definitions.DefinitionsEditorKit In method edu.rice.cs.drjava.model.definitions.DefinitionsEditorKit.getActions() Field edu.rice.cs.drjava.model.definitions.DefinitionsEditorKit._actions At DefinitionsEditorKit.java:[line 88]
|
EI
|
edu.rice.cs.drjava.model.junit.JUnitError.stackTrace() may expose internal representation by returning JUnitError._stackTrace |
|
Bug type EI_EXPOSE_REP (click for details)
In class edu.rice.cs.drjava.model.junit.JUnitError In method edu.rice.cs.drjava.model.junit.JUnitError.stackTrace() Field edu.rice.cs.drjava.model.junit.JUnitError._stackTrace At JUnitError.java:[line 97]
|
EI
|
edu.rice.cs.util.swing.FileSelectionEvent.getFiles() may expose internal representation by returning FileSelectionEvent._changed |
|
Bug type EI_EXPOSE_REP (click for details)
In class edu.rice.cs.util.swing.FileSelectionEvent In method edu.rice.cs.util.swing.FileSelectionEvent.getFiles() Field edu.rice.cs.util.swing.FileSelectionEvent._changed At FileSelectionEvent.java:[line 67]
|
EI
|
edu.rice.cs.util.swing.LayeredIcon.getLayers() may expose internal representation by returning LayeredIcon._layers |
|
Bug type EI_EXPOSE_REP (click for details)
In class edu.rice.cs.util.swing.LayeredIcon In method edu.rice.cs.util.swing.LayeredIcon.getLayers() Field edu.rice.cs.util.swing.LayeredIcon._layers At LayeredIcon.java:[line 72]
|
EI
|
edu.rice.cs.util.swing.LayeredIcon.getXOffsets() may expose internal representation by returning LayeredIcon._xoffs |
|
Bug type EI_EXPOSE_REP (click for details)
In class edu.rice.cs.util.swing.LayeredIcon In method edu.rice.cs.util.swing.LayeredIcon.getXOffsets() Field edu.rice.cs.util.swing.LayeredIcon._xoffs At LayeredIcon.java:[line 73]
|
EI
|
edu.rice.cs.util.swing.LayeredIcon.getYOffsets() may expose internal representation by returning LayeredIcon._xoffs |
|
Bug type EI_EXPOSE_REP (click for details)
In class edu.rice.cs.util.swing.LayeredIcon In method edu.rice.cs.util.swing.LayeredIcon.getYOffsets() Field edu.rice.cs.util.swing.LayeredIcon._xoffs At LayeredIcon.java:[line 74]
|
EI2
|
new edu.rice.cs.drjava.config.OptionParseException(OptionParseException[]) may expose internal representation by storing an externally mutable object into OptionParseException.causes |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.drjava.config.OptionParseException In method new edu.rice.cs.drjava.config.OptionParseException(OptionParseException[]) Field edu.rice.cs.drjava.config.OptionParseException.causes At OptionParseException.java:[line 63]
|
EI2
|
new edu.rice.cs.drjava.model.AlreadyOpenException(OpenDefinitionsDocument[]) may expose internal representation by storing an externally mutable object into AlreadyOpenException._openDocs |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.drjava.model.AlreadyOpenException In method new edu.rice.cs.drjava.model.AlreadyOpenException(OpenDefinitionsDocument[]) Field edu.rice.cs.drjava.model.AlreadyOpenException._openDocs At AlreadyOpenException.java:[line 51]
|
EI2
|
new edu.rice.cs.drjava.model.compiler.CompilerErrorModel(DJError[], GlobalModel) may expose internal representation by storing an externally mutable object into CompilerErrorModel._errors |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.drjava.model.compiler.CompilerErrorModel In method new edu.rice.cs.drjava.model.compiler.CompilerErrorModel(DJError[], GlobalModel) Field edu.rice.cs.drjava.model.compiler.CompilerErrorModel._errors At CompilerErrorModel.java:[line 168]
|
EI2
|
new edu.rice.cs.drjava.model.definitions.indent.QuestionHasCharPrecedingOpenBrace(char[], IndentRule, IndentRule) may expose internal representation by storing an externally mutable object into QuestionHasCharPrecedingOpenBrace._prefix |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.drjava.model.definitions.indent.QuestionHasCharPrecedingOpenBrace In method new edu.rice.cs.drjava.model.definitions.indent.QuestionHasCharPrecedingOpenBrace(char[], IndentRule, IndentRule) Field edu.rice.cs.drjava.model.definitions.indent.QuestionHasCharPrecedingOpenBrace._prefix At QuestionHasCharPrecedingOpenBrace.java:[line 55]
|
EI2
|
new edu.rice.cs.drjava.model.junit.JUnitError(File, int, int, String, boolean, String, String, String, StackTraceElement[]) may expose internal representation by storing an externally mutable object into JUnitError._stackTrace |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.drjava.model.junit.JUnitError In method new edu.rice.cs.drjava.model.junit.JUnitError(File, int, int, String, boolean, String, String, String, StackTraceElement[]) Field edu.rice.cs.drjava.model.junit.JUnitError._stackTrace At JUnitError.java:[line 67]
|
EI2
|
edu.rice.cs.drjava.model.junit.JUnitError.setStackTrace(StackTraceElement[]) may expose internal representation by storing an externally mutable object into JUnitError._stackTrace |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.drjava.model.junit.JUnitError In method edu.rice.cs.drjava.model.junit.JUnitError.setStackTrace(StackTraceElement[]) Field edu.rice.cs.drjava.model.junit.JUnitError._stackTrace At JUnitError.java:[line 100]
|
EI2
|
new edu.rice.cs.drjava.model.Query$CharArrayAndFlag(int, char[], boolean) may expose internal representation by storing an externally mutable object into Query$CharArrayAndFlag._chars |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.drjava.model.Query$CharArrayAndFlag In method new edu.rice.cs.drjava.model.Query$CharArrayAndFlag(int, char[], boolean) Field edu.rice.cs.drjava.model.Query$CharArrayAndFlag._chars At Query.java:[line 98]
|
EI2
|
new edu.rice.cs.drjava.model.Query$IndentOfCurrStmt(int, char[], char[]) may expose internal representation by storing an externally mutable object into Query$IndentOfCurrStmt._delims |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.drjava.model.Query$IndentOfCurrStmt In method new edu.rice.cs.drjava.model.Query$IndentOfCurrStmt(int, char[], char[]) Field edu.rice.cs.drjava.model.Query$IndentOfCurrStmt._delims At Query.java:[line 145]
|
EI2
|
new edu.rice.cs.drjava.model.Query$IndentOfCurrStmt(int, char[], char[]) may expose internal representation by storing an externally mutable object into Query$IndentOfCurrStmt._whitespace |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.drjava.model.Query$IndentOfCurrStmt In method new edu.rice.cs.drjava.model.Query$IndentOfCurrStmt(int, char[], char[]) Field edu.rice.cs.drjava.model.Query$IndentOfCurrStmt._whitespace At Query.java:[line 146]
|
EI2
|
new edu.rice.cs.drjava.model.Query$PrevCharPos(int, char[]) may expose internal representation by storing an externally mutable object into Query$PrevCharPos._whitespace |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.drjava.model.Query$PrevCharPos In method new edu.rice.cs.drjava.model.Query$PrevCharPos(int, char[]) Field edu.rice.cs.drjava.model.Query$PrevCharPos._whitespace At Query.java:[line 124]
|
EI2
|
edu.rice.cs.drjava.ui.CompilerErrorPanel.reset(File[]) may expose internal representation by storing an externally mutable object into CompilerErrorPanel._excludedFiles |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.drjava.ui.CompilerErrorPanel In method edu.rice.cs.drjava.ui.CompilerErrorPanel.reset(File[]) Field edu.rice.cs.drjava.ui.CompilerErrorPanel._excludedFiles At CompilerErrorPanel.java:[line 154]
|
EI2
|
new edu.rice.cs.drjava.ui.config.VectorOptionComponent(VectorOption, String, SwingFrame, String[], String, boolean) may expose internal representation by storing an externally mutable object into VectorOptionComponent._columnNames |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.drjava.ui.config.VectorOptionComponent In method new edu.rice.cs.drjava.ui.config.VectorOptionComponent(VectorOption, String, SwingFrame, String[], String, boolean) Field edu.rice.cs.drjava.ui.config.VectorOptionComponent._columnNames At VectorOptionComponent.java:[line 117]
|
EI2
|
new edu.rice.cs.util.ProcessChain(ProcessCreator[]) may expose internal representation by storing an externally mutable object into ProcessChain._creators |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.util.ProcessChain In method new edu.rice.cs.util.ProcessChain(ProcessCreator[]) Field edu.rice.cs.util.ProcessChain._creators At ProcessChain.java:[line 108]
|
EI2
|
new edu.rice.cs.util.ProcessCreator(String[], String) may expose internal representation by storing an externally mutable object into ProcessCreator._cmdarray |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.util.ProcessCreator In method new edu.rice.cs.util.ProcessCreator(String[], String) Field edu.rice.cs.util.ProcessCreator._cmdarray At ProcessCreator.java:[line 82]
|
EI2
|
new edu.rice.cs.util.ProcessSequence(ProcessCreator[]) may expose internal representation by storing an externally mutable object into ProcessSequence._creators |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.util.ProcessSequence In method new edu.rice.cs.util.ProcessSequence(ProcessCreator[]) Field edu.rice.cs.util.ProcessSequence._creators At ProcessSequence.java:[line 103]
|
EI2
|
new edu.rice.cs.util.swing.FileSelectionEvent(Object, File[], boolean[], File, File) may expose internal representation by storing an externally mutable object into FileSelectionEvent._areNew |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.util.swing.FileSelectionEvent In method new edu.rice.cs.util.swing.FileSelectionEvent(Object, File[], boolean[], File, File) Field edu.rice.cs.util.swing.FileSelectionEvent._areNew At FileSelectionEvent.java:[line 56]
|
EI2
|
new edu.rice.cs.util.swing.FileSelectionEvent(Object, File[], boolean[], File, File) may expose internal representation by storing an externally mutable object into FileSelectionEvent._changed |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.util.swing.FileSelectionEvent In method new edu.rice.cs.util.swing.FileSelectionEvent(Object, File[], boolean[], File, File) Field edu.rice.cs.util.swing.FileSelectionEvent._changed At FileSelectionEvent.java:[line 55]
|
EI2
|
new edu.rice.cs.util.swing.LayeredIcon(Icon[], int[], int[]) may expose internal representation by storing an externally mutable object into LayeredIcon._layers |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.util.swing.LayeredIcon In method new edu.rice.cs.util.swing.LayeredIcon(Icon[], int[], int[]) Field edu.rice.cs.util.swing.LayeredIcon._layers At LayeredIcon.java:[line 49]
|
EI2
|
new edu.rice.cs.util.swing.LayeredIcon(Icon[], int[], int[]) may expose internal representation by storing an externally mutable object into LayeredIcon._xoffs |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.util.swing.LayeredIcon In method new edu.rice.cs.util.swing.LayeredIcon(Icon[], int[], int[]) Field edu.rice.cs.util.swing.LayeredIcon._xoffs At LayeredIcon.java:[line 50]
|
EI2
|
new edu.rice.cs.util.swing.LayeredIcon(Icon[], int[], int[]) may expose internal representation by storing an externally mutable object into LayeredIcon._yoffs |
|
Bug type EI_EXPOSE_REP2 (click for details)
In class edu.rice.cs.util.swing.LayeredIcon In method new edu.rice.cs.util.swing.LayeredIcon(Icon[], int[], int[]) Field edu.rice.cs.util.swing.LayeredIcon._yoffs At LayeredIcon.java:[line 51]
|
MS
|
edu.rice.cs.drjava.config.OptionConstants.FIND_RESULTS_COLORS is a mutable array |
|
Bug type MS_MUTABLE_ARRAY (click for details)
In class edu.rice.cs.drjava.config.OptionConstants Field edu.rice.cs.drjava.config.OptionConstants.FIND_RESULTS_COLORS At ConfigDescriptions.java:[line 166]
|
MS
|
edu.rice.cs.drjava.config.OptionConstants.LANGUAGE_LEVEL_EXTENSIONS is a mutable array |
|
Bug type MS_MUTABLE_ARRAY (click for details)
In class edu.rice.cs.drjava.config.OptionConstants Field edu.rice.cs.drjava.config.OptionConstants.LANGUAGE_LEVEL_EXTENSIONS At OptionConstants.java:[line 115]
|
MS
|
edu.rice.cs.drjava.config.OptionConstants.apiJavadocChoices should be moved out of an interface and made package protected |
|
Bug type MS_OOI_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.config.OptionConstants Field edu.rice.cs.drjava.config.OptionConstants.apiJavadocChoices At OptionConstants.java:[line 1285]
|
MS
|
edu.rice.cs.drjava.config.OptionConstants.apiJavadocDeprecated should be moved out of an interface and made package protected |
|
Bug type MS_OOI_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.config.OptionConstants Field edu.rice.cs.drjava.config.OptionConstants.apiJavadocDeprecated At OptionConstants.java:[line 1289]
|
MS
|
edu.rice.cs.drjava.config.OptionConstants.linkChoices should be moved out of an interface and made package protected |
|
Bug type MS_OOI_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.config.OptionConstants Field edu.rice.cs.drjava.config.OptionConstants.linkChoices At OptionConstants.java:[line 1257]
|
MS
|
edu.rice.cs.drjava.config.OptionConstants.linkDeprecated should be moved out of an interface and made package protected |
|
Bug type MS_OOI_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.config.OptionConstants Field edu.rice.cs.drjava.config.OptionConstants.linkDeprecated At OptionConstants.java:[line 1261]
|
MS
|
edu.rice.cs.drjava.config.OptionConstants$COMPILER_PREFERENCE_CONTROL._list should be package protected |
|
Bug type MS_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.config.OptionConstants$COMPILER_PREFERENCE_CONTROL Field edu.rice.cs.drjava.config.OptionConstants$COMPILER_PREFERENCE_CONTROL._list At OptionConstants.java:[line 1482]
|
MS
|
edu.rice.cs.drjava.DrJavaRestart.LOG isn't final but should be |
|
Bug type MS_SHOULD_BE_FINAL (click for details)
In class edu.rice.cs.drjava.DrJavaRestart Field edu.rice.cs.drjava.DrJavaRestart.LOG At DrJavaRestart.java:[line 57]
|
MS
|
edu.rice.cs.drjava.model.AbstractDJDocument.CLOSING_BRACES should be package protected |
|
Bug type MS_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.model.AbstractDJDocument Field edu.rice.cs.drjava.model.AbstractDJDocument.CLOSING_BRACES At AbstractDJDocument.java:[line 109]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.COMMENTED_COLOR should be package protected |
|
Bug type MS_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.COMMENTED_COLOR At ColoringGlyphPainter.java:[line 57]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.DOUBLE_QUOTED_COLOR should be package protected |
|
Bug type MS_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.DOUBLE_QUOTED_COLOR At ColoringGlyphPainter.java:[line 58]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.KEYWORD_COLOR should be package protected |
|
Bug type MS_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.KEYWORD_COLOR At ColoringGlyphPainter.java:[line 61]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.MAIN_FONT should be package protected |
|
Bug type MS_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.MAIN_FONT At ColoringGlyphPainter.java:[line 64]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.NORMAL_COLOR should be package protected |
|
Bug type MS_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.NORMAL_COLOR At ColoringGlyphPainter.java:[line 60]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.NUMBER_COLOR should be package protected |
|
Bug type MS_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.NUMBER_COLOR At ColoringGlyphPainter.java:[line 62]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.SINGLE_QUOTED_COLOR should be package protected |
|
Bug type MS_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.SINGLE_QUOTED_COLOR At ColoringGlyphPainter.java:[line 59]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.TYPE_COLOR should be package protected |
|
Bug type MS_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.TYPE_COLOR At ColoringGlyphPainter.java:[line 63]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringView.DEBUGGER_COLOR isn't final and can't be protected from malicious code |
|
Bug type MS_CANNOT_BE_FINAL (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView Field edu.rice.cs.drjava.model.definitions.ColoringView.DEBUGGER_COLOR At ColoringView.java:[line 78]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringView.DOUBLE_QUOTED_COLOR isn't final and can't be protected from malicious code |
|
Bug type MS_CANNOT_BE_FINAL (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView Field edu.rice.cs.drjava.model.definitions.ColoringView.DOUBLE_QUOTED_COLOR At ColoringView.java:[line 64]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringView.ERROR_COLOR isn't final and can't be protected from malicious code |
|
Bug type MS_CANNOT_BE_FINAL (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView Field edu.rice.cs.drjava.model.definitions.ColoringView.ERROR_COLOR At ColoringView.java:[line 77]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringView.INTERACTIONS_SYSTEM_ERR_COLOR isn't final and can't be protected from malicious code |
|
Bug type MS_CANNOT_BE_FINAL (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView Field edu.rice.cs.drjava.model.definitions.ColoringView.INTERACTIONS_SYSTEM_ERR_COLOR At ColoringView.java:[line 73]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringView.INTERACTIONS_SYSTEM_IN_COLOR isn't final and can't be protected from malicious code |
|
Bug type MS_CANNOT_BE_FINAL (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView Field edu.rice.cs.drjava.model.definitions.ColoringView.INTERACTIONS_SYSTEM_IN_COLOR At ColoringView.java:[line 74]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringView.INTERACTIONS_SYSTEM_OUT_COLOR isn't final and can't be protected from malicious code |
|
Bug type MS_CANNOT_BE_FINAL (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView Field edu.rice.cs.drjava.model.definitions.ColoringView.INTERACTIONS_SYSTEM_OUT_COLOR At ColoringView.java:[line 75]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringView.MAIN_FONT isn't final and can't be protected from malicious code |
|
Bug type MS_CANNOT_BE_FINAL (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView Field edu.rice.cs.drjava.model.definitions.ColoringView.MAIN_FONT At ColoringView.java:[line 70]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringView.NORMAL_COLOR isn't final and can't be protected from malicious code |
|
Bug type MS_CANNOT_BE_FINAL (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView Field edu.rice.cs.drjava.model.definitions.ColoringView.NORMAL_COLOR At ColoringView.java:[line 66]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringView.NUMBER_COLOR isn't final and can't be protected from malicious code |
|
Bug type MS_CANNOT_BE_FINAL (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView Field edu.rice.cs.drjava.model.definitions.ColoringView.NUMBER_COLOR At ColoringView.java:[line 68]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringView.SINGLE_QUOTED_COLOR isn't final and can't be protected from malicious code |
|
Bug type MS_CANNOT_BE_FINAL (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView Field edu.rice.cs.drjava.model.definitions.ColoringView.SINGLE_QUOTED_COLOR At ColoringView.java:[line 65]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringView.COMMENTED_COLOR should be package protected |
|
Bug type MS_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView Field edu.rice.cs.drjava.model.definitions.ColoringView.COMMENTED_COLOR At ColoringView.java:[line 63]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringView.KEYWORD_COLOR should be package protected |
|
Bug type MS_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView Field edu.rice.cs.drjava.model.definitions.ColoringView.KEYWORD_COLOR At ColoringView.java:[line 67]
|
MS
|
edu.rice.cs.drjava.model.definitions.ColoringView.TYPE_COLOR should be package protected |
|
Bug type MS_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView Field edu.rice.cs.drjava.model.definitions.ColoringView.TYPE_COLOR At ColoringView.java:[line 69]
|
MS
|
edu.rice.cs.drjava.RemoteControlClient._serverRunning should be package protected |
|
Bug type MS_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.RemoteControlClient Field edu.rice.cs.drjava.RemoteControlClient._serverRunning At RemoteControlClient.java:[line 49]
|
MS
|
edu.rice.cs.drjava.RemoteControlClient._serverUser should be package protected |
|
Bug type MS_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.RemoteControlClient Field edu.rice.cs.drjava.RemoteControlClient._serverUser At RemoteControlClient.java:[line 52]
|
MS
|
edu.rice.cs.drjava.ui.DrJavaSurveyPopup.DRJAVA_SURVEY_KEYS should be package protected |
|
Bug type MS_PKGPROTECT (click for details)
In class edu.rice.cs.drjava.ui.DrJavaSurveyPopup Field edu.rice.cs.drjava.ui.DrJavaSurveyPopup.DRJAVA_SURVEY_KEYS At DrJavaSurveyPopup.java:[line 62]
|
MS
|
edu.rice.cs.drjava.ui.InteractionsPane.LOG isn't final but should be |
|
Bug type MS_SHOULD_BE_FINAL (click for details)
In class edu.rice.cs.drjava.ui.InteractionsPane Field edu.rice.cs.drjava.ui.InteractionsPane.LOG At InteractionsPane.java:[line 68]
|
MS
|
edu.rice.cs.drjava.ui.MainFrame.UPDATER_PRIORITY isn't final but should be |
|
Bug type MS_SHOULD_BE_FINAL (click for details)
In class edu.rice.cs.drjava.ui.MainFrame Field edu.rice.cs.drjava.ui.MainFrame.UPDATER_PRIORITY At MainFrame.java:[line 7887]
|
MS
|
edu.rice.cs.drjava.ui.MainFrame.UPDATE_DELAY isn't final but should be |
|
Bug type MS_SHOULD_BE_FINAL (click for details)
In class edu.rice.cs.drjava.ui.MainFrame Field edu.rice.cs.drjava.ui.MainFrame.UPDATE_DELAY At MainFrame.java:[line 7886]
|
MS
|
public static edu.rice.cs.drjava.Version.getBuildTime() may expose internal representation by returning Version.BUILD_TIME |
|
Bug type MS_EXPOSE_REP (click for details)
In class edu.rice.cs.drjava.Version In method edu.rice.cs.drjava.Version.getBuildTime() Field edu.rice.cs.drjava.Version.BUILD_TIME At Version.java:[line 87]
|
MS
|
edu.rice.cs.util.JoinInputStream.defaultBufferSize isn't final but should be |
|
Bug type MS_SHOULD_BE_FINAL (click for details)
In class edu.rice.cs.util.JoinInputStream Field edu.rice.cs.util.JoinInputStream.defaultBufferSize At JoinInputStream.java:[line 181]
|
BC
|
Unchecked/unconfirmed cast from edu.rice.cs.drjava.model.DJError to edu.rice.cs.drjava.model.junit.JUnitError in edu.rice.cs.drjava.ui.JUnitPanel$JUnitErrorListPane.selectItem(DJError) |
|
Bug type BC_UNCONFIRMED_CAST (click for details)
In class edu.rice.cs.drjava.ui.JUnitPanel$JUnitErrorListPane In method edu.rice.cs.drjava.ui.JUnitPanel$JUnitErrorListPane.selectItem(DJError) Actual type edu.rice.cs.drjava.model.DJError Expected edu.rice.cs.drjava.model.junit.JUnitError Local variable named error At JUnitPanel.java:[line 455]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.DrJava.warnIfLinuxWithCompiz() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.DrJava In method edu.rice.cs.drjava.DrJava.warnIfLinuxWithCompiz() File name /bin/ps At DrJava.java:[line 603]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.DrJavaRestart.main(String[]) |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.DrJavaRestart In method edu.rice.cs.drjava.DrJavaRestart.main(String[]) File name /usr/bin/open At DrJavaRestart.java:[line 192]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() File name /home/javaplt/java/Linux-i686 At JarJDKToolsLibrary.java:[line 437]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() File name /C: At JarJDKToolsLibrary.java:[line 420]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() File name /C:/Java At JarJDKToolsLibrary.java:[line 419]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() File name /C:/Program Files At JarJDKToolsLibrary.java:[line 414]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() File name /C:/Program Files/Java At JarJDKToolsLibrary.java:[line 413]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() File name /System/Library/Frameworks/JavaVM.framework/Versions At JarJDKToolsLibrary.java:[line 422]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() File name /usr At JarJDKToolsLibrary.java:[line 426]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() File name /usr/j2se At JarJDKToolsLibrary.java:[line 425]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() File name /usr/java At JarJDKToolsLibrary.java:[line 424]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() File name /usr/lib/jvm At JarJDKToolsLibrary.java:[line 432]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() File name /usr/lib/jvm/java-1.5.0-sun At JarJDKToolsLibrary.java:[line 434]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() File name /usr/lib/jvm/java-6-openjdk At JarJDKToolsLibrary.java:[line 435]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() File name /usr/lib/jvm/java-6-sun At JarJDKToolsLibrary.java:[line 433]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() File name /usr/local At JarJDKToolsLibrary.java:[line 429]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() File name /usr/local/j2se At JarJDKToolsLibrary.java:[line 428]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.model.JarJDKToolsLibrary In method edu.rice.cs.drjava.model.JarJDKToolsLibrary.getDefaultSearchRoots() File name /usr/local/java At JarJDKToolsLibrary.java:[line 427]
|
DMI
|
Hard coded reference to an absolute pathname in edu.rice.cs.drjava.ui.NewVersionPopup$6.run() |
|
Bug type DMI_HARDCODED_ABSOLUTE_FILENAME (click for details)
In class edu.rice.cs.drjava.ui.NewVersionPopup$6 In method edu.rice.cs.drjava.ui.NewVersionPopup$6.run() File name /usr/bin/tar At NewVersionPopup.java:[line 291]
|
Eq
|
edu.rice.cs.drjava.project.DocFile doesn't override java.io.File.equals(Object) |
|
Bug type EQ_DOESNT_OVERRIDE_EQUALS (click for details)
In class edu.rice.cs.drjava.project.DocFile In method java.io.File.equals(Object) At File.java:[lines 1870-1873]
|
Eq
|
edu.rice.cs.util.AbsRelFile doesn't override java.io.File.equals(Object) |
|
Bug type EQ_DOESNT_OVERRIDE_EQUALS (click for details)
In class edu.rice.cs.util.AbsRelFile In method java.io.File.equals(Object) At File.java:[lines 1870-1873]
|
Eq
|
edu.rice.cs.util.sexp.Tokens$BooleanToken doesn't override Tokens$SExpToken.equals(Object) |
|
Bug type EQ_DOESNT_OVERRIDE_EQUALS (click for details)
In class edu.rice.cs.util.sexp.Tokens$BooleanToken In method edu.rice.cs.util.sexp.Tokens$SExpToken.equals(Object) At Tokens.java:[line 55]
|
Eq
|
edu.rice.cs.util.sexp.Tokens$NumberToken doesn't override Tokens$SExpToken.equals(Object) |
|
Bug type EQ_DOESNT_OVERRIDE_EQUALS (click for details)
In class edu.rice.cs.util.sexp.Tokens$NumberToken In method edu.rice.cs.util.sexp.Tokens$SExpToken.equals(Object) At Tokens.java:[line 55]
|
FE
|
Test for floating point equality in edu.rice.cs.util.StringOps.memSizeToString(long) |
|
Bug type FE_FLOATING_POINT_EQUALITY (click for details)
In class edu.rice.cs.util.StringOps In method edu.rice.cs.util.StringOps.memSizeToString(long) At StringOps.java:[line 570]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.ConfigProperty.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.ConfigProperty In method edu.rice.cs.drjava.config.ConfigProperty.update(PropertyMaps) Local variable stored in JVM register ? Dereferenced at ConfigProperty.java:[line 74] Known null at ConfigProperty.java:[line 74]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.ConfigProperty.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.ConfigProperty In method edu.rice.cs.drjava.config.ConfigProperty.update(PropertyMaps) Local variable stored in JVM register ? Dereferenced at ConfigProperty.java:[line 86] Known null at ConfigProperty.java:[line 86]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.ConfigProperty.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.ConfigProperty In method edu.rice.cs.drjava.config.ConfigProperty.update(PropertyMaps) Called method String.startsWith(String) Argument 1 might be null but must not be null Local variable stored in JVM register ? Method invoked at ConfigProperty.java:[line 73] Known null at ConfigProperty.java:[line 73]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.ConfigProperty.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.ConfigProperty In method edu.rice.cs.drjava.config.ConfigProperty.update(PropertyMaps) Called method String.startsWith(String) Argument 1 might be null but must not be null Local variable stored in JVM register ? Method invoked at ConfigProperty.java:[line 85] Known null at ConfigProperty.java:[line 85]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.DrJavaPropertySetup$13.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.DrJavaPropertySetup$13 In method edu.rice.cs.drjava.config.DrJavaPropertySetup$13.update(PropertyMaps) Local variable stored in JVM register ? Dereferenced at DrJavaPropertySetup.java:[line 614] Known null at DrJavaPropertySetup.java:[line 614]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.DrJavaPropertySetup$15.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.DrJavaPropertySetup$15 In method edu.rice.cs.drjava.config.DrJavaPropertySetup$15.update(PropertyMaps) Local variable stored in JVM register ? Dereferenced at DrJavaPropertySetup.java:[line 675] Known null at DrJavaPropertySetup.java:[line 675]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.DrJavaPropertySetup$15.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.DrJavaPropertySetup$15 In method edu.rice.cs.drjava.config.DrJavaPropertySetup$15.update(PropertyMaps) Local variable stored in JVM register ? Dereferenced at DrJavaPropertySetup.java:[line 678] Known null at DrJavaPropertySetup.java:[line 678]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.DrJavaPropertySetup$3.getCurrent(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.DrJavaPropertySetup$3 In method edu.rice.cs.drjava.config.DrJavaPropertySetup$3.getCurrent(PropertyMaps) Local variable named keep Dereferenced at DrJavaPropertySetup.java:[line 153] Known null at DrJavaPropertySetup.java:[line 153]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.DrJavaPropertySetup$3.getCurrent(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.DrJavaPropertySetup$3 In method edu.rice.cs.drjava.config.DrJavaPropertySetup$3.getCurrent(PropertyMaps) Called method edu.rice.cs.util.StringOps.unescapeFileName(String) Argument 1 might be null but must not be null Local variable stored in JVM register ? Method invoked at DrJavaPropertySetup.java:[line 156] Known null at DrJavaPropertySetup.java:[line 156]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.DrJavaPropertySetup$3.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.DrJavaPropertySetup$3 In method edu.rice.cs.drjava.config.DrJavaPropertySetup$3.update(PropertyMaps) Local variable named dir Dereferenced at DrJavaPropertySetup.java:[line 136] Known null at DrJavaPropertySetup.java:[line 134]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.DrJavaPropertySetup$3.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.DrJavaPropertySetup$3 In method edu.rice.cs.drjava.config.DrJavaPropertySetup$3.update(PropertyMaps) Local variable named name Dereferenced at DrJavaPropertySetup.java:[line 134] Known null at DrJavaPropertySetup.java:[line 134]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.DrJavaPropertySetup$35.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.DrJavaPropertySetup$35 In method edu.rice.cs.drjava.config.DrJavaPropertySetup$35.update(PropertyMaps) Local variable named append Dereferenced at DrJavaPropertySetup.java:[line 1167] Known null at DrJavaPropertySetup.java:[line 1157]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.FileListProperty.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.FileListProperty In method edu.rice.cs.drjava.config.FileListProperty.update(PropertyMaps) Local variable stored in JVM register ? Dereferenced at FileListProperty.java:[line 94] Known null at FileListProperty.java:[line 94]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.FileListProperty.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.FileListProperty In method edu.rice.cs.drjava.config.FileListProperty.update(PropertyMaps) Local variable stored in JVM register ? Dereferenced at FileListProperty.java:[line 112] Known null at FileListProperty.java:[line 112]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.FileListProperty.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.FileListProperty In method edu.rice.cs.drjava.config.FileListProperty.update(PropertyMaps) Called method edu.rice.cs.util.StringOps.replaceVariables(String, PropertyMaps, Lambda2) Argument 1 might be null but must not be null Local variable stored in JVM register ? Method invoked at FileListProperty.java:[line 91] Known null at FileListProperty.java:[line 91]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.FileListProperty.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.FileListProperty In method edu.rice.cs.drjava.config.FileListProperty.update(PropertyMaps) Called method edu.rice.cs.util.StringOps.replaceVariables(String, PropertyMaps, Lambda2) Argument 1 might be null but must not be null Local variable stored in JVM register ? Method invoked at FileListProperty.java:[line 96] Known null at FileListProperty.java:[line 96]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.FileListProperty.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.FileListProperty In method edu.rice.cs.drjava.config.FileListProperty.update(PropertyMaps) Called method String.startsWith(String) Argument 1 might be null but must not be null Local variable stored in JVM register ? Method invoked at FileListProperty.java:[line 111] Known null at FileListProperty.java:[line 111]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.FileProperty.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.FileProperty In method edu.rice.cs.drjava.config.FileProperty.update(PropertyMaps) Local variable stored in JVM register ? Dereferenced at FileProperty.java:[line 96] Known null at FileProperty.java:[line 96]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.FileProperty.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.FileProperty In method edu.rice.cs.drjava.config.FileProperty.update(PropertyMaps) Called method edu.rice.cs.util.StringOps.replaceVariables(String, PropertyMaps, Lambda2) Argument 1 might be null but must not be null Local variable stored in JVM register ? Method invoked at FileProperty.java:[line 103] Known null at FileProperty.java:[line 103]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.PropertyMaps.clone() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.PropertyMaps In method edu.rice.cs.drjava.config.PropertyMaps.clone() Local variable stored in JVM register ? Dereferenced at PropertyMaps.java:[line 211] Known null at PropertyMaps.java:[line 211]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.config.RecursiveFileListProperty.getList(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.config.RecursiveFileListProperty In method edu.rice.cs.drjava.config.RecursiveFileListProperty.getList(PropertyMaps) Called method edu.rice.cs.util.StringOps.replaceVariables(String, PropertyMaps, Lambda2) Argument 1 might be null but must not be null Local variable stored in JVM register ? Method invoked at RecursiveFileListProperty.java:[line 94] Known null at RecursiveFileListProperty.java:[line 94]
|
NP
|
Load of known null value in edu.rice.cs.drjava.config.ResourceBundleConfiguration.getSetting(Option) |
|
Bug type NP_LOAD_OF_KNOWN_NULL_VALUE (click for details)
In class edu.rice.cs.drjava.config.ResourceBundleConfiguration In method edu.rice.cs.drjava.config.ResourceBundleConfiguration.getSetting(Option) At ResourceBundleConfiguration.java:[line 161]
|
NP
|
Load of known null value in edu.rice.cs.drjava.config.ResourceBundleConfiguration.isEditable(Option) |
|
Bug type NP_LOAD_OF_KNOWN_NULL_VALUE (click for details)
In class edu.rice.cs.drjava.config.ResourceBundleConfiguration In method edu.rice.cs.drjava.config.ResourceBundleConfiguration.isEditable(Option) At ResourceBundleConfiguration.java:[line 174]
|
NP
|
Load of known null value in edu.rice.cs.drjava.config.ResourceBundleConfiguration.setSetting(Option, Object) |
|
Bug type NP_LOAD_OF_KNOWN_NULL_VALUE (click for details)
In class edu.rice.cs.drjava.config.ResourceBundleConfiguration In method edu.rice.cs.drjava.config.ResourceBundleConfiguration.setSetting(Option, Object) At ResourceBundleConfiguration.java:[line 148]
|
NP
|
Load of known null value in edu.rice.cs.drjava.config.ResourceBundleConfiguration$1.getOption(OptionParser) |
|
Bug type NP_LOAD_OF_KNOWN_NULL_VALUE (click for details)
In class edu.rice.cs.drjava.config.ResourceBundleConfiguration$1 In method edu.rice.cs.drjava.config.ResourceBundleConfiguration$1.getOption(OptionParser) At ResourceBundleConfiguration.java:[line 70]
|
NP
|
Load of known null value in edu.rice.cs.drjava.config.ResourceBundleConfiguration$1.getString(OptionParser) |
|
Bug type NP_LOAD_OF_KNOWN_NULL_VALUE (click for details)
In class edu.rice.cs.drjava.config.ResourceBundleConfiguration$1 In method edu.rice.cs.drjava.config.ResourceBundleConfiguration$1.getString(OptionParser) At ResourceBundleConfiguration.java:[line 94]
|
NP
|
Load of known null value in edu.rice.cs.drjava.config.ResourceBundleConfiguration$1.removeOption(OptionParser) |
|
Bug type NP_LOAD_OF_KNOWN_NULL_VALUE (click for details)
In class edu.rice.cs.drjava.config.ResourceBundleConfiguration$1 In method edu.rice.cs.drjava.config.ResourceBundleConfiguration$1.removeOption(OptionParser) At ResourceBundleConfiguration.java:[line 118]
|
NP
|
Load of known null value in edu.rice.cs.drjava.config.ResourceBundleConfiguration$1.setOption(Option, Object) |
|
Bug type NP_LOAD_OF_KNOWN_NULL_VALUE (click for details)
In class edu.rice.cs.drjava.config.ResourceBundleConfiguration$1 In method edu.rice.cs.drjava.config.ResourceBundleConfiguration$1.setOption(Option, Object) At ResourceBundleConfiguration.java:[line 82]
|
NP
|
Load of known null value in edu.rice.cs.drjava.config.ResourceBundleConfiguration$1.setString(OptionParser, String) |
|
Bug type NP_LOAD_OF_KNOWN_NULL_VALUE (click for details)
In class edu.rice.cs.drjava.config.ResourceBundleConfiguration$1 In method edu.rice.cs.drjava.config.ResourceBundleConfiguration$1.setString(OptionParser, String) At ResourceBundleConfiguration.java:[line 106]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.AbstractGlobalModel._makeProjectProfile(File, HashMap) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.AbstractGlobalModel In method edu.rice.cs.drjava.model.AbstractGlobalModel._makeProjectProfile(File, HashMap) Called method edu.rice.cs.drjava.project.ProjectProfile.addAuxiliaryFile(DocumentInfoGetter) Argument 1 might be null but must not be null Local variable named g Method invoked at AbstractGlobalModel.java:[line 1670] Known null at AbstractGlobalModel.java:[line 1670]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.AbstractGlobalModel._makeProjectProfile(File, HashMap) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.AbstractGlobalModel In method edu.rice.cs.drjava.model.AbstractGlobalModel._makeProjectProfile(File, HashMap) Called method edu.rice.cs.drjava.project.ProjectProfile.addSourceFile(DocumentInfoGetter) Argument 1 might be null but must not be null Local variable named g Method invoked at AbstractGlobalModel.java:[line 1666] Known null at AbstractGlobalModel.java:[line 1666]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testGetDDocFromCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testGetDDocFromCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 374] Known null at DocumentCacheTest.java:[line 374]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testGetDDocFromCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testGetDDocFromCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 379] Known null at DocumentCacheTest.java:[line 379]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testGetDDocFromCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testGetDDocFromCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 384] Known null at DocumentCacheTest.java:[line 384]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testGetDDocFromCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testGetDDocFromCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 389] Known null at DocumentCacheTest.java:[line 389]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testGetDDocFromCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testGetDDocFromCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 394] Known null at DocumentCacheTest.java:[line 394]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testGetDDocFromCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testGetDDocFromCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 395] Known null at DocumentCacheTest.java:[line 395]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testGetDDocFromCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testGetDDocFromCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 400] Known null at DocumentCacheTest.java:[line 400]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testGetDDocFromCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testGetDDocFromCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 401] Known null at DocumentCacheTest.java:[line 401]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testMemoryLeak() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testMemoryLeak() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 511] Known null at DocumentCacheTest.java:[line 511]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 182] Known null at DocumentCacheTest.java:[line 182]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 183] Known null at DocumentCacheTest.java:[line 183]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 184] Known null at DocumentCacheTest.java:[line 184]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 185] Known null at DocumentCacheTest.java:[line 185]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 186] Known null at DocumentCacheTest.java:[line 186]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 187] Known null at DocumentCacheTest.java:[line 187]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 202] Known null at DocumentCacheTest.java:[line 202]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 203] Known null at DocumentCacheTest.java:[line 203]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 204] Known null at DocumentCacheTest.java:[line 204]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 205] Known null at DocumentCacheTest.java:[line 205]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 206] Known null at DocumentCacheTest.java:[line 206]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNewDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 207] Known null at DocumentCacheTest.java:[line 207]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNoDDocInCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testNoDDocInCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 439] Known null at DocumentCacheTest.java:[line 439]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 259] Known null at DocumentCacheTest.java:[line 259]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 260] Known null at DocumentCacheTest.java:[line 260]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 261] Known null at DocumentCacheTest.java:[line 261]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 262] Known null at DocumentCacheTest.java:[line 262]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 263] Known null at DocumentCacheTest.java:[line 263]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 264] Known null at DocumentCacheTest.java:[line 264]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 276] Known null at DocumentCacheTest.java:[line 276]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 277] Known null at DocumentCacheTest.java:[line 277]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 278] Known null at DocumentCacheTest.java:[line 278]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 279] Known null at DocumentCacheTest.java:[line 279]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 283] Known null at DocumentCacheTest.java:[line 283]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 284] Known null at DocumentCacheTest.java:[line 284]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 288] Known null at DocumentCacheTest.java:[line 288]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 289] Known null at DocumentCacheTest.java:[line 289]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 290] Known null at DocumentCacheTest.java:[line 290]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 291] Known null at DocumentCacheTest.java:[line 291]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 292] Known null at DocumentCacheTest.java:[line 292]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 295] Known null at DocumentCacheTest.java:[line 295]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 297] Known null at DocumentCacheTest.java:[line 297]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 300] Known null at DocumentCacheTest.java:[line 300]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 302] Known null at DocumentCacheTest.java:[line 302]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 305] Known null at DocumentCacheTest.java:[line 305]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 307] Known null at DocumentCacheTest.java:[line 307]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 310] Known null at DocumentCacheTest.java:[line 310]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 312] Known null at DocumentCacheTest.java:[line 312]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 315] Known null at DocumentCacheTest.java:[line 315]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 317] Known null at DocumentCacheTest.java:[line 317]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 320] Known null at DocumentCacheTest.java:[line 320]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 322] Known null at DocumentCacheTest.java:[line 322]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 326] Known null at DocumentCacheTest.java:[line 326]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 329] Known null at DocumentCacheTest.java:[line 329]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 332] Known null at DocumentCacheTest.java:[line 332]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 335] Known null at DocumentCacheTest.java:[line 335]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 338] Known null at DocumentCacheTest.java:[line 338]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 339] Known null at DocumentCacheTest.java:[line 339]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 347] Known null at DocumentCacheTest.java:[line 347]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 348] Known null at DocumentCacheTest.java:[line 348]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 355] Known null at DocumentCacheTest.java:[line 355]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 356] Known null at DocumentCacheTest.java:[line 356]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 357] Known null at DocumentCacheTest.java:[line 357]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 358] Known null at DocumentCacheTest.java:[line 358]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 359] Known null at DocumentCacheTest.java:[line 359]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.cache.DocumentCacheTest In method edu.rice.cs.drjava.model.cache.DocumentCacheTest.testOldDocumentsInAndOutOfTheCache() Local variable stored in JVM register ? Dereferenced at DocumentCacheTest.java:[line 360] Known null at DocumentCacheTest.java:[line 360]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.readLLBlock(File) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper In method edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.readLLBlock(File) Called method String.indexOf(String) Argument 1 might be null but must not be null Local variable named rdLine Method invoked at LanguageLevelStackTraceMapper.java:[line 278] Known null at LanguageLevelStackTraceMapper.java:[line 276]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.readLLBlock(File) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper In method edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.readLLBlock(File) Called method String.startsWith(String) Argument 1 might be null but must not be null Local variable named rdLine Method invoked at LanguageLevelStackTraceMapper.java:[line 267] Known null at LanguageLevelStackTraceMapper.java:[line 265]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.readLLLineBlock(File) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper In method edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.readLLLineBlock(File) Called method String.indexOf(String) Argument 1 might be null but must not be null Local variable named rdLine Method invoked at LanguageLevelStackTraceMapper.java:[line 224] Known null at LanguageLevelStackTraceMapper.java:[line 222]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.readLLLineBlock(File) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper In method edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.readLLLineBlock(File) Called method String.startsWith(String) Argument 1 might be null but must not be null Local variable named rdLine Method invoked at LanguageLevelStackTraceMapper.java:[line 212] Known null at LanguageLevelStackTraceMapper.java:[line 210]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.readNextLLBlockLine(BufferedReader) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper In method edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.readNextLLBlockLine(BufferedReader) Called method String.indexOf(String) Argument 1 might be null but must not be null Local variable named line Method invoked at LanguageLevelStackTraceMapper.java:[line 310] Known null at LanguageLevelStackTraceMapper.java:[line 308]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.replaceStackTraceElement(StackTraceElement, File) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper In method edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.replaceStackTraceElement(StackTraceElement, File) Called method edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.replaceStackTraceElement(StackTraceElement, File, TreeMap) Argument 3 might be null but must not be null Local variable stored in JVM register ? Method invoked at LanguageLevelStackTraceMapper.java:[line 96] Known null at LanguageLevelStackTraceMapper.java:[line 96]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.replaceStackTraceElement(StackTraceElement, File, TreeMap) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper In method edu.rice.cs.drjava.model.compiler.LanguageLevelStackTraceMapper.replaceStackTraceElement(StackTraceElement, File, TreeMap) Local variable stored in JVM register ? Dereferenced at LanguageLevelStackTraceMapper.java:[line 77] Known null at LanguageLevelStackTraceMapper.java:[line 77]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.ConcreteRegionManager.contains(OrderedDocumentRegion) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.ConcreteRegionManager In method edu.rice.cs.drjava.model.ConcreteRegionManager.contains(OrderedDocumentRegion) Local variable stored in JVM register ? Dereferenced at ConcreteRegionManager.java:[line 390] Known null at ConcreteRegionManager.java:[line 390]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.ConcreteRegionManager.getFileRegions() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.ConcreteRegionManager In method edu.rice.cs.drjava.model.ConcreteRegionManager.getFileRegions() Local variable stored in JVM register ? Dereferenced at ConcreteRegionManager.java:[line 382] Known null at ConcreteRegionManager.java:[line 382]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.ConcreteRegionManager.getRegionCount() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.ConcreteRegionManager In method edu.rice.cs.drjava.model.ConcreteRegionManager.getRegionCount() Local variable stored in JVM register ? Dereferenced at ConcreteRegionManager.java:[line 368] Known null at ConcreteRegionManager.java:[line 368]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.ConcreteRegionManager.getRegions() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.ConcreteRegionManager In method edu.rice.cs.drjava.model.ConcreteRegionManager.getRegions() Called method java.util.ArrayList.addAll(Collection) Argument 1 might be null but must not be null Local variable stored in JVM register ? Method invoked at ConcreteRegionManager.java:[line 374] Known null at ConcreteRegionManager.java:[line 374]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.ConcreteRegionManager.removeRegions(OpenDefinitionsDocument) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.ConcreteRegionManager In method edu.rice.cs.drjava.model.ConcreteRegionManager.removeRegions(OpenDefinitionsDocument) Local variable named regions Dereferenced at ConcreteRegionManager.java:[line 354] Known null at ConcreteRegionManager.java:[line 351]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.debug.jpda.JPDADebugger.LLBreakpointLineNum(Breakpoint) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.debug.jpda.JPDADebugger In method edu.rice.cs.drjava.model.debug.jpda.JPDADebugger.LLBreakpointLineNum(Breakpoint) Local variable stored in JVM register ? Dereferenced at JPDADebugger.java:[line 619] Known null at JPDADebugger.java:[line 619]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.model.debug.jpda.PendingRequestManager.LLDDALineNum(DocumentDebugAction) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.model.debug.jpda.PendingRequestManager In method edu.rice.cs.drjava.model.debug.jpda.PendingRequestManager.LLDDALineNum(DocumentDebugAction) Local variable stored in JVM register ? Dereferenced at PendingRequestManager.java:[line 137] Known null at PendingRequestManager.java:[line 137]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.avail.GUIAvailabilityNotifier.availabilityChanged(GUIAvailabilityListener$ComponentType, boolean) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.avail.GUIAvailabilityNotifier In method edu.rice.cs.drjava.ui.avail.GUIAvailabilityNotifier.availabilityChanged(GUIAvailabilityListener$ComponentType, boolean) Local variable stored in JVM register ? Dereferenced at GUIAvailabilityNotifier.java:[line 133] Known null at GUIAvailabilityNotifier.java:[line 133]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.avail.GUIAvailabilityNotifier.getCount(GUIAvailabilityListener$ComponentType) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.avail.GUIAvailabilityNotifier In method edu.rice.cs.drjava.ui.avail.GUIAvailabilityNotifier.getCount(GUIAvailabilityListener$ComponentType) Local variable stored in JVM register ? Dereferenced at GUIAvailabilityNotifier.java:[line 84] Known null at GUIAvailabilityNotifier.java:[line 84]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.avail.GUIAvailabilityNotifier.isAvailable(GUIAvailabilityListener$ComponentType) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.avail.GUIAvailabilityNotifier In method edu.rice.cs.drjava.ui.avail.GUIAvailabilityNotifier.isAvailable(GUIAvailabilityListener$ComponentType) Local variable stored in JVM register ? Dereferenced at GUIAvailabilityNotifier.java:[line 76] Known null at GUIAvailabilityNotifier.java:[line 76]
|
NP
|
Load of known null value in edu.rice.cs.drjava.ui.GenerateCustomDrJavaJarFrame.addDirectory(File, MD5ChecksumProperties, StringBuilder, ZipOutputStream, Predicate) |
|
Bug type NP_LOAD_OF_KNOWN_NULL_VALUE (click for details)
In class edu.rice.cs.drjava.ui.GenerateCustomDrJavaJarFrame In method edu.rice.cs.drjava.ui.GenerateCustomDrJavaJarFrame.addDirectory(File, MD5ChecksumProperties, StringBuilder, ZipOutputStream, Predicate) At GenerateCustomDrJavaJarFrame.java:[line 466]
|
NP
|
Load of known null value in edu.rice.cs.drjava.ui.GenerateCustomDrJavaJarFrame.addZipFile(File, MD5ChecksumProperties, StringBuilder, ZipOutputStream, Predicate) |
|
Bug type NP_LOAD_OF_KNOWN_NULL_VALUE (click for details)
In class edu.rice.cs.drjava.ui.GenerateCustomDrJavaJarFrame In method edu.rice.cs.drjava.ui.GenerateCustomDrJavaJarFrame.addZipFile(File, MD5ChecksumProperties, StringBuilder, ZipOutputStream, Predicate) At GenerateCustomDrJavaJarFrame.java:[line 522]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.KeyBindingManager.removeExistingKeyStroke(KeyStroke) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.KeyBindingManager In method edu.rice.cs.drjava.ui.KeyBindingManager.removeExistingKeyStroke(KeyStroke) Local variable named conflictKSD Dereferenced at KeyBindingManager.java:[line 168] Known null at KeyBindingManager.java:[line 166]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.KeyBindingManager.shouldUpdate(KeyStroke, Action) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.KeyBindingManager In method edu.rice.cs.drjava.ui.KeyBindingManager.shouldUpdate(KeyStroke, Action) Local variable stored in JVM register ? Dereferenced at KeyBindingManager.java:[line 131] Known null at KeyBindingManager.java:[line 131]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.KeyBindingManager.shouldUpdate(KeyStroke, Action) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.KeyBindingManager In method edu.rice.cs.drjava.ui.KeyBindingManager.shouldUpdate(KeyStroke, Action) Local variable named conflictKSD Dereferenced at KeyBindingManager.java:[line 142] Known null at KeyBindingManager.java:[line 142]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.KeyBindingManager.shouldUpdate(KeyStroke, Action) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.KeyBindingManager In method edu.rice.cs.drjava.ui.KeyBindingManager.shouldUpdate(KeyStroke, Action) Local variable named newKSD Dereferenced at KeyBindingManager.java:[line 142] Known null at KeyBindingManager.java:[line 142]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.MainFrame.getDefViewport() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.MainFrame In method edu.rice.cs.drjava.ui.MainFrame.getDefViewport() Local variable named defScroll Dereferenced at MainFrame.java:[line 9797] Known null at MainFrame.java:[line 9796]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.MainFrame$174.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.MainFrame$174 In method edu.rice.cs.drjava.ui.MainFrame$174.update(PropertyMaps) Local variable stored in JVM register ? Dereferenced at MainFrame.java:[line 3977] Known null at MainFrame.java:[line 3977]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.MainFrame$175.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.MainFrame$175 In method edu.rice.cs.drjava.ui.MainFrame$175.update(PropertyMaps) Local variable stored in JVM register ? Dereferenced at MainFrame.java:[line 3996] Known null at MainFrame.java:[line 3996]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.MainFrame$185.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.MainFrame$185 In method edu.rice.cs.drjava.ui.MainFrame$185.update(PropertyMaps) Local variable stored in JVM register ? Dereferenced at MainFrame.java:[line 4087] Known null at MainFrame.java:[line 4087]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.MainFrame$191.update(PropertyMaps) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.MainFrame$191 In method edu.rice.cs.drjava.ui.MainFrame$191.update(PropertyMaps) Called method edu.rice.cs.util.StringOps.replaceVariables(String, PropertyMaps, Lambda2) Argument 1 might be null but must not be null Local variable stored in JVM register ? Method invoked at MainFrame.java:[line 4169] Known null at MainFrame.java:[line 4169]
|
NP
|
Load of known null value in edu.rice.cs.drjava.ui.MainFrame$ModelListener.interactionEnded() |
|
Bug type NP_LOAD_OF_KNOWN_NULL_VALUE (click for details)
In class edu.rice.cs.drjava.ui.MainFrame$ModelListener In method edu.rice.cs.drjava.ui.MainFrame$ModelListener.interactionEnded() At MainFrame.java:[line 9118]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.NewVersionPopup.getBuildTime(URL, Box) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.NewVersionPopup In method edu.rice.cs.drjava.ui.NewVersionPopup.getBuildTime(URL, Box) Called method String.startsWith(String) Argument 1 might be null but must not be null Local variable named line Method invoked at NewVersionPopup.java:[line 630] Known null at NewVersionPopup.java:[line 624]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.NewVersionPopup.getMessage(Box) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.NewVersionPopup In method edu.rice.cs.drjava.ui.NewVersionPopup.getMessage(Box) Local variable stored in JVM register ? Dereferenced at NewVersionPopup.java:[line 530] Known null at NewVersionPopup.java:[line 530]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.NewVersionPopup.getMessage(Box) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.NewVersionPopup In method edu.rice.cs.drjava.ui.NewVersionPopup.getMessage(Box) Local variable stored in JVM register ? Dereferenced at NewVersionPopup.java:[line 531] Known null at NewVersionPopup.java:[line 531]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.ProjectAdvancedPropertiesFrame.<static initializer>() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.ProjectAdvancedPropertiesFrame In method edu.rice.cs.drjava.ui.ProjectAdvancedPropertiesFrame.<static initializer>() Called method new edu.rice.cs.drjava.ui.ProjectAdvancedPropertiesFrame$PreferencesRecord(OptionParser, String, String) Argument 3 might be null but must not be null Local variable named longDesc Method invoked at ProjectAdvancedPropertiesFrame.java:[line 112] Known null at ProjectAdvancedPropertiesFrame.java:[line 112]
|
NP
|
Possible null pointer dereference in edu.rice.cs.drjava.ui.ProjectAdvancedPropertiesFrame.setPreferencesStoredInProject(Map) due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.drjava.ui.ProjectAdvancedPropertiesFrame In method edu.rice.cs.drjava.ui.ProjectAdvancedPropertiesFrame.setPreferencesStoredInProject(Map) Called method new edu.rice.cs.drjava.ui.ProjectAdvancedPropertiesFrame$PreferencesRecord(OptionParser, String, String) Argument 3 might be null but must not be null Local variable stored in JVM register ? Method invoked at ProjectAdvancedPropertiesFrame.java:[line 224] Known null at ProjectAdvancedPropertiesFrame.java:[line 224]
|
NP
|
Possible null pointer dereference in edu.rice.cs.util.BalancingStreamTokenizer.getNextToken() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.util.BalancingStreamTokenizer In method edu.rice.cs.util.BalancingStreamTokenizer.getNextToken() Local variable stored in JVM register ? Dereferenced at BalancingStreamTokenizer.java:[line 534] Known null at BalancingStreamTokenizer.java:[line 534]
|
NP
|
Possible null pointer dereference in edu.rice.cs.util.LogTest.testConcurrentWrites() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.util.LogTest In method edu.rice.cs.util.LogTest.testConcurrentWrites() Called method edu.rice.cs.util.Log.parse(String) Argument 1 might be null but must not be null Local variable named s0 Method invoked at LogTest.java:[line 240] Known null at LogTest.java:[line 240]
|
NP
|
Possible null pointer dereference in edu.rice.cs.util.LogTest.testConcurrentWrites() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.util.LogTest In method edu.rice.cs.util.LogTest.testConcurrentWrites() Called method edu.rice.cs.util.Log.parse(String) Argument 1 might be null but must not be null Local variable named s1 Method invoked at LogTest.java:[line 251] Known null at LogTest.java:[line 251]
|
NP
|
Possible null pointer dereference in edu.rice.cs.util.LogTest.testExceptionPrinting() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.util.LogTest In method edu.rice.cs.util.LogTest.testExceptionPrinting() Called method edu.rice.cs.util.Log.parse(String) Argument 1 might be null but must not be null Local variable named s0 Method invoked at LogTest.java:[line 180] Known null at LogTest.java:[line 180]
|
NP
|
Possible null pointer dereference in edu.rice.cs.util.LogTest.testExceptionPrinting() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.util.LogTest In method edu.rice.cs.util.LogTest.testExceptionPrinting() Called method edu.rice.cs.util.Log.parse(String) Argument 1 might be null but must not be null Local variable named s1 Method invoked at LogTest.java:[line 187] Known null at LogTest.java:[line 187]
|
NP
|
Possible null pointer dereference in edu.rice.cs.util.LogTest.testExceptionPrinting() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.util.LogTest In method edu.rice.cs.util.LogTest.testExceptionPrinting() Called method edu.rice.cs.util.Log.parse(String) Argument 1 might be null but must not be null Local variable named s2 Method invoked at LogTest.java:[line 197] Known null at LogTest.java:[line 197]
|
NP
|
Possible null pointer dereference in edu.rice.cs.util.LogTest.testLog() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.util.LogTest In method edu.rice.cs.util.LogTest.testLog() Called method edu.rice.cs.util.Log.parse(String) Argument 1 might be null but must not be null Local variable named s0 Method invoked at LogTest.java:[line 116] Known null at LogTest.java:[line 116]
|
NP
|
Possible null pointer dereference in edu.rice.cs.util.LogTest.testLog() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.util.LogTest In method edu.rice.cs.util.LogTest.testLog() Called method edu.rice.cs.util.Log.parse(String) Argument 1 might be null but must not be null Local variable named s1 Method invoked at LogTest.java:[line 123] Known null at LogTest.java:[line 123]
|
NP
|
Possible null pointer dereference in edu.rice.cs.util.LogTest.testLog() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.util.LogTest In method edu.rice.cs.util.LogTest.testLog() Called method edu.rice.cs.util.Log.parse(String) Argument 1 might be null but must not be null Local variable named s2 Method invoked at LogTest.java:[line 129] Known null at LogTest.java:[line 129]
|
NP
|
Possible null pointer dereference in edu.rice.cs.util.LogTest.testLog() due to return value of called method |
|
Bug type NP_NULL_ON_SOME_PATH_FROM_RETURN_VALUE (click for details)
In class edu.rice.cs.util.LogTest In method edu.rice.cs.util.LogTest.testLog() Called method edu.rice.cs.util.Log.parse(String) Argument 1 might be null but must not be null Local variable named s3 Method invoked at LogTest.java:[line 135] Known null at LogTest.java:[line 135]
|
NS
|
Potentially dangerous use of non-short-circuit logic in new edu.rice.cs.drjava.ui.avail.AndGUIAvailabilityListener(GUIAvailabilityNotifier, GUIAvailabilityListener$ComponentType[]) |
|
Bug type NS_DANGEROUS_NON_SHORT_CIRCUIT (click for details)
In class edu.rice.cs.drjava.ui.avail.AndGUIAvailabilityListener In method new edu.rice.cs.drjava.ui.avail.AndGUIAvailabilityListener(GUIAvailabilityNotifier, GUIAvailabilityListener$ComponentType[]) At AndGUIAvailabilityListener.java:[line 58]
|
RCN
|
Redundant nullcheck of tempJUnit which is known to be null in new edu.rice.cs.drjava.model.compiler.Javac160FilteringCompiler(JavaVersion$FullVersion, String, List) |
|
Bug type RCN_REDUNDANT_NULLCHECK_OF_NULL_VALUE (click for details)
In class edu.rice.cs.drjava.model.compiler.Javac160FilteringCompiler In method new edu.rice.cs.drjava.model.compiler.Javac160FilteringCompiler(JavaVersion$FullVersion, String, List) Local variable named tempJUnit Redundant null check at Javac160FilteringCompiler.java:[line 89]
|
SF
|
Switch statement found in edu.rice.cs.drjava.config.ConfigOptionListeners.sanitizeMasterJVMArgs(JFrame, String, OptionListener) where one case falls through to the next case |
|
Bug type SF_SWITCH_FALLTHROUGH (click for details)
In class edu.rice.cs.drjava.config.ConfigOptionListeners In method edu.rice.cs.drjava.config.ConfigOptionListeners.sanitizeMasterJVMArgs(JFrame, String, OptionListener) At ConfigOptionListeners.java:[lines 300-301] At ConfigOptionListeners.java:[lines 301-303]
|
SF
|
Switch statement found in edu.rice.cs.drjava.config.ConfigOptionListeners.sanitizeSlaveJVMArgs(JFrame, String, OptionListener) where one case falls through to the next case |
|
Bug type SF_SWITCH_FALLTHROUGH (click for details)
In class edu.rice.cs.drjava.config.ConfigOptionListeners In method edu.rice.cs.drjava.config.ConfigOptionListeners.sanitizeSlaveJVMArgs(JFrame, String, OptionListener) At ConfigOptionListeners.java:[lines 99-102] At ConfigOptionListeners.java:[lines 102-105]
|
SF
|
Switch statement found in edu.rice.cs.drjava.ui.NewVersionPopup.getMessage(Box) where one case falls through to the next case |
|
Bug type SF_SWITCH_FALLTHROUGH (click for details)
In class edu.rice.cs.drjava.ui.NewVersionPopup In method edu.rice.cs.drjava.ui.NewVersionPopup.getMessage(Box) At NewVersionPopup.java:[lines 512-515] At NewVersionPopup.java:[lines 515-517] At NewVersionPopup.java:[lines 517-519]
|
ST
|
Write to static field edu.rice.cs.util.swing.Utilities.TEST_MODE from instance method edu.rice.cs.drjava.DrJavaTestCase.setUp() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.DrJavaTestCase In method edu.rice.cs.drjava.DrJavaTestCase.setUp() Field edu.rice.cs.util.swing.Utilities.TEST_MODE At DrJavaTestCase.java:[line 69]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.COMMENTED_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter In method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.COMMENTED_COLOR At ColoringGlyphPainter.java:[line 383]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.DEBUGGER_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter In method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.DEBUGGER_COLOR At ColoringGlyphPainter.java:[line 395]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.DOUBLE_QUOTED_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter In method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.DOUBLE_QUOTED_COLOR At ColoringGlyphPainter.java:[line 384]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.ERROR_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter In method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.ERROR_COLOR At ColoringGlyphPainter.java:[line 394]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.INTERACTIONS_SYSTEM_ERR_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter In method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.INTERACTIONS_SYSTEM_ERR_COLOR At ColoringGlyphPainter.java:[line 391]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.INTERACTIONS_SYSTEM_IN_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter In method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.INTERACTIONS_SYSTEM_IN_COLOR At ColoringGlyphPainter.java:[line 392]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.INTERACTIONS_SYSTEM_OUT_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter In method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.INTERACTIONS_SYSTEM_OUT_COLOR At ColoringGlyphPainter.java:[line 393]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.KEYWORD_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter In method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.KEYWORD_COLOR At ColoringGlyphPainter.java:[line 387]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.NORMAL_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter In method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.NORMAL_COLOR At ColoringGlyphPainter.java:[line 386]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.NUMBER_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter In method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.NUMBER_COLOR At ColoringGlyphPainter.java:[line 388]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.SINGLE_QUOTED_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter In method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.SINGLE_QUOTED_COLOR At ColoringGlyphPainter.java:[line 385]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.TYPE_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter In method edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringGlyphPainter.TYPE_COLOR At ColoringGlyphPainter.java:[line 389]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringView.COMMENTED_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView In method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringView.COMMENTED_COLOR At ColoringView.java:[line 249]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringView.DEBUGGER_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView In method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringView.DEBUGGER_COLOR At ColoringView.java:[line 261]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringView.DOUBLE_QUOTED_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView In method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringView.DOUBLE_QUOTED_COLOR At ColoringView.java:[line 250]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringView.ERROR_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView In method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringView.ERROR_COLOR At ColoringView.java:[line 260]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringView.INTERACTIONS_SYSTEM_ERR_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView In method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringView.INTERACTIONS_SYSTEM_ERR_COLOR At ColoringView.java:[line 257]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringView.INTERACTIONS_SYSTEM_IN_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView In method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringView.INTERACTIONS_SYSTEM_IN_COLOR At ColoringView.java:[line 258]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringView.INTERACTIONS_SYSTEM_OUT_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView In method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringView.INTERACTIONS_SYSTEM_OUT_COLOR At ColoringView.java:[line 259]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringView.KEYWORD_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView In method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringView.KEYWORD_COLOR At ColoringView.java:[line 253]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringView.NORMAL_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView In method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringView.NORMAL_COLOR At ColoringView.java:[line 252]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringView.NUMBER_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView In method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringView.NUMBER_COLOR At ColoringView.java:[line 254]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringView.SINGLE_QUOTED_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView In method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringView.SINGLE_QUOTED_COLOR At ColoringView.java:[line 251]
|
ST
|
Write to static field edu.rice.cs.drjava.model.definitions.ColoringView.TYPE_COLOR from instance method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.definitions.ColoringView In method edu.rice.cs.drjava.model.definitions.ColoringView.updateColors() Field edu.rice.cs.drjava.model.definitions.ColoringView.TYPE_COLOR At ColoringView.java:[line 255]
|
ST
|
Write to static field edu.rice.cs.drjava.model.MultiThreadedTestCase._testFailed from instance method edu.rice.cs.drjava.model.MultiThreadedTestCase.setUp() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.model.MultiThreadedTestCase In method edu.rice.cs.drjava.model.MultiThreadedTestCase.setUp() Field edu.rice.cs.drjava.model.MultiThreadedTestCase._testFailed At MultiThreadedTestCase.java:[line 59]
|
ST
|
Write to static field edu.rice.cs.drjava.ui.AboutDialog.LICENSE from instance method edu.rice.cs.drjava.ui.AboutDialog.buildGUI(Container) |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.ui.AboutDialog In method edu.rice.cs.drjava.ui.AboutDialog.buildGUI(Container) Field edu.rice.cs.drjava.ui.AboutDialog.LICENSE At AboutDialog.java:[line 136]
|
ST
|
Write to static field edu.rice.cs.drjava.ui.config.FileOptionComponentTest._option from instance method edu.rice.cs.drjava.ui.config.FileOptionComponentTest.tearDown() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.ui.config.FileOptionComponentTest In method edu.rice.cs.drjava.ui.config.FileOptionComponentTest.tearDown() Field edu.rice.cs.drjava.ui.config.FileOptionComponentTest._option At FileOptionComponentTest.java:[line 119]
|
ST
|
Write to static field edu.rice.cs.drjava.ui.DefinitionsPane.BREAKPOINT_PAINTER from instance method edu.rice.cs.drjava.ui.DefinitionsPane$BreakpointColorOptionListener.optionChanged(OptionEvent) |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.ui.DefinitionsPane$BreakpointColorOptionListener In method edu.rice.cs.drjava.ui.DefinitionsPane$BreakpointColorOptionListener.optionChanged(OptionEvent) Field edu.rice.cs.drjava.ui.DefinitionsPane.BREAKPOINT_PAINTER At DefinitionsPane.java:[line 285]
|
ST
|
Write to static field edu.rice.cs.drjava.ui.DefinitionsPane.DISABLED_BREAKPOINT_PAINTER from instance method edu.rice.cs.drjava.ui.DefinitionsPane$DisabledBreakpointColorOptionListener.optionChanged(OptionEvent) |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.ui.DefinitionsPane$DisabledBreakpointColorOptionListener In method edu.rice.cs.drjava.ui.DefinitionsPane$DisabledBreakpointColorOptionListener.optionChanged(OptionEvent) Field edu.rice.cs.drjava.ui.DefinitionsPane.DISABLED_BREAKPOINT_PAINTER At DefinitionsPane.java:[line 293]
|
ST
|
Write to static field edu.rice.cs.drjava.ui.AbstractDJPane.ERROR_PAINTER from instance method edu.rice.cs.drjava.ui.DefinitionsPane$ErrorColorOptionListener.optionChanged(OptionEvent) |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.ui.DefinitionsPane$ErrorColorOptionListener In method edu.rice.cs.drjava.ui.DefinitionsPane$ErrorColorOptionListener.optionChanged(OptionEvent) Field edu.rice.cs.drjava.ui.AbstractDJPane.ERROR_PAINTER At DefinitionsPane.java:[line 252]
|
ST
|
Write to static field edu.rice.cs.drjava.ui.AbstractDJPane.MATCH_PAINTER from instance method edu.rice.cs.drjava.ui.DefinitionsPane$MatchColorOptionListener.optionChanged(OptionEvent) |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.ui.DefinitionsPane$MatchColorOptionListener In method edu.rice.cs.drjava.ui.DefinitionsPane$MatchColorOptionListener.optionChanged(OptionEvent) Field edu.rice.cs.drjava.ui.AbstractDJPane.MATCH_PAINTER At DefinitionsPane.java:[line 239]
|
ST
|
Write to static field edu.rice.cs.drjava.ui.DefinitionsPane.THREAD_PAINTER from instance method edu.rice.cs.drjava.ui.DefinitionsPane$ThreadColorOptionListener.optionChanged(OptionEvent) |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.ui.DefinitionsPane$ThreadColorOptionListener In method edu.rice.cs.drjava.ui.DefinitionsPane$ThreadColorOptionListener.optionChanged(OptionEvent) Field edu.rice.cs.drjava.ui.DefinitionsPane.THREAD_PAINTER At DefinitionsPane.java:[line 301]
|
ST
|
Write to static field edu.rice.cs.drjava.ui.ErrorPanel._listHighlightPainter from instance method edu.rice.cs.drjava.ui.ErrorPanel$ErrorListPane$CompilerErrorColorOptionListener.optionChanged(OptionEvent) |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.ui.ErrorPanel$ErrorListPane$CompilerErrorColorOptionListener In method edu.rice.cs.drjava.ui.ErrorPanel$ErrorListPane$CompilerErrorColorOptionListener.optionChanged(OptionEvent) Field edu.rice.cs.drjava.ui.ErrorPanel._listHighlightPainter At ErrorPanel.java:[line 862]
|
ST
|
Write to static field edu.rice.cs.drjava.ui.LineEnumRule.SIZE from instance method new edu.rice.cs.drjava.ui.LineEnumRule(DefinitionsPane) |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.ui.LineEnumRule In method new edu.rice.cs.drjava.ui.LineEnumRule(DefinitionsPane) Field edu.rice.cs.drjava.ui.LineEnumRule.SIZE At LineEnumRule.java:[line 84]
|
ST
|
Write to static field edu.rice.cs.drjava.ui.LineEnumRule.SIZE from instance method edu.rice.cs.drjava.ui.LineEnumRule.paintComponent(Graphics) |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.ui.LineEnumRule In method edu.rice.cs.drjava.ui.LineEnumRule.paintComponent(Graphics) Field edu.rice.cs.drjava.ui.LineEnumRule.SIZE At LineEnumRule.java:[line 141]
|
ST
|
Write to static field edu.rice.cs.drjava.ui.LineEnumRule.SIZE from instance method edu.rice.cs.drjava.ui.LineEnumRule.updateFont() |
|
Bug type ST_WRITE_TO_STATIC_FROM_INSTANCE_METHOD (click for details)
In class edu.rice.cs.drjava.ui.LineEnumRule In method edu.rice.cs.drjava.ui.LineEnumRule.updateFont() Field edu.rice.cs.drjava.ui.LineEnumRule.SIZE At LineEnumRule.java:[line 101]
|
This cast is unchecked, and not all instances of the type casted from can be cast to
the type it is being cast to. Ensure that your program logic ensures that this
cast will not fail.
This method might ignore an exception. In general, exceptions
should be handled or reported in some way, or they should be thrown
out of the method.
Code explicitly invokes garbage collection.
Except for specific use in benchmarking, this is very dubious.
In the past, situations where people have explicitly invoked
the garbage collector in routines such as close or finalize methods
has led to huge performance black holes. Garbage collection
can be expensive. Any situation that forces hundreds or thousands
of garbage collections will bring the machine to a crawl.
Invoking System.exit shuts down the entire Java virtual machine. This
should only been done when it is appropriate. Such calls make it
hard or impossible for your code to be invoked by other code.
Consider throwing a RuntimeException instead.
This code constructs a File object using a hard coded to an absolute pathname
(e.g., new File("/home/dannyc/workspace/j2ee/src/share/com/sun/enterprise/deployment");
The code invokes toString on an array, which will generate a fairly useless result
such as [C@16f0472. Consider using Arrays.toString to convert the array into a readable
String that gives the contents of the array. See Programming Puzzlers, chapter 3, puzzle 12.
This code creates a classloader, which requires a security manager.
If this code will be granted security permissions, but might be invoked by code that does not
have security permissions, then the classloader creation needs to occur inside a doPrivileged block.
Returning a reference to a mutable object value stored in one of the object's fields
exposes the internal representation of the object.
If instances
are accessed by untrusted code, and unchecked changes to
the mutable object would compromise security or other
important properties, you will need to do something different.
Returning a new copy of the object is better approach in many situations.
This code stores a reference to an externally mutable object into the
internal representation of the object.
If instances
are accessed by untrusted code, and unchecked changes to
the mutable object would compromise security or other
important properties, you will need to do something different.
Storing a copy of the object is better approach in many situations.
This class extends a class that defines an equals method and adds fields, but doesn't
define an equals method itself. Thus, equality on instances of this class will
ignore the identity of the subclass and the added fields. Be sure this is what is intended,
and that you don't need to override the equals method. Even if you don't need to override
the equals method, consider overriding it anyone to document the fact
that the equals method for the subclass just return the result of
invoking super.equals(o).
This operation compares two floating point values for equality.
Because floating point calculations may involve rounding,
calculated float and double values may not be accurate.
For values that must be precise, such as monetary values,
consider using a fixed-precision type such as BigDecimal.
For values that need not be precise, consider comparing for equality
within some range, for example:
if ( Math.abs(x - y) < .0000001 )
.
See the Java Language Specification, section 4.2.4.
If you don't think instances of this class will ever be inserted into a HashMap/HashTable,
the recommended hashCode
implementation to use is:
A large String constant is duplicated across multiple class files.
This is likely because a final field is initialized to a String constant, and the Java language
mandates that all references to a final field from other classes be inlined into
that classfile. See JDK bug 6447475
for a description of an occurrence of this bug in the JDK and how resolving it reduced
the size of the JDK by 1 megabyte.
Class is a JUnit TestCase and implements the setUp method. The setUp method should call
super.setUp(), but doesn't.
This loop doesn't seem to have a way to terminate (other than by perhaps
throwing an exception).
This class defines a field with the same name as a visible
instance field in a superclass. This is confusing, and
may indicate an error if methods update or access one of
the fields when they wanted the other.
A final static field references an array
and can be accessed by malicious code or
by accident from another package.
This code can freely modify the contents of the array.
A mutable static field could be changed by malicious code or
by accident from another package.
Unfortunately, the way the field is used doesn't allow
any easy fix to this problem.
A mutable static field could be changed by malicious code or
by accident from another package.
The field could be made final to avoid
this vulnerability.
A final static field that is
defined in an interface references a mutable
object such as an array or hashtable.
This mutable object could
be changed by malicious code or
by accident from another package.
To solve this, the field needs to be moved to a class
and made package protected
to avoid
this vulnerability.
A mutable static field could be changed by malicious code or
by accident.
The field could be made package protected to avoid
this vulnerability.
A public static method returns a reference to
an array that is part of the static state of the class.
Any code that calls this method can freely modify
the underlying array.
One fix is to return a copy of the array.
This instanceof test will always return false, since the value being checked is guaranteed to be null.
Although this is safe, make sure it isn't
an indication of some misunderstanding or some other logic error.
The variable referenced at this point is known to be null due to an earlier
check against null. Although this is valid, it might be a mistake (perhaps you
intended to refer to a different variable, or perhaps the earlier check to see if the
variable is null should have been a check to see if it was nonnull.
A reference value dereferenced here might be null at runtime.
This may lead to a NullPointerException
when the code is executed.
A reference value which is null on some exception control path is
dereferenced here. This may lead to a NullPointerException
when the code is executed. The value may be null because it
was return from a method which is known to return possibly-null values.
There is a statement or branch on an exception path
that if executed guarantees that
a value is null at this point, and that
value that is guaranteed to be dereferenced
(except on forward paths involving runtime exceptions).
This code seems to be using non-short-circuit logic (e.g., &
or |)
rather than short-circuit logic (&& or ||). In addition,
it seem possible that, depending on the value of the left hand side, you might not
want to evaluate the right hand side (because it would have side effects, could cause an exception
or could be expensive.
Non-short-circuit logic causes both sides of the expression
to be evaluated even when the result can be inferred from
knowing the left-hand side. This can be less efficient and
can result in errors if the left-hand side guards cases
when evaluating the right-hand side can generate an error.
The method creates an IO stream object, does not assign it to any
fields, pass it to other methods that might close it,
or return it, and does not appear to close
the stream on all paths out of the method. This may result in
a file descriptor leak. It is generally a good
idea to use a finally
block to ensure that streams are
closed.
This method contains a redundant check of a known null value against
the constant null.
This method returns a value that is not checked. The return value should be checked
since it can indication an unusual or unexpected function execution. For
example, the File.delete()
method returns false
if the file could not be successfully deleted (rather than
throwing an Exception).
If you don't check the result, you won't notice if the method invocation
signals unexpected behavior by returning an atypical return value.
The constructor starts a thread. This is likely to be wrong if
the class is ever extended/subclassed, since the thread will be started
before the subclass constructor is started.
This method contains a switch statement where one case branch will fall through to the next case.
Usually you need to end this case with a break or return.
This class is an inner class, but does not use its embedded reference
to the object which created it. This reference makes the instances
of the class larger, and may keep the reference to the creator object
alive longer than necessary. If possible, the class should be
made static.
This instance method writes to a static field. This is tricky to get
correct if multiple instances are being manipulated,
and generally bad practice.
As the JavaDoc states, DateFormats are inherently unsafe for multithreaded use.
The detector has found a call to an instance of DateFormat that has been obtained via a static
field. This looks suspicous.
This method calls Thread.sleep() with a lock held. This may result
in very poor performance and scalability, or a deadlock, since other threads may
be waiting to acquire the lock. It is a much better idea to call
wait() on the lock, which releases the lock and allows other threads
to run.
This class contains similarly-named get and set
methods where the set method is synchronized and the get method is not.
This may result in incorrect behavior at runtime, as callers of the get
method will not necessarily see a consistent state for the object.
The get method should be made synchronized.
This anonymous class defined a method that is not directly invoked and does not override
a method in a superclass. Since methods in other classes cannot directly invoke methods
declared in an anonymous class, it seems that this method is uncallable. The method
might simply be dead code, but it is also possible that the method is intended to
override a method declared in a superclass, and due to an typo or other error the method does not,
in fact, override the method it is intended to.
This constructor reads a field which has not yet been assigned a value.
This is often caused when the programmer mistakenly uses the field instead
of one of the constructor's parameters.
This declares a volatile reference to an array, which might not be what
you want. With a volatile reference to an array, reads and writes of
the reference to the array are treated as volatile, but the array elements
are non-volatile. To get volatile array elements, you will need to use
one of the atomic array classes in java.util.concurrent (provided
in Java 5.0).