Buffer Overflow Detection via Static Analysis: Expectations vs. Realityдоклад на конференции