output: #fixed code
                                public void readFromFile(String path) throws IOException {
      readCoreFromFile(path);
    }
input: #vulnerable code 
                                public void readFromFile(String path) throws IOException {
      FileInputStream fis = new FileInputStream(path);
      DataInputStream is = new DataInputStream(fis);
      readFromStream(is);
    } 
                              #location 4 
                              #vulnerability type RESOURCE_LEAK