Qihui Sun

http://hi.csdn.net/sunqihui [email protected]

HONOR Shenzhen in China Programming Language，Program Analysis，Developer Test，Trustworthy Software

Results 4 issues of


                                            Qihui Sun

Is there Infer v1.2, v1.3 milestone release plan, thanks

6

And we expect to release Infer for Windows x64, more conveint to educate students. thanks.

false positive resource of type `javax.net.ssl.HttpsURLConnection`

2

Please make sure your issue is not addressed in the [FAQ](https://fbinfer.com/docs/support#troubleshooting). Please include the following information: - [x] The version of infer from `infer --version`. Infer v1.1.0 - [x] Your...

External Error: Could not load model file ../lib/models.sql

3

Please make sure your issue is not addressed in the [FAQ](https://fbinfer.com/docs/support#troubleshooting). Please include the following information: - [x] The version of infer from `infer --version`. Infer version v1.1.0--b4f935464b Infer version...

Resource Leak of android.database.sqlite.SQLiteCursor seems false positive within isClosed() branch

1

Please make sure your issue is not addressed in the [FAQ](https://fbinfer.com/docs/support#troubleshooting). Please include the following information: - [x] The version of infer from `infer --version`. v1.1.0 - [x] Your operating...