A framework for writing static analysis tests. - View it on GitHub