A framework for writing static analysis tests.