4 \usepackage{../graphics}

     4 \usepackage{../graphics}

     5 \usepackage{../grammar}

     5 \usepackage{../grammar}

     6 \usepackage{multicol}

     6 \usepackage{multicol}

     7 

     7 

     8 \begin{document}

     8 \begin{document}

     9 

    10 

    10 \section*{Handout 9 (Static Analysis)}

    11 \section*{Handout 9 (Static Analysis)}

    11 

    12 

    12 If we want to improve the safety and security of our programs,

    13 If we want to improve the safety and security of our programs,

    13 we need a more principled approach to programming. Testing is

    14 we need a more principled approach to programming. Testing is