scopecheck

A flexible tool for finding global scope leaks via static analysis.