You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
618 lines
23 KiB
618 lines
23 KiB
[
|
|
{
|
|
"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"
|
|
}
|
|
]
|