pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add integration test for Buck

Browse Source 
Reviewed By: @jvillard

Differential Revision: D2519985

fb-gh-sync-id: 3a09668
master
jrm 9 years ago committed by facebook-github-bot-7
parent 289fdaccd4
commit 2d074e82dc
1 changed files with 617 additions and 0 deletions
Show Stats Download Patch File Download Diff File

617
infer/tests/buck_report.json
Unescape View File

@ -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"
}
]
Write Preview
Loading…
Cancel
Save