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

add way to save build integration test results

Browse Source 
Summary: public
If `INFER_RECORD_INTEGRATION_TESTS` is set to 1 then
`./scripts/build_integration_tests.py` will record the results of the tests
instead of checking them.

This modifies the test outputs as they are generated a bit differently from
before.

Reviewed By: jeremydubreil

Differential Revision: D2603764

fb-gh-sync-id: 506111f
master
Jules Villard 9 years ago committed by facebook-github-bot-7
parent 859b816e95
commit 47cc250bdd
4 changed files with 326 additions and 81 deletions
Show Stats Download Patch File Download Diff File

3
examples/android_hello/app/src/main/java/infer/inferandroidexample/MainActivity.java
Unescape View File

@ -71,6 +71,9 @@ public class MainActivity extends ActionBarActivity {
}
private void inferShouldNotReport() {
// Generated.java is supposed to be skipped by infer, thus even though
// Generated.returnsNull() returns null, infer is not supposed to know
// about it hence should not report an NPE here
Object o = Generated.returnsNull();
o.toString();
}

14
examples/android_hello/gradle_report.json
Unescape View File

@ -1,14 +1,14 @@
[
{
"file": "app/src/main/java/infer/inferandroidexample/MainActivity.java",
"line": "29",
"type": "NULL_DEREFERENCE",
"procedure": "void MainActivity.onCreate(Bundle)"
"hash": "978769084",
"procedure": "void MainActivity.onCreate(Bundle)",
"file": "app/src/main/java/infer/inferandroidexample/MainActivity.java"
},
{
"file": "app/src/main/java/infer/inferandroidexample/MainActivity.java",
"line": "46",
"type": "RESOURCE_LEAK",
"procedure": "void MainActivity.writeToFile()"
"hash": "1002287542",
"procedure": "void MainActivity.writeToFile()",
"file": "app/src/main/java/infer/inferandroidexample/MainActivity.java"
}
]
]

199
infer/tests/ant_report.json
Unescape View File

@ -1,621 +1,740 @@
[
{
"line": "23",
"type": "CONTEXT_LEAK",
"procedure": "void ContextLeaks.directLeak()",
"file": "codetoanalyze/java/infer/ContextLeaks.java"
},
{
"line": "42",
"type": "CONTEXT_LEAK",
"procedure": "void ContextLeaks.indirectLeak()",
"file": "codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"procedure": "void ContextLeaks.nonStaticInnerClassLeak()",
"file": "codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"procedure": "void ContextLeaks.leakAfterInstanceFieldWrite()",
"file": "codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"procedure": "ContextLeaks$Singleton ContextLeaks.singletonLeak()",
"file": "codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"procedure": "void ContextLeaks.indirectHandlerLeak()",
"file": "codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "213910369",
"procedure": "void AnalysisStops.fieldReadInCalleeMayCauseFalseNegative()",
"file": "codetoanalyze/java/infer/AnalysisStops.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "670131512",
"procedure": "void AnalysisStops.fieldReadInCalleeWithAngelicObjFieldMayCauseFalseNegative()",
"file": "codetoanalyze/java/infer/AnalysisStops.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "841221724",
"procedure": "void AnalysisStops.skipFunctionInLoopMayCauseFalseNegative()",
"file": "codetoanalyze/java/infer/AnalysisStops.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "477385921",
"procedure": "void AutoGenerated.npe()",
"file": "codetoanalyze/java/infer/AutoGenerated.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "19112013",
"procedure": "void Builtins.doNotBlockError(Object)",
"file": "codetoanalyze/java/infer/Builtins.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "900494019",
"procedure": "void CloseableAsResourceExample.notClosingCloseable()",
"file": "codetoanalyze/java/infer/CloseableAsResourceExample.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "23880861",
"procedure": "void CloseableAsResourceExample.withException()",
"file": "codetoanalyze/java/infer/CloseableAsResourceExample.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "415398310",
"procedure": "void CloseableAsResourceExample.notClosingWrapper()",
"file": "codetoanalyze/java/infer/CloseableAsResourceExample.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "267560927",
"procedure": "void CloseableAsResourceExample.failToCloseWithCloseQuietly()",
"file": "codetoanalyze/java/infer/CloseableAsResourceExample.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "180380524",
"procedure": "T CloseableAsResourceExample.sourceOfNullWithResourceLeak()",
"file": "codetoanalyze/java/infer/CloseableAsResourceExample.java"
},
{
"type": "CONTEXT_LEAK",
"hash": "161244785",
"procedure": "void ContextLeaks.directLeak()",
"file": "codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"hash": "313381190",
"procedure": "void ContextLeaks.indirectLeak()",
"file": "codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"hash": "528373571",
"procedure": "void ContextLeaks.nonStaticInnerClassLeak()",
"file": "codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"hash": "713835839",
"procedure": "void ContextLeaks.leakAfterInstanceFieldWrite()",
"file": "codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"hash": "841937788",
"procedure": "ContextLeaks$Singleton ContextLeaks.singletonLeak()",
"file": "codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"hash": "499953859",
"procedure": "void ContextLeaks.indirectHandlerLeak()",
"file": "codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "940956921",
"procedure": "int CursorLeaks.cursorNotClosed(SQLiteDatabase)",
"file": "codetoanalyze/java/infer/CursorLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "429521850",
"procedure": "int CursorLeaks.getImageCountHelperNotClosed(String)",
"file": "codetoanalyze/java/infer/CursorLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "423498",
"procedure": "int CursorLeaks.getBucketCountNotClosed()",
"file": "codetoanalyze/java/infer/CursorLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "198595945",
"procedure": "void CursorLeaks.queryUVMLegacyDbNotClosed()",
"file": "codetoanalyze/java/infer/CursorLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "629261935",
"procedure": "int CursorLeaks.completeDownloadNotClosed(DownloadManager)",
"file": "codetoanalyze/java/infer/CursorLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "907289764",
"procedure": "void CursorLeaks.loadPrefsFromContentProviderNotClosed()",
"file": "codetoanalyze/java/infer/CursorLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "458715059",
"procedure": "void FilterInputStreamLeaks.bufferedInputStreamNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "520605764",
"procedure": "void FilterInputStreamLeaks.checkedInputStreamNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "66070436",
"procedure": "void FilterInputStreamLeaks.cipherInputStreamNotClosedAfterSkip()",
"file": "codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "426974429",
"procedure": "void FilterInputStreamLeaks.dataInputStreamNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "227342619",
"procedure": "void FilterInputStreamLeaks.deflaterInputStreamNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "779854217",
"procedure": "void FilterInputStreamLeaks.gzipInputStreamNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "870347828",
"procedure": "void FilterInputStreamLeaks.gzipInputStreamNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "201719035",
"procedure": "void FilterInputStreamLeaks.digestInputStreamNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "413865955",
"procedure": "void FilterInputStreamLeaks.inflaterInputStreamNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "945760943",
"procedure": "void FilterInputStreamLeaks.pushbackInputStreamNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "313355242",
"procedure": "void FilterOutputStreamLeaks.filterOutputStreamNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "37837806",
"procedure": "void FilterOutputStreamLeaks.dataOutputStreamNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "996672931",
"procedure": "void FilterOutputStreamLeaks.bufferedOutputStreamNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "527250574",
"procedure": "void FilterOutputStreamLeaks.checkedOutputStreamNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "955622878",
"procedure": "void FilterOutputStreamLeaks.cipherOutputStreamNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "452598580",
"procedure": "void FilterOutputStreamLeaks.deflaterOutputStreamNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "431184702",
"procedure": "void FilterOutputStreamLeaks.digestOutputStreamNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "538415380",
"procedure": "void FilterOutputStreamLeaks.inflaterOutputStreamNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "725003167",
"procedure": "void FilterOutputStreamLeaks.gzipOutputStreamNotClosedAfterFlush()",
"file": "codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "201582227",
"procedure": "void FilterOutputStreamLeaks.gzipOutputStreamNotClosedAfterFlush()",
"file": "codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "1020716910",
"procedure": "void FilterOutputStreamLeaks.printStreamNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "427607414",
"procedure": "int HashMapExample.getOneIntegerWithoutCheck()",
"file": "codetoanalyze/java/infer/HashMapExample.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "54374220",
"procedure": "void HashMapExample.getTwoIntegersWithOneCheck(Integer,Integer)",
"file": "codetoanalyze/java/infer/HashMapExample.java"
},
{
"line": "42",
"type": "NULL_DEREFERENCE",
"hash": "314450895",
"procedure": "int NullPointerExceptions.nullPointerException()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"line": "64",
"type": "NULL_DEREFERENCE",
"hash": "125991044",
"procedure": "int NullPointerExceptions.nullPointerExceptionInterProc()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "516151282",
"procedure": "int NullPointerExceptions.nullPointerExceptionWithExceptionHandling(boolean)",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "679729271",
"procedure": "void NullPointerExceptions.nullPointerExceptionWithNullObjectParameter()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "1046457792",
"procedure": "void NullPointerExceptions.nullPointerExceptionWithNullArrayParameter()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "225703083",
"procedure": "void NullPointerExceptions.nullPointerExceptionFromFaillingResourceConstructor()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "116831934",
"procedure": "void NullPointerExceptions.nullPointerExceptionFromFailingFileOutputStreamConstructor()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "991359726",
"procedure": "void NullPointerExceptions.nullPointerExceptionUnlessFrameFails()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "822301135",
"procedure": "String NullPointerExceptions.hashmapNPE(HashMap,Object)",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "272208052",
"procedure": "int NullPointerExceptions.NPEvalueOfFromHashmapBad(HashMap,int)",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "568590672",
"procedure": "void NullPointerExceptions.nullPointerExceptionInArrayLengthLoop(java.lang.Object[])",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "341029111",
"procedure": "void NullPointerExceptions.cursorFromContentResolverNPE(String)",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "1059317684",
"procedure": "void NullPointerExceptions.nullPointerExceptionCallArrayReadMethod()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "624714723",
"procedure": "void NullPointerExceptions.sinkWithNeverNullSource()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "527166252",
"procedure": "void NullPointerExceptions.otherSinkWithNeverNullSource()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "337689715",
"procedure": "void NullPointerExceptions.nullableFieldNPE()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "40912145",
"procedure": "void NullPointerExceptions.nullableParamNPE(Object)",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "78498803",
"procedure": "void NullPointerExceptions.badCheckShouldCauseNPE()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "170319648",
"procedure": "void NullPointerExceptions.nullPointerExceptionArrayLength()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "473232485",
"procedure": "void NullPointerExceptions$$$Class$Name$With$Dollars.npeWithDollars()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "42975861",
"procedure": "void NullPointerExceptions.someNPEAfterResourceLeak()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "650797477",
"procedure": "void NullPointerExceptions.derefNullableGetter()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "234012498",
"procedure": "String NullPointerExceptions.testSystemGetPropertyArgument()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "814642556",
"procedure": "void NullPointerExceptions.testSystemGetPropertyReturn()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "182592635",
"procedure": "void NullPointerExceptions.derefNull()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "247582533",
"procedure": "void NullPointerExceptions.shouldNotReportNPE()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "138555591",
"procedure": "void ReaderLeaks.readerNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/ReaderLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "440039739",
"procedure": "void ReaderLeaks.bufferedReaderNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/ReaderLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "440837960",
"procedure": "void ReaderLeaks.inputStreamReaderNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/ReaderLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "50579471",
"procedure": "void ReaderLeaks.fileReaderNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/ReaderLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "1017780794",
"procedure": "void ReaderLeaks.pushbackReaderNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/ReaderLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "447232891",
"procedure": "void ReaderLeaks.pipedReaderNotClosedAfterConstructedWithWriter()",
"file": "codetoanalyze/java/infer/ReaderLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "4872936",
"procedure": "void ReaderLeaks.pipedReaderNotClosedAfterConnect(PipedWriter)",
"file": "codetoanalyze/java/infer/ReaderLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "448550060",
"procedure": "void ReaderLeaks.pipedReaderFalsePositive()",
"file": "codetoanalyze/java/infer/ReaderLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "152430333",
"procedure": "void ResourceLeaks.fileOutputStreamNotClosed()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "908212762",
"procedure": "void ResourceLeaks.fileOutputStreamNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "597015618",
"procedure": "int ResourceLeaks.fileOutputStreamTwoLeaks(boolean)",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "597015618",
"procedure": "int ResourceLeaks.fileOutputStreamTwoLeaks(boolean)",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "789617738",
"procedure": "void ResourceLeaks.twoResources()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "955388245",
"procedure": "void ResourceLeaks.twoResourcesServerSocket()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "467444842",
"procedure": "void ResourceLeaks.twoResourcesRandomAccessFile()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "109485235",
"procedure": "void ResourceLeaks.nestedBad1()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "355924265",
"procedure": "void ResourceLeaks.nestedBad2()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "844464661",
"procedure": "void ResourceLeaks.objectInputStreamClosedNestedBad()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "1022308409",
"procedure": "void ResourceLeaks.objectOutputStreamClosedNestedBad()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "434062825",
"procedure": "void ResourceLeaks.zipFileLeakExceptionalBranch()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "1004001932",
"procedure": "boolean ResourceLeaks.jarFileNotClosed()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "858516377",
"procedure": "void ResourceLeaks.fileInputStreamNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "606792348",
"procedure": "void ResourceLeaks.pipedInputStreamNotClosedAfterRead(PipedOutputStream)",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "179184394",
"procedure": "void ResourceLeaks.pipedOutputStreamNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "683248957",
"procedure": "void ResourceLeaks.objectOutputStreamNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "279588670",
"procedure": "void ResourceLeaks.objectOutputStreamNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "864644702",
"procedure": "void ResourceLeaks.objectInputStreamNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "233618147",
"procedure": "void ResourceLeaks.objectInputStreamNotClosedAfterRead()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "305071953",
"procedure": "void ResourceLeaks.jarInputStreamLeak()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "131927425",
"procedure": "void ResourceLeaks.nestedBadJarInputStream(File)",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "640029231",
"procedure": "void ResourceLeaks.jarOutputStreamLeak()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "207233435",
"procedure": "void ResourceLeaks.nestedBadJarOutputStream()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "114782370",
"procedure": "void ResourceLeaks.socketNotClosed()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "95906654",
"procedure": "void ResourceLeaks.serverSocketNotClosed()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "1024290636",
"procedure": "void ResourceLeaks.openHttpURLConnectionNotDisconnected()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "921802964",
"procedure": "void ResourceLeaks.openHttpsURLConnectionNotDisconnected()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "134609865",
"procedure": "void ResourceLeaks.parseFromInputStreamAndLeak(JsonFactory)",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "460302910",
"procedure": "String ResourceLeaks.readInstallationFileBad(File)",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "111270819",
"procedure": "int ResourceLeaks.readConfigNotCloseStream(String)",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "971232538",
"procedure": "void ResourceLeaks.themeObtainTypedArrayAndLeak(Resources$Theme)",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "671578378",
"procedure": "void ResourceLeaks.activityObtainTypedArrayAndLeak(Activity)",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "896960316",
"procedure": "void ResourceLeaks.contextObtainTypedArrayAndLeak(Context)",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "846072839",
"procedure": "void ResourceLeaks.copyFileLeak(File,File)",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "567145125",
"procedure": "void ResourceLeaks.copyFileLeak(File,File)",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "732200861",
"procedure": "void ResourceLeaks.scannerNotClosed()",
"file": "codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "788288186",
"procedure": "void WriterLeaks.writerNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/WriterLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "79490957",
"procedure": "void WriterLeaks.printWriterNotClosedAfterAppend()",
"file": "codetoanalyze/java/infer/WriterLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "100103989",
"procedure": "void WriterLeaks.bufferedWriterNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/WriterLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "54015353",
"procedure": "void WriterLeaks.outputStreamWriterNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/WriterLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "391779643",
"procedure": "void WriterLeaks.fileWriterNotClosedAfterWrite()",
"file": "codetoanalyze/java/infer/WriterLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "163434941",
"procedure": "void WriterLeaks.pipedWriterNotClosedAfterConstructedWithReader()",
"file": "codetoanalyze/java/infer/WriterLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "840543698",
"procedure": "void WriterLeaks.pipedWriterNotClosedAfterConnect(PipedReader)",
"file": "codetoanalyze/java/infer/WriterLeaks.java"
},
{
"type": "NULL_DEREFERENCE",
"procedure": "void NullPointerExceptions.shouldNotReportNPE()",
"file": "codetoanalyze/java/infer/NullPointerExceptions.java"
}
]
]

191
infer/tests/buck_report.json
Unescape View File

@ -1,617 +1,740 @@
[
{
"type": "CONTEXT_LEAK",
"procedure": "void ContextLeaks.directLeak()",
"file": "infer/tests/codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"procedure": "void ContextLeaks.indirectLeak()",
"file": "infer/tests/codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"procedure": "void ContextLeaks.nonStaticInnerClassLeak()",
"file": "infer/tests/codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"procedure": "void ContextLeaks.leakAfterInstanceFieldWrite()",
"file": "infer/tests/codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"procedure": "ContextLeaks$Singleton ContextLeaks.singletonLeak()",
"file": "infer/tests/codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"procedure": "void ContextLeaks.indirectHandlerLeak()",
"file": "infer/tests/codetoanalyze/java/infer/ContextLeaks.java"
"type": "RESOURCE_LEAK",
"hash": "698679879",
"procedure": "boolean DotFilesEqual.matches(Object)",
"file": "infer/tests/utils/matchers/DotFilesEqual.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "33374135",
"procedure": "void AnalysisStops.fieldReadInCalleeMayCauseFalseNegative()",
"file": "infer/tests/codetoanalyze/java/infer/AnalysisStops.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "18942042",
"procedure": "void AnalysisStops.fieldReadInCalleeWithAngelicObjFieldMayCauseFalseNegative()",
"file": "infer/tests/codetoanalyze/java/infer/AnalysisStops.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "137924246",
"procedure": "void AnalysisStops.skipFunctionInLoopMayCauseFalseNegative()",
"file": "infer/tests/codetoanalyze/java/infer/AnalysisStops.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "216076297",
"procedure": "void AutoGenerated.npe()",
"file": "infer/tests/codetoanalyze/java/infer/AutoGenerated.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "110998794",
"procedure": "void Builtins.doNotBlockError(Object)",
"file": "infer/tests/codetoanalyze/java/infer/Builtins.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "205588777",
"procedure": "void CloseableAsResourceExample.notClosingCloseable()",
"file": "infer/tests/codetoanalyze/java/infer/CloseableAsResourceExample.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "1026939289",
"procedure": "void CloseableAsResourceExample.withException()",
"file": "infer/tests/codetoanalyze/java/infer/CloseableAsResourceExample.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "144273364",
"procedure": "void CloseableAsResourceExample.notClosingWrapper()",
"file": "infer/tests/codetoanalyze/java/infer/CloseableAsResourceExample.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "69716602",
"procedure": "void CloseableAsResourceExample.failToCloseWithCloseQuietly()",
"file": "infer/tests/codetoanalyze/java/infer/CloseableAsResourceExample.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "143789396",
"procedure": "T CloseableAsResourceExample.sourceOfNullWithResourceLeak()",
"file": "infer/tests/codetoanalyze/java/infer/CloseableAsResourceExample.java"
},
{
"type": "CONTEXT_LEAK",
"hash": "211913249",
"procedure": "void ContextLeaks.directLeak()",
"file": "infer/tests/codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"hash": "641970464",
"procedure": "void ContextLeaks.indirectLeak()",
"file": "infer/tests/codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"hash": "155490925",
"procedure": "void ContextLeaks.nonStaticInnerClassLeak()",
"file": "infer/tests/codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"hash": "673170720",
"procedure": "void ContextLeaks.leakAfterInstanceFieldWrite()",
"file": "infer/tests/codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"hash": "736566049",
"procedure": "ContextLeaks$Singleton ContextLeaks.singletonLeak()",
"file": "infer/tests/codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "CONTEXT_LEAK",
"hash": "19571116",
"procedure": "void ContextLeaks.indirectHandlerLeak()",
"file": "infer/tests/codetoanalyze/java/infer/ContextLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "383664813",
"procedure": "int CursorLeaks.cursorNotClosed(SQLiteDatabase)",
"file": "infer/tests/codetoanalyze/java/infer/CursorLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "965163170",
"procedure": "int CursorLeaks.getImageCountHelperNotClosed(String)",
"file": "infer/tests/codetoanalyze/java/infer/CursorLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "354604096",
"procedure": "int CursorLeaks.getBucketCountNotClosed()",
"file": "infer/tests/codetoanalyze/java/infer/CursorLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "434450053",
"procedure": "void CursorLeaks.queryUVMLegacyDbNotClosed()",
"file": "infer/tests/codetoanalyze/java/infer/CursorLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "795075433",
"procedure": "int CursorLeaks.completeDownloadNotClosed(DownloadManager)",
"file": "infer/tests/codetoanalyze/java/infer/CursorLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "617364563",
"procedure": "void CursorLeaks.loadPrefsFromContentProviderNotClosed()",
"file": "infer/tests/codetoanalyze/java/infer/CursorLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "188881016",
"procedure": "void FilterInputStreamLeaks.bufferedInputStreamNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "104280836",
"procedure": "void FilterInputStreamLeaks.checkedInputStreamNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "314431662",
"procedure": "void FilterInputStreamLeaks.cipherInputStreamNotClosedAfterSkip()",
"file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "726058306",
"procedure": "void FilterInputStreamLeaks.dataInputStreamNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "79975237",
"procedure": "void FilterInputStreamLeaks.deflaterInputStreamNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "495570074",
"procedure": "void FilterInputStreamLeaks.gzipInputStreamNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "829003753",
"procedure": "void FilterInputStreamLeaks.gzipInputStreamNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "433313193",
"procedure": "void FilterInputStreamLeaks.digestInputStreamNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "1024013741",
"procedure": "void FilterInputStreamLeaks.inflaterInputStreamNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "373685619",
"procedure": "void FilterInputStreamLeaks.pushbackInputStreamNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/FilterInputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "189122375",
"procedure": "void FilterOutputStreamLeaks.filterOutputStreamNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "509110925",
"procedure": "void FilterOutputStreamLeaks.dataOutputStreamNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "525003576",
"procedure": "void FilterOutputStreamLeaks.bufferedOutputStreamNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "938285855",
"procedure": "void FilterOutputStreamLeaks.checkedOutputStreamNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "46863059",
"procedure": "void FilterOutputStreamLeaks.cipherOutputStreamNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "457322040",
"procedure": "void FilterOutputStreamLeaks.deflaterOutputStreamNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "47214975",
"procedure": "void FilterOutputStreamLeaks.digestOutputStreamNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "416928908",
"procedure": "void FilterOutputStreamLeaks.inflaterOutputStreamNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "512650687",
"procedure": "void FilterOutputStreamLeaks.gzipOutputStreamNotClosedAfterFlush()",
"file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "575084116",
"procedure": "void FilterOutputStreamLeaks.gzipOutputStreamNotClosedAfterFlush()",
"file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "839417556",
"procedure": "void FilterOutputStreamLeaks.printStreamNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/FilterOutputStreamLeaks.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "452407791",
"procedure": "int HashMapExample.getOneIntegerWithoutCheck()",
"file": "infer/tests/codetoanalyze/java/infer/HashMapExample.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "511388358",
"procedure": "void HashMapExample.getTwoIntegersWithOneCheck(Integer,Integer)",
"file": "infer/tests/codetoanalyze/java/infer/HashMapExample.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "556809389",
"procedure": "int NullPointerExceptions.nullPointerException()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "299404153",
"procedure": "int NullPointerExceptions.nullPointerExceptionInterProc()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "462604837",
"procedure": "int NullPointerExceptions.nullPointerExceptionWithExceptionHandling(boolean)",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "243034678",
"procedure": "void NullPointerExceptions.nullPointerExceptionWithNullObjectParameter()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "1063638067",
"procedure": "void NullPointerExceptions.nullPointerExceptionWithNullArrayParameter()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "679927181",
"procedure": "void NullPointerExceptions.nullPointerExceptionFromFaillingResourceConstructor()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "156257756",
"procedure": "void NullPointerExceptions.nullPointerExceptionFromFailingFileOutputStreamConstructor()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "653106023",
"procedure": "void NullPointerExceptions.nullPointerExceptionUnlessFrameFails()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "491635988",
"procedure": "String NullPointerExceptions.hashmapNPE(HashMap,Object)",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "47294678",
"procedure": "int NullPointerExceptions.NPEvalueOfFromHashmapBad(HashMap,int)",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "178053092",
"procedure": "void NullPointerExceptions.nullPointerExceptionInArrayLengthLoop(java.lang.Object[])",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "1007545163",
"procedure": "void NullPointerExceptions.cursorFromContentResolverNPE(String)",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "355990298",
"procedure": "void NullPointerExceptions.nullPointerExceptionCallArrayReadMethod()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "749288749",
"procedure": "void NullPointerExceptions.sinkWithNeverNullSource()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "215797471",
"procedure": "void NullPointerExceptions.otherSinkWithNeverNullSource()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "661539064",
"procedure": "void NullPointerExceptions.nullableFieldNPE()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "505514026",
"procedure": "void NullPointerExceptions.nullableParamNPE(Object)",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "1020406035",
"procedure": "void NullPointerExceptions.badCheckShouldCauseNPE()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "432363144",
"procedure": "void NullPointerExceptions.nullPointerExceptionArrayLength()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "1041867732",
"procedure": "void NullPointerExceptions$$$Class$Name$With$Dollars.npeWithDollars()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "714696710",
"procedure": "void NullPointerExceptions.someNPEAfterResourceLeak()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "365073755",
"procedure": "void NullPointerExceptions.derefNullableGetter()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "848820325",
"procedure": "String NullPointerExceptions.testSystemGetPropertyArgument()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "798047685",
"procedure": "void NullPointerExceptions.testSystemGetPropertyReturn()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "NULL_DEREFERENCE",
"hash": "354472033",
"procedure": "void NullPointerExceptions.derefNull()",
"file": "infer/tests/codetoanalyze/java/infer/NullPointerExceptions.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "1067078411",
"procedure": "void ReaderLeaks.readerNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/ReaderLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "859646850",
"procedure": "void ReaderLeaks.bufferedReaderNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/ReaderLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "62758908",
"procedure": "void ReaderLeaks.inputStreamReaderNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/ReaderLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "122658166",
"procedure": "void ReaderLeaks.fileReaderNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/ReaderLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "889493623",
"procedure": "void ReaderLeaks.pushbackReaderNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/ReaderLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "1066148949",
"procedure": "void ReaderLeaks.pipedReaderNotClosedAfterConstructedWithWriter()",
"file": "infer/tests/codetoanalyze/java/infer/ReaderLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "755566711",
"procedure": "void ReaderLeaks.pipedReaderNotClosedAfterConnect(PipedWriter)",
"file": "infer/tests/codetoanalyze/java/infer/ReaderLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "254293339",
"procedure": "void ReaderLeaks.pipedReaderFalsePositive()",
"file": "infer/tests/codetoanalyze/java/infer/ReaderLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "125971568",
"procedure": "void ResourceLeaks.fileOutputStreamNotClosed()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "437872228",
"procedure": "void ResourceLeaks.fileOutputStreamNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "1063113817",
"procedure": "int ResourceLeaks.fileOutputStreamTwoLeaks(boolean)",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "1063113817",
"procedure": "int ResourceLeaks.fileOutputStreamTwoLeaks(boolean)",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "419536262",
"procedure": "void ResourceLeaks.twoResources()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "984035484",
"procedure": "void ResourceLeaks.twoResourcesServerSocket()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "296402523",
"procedure": "void ResourceLeaks.twoResourcesRandomAccessFile()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "372236329",
"procedure": "void ResourceLeaks.nestedBad1()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "100675836",
"procedure": "void ResourceLeaks.nestedBad2()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "73018805",
"procedure": "void ResourceLeaks.objectInputStreamClosedNestedBad()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "504863489",
"procedure": "void ResourceLeaks.objectOutputStreamClosedNestedBad()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "881768214",
"procedure": "void ResourceLeaks.zipFileLeakExceptionalBranch()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "640511841",
"procedure": "boolean ResourceLeaks.jarFileNotClosed()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "302299921",
"procedure": "void ResourceLeaks.fileInputStreamNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "170832437",
"procedure": "void ResourceLeaks.pipedInputStreamNotClosedAfterRead(PipedOutputStream)",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "899310409",
"procedure": "void ResourceLeaks.pipedOutputStreamNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "90023216",
"procedure": "void ResourceLeaks.objectOutputStreamNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "94023519",
"procedure": "void ResourceLeaks.objectOutputStreamNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "232416678",
"procedure": "void ResourceLeaks.objectInputStreamNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "946254216",
"procedure": "void ResourceLeaks.objectInputStreamNotClosedAfterRead()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "554718221",
"procedure": "void ResourceLeaks.jarInputStreamLeak()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "275806450",
"procedure": "void ResourceLeaks.nestedBadJarInputStream(File)",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "739492557",
"procedure": "void ResourceLeaks.jarOutputStreamLeak()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "1043691537",
"procedure": "void ResourceLeaks.nestedBadJarOutputStream()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "228156213",
"procedure": "void ResourceLeaks.socketNotClosed()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "942056085",
"procedure": "void ResourceLeaks.serverSocketNotClosed()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "752525220",
"procedure": "void ResourceLeaks.openHttpURLConnectionNotDisconnected()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "500953908",
"procedure": "void ResourceLeaks.openHttpsURLConnectionNotDisconnected()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "1018163914",
"procedure": "void ResourceLeaks.parseFromInputStreamAndLeak(JsonFactory)",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "696144665",
"procedure": "String ResourceLeaks.readInstallationFileBad(File)",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "422794529",
"procedure": "int ResourceLeaks.readConfigNotCloseStream(String)",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "277653430",
"procedure": "void ResourceLeaks.themeObtainTypedArrayAndLeak(Resources$Theme)",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "762150184",
"procedure": "void ResourceLeaks.activityObtainTypedArrayAndLeak(Activity)",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "647144343",
"procedure": "void ResourceLeaks.contextObtainTypedArrayAndLeak(Context)",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "247083121",
"procedure": "void ResourceLeaks.copyFileLeak(File,File)",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "610246617",
"procedure": "void ResourceLeaks.copyFileLeak(File,File)",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "604954885",
"procedure": "void ResourceLeaks.scannerNotClosed()",
"file": "infer/tests/codetoanalyze/java/infer/ResourceLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "177747517",
"procedure": "void WriterLeaks.writerNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/WriterLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "381976117",
"procedure": "void WriterLeaks.printWriterNotClosedAfterAppend()",
"file": "infer/tests/codetoanalyze/java/infer/WriterLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "486559266",
"procedure": "void WriterLeaks.bufferedWriterNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/WriterLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "463421151",
"procedure": "void WriterLeaks.outputStreamWriterNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/WriterLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "262764428",
"procedure": "void WriterLeaks.fileWriterNotClosedAfterWrite()",
"file": "infer/tests/codetoanalyze/java/infer/WriterLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "516616287",
"procedure": "void WriterLeaks.pipedWriterNotClosedAfterConstructedWithReader()",
"file": "infer/tests/codetoanalyze/java/infer/WriterLeaks.java"
},
{
"type": "RESOURCE_LEAK",
"hash": "784560266",
"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