Платформа межпроцедурного статического анализа бинарного кода (Айк Асланян, ISPRASOPEN-2018) — различия между версиями

;{{SpeakerInfo}}: {{Speaker|Айк Асланян}}
<blockquote>
В докладе представлены модели и алгоритмы обеспечения сквозного контроля качества сложных программно-технических систем (СПТС) посредством реализации программно-управляемого процесса разработки и верификации формальных моделей требований и архитектуры СПТС. 

Дан анализ научных публикаций и нормативно-методической базы в области разработки и применения на практике модельно-ориентированного подхода. 

Установленоописана разработанная платформа для статического анализа бинарного кода. 

Платформа разработананаименее обеспеченными модельными, алгоритмическими и программными решениями являются вопросы, связанные с разработкой полного и корректного набора требований, а также с формализацией и верификацией технических проектов СПТС. 

Предложены способы решения существующих проблем посредством формирования единой модельно-языковой и информационно-программной среды разработки и верификации формальных моделей требований и архитектуры СПТС, построенных на основе оптимального набора взаимосвязанных fUML диаграмм, представленных в нотации языка ALF и верифицируемых в среде виртуальной машины fUML и с помощью SAT/SMT решателеймежпроцедурного, потоко-чувствительного и контекстно-чувствительного анализа программы. В качестве промежуточного представления используется машинно-независимый язык REIL. На этом представлении разработаны и реализованы основные анализы потока данных - анализ достигающих определений, построение DEF-USE и USE-DEF цепочек, трансформация для удаления мертвого кода, анализ значений, анализ помеченных данных, анализа памяти и т.д. 

Реализованный подход аннотации функций позволяет распространять данные между вызовами функций, тем самым сделав анализ чувствительным к контексту. Платформа предоставляет программный интерфейс для работы со всеми реализованным анализами, что позволяет добавлять новые анализы в качестве плагинов.
</blockquote>

{{VideoSection}}

{{vimeoembed|298785970|800|450}}
{{youtubelink|}}|_E7ftWLvmlQ}}
{{letscomment}}

{{SlidesSection}}
[[File:Платформа межпроцедурного статического анализа бинарного кода (Айк Асланян, ISPRASOPEN-2018).pdf|left|page=-|300px]]

{{----}}
[[File:{{#setmainimage:Платформа межпроцедурного статического анализа бинарного кода (Айк Асланян, ISPRASOPEN-2018)!.jpg}}|center|640px]]
{{LinksSection}}
<!-- * [ Talks page on site] -->
<!-- <blockquote>[©]</blockquote> -->

{{fblink|2220855931500749}}                                          
{{vklink|1352}}                                          
<references/>





<!-- topub -->

[[Категория:ISPRASOPEN-2018]]
[[Категория:Draft]]Статический анализ кода]]
{{stats|disqus_comments=0|refresh_time=2021-08-31T17:51:17.362601|vimeo_plays=6|youtube_comments=0|youtube_plays=21}}