pghs975uc
/
infer_clone
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
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.
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '15d09ccac8'
${ noResults }
infer_clone/infer/tests/build_systems/ant/issues.exp

205 lines
49 KiB
Raw Normal View History Unescape

[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/AnalysisStops.java, void AnalysisStops.fieldReadInCalleeMayCauseFalseNegative(), 3, NULL_DEREFERENCE, [start of procedure fieldReadInCalleeMayCauseFalseNegative(),Skipping externalFunc2(): method has no implementation,start of procedure derefParam(...),Skipping toString(): unknown method]
codetoanalyze/java/infer/AnalysisStops.java, void AnalysisStops.fieldReadInCalleeWithAngelicObjFieldMayCauseFalseNegative(), 3, NULL_DEREFERENCE, [start of procedure fieldReadInCalleeWithAngelicObjFieldMayCauseFalseNegative(),Skipping externalFunc2(): method has no implementation,start of procedure derefParam(...),Skipping toString(): unknown method]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/AnalysisStops.java, void AnalysisStops.skipFunctionInLoopMayCauseFalseNegative(), 5, NULL_DEREFERENCE, [start of procedure skipFunctionInLoopMayCauseFalseNegative(),Taking true branch,Skipping externalFunc(): method has no implementation,Taking true branch,Skipping externalFunc(): method has no implementation,Taking false branch]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/AutoGenerated.java, void AutoGenerated.npe(), 2, NULL_DEREFERENCE, [start of procedure npe()]
codetoanalyze/java/infer/Builtins.java, void Builtins.doNotBlockError(Object), 3, NULL_DEREFERENCE, [start of procedure doNotBlockError(...),Taking true branch]
codetoanalyze/java/infer/CloseableAsResourceExample.java, T CloseableAsResourceExample.sourceOfNullWithResourceLeak(), 1, RESOURCE_LEAK, [start of procedure sourceOfNullWithResourceLeak(),start of procedure SomeResource(),return from a call to SomeResource.<init>()]
codetoanalyze/java/infer/CloseableAsResourceExample.java, void CloseableAsResourceExample.failToCloseWithCloseQuietly(), 5, RESOURCE_LEAK, [start of procedure failToCloseWithCloseQuietly(),start of procedure SomeResource(),return from a call to SomeResource.<init>(),start of procedure doSomething(),Taking true branch,start of procedure LocalException(),return from a call to LocalException.<init>(),exception codetoanalyze.java.infer.LocalException,return from a call to void SomeResource.doSomething()]
codetoanalyze/java/infer/CloseableAsResourceExample.java, void CloseableAsResourceExample.leakFoundWhenIndirectlyImplementingCloseable(), 1, RESOURCE_LEAK, [start of procedure leakFoundWhenIndirectlyImplementingCloseable(),start of procedure CloseableAsResourceExample$MyResource(...),return from a call to CloseableAsResourceExample$MyResource.<init>(CloseableAsResourceExample)]
[infer][java] transfer the resource ownership to the container when sorting a Closeable into a HashMap Summary: Infer can then detect the resource leak when resources are stored into a container Reviewed By: sblackshear Differential Revision: D5887702 fbshipit-source-id: 6106cfb
7 years ago
codetoanalyze/java/infer/CloseableAsResourceExample.java, void CloseableAsResourceExample.notClearinglocalMapContainingResourcesBad(), 4, RESOURCE_LEAK, [start of procedure notClearinglocalMapContainingResourcesBad(),start of procedure SomeResource(),return from a call to SomeResource.<init>()]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/CloseableAsResourceExample.java, void CloseableAsResourceExample.notClosingCloseable(), 1, RESOURCE_LEAK, [start of procedure notClosingCloseable(),start of procedure SomeResource(),return from a call to SomeResource.<init>()]
codetoanalyze/java/infer/CloseableAsResourceExample.java, void CloseableAsResourceExample.notClosingWrapper(), 2, RESOURCE_LEAK, [start of procedure notClosingWrapper(),start of procedure Resource(),return from a call to Resource.<init>(),start of procedure Sub(...),start of procedure Wrapper(...),return from a call to Wrapper.<init>(Resource),return from a call to Sub.<init>(Resource),start of procedure close(),return from a call to void Resource.close()]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/CloseableAsResourceExample.java, void CloseableAsResourceExample.skippedVritualCallDoesNotCloseResourceOnReceiver(), 2, RESOURCE_LEAK, [start of procedure skippedVritualCallDoesNotCloseResourceOnReceiver(),start of procedure SomeResource(),return from a call to SomeResource.<init>(),Skipping foo(...): method has no implementation]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/CloseableAsResourceExample.java, void CloseableAsResourceExample.withException(), 4, RESOURCE_LEAK, [start of procedure withException(),start of procedure SomeResource(),return from a call to SomeResource.<init>(),start of procedure doSomething(),Taking true branch,start of procedure LocalException(),return from a call to LocalException.<init>(),exception codetoanalyze.java.infer.LocalException,return from a call to void SomeResource.doSomething()]
Use natural order on hpred, optionally ignoring instrumentation Reviewed By: jeremydubreil Differential Revision: D4243981 fbshipit-source-id: 825b910
8 years ago
codetoanalyze/java/infer/ContextLeaks.java, ContextLeaks$Singleton ContextLeaks$Singleton.getInstance(Context), 4, CONTEXT_LEAK, [start of procedure getInstance(...),Taking false branch,return from a call to ContextLeaks$Singleton ContextLeaks$Singleton.getInstance(Context)]
codetoanalyze/java/infer/ContextLeaks.java, ContextLeaks$Singleton ContextLeaks.singletonLeak(), 1, CONTEXT_LEAK, [start of procedure singletonLeak(),start of procedure getInstance(...),Taking false branch,return from a call to ContextLeaks$Singleton ContextLeaks$Singleton.getInstance(Context),return from a call to ContextLeaks$Singleton ContextLeaks.singletonLeak()]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/ContextLeaks.java, void ContextLeaks.directLeak(), 2, CONTEXT_LEAK, [start of procedure directLeak(),return from a call to void ContextLeaks.directLeak()]
codetoanalyze/java/infer/ContextLeaks.java, void ContextLeaks.indirectLeak(), 4, CONTEXT_LEAK, [start of procedure indirectLeak(),start of procedure ContextLeaks$Obj(),return from a call to ContextLeaks$Obj.<init>(),return from a call to void ContextLeaks.indirectLeak()]
codetoanalyze/java/infer/ContextLeaks.java, void ContextLeaks.leakAfterInstanceFieldWrite(), 3, CONTEXT_LEAK, [start of procedure leakAfterInstanceFieldWrite(),return from a call to void ContextLeaks.leakAfterInstanceFieldWrite()]
codetoanalyze/java/infer/ContextLeaks.java, void ContextLeaks.nonStaticInnerClassLeak(), 2, CONTEXT_LEAK, [start of procedure nonStaticInnerClassLeak(),start of procedure ContextLeaks$NonStaticInner(...),return from a call to ContextLeaks$NonStaticInner.<init>(ContextLeaks),return from a call to void ContextLeaks.nonStaticInnerClassLeak()]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/CursorLeaks.java, Object CursorLeaks.cursorClosedCheckNullCheckClosed_FP(SQLiteDatabase), 17, RESOURCE_LEAK, [start of procedure cursorClosedCheckNullCheckClosed_FP(...),Taking false branch,Skipping getString(...): unknown method,Taking true branch,Taking false branch]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/CursorLeaks.java, int CursorLeaks.completeDownloadNotClosed(DownloadManager), 8, RESOURCE_LEAK, [start of procedure completeDownloadNotClosed(...),Taking false branch,Skipping getColumnIndex(...): unknown method]
codetoanalyze/java/infer/CursorLeaks.java, int CursorLeaks.cursorNotClosed(SQLiteDatabase), 4, RESOURCE_LEAK, [start of procedure cursorNotClosed(...),Skipping getCount(): unknown method]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/CursorLeaks.java, int CursorLeaks.getBucketCountNotClosed(), 10, RESOURCE_LEAK, [start of procedure getBucketCountNotClosed(),Taking false branch,Taking false branch]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/CursorLeaks.java, int CursorLeaks.getImageCountHelperNotClosed(String), 13, RESOURCE_LEAK, [start of procedure getImageCountHelperNotClosed(...),Taking true branch,Skipping getInt(...): unknown method]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/CursorLeaks.java, void CursorLeaks.loadPrefsFromContentProviderNotClosed(), 15, RESOURCE_LEAK, [start of procedure loadPrefsFromContentProviderNotClosed(),Taking false branch,Taking true branch,return from a call to void CursorLeaks.loadPrefsFromContentProviderNotClosed()]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/CursorLeaks.java, void CursorLeaks.queryUVMLegacyDbNotClosed(), 4, RESOURCE_LEAK, [start of procedure queryUVMLegacyDbNotClosed(),Skipping setTables(...): unknown method,Taking true branch]
[infer][tests] rescue ghost file for Cursor NPE test Reviewed By: sblackshear Differential Revision: D4489558 fbshipit-source-id: b6c9bba
8 years ago
codetoanalyze/java/infer/CursorNPEs.java, int CursorNPEs.cursorFromDownloadManagerNPE(DownloadManager), 5, NULL_DEREFERENCE, [start of procedure cursorFromDownloadManagerNPE(...)]
codetoanalyze/java/infer/CursorNPEs.java, void CursorNPEs.cursorFromContentResolverNPE(String), 12, NULL_DEREFERENCE, [start of procedure cursorFromContentResolverNPE(...)]
codetoanalyze/java/infer/CursorNPEs.java, void CursorNPEs.cursorFromMediaNPE(), 3, NULL_DEREFERENCE, [start of procedure cursorFromMediaNPE()]
[infer][java] Add an example of dynamic dispatch handling on fields Summary: This case was already working but there was no tests for it Reviewed By: sblackshear Differential Revision: D4529473 fbshipit-source-id: ca3ff02
8 years ago
codetoanalyze/java/infer/DynamicDispatch.java, void DynamicDispatch$WithField.dispatchOnFieldBad(), 3, NULL_DEREFERENCE, [start of procedure dispatchOnFieldBad(),start of procedure DynamicDispatch$Subtype(),start of procedure DynamicDispatch$Supertype(),return from a call to DynamicDispatch$Supertype.<init>(),return from a call to DynamicDispatch$Subtype.<init>(),start of procedure DynamicDispatch$WithField(...),return from a call to DynamicDispatch$WithField.<init>(DynamicDispatch$Subtype),start of procedure foo(),return from a call to Object DynamicDispatch$Subtype.foo()]
[infer][java] Add some more test cases for dynamic dispatch Summary: Just adding some more test cases on how Infer handles dynamic dispatch. Reviewed By: jberdine Differential Revision: D4486529 fbshipit-source-id: d90ef42
8 years ago
codetoanalyze/java/infer/DynamicDispatch.java, void DynamicDispatch.dynamicDispatchCallsWrapperWithSubtypeBad(), 3, NULL_DEREFERENCE, [start of procedure dynamicDispatchCallsWrapperWithSubtypeBad(),start of procedure DynamicDispatch$Subtype(),start of procedure DynamicDispatch$Supertype(),return from a call to DynamicDispatch$Supertype.<init>(),return from a call to DynamicDispatch$Subtype.<init>(),start of procedure dynamicDispatchWrapperFoo(...),start of procedure foo(),return from a call to Object DynamicDispatch$Subtype.foo(),return from a call to Object DynamicDispatch.dynamicDispatchWrapperFoo(DynamicDispatch$Subtype)]
codetoanalyze/java/infer/DynamicDispatch.java, void DynamicDispatch.dynamicDispatchCallsWrapperWithSupertypeBad(), 3, NULL_DEREFERENCE, [start of procedure dynamicDispatchCallsWrapperWithSupertypeBad(),start of procedure DynamicDispatch$Supertype(),return from a call to DynamicDispatch$Supertype.<init>(),start of procedure dynamicDispatchWrapperBar(...),start of procedure bar(),return from a call to Object DynamicDispatch$Supertype.bar(),return from a call to Object DynamicDispatch.dynamicDispatchWrapperBar(DynamicDispatch$Supertype)]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/DynamicDispatch.java, void DynamicDispatch.dynamicDispatchShouldNotCauseFalseNegativeEasy(), 3, NULL_DEREFERENCE, [start of procedure dynamicDispatchShouldNotCauseFalseNegativeEasy(),start of procedure DynamicDispatch$Subtype(),start of procedure DynamicDispatch$Supertype(),return from a call to DynamicDispatch$Supertype.<init>(),return from a call to DynamicDispatch$Subtype.<init>(),start of procedure foo(),return from a call to Object DynamicDispatch$Subtype.foo()]
[infer][java] Add some more test cases for dynamic dispatch Summary: Just adding some more test cases on how Infer handles dynamic dispatch. Reviewed By: jberdine Differential Revision: D4486529 fbshipit-source-id: d90ef42
8 years ago
codetoanalyze/java/infer/DynamicDispatch.java, void DynamicDispatch.dynamicDispatchShouldNotReportWhenCallingSupertype(DynamicDispatch$Subtype), 3, NULL_DEREFERENCE, [start of procedure dynamicDispatchShouldNotReportWhenCallingSupertype(...),start of procedure foo(),return from a call to Object DynamicDispatch$Subtype.foo()]
[infer][biabduction] fix the dynamic resolution of non virtual calls Summary: The resolution was previously only happening for constructors, but calls to private methods or to `super` are also neither static calls nor virtual calls. In this case, the resolution logic should be the same as for constructors. Reviewed By: sblackshear Differential Revision: D5830376 fbshipit-source-id: 9b56f80
7 years ago
codetoanalyze/java/infer/DynamicDispatch.java, void DynamicDispatch.dynamicResolutionWithPrivateMethodBad(), 2, NULL_DEREFERENCE, [start of procedure dynamicResolutionWithPrivateMethodBad(),start of procedure DynamicDispatch$Subtype(),start of procedure DynamicDispatch$Supertype(),return from a call to DynamicDispatch$Supertype.<init>(),return from a call to DynamicDispatch$Subtype.<init>(),start of procedure callFoo(...),start of procedure foo(),return from a call to Object DynamicDispatch$Subtype.foo(),return from a call to Object DynamicDispatch.callFoo(DynamicDispatch$Subtype)]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/DynamicDispatch.java, void DynamicDispatch.interfaceShouldNotCauseFalseNegativeEasy(), 3, NULL_DEREFERENCE, [start of procedure interfaceShouldNotCauseFalseNegativeEasy(),start of procedure DynamicDispatch$Impl(),return from a call to DynamicDispatch$Impl.<init>(),start of procedure foo(),return from a call to Object DynamicDispatch$Impl.foo()]
[infer][java] Use lazy dynamic dispatch by default Summary: Use the lazy dynamic dispatch by default in prod for the Java analysis Reviewed By: sblackshear Differential Revision: D4356872 fbshipit-source-id: 491e92e
8 years ago
codetoanalyze/java/infer/DynamicDispatch.java, void DynamicDispatch.interfaceShouldNotCauseFalseNegativeHard(DynamicDispatch$Impl), 1, NULL_DEREFERENCE, [start of procedure interfaceShouldNotCauseFalseNegativeHard(...),start of procedure foo(),return from a call to Object DynamicDispatch$Impl.foo()]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/FilterInputStreamLeaks.java, void FilterInputStreamLeaks.bufferedInputStreamNotClosedAfterRead(), 7, RESOURCE_LEAK, [start of procedure bufferedInputStreamNotClosedAfterRead(),Skipping BufferedInputStream(...): unknown method,exception java.io.IOException]
codetoanalyze/java/infer/FilterInputStreamLeaks.java, void FilterInputStreamLeaks.checkedInputStreamNotClosedAfterRead(), 7, RESOURCE_LEAK, [start of procedure checkedInputStreamNotClosedAfterRead(),Skipping CheckedInputStream(...): unknown method,exception java.io.IOException]
codetoanalyze/java/infer/FilterInputStreamLeaks.java, void FilterInputStreamLeaks.cipherInputStreamNotClosedAfterSkip(), 7, RESOURCE_LEAK, [start of procedure cipherInputStreamNotClosedAfterSkip(),Skipping CipherInputStream(...): unknown method,exception java.io.IOException]
codetoanalyze/java/infer/FilterInputStreamLeaks.java, void FilterInputStreamLeaks.dataInputStreamNotClosedAfterRead(), 8, RESOURCE_LEAK, [start of procedure dataInputStreamNotClosedAfterRead(),Skipping DataInputStream(...): unknown method,exception java.io.IOException]
codetoanalyze/java/infer/FilterInputStreamLeaks.java, void FilterInputStreamLeaks.deflaterInputStreamNotClosedAfterRead(), 7, RESOURCE_LEAK, [start of procedure deflaterInputStreamNotClosedAfterRead(),Skipping DeflaterInputStream(...): unknown method,exception java.io.IOException]
codetoanalyze/java/infer/FilterInputStreamLeaks.java, void FilterInputStreamLeaks.digestInputStreamNotClosedAfterRead(), 8, RESOURCE_LEAK, [start of procedure digestInputStreamNotClosedAfterRead(),Skipping DigestInputStream(...): unknown method,exception java.io.IOException]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/FilterInputStreamLeaks.java, void FilterInputStreamLeaks.gzipInputStreamNotClosedAfterRead(), 4, RESOURCE_LEAK, [start of procedure gzipInputStreamNotClosedAfterRead()]
codetoanalyze/java/infer/FilterInputStreamLeaks.java, void FilterInputStreamLeaks.gzipInputStreamNotClosedAfterRead(), 7, RESOURCE_LEAK, [start of procedure gzipInputStreamNotClosedAfterRead(),exception java.io.IOException]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/FilterInputStreamLeaks.java, void FilterInputStreamLeaks.inflaterInputStreamNotClosedAfterRead(), 7, RESOURCE_LEAK, [start of procedure inflaterInputStreamNotClosedAfterRead(),Skipping InflaterInputStream(...): unknown method,exception java.io.IOException]
codetoanalyze/java/infer/FilterInputStreamLeaks.java, void FilterInputStreamLeaks.pushbackInputStreamNotClosedAfterRead(), 7, RESOURCE_LEAK, [start of procedure pushbackInputStreamNotClosedAfterRead(),Skipping PushbackInputStream(...): unknown method,exception java.io.IOException]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/FilterOutputStreamLeaks.java, void FilterOutputStreamLeaks.bufferedOutputStreamNotClosedAfterWrite(), 8, RESOURCE_LEAK, [start of procedure bufferedOutputStreamNotClosedAfterWrite(),exception java.io.IOException]
codetoanalyze/java/infer/FilterOutputStreamLeaks.java, void FilterOutputStreamLeaks.checkedOutputStreamNotClosedAfterWrite(), 8, RESOURCE_LEAK, [start of procedure checkedOutputStreamNotClosedAfterWrite(),exception java.io.IOException]
codetoanalyze/java/infer/FilterOutputStreamLeaks.java, void FilterOutputStreamLeaks.cipherOutputStreamNotClosedAfterWrite(), 8, RESOURCE_LEAK, [start of procedure cipherOutputStreamNotClosedAfterWrite(),exception java.io.IOException]
codetoanalyze/java/infer/FilterOutputStreamLeaks.java, void FilterOutputStreamLeaks.dataOutputStreamNotClosedAfterWrite(), 8, RESOURCE_LEAK, [start of procedure dataOutputStreamNotClosedAfterWrite(),exception java.io.IOException]
codetoanalyze/java/infer/FilterOutputStreamLeaks.java, void FilterOutputStreamLeaks.deflaterOutputStreamNotClosedAfterWrite(), 8, RESOURCE_LEAK, [start of procedure deflaterOutputStreamNotClosedAfterWrite(),exception java.io.IOException]
codetoanalyze/java/infer/FilterOutputStreamLeaks.java, void FilterOutputStreamLeaks.digestOutputStreamNotClosedAfterWrite(), 8, RESOURCE_LEAK, [start of procedure digestOutputStreamNotClosedAfterWrite(),exception java.io.IOException]
codetoanalyze/java/infer/FilterOutputStreamLeaks.java, void FilterOutputStreamLeaks.filterOutputStreamNotClosedAfterWrite(), 8, RESOURCE_LEAK, [start of procedure filterOutputStreamNotClosedAfterWrite(),exception java.io.IOException]
codetoanalyze/java/infer/FilterOutputStreamLeaks.java, void FilterOutputStreamLeaks.gzipOutputStreamNotClosedAfterFlush(), 4, RESOURCE_LEAK, [start of procedure gzipOutputStreamNotClosedAfterFlush()]
codetoanalyze/java/infer/FilterOutputStreamLeaks.java, void FilterOutputStreamLeaks.gzipOutputStreamNotClosedAfterFlush(), 7, RESOURCE_LEAK, [start of procedure gzipOutputStreamNotClosedAfterFlush(),exception java.io.IOException]
codetoanalyze/java/infer/FilterOutputStreamLeaks.java, void FilterOutputStreamLeaks.inflaterOutputStreamNotClosedAfterWrite(), 8, RESOURCE_LEAK, [start of procedure inflaterOutputStreamNotClosedAfterWrite(),exception java.io.IOException]
codetoanalyze/java/infer/FilterOutputStreamLeaks.java, void FilterOutputStreamLeaks.printStreamNotClosedAfterWrite(), 6, RESOURCE_LEAK, [start of procedure printStreamNotClosedAfterWrite()]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/GuardedByExample.java, Object GuardedByExample.byRefTrickyBad(), 5, THREAD_SAFETY_VIOLATION, [<Read trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.g`,<Write trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.g`]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/GuardedByExample.java, Object GuardedByExample.byRefTrickyBad(), 5, UNSAFE_GUARDED_BY_ACCESS, [start of procedure byRefTrickyBad()]
codetoanalyze/java/infer/GuardedByExample.java, String GuardedByExample$3.readFromInnerClassBad1(), 2, UNSAFE_GUARDED_BY_ACCESS, [start of procedure readFromInnerClassBad1()]
codetoanalyze/java/infer/GuardedByExample.java, String GuardedByExample$4.readFromInnerClassBad2(), 1, UNSAFE_GUARDED_BY_ACCESS, [start of procedure readFromInnerClassBad2()]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample$Sub.badSub(), 1, THREAD_SAFETY_VIOLATION, [<Write on unknown thread>,access to `&this.codetoanalyze.java.infer.GuardedByExample.xForSub`,<Write on background thread>,access to `&this.codetoanalyze.java.infer.GuardedByExample.xForSub`]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample$Sub.badSub(), 1, UNSAFE_GUARDED_BY_ACCESS, [start of procedure badSub()]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.badGuardedByNormalLock(), 1, THREAD_SAFETY_VIOLATION, [<Write on unknown thread>,access to `&this.codetoanalyze.java.infer.GuardedByExample.guardedbynl`,<Write on background thread>,access to `&this.codetoanalyze.java.infer.GuardedByExample.guardedbynl`]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.badGuardedByNormalLock(), 1, UNSAFE_GUARDED_BY_ACCESS, [start of procedure badGuardedByNormalLock()]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.badGuardedByReentrantLock(), 1, THREAD_SAFETY_VIOLATION, [<Write on unknown thread>,access to `&this.codetoanalyze.java.infer.GuardedByExample.guardedbyrel`,<Write on background thread>,access to `&this.codetoanalyze.java.infer.GuardedByExample.guardedbyrel`]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.badGuardedByReentrantLock(), 1, UNSAFE_GUARDED_BY_ACCESS, [start of procedure badGuardedByReentrantLock()]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.guardedByTypeSyntaxBad(), 1, THREAD_SAFETY_VIOLATION, [<Write on unknown thread>,access to `&this.codetoanalyze.java.infer.GuardedByExample.guardedByLock1`,<Write on background thread>,access to `&this.codetoanalyze.java.infer.GuardedByExample.guardedByLock1`]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.guardedByTypeSyntaxBad(), 1, UNSAFE_GUARDED_BY_ACCESS, [start of procedure guardedByTypeSyntaxBad()]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.guardedByTypeSyntaxBad(), 2, THREAD_SAFETY_VIOLATION, [<Write on unknown thread>,access to `&this.codetoanalyze.java.infer.GuardedByExample.guardedByLock2`,<Write on background thread>,access to `&this.codetoanalyze.java.infer.GuardedByExample.guardedByLock2`]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.guardedByTypeSyntaxBad(), 2, UNSAFE_GUARDED_BY_ACCESS, [start of procedure guardedByTypeSyntaxBad()]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.readFAfterBlockBad(), 3, THREAD_SAFETY_VIOLATION, [<Read trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.f`,<Write trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.f`]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.readFAfterBlockBad(), 3, UNSAFE_GUARDED_BY_ACCESS, [start of procedure readFAfterBlockBad()]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.readFBad(), 1, THREAD_SAFETY_VIOLATION, [<Read trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.f`,<Write trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.f`]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.readFBad(), 1, UNSAFE_GUARDED_BY_ACCESS, [start of procedure readFBad()]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.readFBadWrongAnnotation(), 1, THREAD_SAFETY_VIOLATION, [<Read trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.f`,<Write trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.f`]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.readFBadWrongAnnotation(), 1, UNSAFE_GUARDED_BY_ACCESS, [start of procedure readFBadWrongAnnotation()]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.readFBadWrongLock(), 2, THREAD_SAFETY_VIOLATION, [<Read trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.f`,<Write trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.f`]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.readFBadWrongLock(), 2, UNSAFE_GUARDED_BY_ACCESS, [start of procedure readFBadWrongLock()]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.readFOkMethodAnnotated(), 1, THREAD_SAFETY_VIOLATION, [<Read trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.f`,<Write trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.f`]
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.readFOkSynchronized(), 2, THREAD_SAFETY_VIOLATION, [<Read trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.f`,<Write trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.f`]
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.readGFromCopyOk(), 5, THREAD_SAFETY_VIOLATION, [<Read trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.mCopyOfG`,<Write trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.mCopyOfG`]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.readHBad(), 2, UNSAFE_GUARDED_BY_ACCESS, [start of procedure readHBad()]
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.readHBadSynchronizedMethodShouldntHelp(), 1, UNSAFE_GUARDED_BY_ACCESS, [start of procedure readHBadSynchronizedMethodShouldntHelp()]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.reassignCopyOk(), 4, THREAD_SAFETY_VIOLATION, [access to `&this.codetoanalyze.java.infer.GuardedByExample.mCopyOfG`]
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.synchronizedMethodReadBad(), 1, THREAD_SAFETY_VIOLATION, [<Read trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.f`,<Write trace>,access to `&this.codetoanalyze.java.infer.GuardedByExample.f`]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.synchronizedMethodReadBad(), 1, UNSAFE_GUARDED_BY_ACCESS, [start of procedure synchronizedMethodReadBad()]
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.synchronizedMethodWriteBad(), 1, UNSAFE_GUARDED_BY_ACCESS, [start of procedure synchronizedMethodWriteBad()]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.synchronizedOnThisBad(), 1, THREAD_SAFETY_VIOLATION, [<Read trace>,access to `&#GB<codetoanalyze/java/infer/GuardedByExample.java>$codetoanalyze.java.infer.GuardedByExample.codetoanalyze.java.infer.GuardedByExample.sGuardedByClass`,<Write trace>,access to `&#GB<codetoanalyze/java/infer/GuardedByExample.java>$codetoanalyze.java.infer.GuardedByExample.codetoanalyze.java.infer.GuardedByExample.sGuardedByClass`]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.synchronizedOnThisBad(), 1, UNSAFE_GUARDED_BY_ACCESS, [start of procedure synchronizedOnThisBad()]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.writeFAfterBlockBad(), 3, THREAD_SAFETY_VIOLATION, [access to `&this.codetoanalyze.java.infer.GuardedByExample.f`]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.writeFAfterBlockBad(), 3, UNSAFE_GUARDED_BY_ACCESS, [start of procedure writeFAfterBlockBad()]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.writeFBad(), 1, THREAD_SAFETY_VIOLATION, [<Write on unknown thread>,access to `&this.codetoanalyze.java.infer.GuardedByExample.f`,<Write on background thread>,access to `&this.codetoanalyze.java.infer.GuardedByExample.f`]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.writeFBad(), 1, UNSAFE_GUARDED_BY_ACCESS, [start of procedure writeFBad()]
codetoanalyze/java/infer/GuardedByExample.java, void GuardedByExample.writeFBadWrongLock(), 2, UNSAFE_GUARDED_BY_ACCESS, [start of procedure writeFBadWrongLock()]
codetoanalyze/java/infer/HashMapExample.java, int HashMapExample.getOneIntegerWithoutCheck(), 6, NULL_DEREFERENCE, [start of procedure getOneIntegerWithoutCheck()]
[infer][java] modeling more methods for HashMap Summary: Model the `remove(...)` and the `clear()` method of `HashMap`. Reviewed By: sblackshear Differential Revision: D5887674 fbshipit-source-id: c3f40ee
7 years ago
codetoanalyze/java/infer/HashMapExample.java, void HashMapExample.getAfterClearBad(), 5, NULL_DEREFERENCE, [start of procedure getAfterClearBad()]
codetoanalyze/java/infer/HashMapExample.java, void HashMapExample.getAfterRemovingTheKeyBad(), 5, NULL_DEREFERENCE, [start of procedure getAfterRemovingTheKeyBad()]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/HashMapExample.java, void HashMapExample.getTwoIntegersWithOneCheck(Integer,Integer), 11, NULL_DEREFERENCE, [start of procedure getTwoIntegersWithOneCheck(...),Taking true branch,Taking true branch]
[infer][tests] More complete test cases for the models of the Java Integer class Summary: Originially, there was a missing package declaration meaning that the generated class was ending in a different place. I also added a test for equality of Integer to complement the test of no equality, which could be always true. Reviewed By: sblackshear Differential Revision: D4263676 fbshipit-source-id: 86ab0d3
8 years ago
codetoanalyze/java/infer/IntegerExample.java, void IntegerExample.testIntegerEqualsBad(), 6, NULL_DEREFERENCE, [start of procedure testIntegerEqualsBad(),Taking true branch]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/InvokeDynamic.java, int InvokeDynamic.lambda$npeInLambdaBad$1(String,String), 1, NULL_DEREFERENCE, [start of procedure lambda$npeInLambdaBad$1(...)]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/InvokeDynamic.java, void InvokeDynamic.invokeDynamicThenNpeBad(List), 5, NULL_DEREFERENCE, [start of procedure invokeDynamicThenNpeBad(...),Skipping sort(...): unknown method]
[infer] models for common types of Java Lists Reviewed By: cristianoc Differential Revision: D4325120 fbshipit-source-id: 8af01d3
8 years ago
codetoanalyze/java/infer/Lists.java, void Lists.clearCausesEmptinessNPE(List,int), 5, NULL_DEREFERENCE, [start of procedure clearCausesEmptinessNPE(...),Taking true branch,Taking true branch]
codetoanalyze/java/infer/Lists.java, void Lists.getElementNPE(List), 4, NULL_DEREFERENCE, [start of procedure getElementNPE(...),Taking false branch,start of procedure getElement(...),Taking true branch,return from a call to Object Lists.getElement(List)]
codetoanalyze/java/infer/Lists.java, void Lists.removeInvalidatesNonEmptinessNPE(List,int), 5, NULL_DEREFERENCE, [start of procedure removeInvalidatesNonEmptinessNPE(...),Taking true branch,Taking true branch]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, String NullPointerExceptions.hashmapNPE(HashMap,Object), 1, NULL_DEREFERENCE, [start of procedure hashmapNPE(...)]
codetoanalyze/java/infer/NullPointerExceptions.java, String NullPointerExceptions.nullTryLock(FileChannel), 2, NULL_DEREFERENCE, [start of procedure nullTryLock(...)]
codetoanalyze/java/infer/NullPointerExceptions.java, String NullPointerExceptions.testSystemGetPropertyArgument(), 1, NULL_DEREFERENCE, [start of procedure testSystemGetPropertyArgument()]
codetoanalyze/java/infer/NullPointerExceptions.java, String NullPointerExceptions.tryLockThrows(FileChannel), 6, NULL_DEREFERENCE, [start of procedure tryLockThrows(...),exception java.io.IOException,Switch condition is true. Entering switch case]
codetoanalyze/java/infer/NullPointerExceptions.java, int NullPointerExceptions.NPEvalueOfFromHashmapBad(HashMap,int), 1, NULL_DEREFERENCE, [start of procedure NPEvalueOfFromHashmapBad(...)]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, int NullPointerExceptions.nullListFiles(String), 3, NULL_DEREFERENCE, [start of procedure nullListFiles(...),Skipping File(...): unknown method]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, int NullPointerExceptions.nullPointerException(), 2, NULL_DEREFERENCE, [start of procedure nullPointerException()]
codetoanalyze/java/infer/NullPointerExceptions.java, int NullPointerExceptions.nullPointerExceptionInterProc(), 2, NULL_DEREFERENCE, [start of procedure nullPointerExceptionInterProc(),start of procedure canReturnNullObject(...),start of procedure NullPointerExceptions$A(...),return from a call to NullPointerExceptions$A.<init>(NullPointerExceptions),Taking false branch,return from a call to NullPointerExceptions$A NullPointerExceptions.canReturnNullObject(boolean)]
codetoanalyze/java/infer/NullPointerExceptions.java, int NullPointerExceptions.nullPointerExceptionWithExceptionHandling(boolean), 5, NULL_DEREFERENCE, [start of procedure nullPointerExceptionWithExceptionHandling(...),exception java.lang.Exception,Switch condition is true. Entering switch case]
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions$$$Class$Name$With$Dollars.npeWithDollars(), 2, NULL_DEREFERENCE, [start of procedure npeWithDollars()]
[infer][java] the translation was no adding the fields from the implemented interfaces Summary: The list of fields of a Java object in SIL is the list of fields declared in the class plus all the fields declared in the the super classes. It turns out that we were missing the fields declared in the implemented interfaces. Reviewed By: sblackshear Differential Revision: D5720386 fbshipit-source-id: d65c9de
7 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions$E.dereferenceNullableInterfaceFieldBad(), 1, NULL_DEREFERENCE, [start of procedure dereferenceNullableInterfaceFieldBad()]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.badCheckShouldCauseNPE(), 1, NULL_DEREFERENCE, [start of procedure badCheckShouldCauseNPE(),start of procedure getBool(),Taking true branch,return from a call to Boolean NullPointerExceptions.getBool(),Taking true branch,start of procedure getObj(),Taking false branch,return from a call to Object NullPointerExceptions.getObj()]
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.cursorFromContentResolverNPE(String), 9, NULL_DEREFERENCE, [start of procedure cursorFromContentResolverNPE(...)]
[infer][java] add support for @Nonnull on skipped functions Summary: This diff does two things: # Infer no longer add the contrains that the return value of a skip function is never null. This was leading to false negatives and is not necessary as those return value are treated angelically # Infer now support `Nonnull` on the return value of skip functions. Reviewed By: jberdine, sblackshear Differential Revision: D5840324 fbshipit-source-id: bbd8d82
7 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.deferenceNullableMethodCallingSkippedMethodBad(), 1, NULL_DEREFERENCE, [start of procedure deferenceNullableMethodCallingSkippedMethodBad(),start of procedure wrapUnknownFuncWithNullable(),return from a call to Object NullPointerExceptions.wrapUnknownFuncWithNullable()]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.derefNull(), 2, NULL_DEREFERENCE, [start of procedure derefNull(),start of procedure derefUndefinedCallee(),start of procedure retUndefined(),return from a call to Object NullPointerExceptions.retUndefined(),Skipping toString(): unknown method,return from a call to Object NullPointerExceptions.derefUndefinedCallee()]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.derefNullableGetter(), 2, NULL_DEREFERENCE, [start of procedure derefNullableGetter(),start of procedure nullableGetter(),return from a call to Object NullPointerExceptions.nullableGetter()]
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.derefNullableRet(boolean), 2, NULL_DEREFERENCE, [start of procedure derefNullableRet(...),start of procedure nullableRet(...),Taking true branch,return from a call to Object NullPointerExceptions.nullableRet(boolean)]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.derefUndefNullableRet(), 2, NULL_DEREFERENCE, [start of procedure derefUndefNullableRet(),Skipping undefNullableRet(): method has no implementation]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.derefUndefNullableRetWrapper(), 1, NULL_DEREFERENCE, [start of procedure derefUndefNullableRetWrapper(),start of procedure undefNullableWrapper(),return from a call to Object NullPointerExceptions.undefNullableWrapper()]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.dereferenceAfterUnlock1(Lock), 4, NULL_DEREFERENCE, [start of procedure dereferenceAfterUnlock1(...),Skipping toString(): unknown method]
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.dereferenceAfterUnlock2(Lock), 6, NULL_DEREFERENCE, [start of procedure dereferenceAfterUnlock2(...),Skipping toString(): unknown method]
[infer][java] add support for @Nonnull on skipped functions Summary: This diff does two things: # Infer no longer add the contrains that the return value of a skip function is never null. This was leading to false negatives and is not necessary as those return value are treated angelically # Infer now support `Nonnull` on the return value of skip functions. Reviewed By: jberdine, sblackshear Differential Revision: D5840324 fbshipit-source-id: bbd8d82
7 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.nullDerefernceReturnOfSkippedFunctionBad(), 3, NULL_DEREFERENCE, [start of procedure nullDerefernceReturnOfSkippedFunctionBad(),Skipping unknownFunc(): method has no implementation,Taking true branch]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.nullPointerExceptionArrayLength(), 2, NULL_DEREFERENCE, [start of procedure nullPointerExceptionArrayLength()]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.nullPointerExceptionCallArrayReadMethod(), 2, NULL_DEREFERENCE, [start of procedure nullPointerExceptionCallArrayReadMethod(),start of procedure arrayReadShouldNotCauseSymexMemoryError(...),Skipping toString(): unknown method,return from a call to Object NullPointerExceptions.arrayReadShouldNotCauseSymexMemoryError(int)]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.nullPointerExceptionFromFailingFileOutputStreamConstructor(), 7, NULL_DEREFERENCE, [start of procedure nullPointerExceptionFromFailingFileOutputStreamConstructor(),exception java.io.FileNotFoundException,Switch condition is true. Entering switch case]
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.nullPointerExceptionFromFaillingResourceConstructor(), 6, NULL_DEREFERENCE, [start of procedure nullPointerExceptionFromFaillingResourceConstructor(),exception java.io.FileNotFoundException,Switch condition is true. Entering switch case]
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.nullPointerExceptionInArrayLengthLoop(java.lang.Object[]), 3, NULL_DEREFERENCE, [start of procedure nullPointerExceptionInArrayLengthLoop(...),Taking true branch]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.nullPointerExceptionUnlessFrameFails(), 4, NULL_DEREFERENCE, [start of procedure nullPointerExceptionUnlessFrameFails(),start of procedure NullPointerExceptions$A(...),return from a call to NullPointerExceptions$A.<init>(NullPointerExceptions),start of procedure frame(...),start of procedure id_generics(...),Skipping toString(): unknown method,return from a call to Object NullPointerExceptions.id_generics(NullPointerExceptions$A),return from a call to NullPointerExceptions$A NullPointerExceptions.frame(NullPointerExceptions$A),Taking true branch]
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.nullPointerExceptionWithNullArrayParameter(), 1, NULL_DEREFERENCE, [start of procedure nullPointerExceptionWithNullArrayParameter(),start of procedure expectNotNullArrayParameter(...),Skipping clone(): unknown method]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.nullPointerExceptionWithNullObjectParameter(), 1, NULL_DEREFERENCE, [start of procedure nullPointerExceptionWithNullObjectParameter(),start of procedure expectNotNullObjectParameter(...)]
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.nullableFieldNPE(), 1, NULL_DEREFERENCE, [start of procedure nullableFieldNPE()]
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.nullableParamNPE(Object), 1, NULL_DEREFERENCE, [start of procedure nullableParamNPE(...)]
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.optionalNPE(Optional), 1, NULL_DEREFERENCE, [start of procedure optionalNPE(...)]
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.otherSinkWithNeverNullSource(), 3, NULL_DEREFERENCE, [start of procedure otherSinkWithNeverNullSource(),start of procedure SomeLibrary(),return from a call to SomeLibrary.<init>(),start of procedure get(),Taking true branch,return from a call to T SomeLibrary.get()]
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.sinkWithNeverNullSource(), 3, NULL_DEREFERENCE, [start of procedure sinkWithNeverNullSource(),start of procedure NeverNullSource(),return from a call to NeverNullSource.<init>(),start of procedure get(),Taking true branch,return from a call to T NeverNullSource.get()]
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.someNPEAfterResourceLeak(), 2, NULL_DEREFERENCE, [start of procedure someNPEAfterResourceLeak(),start of procedure sourceOfNullWithResourceLeak(),start of procedure SomeResource(),return from a call to SomeResource.<init>(),return from a call to T CloseableAsResourceExample.sourceOfNullWithResourceLeak()]
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.stringConstantEqualsFalseNotNPE_FP(), 10, NULL_DEREFERENCE, [start of procedure stringConstantEqualsFalseNotNPE_FP(),Taking false branch]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.stringVarEqualsFalseNPE(), 5, NULL_DEREFERENCE, [start of procedure stringVarEqualsFalseNPE(),start of procedure getString2(),return from a call to String NullPointerExceptions.getString2(),Skipping toString(): unknown method,Taking true branch]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/NullPointerExceptions.java, void NullPointerExceptions.testSystemGetPropertyReturn(), 2, NULL_DEREFERENCE, [start of procedure testSystemGetPropertyReturn()]
[infer][models] model java.io.BufferedReader as a wrapper Summary: This fixes a couple of false positives as objects of BufferedReader don't need to be closed if the wrapped reader resource gets closed correctly. Reviewed By: sblackshear Differential Revision: D5106596 fbshipit-source-id: 725fb80
8 years ago
codetoanalyze/java/infer/ReaderLeaks.java, void ReaderLeaks.bufferedReaderNotClosedAfterRead(), 6, RESOURCE_LEAK, [start of procedure bufferedReaderNotClosedAfterRead(),exception java.io.IOException]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/ReaderLeaks.java, void ReaderLeaks.fileReaderNotClosedAfterRead(), 6, RESOURCE_LEAK, [start of procedure fileReaderNotClosedAfterRead(),Skipping FileReader(...): unknown method,exception java.io.IOException]
codetoanalyze/java/infer/ReaderLeaks.java, void ReaderLeaks.inputStreamReaderNotClosedAfterRead(), 6, RESOURCE_LEAK, [start of procedure inputStreamReaderNotClosedAfterRead(),Skipping InputStreamReader(...): unknown method,exception java.io.IOException]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/ReaderLeaks.java, void ReaderLeaks.pipedReaderFalsePositive(), 5, RESOURCE_LEAK, [start of procedure pipedReaderFalsePositive()]
codetoanalyze/java/infer/ReaderLeaks.java, void ReaderLeaks.pipedReaderNotClosedAfterConnect(PipedWriter), 7, RESOURCE_LEAK, [start of procedure pipedReaderNotClosedAfterConnect(...),exception java.io.IOException]
codetoanalyze/java/infer/ReaderLeaks.java, void ReaderLeaks.pipedReaderNotClosedAfterConstructedWithWriter(), 8, RESOURCE_LEAK, [start of procedure pipedReaderNotClosedAfterConstructedWithWriter(),exception java.io.IOException]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/ReaderLeaks.java, void ReaderLeaks.pushbackReaderNotClosedAfterRead(), 6, RESOURCE_LEAK, [start of procedure pushbackReaderNotClosedAfterRead(),Skipping PushbackReader(...): unknown method,exception java.io.IOException]
codetoanalyze/java/infer/ReaderLeaks.java, void ReaderLeaks.readerNotClosedAfterRead(), 6, RESOURCE_LEAK, [start of procedure readerNotClosedAfterRead(),Skipping FileReader(...): unknown method,exception java.io.IOException]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/ResourceLeaks.java, String ResourceLeaks.readInstallationFileBad(File), 6, RESOURCE_LEAK, [start of procedure readInstallationFileBad(...),exception java.io.IOException]
codetoanalyze/java/infer/ResourceLeaks.java, boolean ResourceLeaks.jarFileNotClosed(), 3, RESOURCE_LEAK, [start of procedure jarFileNotClosed()]
codetoanalyze/java/infer/ResourceLeaks.java, int ResourceLeaks.fileOutputStreamTwoLeaks1(boolean), 3, RESOURCE_LEAK, [start of procedure fileOutputStreamTwoLeaks1(...),Taking true branch]
codetoanalyze/java/infer/ResourceLeaks.java, int ResourceLeaks.fileOutputStreamTwoLeaks1(boolean), 6, RESOURCE_LEAK, [start of procedure fileOutputStreamTwoLeaks1(...),Taking false branch]
codetoanalyze/java/infer/ResourceLeaks.java, int ResourceLeaks.readConfigNotCloseStream(String), 5, RESOURCE_LEAK, [start of procedure readConfigNotCloseStream(...)]
[infer][biabduction] fix the dynamic resolution of non virtual calls Summary: The resolution was previously only happening for constructors, but calls to private methods or to `super` are also neither static calls nor virtual calls. In this case, the resolution logic should be the same as for constructors. Reviewed By: sblackshear Differential Revision: D5830376 fbshipit-source-id: 9b56f80
7 years ago
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.activityObtainTypedArrayAndLeak(Activity), 2, RESOURCE_LEAK, [start of procedure activityObtainTypedArrayAndLeak(...),start of procedure ignore(...),return from a call to void ResourceLeaks.ignore(TypedArray)]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.contextObtainTypedArrayAndLeak(Context), 2, RESOURCE_LEAK, [start of procedure contextObtainTypedArrayAndLeak(...),start of procedure ignore(...),return from a call to void ResourceLeaks.ignore(TypedArray)]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.copyFileLeak(File,File), 11, RESOURCE_LEAK, [start of procedure copyFileLeak(...),exception java.io.FileNotFoundException]
[bug hash] Attempt for a better hash Reviewed By: jeremydubreil Differential Revision: D6162361 fbshipit-source-id: 895d7e4
7 years ago
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.copyFileLeak(File,File), 11, RESOURCE_LEAK, [start of procedure copyFileLeak(...),Skipping transferTo(...): unknown method,Taking true branch,exception java.io.IOException]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.deflaterLeak(), 1, RESOURCE_LEAK, [start of procedure deflaterLeak()]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.fileInputStreamNotClosedAfterRead(), 6, RESOURCE_LEAK, [start of procedure fileInputStreamNotClosedAfterRead(),exception java.io.IOException]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.fileOutputStreamNotClosed(), 1, RESOURCE_LEAK, [start of procedure fileOutputStreamNotClosed()]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.fileOutputStreamNotClosedAfterWrite(), 7, RESOURCE_LEAK, [start of procedure fileOutputStreamNotClosedAfterWrite(),exception java.io.IOException]
[checkers] make all models and tests use checkers Summary: In preparation for making `-a checkers` the default (when no analyzer is specified), let's test `-a checkers` by default. Reviewed By: mbouaziz Differential Revision: D6051177 fbshipit-source-id: d8ef611
7 years ago
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.fileOutputStreamOneLeak(), 5, RESOURCE_LEAK, [start of procedure fileOutputStreamOneLeak(),Taking true branch,return from a call to void ResourceLeaks.fileOutputStreamOneLeak()]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.fileOutputStreamTwoLeaks2(), 5, RESOURCE_LEAK, [start of procedure fileOutputStreamTwoLeaks2(),Taking true branch]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.fileOutputStreamTwoLeaks2(), 5, RESOURCE_LEAK, [start of procedure fileOutputStreamTwoLeaks2(),Taking true branch]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.inflaterLeak(), 1, RESOURCE_LEAK, [start of procedure inflaterLeak()]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.jarInputStreamLeak(), 3, RESOURCE_LEAK, [start of procedure jarInputStreamLeak()]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.jarOutputStreamLeak(), 3, RESOURCE_LEAK, [start of procedure jarOutputStreamLeak()]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.nestedBad1(), 1, RESOURCE_LEAK, [start of procedure nestedBad1()]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.nestedBad2(), 1, RESOURCE_LEAK, [start of procedure nestedBad2()]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.nestedBadJarInputStream(File), 1, RESOURCE_LEAK, [start of procedure nestedBadJarInputStream(...)]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.nestedBadJarOutputStream(), 1, RESOURCE_LEAK, [start of procedure nestedBadJarOutputStream()]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.objectInputStreamClosedNestedBad(), 3, RESOURCE_LEAK, [start of procedure objectInputStreamClosedNestedBad()]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.objectInputStreamNotClosedAfterRead(), 3, RESOURCE_LEAK, [start of procedure objectInputStreamNotClosedAfterRead()]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.objectInputStreamNotClosedAfterRead(), 6, RESOURCE_LEAK, [start of procedure objectInputStreamNotClosedAfterRead(),exception java.io.IOException]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.objectOutputStreamClosedNestedBad(), 3, RESOURCE_LEAK, [start of procedure objectOutputStreamClosedNestedBad()]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.objectOutputStreamNotClosedAfterWrite(), 4, RESOURCE_LEAK, [start of procedure objectOutputStreamNotClosedAfterWrite()]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.objectOutputStreamNotClosedAfterWrite(), 7, RESOURCE_LEAK, [start of procedure objectOutputStreamNotClosedAfterWrite(),exception java.io.IOException]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.openHttpURLConnectionNotDisconnected(), 7, RESOURCE_LEAK, [start of procedure openHttpURLConnectionNotDisconnected()]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.openHttpsURLConnectionNotDisconnected(), 3, RESOURCE_LEAK, [start of procedure openHttpsURLConnectionNotDisconnected()]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.parseFromInputStreamAndLeak(JsonFactory), 5, RESOURCE_LEAK, [start of procedure parseFromInputStreamAndLeak(...)]
[java] update android.jar version to 23 Summary: Need to upgrade in order to specify some taint properties on a more recent `WebView` API. Reviewed By: cristianoc Differential Revision: D4382590 fbshipit-source-id: 0925742
8 years ago
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.parseFromStringAndNotClose(JsonFactory), 4, RESOURCE_LEAK, [start of procedure parseFromStringAndNotClose(...)]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.pipedInputStreamNotClosedAfterRead(PipedOutputStream), 6, RESOURCE_LEAK, [start of procedure pipedInputStreamNotClosedAfterRead(...),exception java.io.IOException]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.pipedOutputStreamNotClosedAfterWrite(), 7, RESOURCE_LEAK, [start of procedure pipedOutputStreamNotClosedAfterWrite(),exception java.io.IOException]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.scannerNotClosed(), 1, RESOURCE_LEAK, [start of procedure scannerNotClosed()]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.socketNotClosed(), 1, RESOURCE_LEAK, [start of procedure socketNotClosed()]
[infer][biabduction] fix the dynamic resolution of non virtual calls Summary: The resolution was previously only happening for constructors, but calls to private methods or to `super` are also neither static calls nor virtual calls. In this case, the resolution logic should be the same as for constructors. Reviewed By: sblackshear Differential Revision: D5830376 fbshipit-source-id: 9b56f80
7 years ago
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.themeObtainTypedArrayAndLeak(Resources$Theme), 2, RESOURCE_LEAK, [start of procedure themeObtainTypedArrayAndLeak(...),start of procedure ignore(...),return from a call to void ResourceLeaks.ignore(TypedArray)]
Use natural order on hpred, optionally ignoring instrumentation Reviewed By: jeremydubreil Differential Revision: D4243981 fbshipit-source-id: 825b910
8 years ago
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.twoResources(), 11, RESOURCE_LEAK, [start of procedure twoResources(),Taking true branch,exception java.io.IOException]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.twoResourcesRandomAccessFile(), 10, RESOURCE_LEAK, [start of procedure twoResourcesRandomAccessFile(),Taking true branch,exception java.io.IOException]
codetoanalyze/java/infer/ResourceLeaks.java, void ResourceLeaks.zipFileLeakExceptionalBranch(), 5, RESOURCE_LEAK, [start of procedure zipFileLeakExceptionalBranch(),exception java.io.IOException,Switch condition is true. Entering switch case]
[infer][java] Add @SuppressLint as part of the Infer annotations Summary: This annotation can then be used to suppress the warnings on non-android Java projects. Reviewed By: sblackshear Differential Revision: D4544858 fbshipit-source-id: 8a0b8fa
8 years ago
codetoanalyze/java/infer/SuppressLintExample.java, void SuppressAllWarnigsInTheClass.shouldNotReportNPE(), 2, NULL_DEREFERENCE, [start of procedure shouldNotReportNPE()]
codetoanalyze/java/infer/SuppressLintExample.java, void SuppressAllWarnigsInTheClass.shouldNotReportResourceLeak(), 2, RESOURCE_LEAK, [start of procedure shouldNotReportResourceLeak()]
codetoanalyze/java/infer/SuppressLintExample.java, void SuppressLintExample.shouldReportNPE(), 2, NULL_DEREFERENCE, [start of procedure shouldReportNPE()]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/WriterLeaks.java, void WriterLeaks.bufferedWriterNotClosedAfterWrite(), 7, RESOURCE_LEAK, [start of procedure bufferedWriterNotClosedAfterWrite(),Skipping FileWriter(...): unknown method,Skipping BufferedWriter(...): unknown method,exception java.io.IOException]
codetoanalyze/java/infer/WriterLeaks.java, void WriterLeaks.fileWriterNotClosedAfterWrite(), 6, RESOURCE_LEAK, [start of procedure fileWriterNotClosedAfterWrite(),Skipping FileWriter(...): unknown method,exception java.io.IOException]
codetoanalyze/java/infer/WriterLeaks.java, void WriterLeaks.outputStreamWriterNotClosedAfterWrite(), 6, RESOURCE_LEAK, [start of procedure outputStreamWriterNotClosedAfterWrite(),Skipping OutputStreamWriter(...): unknown method,exception java.io.IOException]
[DB] Use realpath when calling source_file_from_abs_path Summary: Dealing with symbolic links in project root is tricky. To avoid it, always normalize all paths to sources with `realpath`. Changes to tests are expected - infer started to resolve symbolic links which screws up with our testing mechanism. Reviewed By: jberdine Differential Revision: D4237587 fbshipit-source-id: fe1cb01
8 years ago
codetoanalyze/java/infer/WriterLeaks.java, void WriterLeaks.pipedWriterNotClosedAfterConnect(PipedReader), 7, RESOURCE_LEAK, [start of procedure pipedWriterNotClosedAfterConnect(...),exception java.io.IOException]
codetoanalyze/java/infer/WriterLeaks.java, void WriterLeaks.pipedWriterNotClosedAfterConstructedWithReader(), 8, RESOURCE_LEAK, [start of procedure pipedWriterNotClosedAfterConstructedWithReader(),exception java.io.IOException]
[infer][biabduction] add more context information about the reason to skip a method during the symbolic execution Summary: This should help to better understand the analysis traces. Reviewed By: jvillard Differential Revision: D5773909 fbshipit-source-id: 79197a5
7 years ago
codetoanalyze/java/infer/WriterLeaks.java, void WriterLeaks.printWriterNotClosedAfterAppend(), 4, RESOURCE_LEAK, [start of procedure printWriterNotClosedAfterAppend(),Skipping PrintWriter(...): unknown method]
codetoanalyze/java/infer/WriterLeaks.java, void WriterLeaks.writerNotClosedAfterWrite(), 6, RESOURCE_LEAK, [start of procedure writerNotClosedAfterWrite(),Skipping PrintWriter(...): unknown method,exception java.io.IOException]