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

[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. Infer 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 -- javac javacheck/HttpURLConnectionTest.java
• [x] The full output in a paste, for instance a gist. Please attention, ;the javax.net.ssl.HttpsURLConnection extends java.net.HttpURLConnection extends java.net.URLConnection, all they itself have no close() method.

javacheck/HttpURLConnectionTest.java:18: error: Resource Leak resource of type javax.net.ssl.HttpsURLConnection acquired by call to openConnection() at line 13 is not released after line 18.

16. return conn;
17. } else {

18.         System.out.println("url open connection is not HttpURLConnection");

19. // Logger.error(TAG, "url open connection is not HttpURLConnection");
20. throw new IOException();

Found 1 issue Issue Type(ISSUED_TYPE_ID): # Resource Leak(RESOURCE_LEAK): 1

• [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).

  
  package javacheck;

// import androidx.annotation.NonNull;

import java.io.IOException; import java.net.HttpURLConnection; import java.net.URL; import java.net.URLConnection;

class HttpURLConnectionTest {

protected HttpURLConnection connect_FP(URL url) throws IOException {
    URLConnection urlConn = url.openConnection();
    if (urlConn instanceof HttpURLConnection) {
        HttpURLConnection conn = (HttpURLConnection) urlConn;
        return conn;
    } else {
        System.out.println("url open connection is not HttpURLConnection");
        // Logger.error(TAG, "url open connection is not HttpURLConnection");
        throw new IOException();
    }
}

}

[yunshouhu]

I also encountered the same problem

[SolomonSun2010]

I also encountered the same problem

okay, nice to meet you here.