Выделение типов в универсальном классовом представлении для статического анализа исходного кода — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
== Примечания и отзывы == <!-- <blockquote>[©]</blockquote> --> <references/> [[Category:OSEDUCONF-2013]] [[Категория:Статический анализ кода]] [[Категория:Open-source projects]] <!-- topub --> {{stats|disqus_comments=0|refresh_time=2017-12-21T17:28:3725T21:56:49.014873160569|vimeo_comments=0|vimeo_plays=65|youtube_comments=0|youtube_plays=2}} |
Версия 18:56, 25 декабря 2017
Содержание
Аннотация
- Докладчик
- Алексей Пустыгин
Использование представления уровня классов не будет полным без анализа типов полей, возвращаемых из методов значений и аргументов вызовов. Получение типов для языков с динамической типизацией требует дополнительных затрат и специального подхода. Кроме того, дополнительно необходимо выделять связи агрегирования, порождаемые сложными типами данных: массивами, встроенными коллекциями и шаблонными типами.
Видео
Слайды
Примечания и отзывы
Plays:67 Comments:0