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

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

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


== Статья-Стенограмма ==
[[Современное состояние исследований и разработок в области автоматического анализа программ (Александр Герасимов, SECR-2019)/Стенограмма]]

{{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]
<!-- <blockquote>[©]</blockquote> -->

{{vklink|1589}}                                          
<references/>





<!-- topub -->



{{stats|disqus_comments=0|refresh_time=2020-01-22T18:17:282021-08-31T18:25:20.009219548379|vimeo_plays=8125|youtube_plays=0}}

[[Категория:SECR-2019]]
[[Категория:Верификация]]
[[Категория:Статический анализ кода]]
[[Категория:Динамический анализ]]
[[Категория:Доклад со стенограммой]]