Added notes from Static Analysis Tools talk.