From 2d074e82dcb2fa46366df73dffd3964cede1abb1 Mon Sep 17 00:00:00 2001 From: jrm Date: Tue, 13 Oct 2015 09:26:29 -0700 Subject: [PATCH] Add integration test for Buck Reviewed By: @jvillard Differential Revision: D2519985 fb-gh-sync-id: 3a09668 --- infer/tests/buck_report.json | 617 +++++++++++++++++++++++++++++++++++ 1 file changed, 617 insertions(+) create mode 100644 infer/tests/buck_report.json diff --git a/infer/tests/buck_report.json b/infer/tests/buck_report.json new file mode 100644 index 000000000..5ebd7c5b6 --- /dev/null +++ b/infer/tests/buck_report.json @@ -0,0 +1,617 @@ +[ + { + "type": "ACTIVITY_LEAK", + "procedure": "void ActivityLeaks.directLeak()", + "file": "infer/tests/codetoanalyze/java/infer/ActivityLeaks.java" + }, + { + "type": "ACTIVITY_LEAK", + "procedure": "void ActivityLeaks.indirectLeak()", + "file": "infer/tests/codetoanalyze/java/infer/ActivityLeaks.java" + }, + { + "type": "ACTIVITY_LEAK", + "procedure": "void ActivityLeaks.nonStaticInnerClassLeak()", + "file": "infer/tests/codetoanalyze/java/infer/ActivityLeaks.java" + }, + { + "type": "ACTIVITY_LEAK", + "procedure": "void ActivityLeaks.leakAfterInstanceFieldWrite()", + "file": "infer/tests/codetoanalyze/java/infer/ActivityLeaks.java" + }, + { + "type": "ACTIVITY_LEAK", + "procedure": "ActivityLeaks$Singleton ActivityLeaks.singletonLeak()", + "file": "infer/tests/codetoanalyze/java/infer/ActivityLeaks.java" + }, + { + "type": "ACTIVITY_LEAK", + "procedure": "void ActivityLeaks.handlerLeak()", + "file": "infer/tests/codetoanalyze/java/infer/ActivityLeaks.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void AnalysisStops.fieldReadInCalleeMayCauseFalseNegative()", + "file": "infer/tests/codetoanalyze/java/infer/AnalysisStops.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void AnalysisStops.fieldReadInCalleeWithAngelicObjFieldMayCauseFalseNegative()", + "file": "infer/tests/codetoanalyze/java/infer/AnalysisStops.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void AnalysisStops.skipFunctionInLoopMayCauseFalseNegative()", + "file": "infer/tests/codetoanalyze/java/infer/AnalysisStops.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void AutoGenerated.npe()", + "file": "infer/tests/codetoanalyze/java/infer/AutoGenerated.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void Builtins.doNotBlockError(Object)", + "file": "infer/tests/codetoanalyze/java/infer/Builtins.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void CloseableAsResourceExample.notClosingCloseable()", + "file": "infer/tests/codetoanalyze/java/infer/CloseableAsResourceExample.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void CloseableAsResourceExample.withException()", + "file": "infer/tests/codetoanalyze/java/infer/CloseableAsResourceExample.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void CloseableAsResourceExample.notClosingWrapper()", + "file": "infer/tests/codetoanalyze/java/infer/CloseableAsResourceExample.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void CloseableAsResourceExample.failToCloseWithCloseQuietly()", + "file": "infer/tests/codetoanalyze/java/infer/CloseableAsResourceExample.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "T CloseableAsResourceExample.sourceOfNullWithResourceLeak()", + "file": "infer/tests/codetoanalyze/java/infer/CloseableAsResourceExample.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "int CursorLeaks.cursorNotClosed(SQLiteDatabase)", + "file": "infer/tests/codetoanalyze/java/infer/CursorLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "int CursorLeaks.getImageCountHelperNotClosed(String)", + "file": "infer/tests/codetoanalyze/java/infer/CursorLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "int CursorLeaks.getBucketCountNotClosed()", + "file": "infer/tests/codetoanalyze/java/infer/CursorLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void CursorLeaks.queryUVMLegacyDbNotClosed()", + "file": "infer/tests/codetoanalyze/java/infer/CursorLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "int CursorLeaks.completeDownloadNotClosed(DownloadManager)", + "file": "infer/tests/codetoanalyze/java/infer/CursorLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void CursorLeaks.loadPrefsFromContentProviderNotClosed()", + "file": "infer/tests/codetoanalyze/java/infer/CursorLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterInputStreamLeaks.bufferedInputStreamNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterInputStreamLeaks.checkedInputStreamNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterInputStreamLeaks.cipherInputStreamNotClosedAfterSkip()", + "file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterInputStreamLeaks.dataInputStreamNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterInputStreamLeaks.deflaterInputStreamNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterInputStreamLeaks.gzipInputStreamNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterInputStreamLeaks.gzipInputStreamNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterInputStreamLeaks.digestInputStreamNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterInputStreamLeaks.inflaterInputStreamNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterInputStreamLeaks.pushbackInputStreamNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterOutputStreamLeaks.filterOutputStreamNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterOutputStreamLeaks.dataOutputStreamNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterOutputStreamLeaks.bufferedOutputStreamNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterOutputStreamLeaks.checkedOutputStreamNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterOutputStreamLeaks.cipherOutputStreamNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterOutputStreamLeaks.deflaterOutputStreamNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterOutputStreamLeaks.digestOutputStreamNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterOutputStreamLeaks.inflaterOutputStreamNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterOutputStreamLeaks.gzipOutputStreamNotClosedAfterFlush()", + "file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterOutputStreamLeaks.gzipOutputStreamNotClosedAfterFlush()", + "file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void FilterOutputStreamLeaks.printStreamNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "int HashMapExample.getOneIntegerWithoutCheck()", + "file": "infer/tests/codetoanalyze/java/infer/HashMapExample.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void HashMapExample.getTwoIntegersWithOneCheck(Integer,Integer)", + "file": "infer/tests/codetoanalyze/java/infer/HashMapExample.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "int NullPointerExceptions.nullPointerException()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "int NullPointerExceptions.nullPointerExceptionInterProc()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "int NullPointerExceptions.nullPointerExceptionWithExceptionHandling(boolean)", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.nullPointerExceptionWithNullObjectParameter()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.nullPointerExceptionWithNullArrayParameter()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.nullPointerExceptionFromFaillingResourceConstructor()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.nullPointerExceptionFromFailingFileOutputStreamConstructor()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.nullPointerExceptionUnlessFrameFails()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "String NullPointerExceptions.hashmapNPE(HashMap,Object)", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "int NullPointerExceptions.NPEvalueOfFromHashmapBad(HashMap,int)", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.nullPointerExceptionInArrayLengthLoop(java.lang.Object[])", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.cursorFromContentResolverNPE(String)", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.nullPointerExceptionCallArrayReadMethod()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.sinkWithNeverNullSource()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.otherSinkWithNeverNullSource()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.nullableFieldNPE()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.nullableParamNPE(Object)", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.badCheckShouldCauseNPE()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.nullPointerExceptionArrayLength()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions$$$Class$Name$With$Dollars.npeWithDollars()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.someNPEAfterResourceLeak()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.derefNullableGetter()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "String NullPointerExceptions.testSystemGetPropertyArgument()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.testSystemGetPropertyReturn()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "NULL_DEREFERENCE", + "procedure": "void NullPointerExceptions.derefNull()", + "file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ReaderLeaks.readerNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/ReaderLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ReaderLeaks.bufferedReaderNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/ReaderLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ReaderLeaks.inputStreamReaderNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/ReaderLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ReaderLeaks.fileReaderNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/ReaderLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ReaderLeaks.pushbackReaderNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/ReaderLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ReaderLeaks.pipedReaderNotClosedAfterConstructedWithWriter()", + "file": "infer/tests/codetoanalyze/java/infer/ReaderLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ReaderLeaks.pipedReaderNotClosedAfterConnect(PipedWriter)", + "file": "infer/tests/codetoanalyze/java/infer/ReaderLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ReaderLeaks.pipedReaderFalsePositive()", + "file": "infer/tests/codetoanalyze/java/infer/ReaderLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.fileOutputStreamNotClosed()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.fileOutputStreamNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "int ResourceLeaks.fileOutputStreamTwoLeaks(boolean)", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "int ResourceLeaks.fileOutputStreamTwoLeaks(boolean)", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.twoResources()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.twoResourcesServerSocket()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.twoResourcesRandomAccessFile()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.nestedBad1()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.nestedBad2()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.objectInputStreamClosedNestedBad()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.objectOutputStreamClosedNestedBad()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.zipFileLeakExceptionalBranch()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "boolean ResourceLeaks.jarFileNotClosed()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.fileInputStreamNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.pipedInputStreamNotClosedAfterRead(PipedOutputStream)", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.pipedOutputStreamNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.objectOutputStreamNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.objectOutputStreamNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.objectInputStreamNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.objectInputStreamNotClosedAfterRead()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.jarInputStreamLeak()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.nestedBadJarInputStream(File)", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.jarOutputStreamLeak()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.nestedBadJarOutputStream()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.socketNotClosed()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.serverSocketNotClosed()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.openHttpURLConnectionNotDisconnected()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.openHttpsURLConnectionNotDisconnected()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.parseFromInputStreamAndLeak(JsonFactory)", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "String ResourceLeaks.readInstallationFileBad(File)", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "int ResourceLeaks.readConfigNotCloseStream(String)", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.themeObtainTypedArrayAndLeak(Resources$Theme)", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.activityObtainTypedArrayAndLeak(Activity)", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.contextObtainTypedArrayAndLeak(Context)", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.copyFileLeak(File,File)", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.copyFileLeak(File,File)", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void ResourceLeaks.scannerNotClosed()", + "file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void WriterLeaks.writerNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/WriterLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void WriterLeaks.printWriterNotClosedAfterAppend()", + "file": "infer/tests/codetoanalyze/java/infer/WriterLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void WriterLeaks.bufferedWriterNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/WriterLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void WriterLeaks.outputStreamWriterNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/WriterLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void WriterLeaks.fileWriterNotClosedAfterWrite()", + "file": "infer/tests/codetoanalyze/java/infer/WriterLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void WriterLeaks.pipedWriterNotClosedAfterConstructedWithReader()", + "file": "infer/tests/codetoanalyze/java/infer/WriterLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "void WriterLeaks.pipedWriterNotClosedAfterConnect(PipedReader)", + "file": "infer/tests/codetoanalyze/java/infer/WriterLeaks.java" + }, + { + "type": "RESOURCE_LEAK", + "procedure": "boolean DotFilesEqual.matches(Object)", + "file": "infer/tests/utils/matchers/DotFilesEqual.java" + } +]