Обнаружение ошибок доступа к буферу в программах на языке C / C ++ с помощью статического анализадоклад на конференции