A simple taxonomy
Due to Mike Ernst
- Based primarily on pointer-based issues, but more broadly applicable
Draws one common distinction and one less common distinction
Shows desirability of combining static and dynamic analyses
- Now largely (if not entirely) ad hoc