Program analysis cheatsheet