I really enjoyed this talk, there's so much more to static analysis than you see at first glance. I was a bit afraid it might become a sales pitch for Exakat, but it wasn't, at all. Very nice.
The only thing I noticed several times was the "oh, I don't have to explain this to you of course". Either ask if you need to explain, or just explain, there may always be people that don't know about something, so don't assume everyone knows.