ABSTRACT
This chapter outlines techniques for finding bugs by analyzing some code without necessarily running it. These techniques generally point out both actual and potential bugs by highlighting anomalous behavior — data items that are never read for example.
