Современное состояние исследований и разработок в области автоматического анализа программ (Александр Герасимов, SECR-2019) — различия между версиями

;{{SpeakerInfo}}: {{Speaker|Александр Герасимов}}
<blockquote>
Обзор текущего состояния исследований и разработок в области автоматического анализа программ с учётом опыта разработки и применения инструментов автоматического анализа программ на наличие ошибок и уязвимостей безопасности.
</blockquote>

{{VideoSection}}
{{vimeoembed|240322506|800|450}}
{{youtubelink|}}|st6qRSs9GhU}}
{{letscomment}}

{{SlidesSection}}
[[File:Современное состояние исследований и разработок в области автоматического анализа программ (Александр Герасимов, SECR-2019).pdf|left|page=-|300px]]

{{----}}
[[File:{{#setmainimage:Современное состояние исследований и разработок в области автоматического анализа программ (Александр Герасимов, SECR-2019)!.jpg}}|center|640px]]
{{LinksSection}}
* [https://2019.secrus.org/program/submitted-presentations/state-of-the-art-in-automatic-program-analysis-research-and-development/ Talks page on SECR site]