Tools for finding, and fixing certain patterns of bugs.