Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g. database objects) are satisfied.
See Weimer and Necula, Finding and preventing run-time error handling mistakes.