Matthew Jin

PulseTaintOperations Causing Analysis Crash

2

Hello -- it seems that modifications made during April 2022 to PulseTaintOperations seem to be causing the analysis to crash in certain scenarios. Below is the stack trace. I did...

Fails to Catch Simple Interprocedural Java NPE

2

In the following simple piece of code: https://gist.github.com/matjin/0499c1c00c44394a4abbb21d50536aff Infer is unable to find the null dereference warning at line 18; interprocedural analysis is not executed. There is a warning at...

When analyzing certain .NET code, Infer ([version](https://github.com/facebook/infer/commit/baafc0f34a2273d52207ad7c86e5641edd1843a8)) seems to be associating the output of __instanceof with "this", as seen below:  This can in turn create a false positive null...

For the following code: ``` static void expectNoError() throws IOException { String[] paths = new String[5]; if (paths.length < 5) { Object x = null; x.hashCode(); } } ``` We...

### Is there an existing issue for this? - [x] I have searched the existing issues ### Package ecosystem maven ### Package manager version _No response_ ### Language version _No...