Effective Interprocedural Resource Leak Detection

allocation of a FileOutputStream on line 7 acquires a stream, which is a system resource that needs to be released by call-ing close() on the stream handle. The acquired stream ob-ject then passes into the constructor of OutputStreamWriter, which remembers it in a private eld. The OutputStream- ................
................