Directions on how to use some existing tools for finding bugs.