Tools for Analyzing Static Code