Legato is a static analysis for finding bugs in dynamic resource usage - View it on GitHub