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

[SolomonSun2010]

Please make sure your issue is not addressed in the FAQ.

Please include the following information:

• [x] The version of infer from infer --version. v1.1.0
• [x] Your operating system and version, for example "Debian 9", "MacOS High Sierra", whether you are using Docker, etc. Ubuntu 20.04
• [x] Which command you ran, for example infer -- make. infer run --pulse -- ./gradlew build
• [x] The full output in a paste, for instance a gist. resource of type android.database.sqlite.SQLiteCursor acquired by call to query(...) at line 99 is not released after line 110.
  108. }
  109. } finally {

  110.             if (!cursor.isClosed()) {

  111. cursor.close();
  112. }

• [x] If possible, a minimal example to reproduce your problem (for instance, some code where infer reports incorrectly, together with the way you run infer to reproduce the incorrect report). isClosed is the Android API： https://developer.android.com/reference/android/database/Cursor#isClosed()

  Can we avoid this FP by set the .inferconfig options ? thanks.

[SolomonSun2010]

679 related , it is still open