Why does this code generate a “Potential resource

Question

Eclipse (Juno) gives the following warning:

Potential resource leak: 'os' may not be closed

at the first line of the try body in this code:

static void saveDetails(byte[] detailsData) {
    OutputStream os = null;
    try {
        os = sContext.openFileOutput(DETAILS_FILE_NAME, Context.MODE_PRIVATE);
        os.write(detailsData);
    } catch (IOException e) {
        Log.w(LOG_TAG, "Unable to save details", e);
    } finally {
        if (os != null) {
            try {
                os.close();
            } catch (IOException ignored) {
            }
        }
    }
}

The method openFileOutput is declared to throw a FileNotFoundException.

Is this a false positive? It seems like a fairly vanilla execution path analysis.

Answer 1

In my opinion, this is a false positive. Your resource is closed in a "finally" block, so I cannot see what could go wrong here.

As a sidenote, if you are using Java 7, I'd recommend using the "try-with-resources" idiom.

static void saveDetails(byte[] detailsData) {    
    try (OutputStream os = sContext.openFileOutput(DETAILS_FILE_NAME, Context.MODE_PRIVATE);) {
        os = sContext.openFileOutput(DETAILS_FILE_NAME, Context.MODE_PRIVATE);
        os.write(detailsData);
    } catch (IOException e) {
        Log.w(LOG_TAG, "Unable to save details", e);
    }
}

Answer 2

What if you move both open and close to first try clause? They throw the same type of exception. And remove the if os != null.

Answer 3

My guess is it's because you have if (os != null) before closing. Since it's conditional it's possible that the OutputStream is not closed.

What happens if you try:

static void saveDetails(byte[] detailsData) {
    OutputStream os = null;
    try {
        os = sContext.openFileOutput(DETAILS_FILE_NAME, Context.MODE_PRIVATE);
        os.write(detailsData);
    } catch (IOException e) {
        Log.w(LOG_TAG, "Unable to save details", e);
    } finally {
        try {
            os.close();
        } catch (IOException ignored) {
        }
    }
}