Выделение типов в универсальном классовом представлении для статического анализа исходного кода — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) |
||
== Примечания и отзывы == <!-- <blockquote>[©]</blockquote> --> <references/> [[Category:OSEDUCONF-2013]] [[Категория:Статический анализ кода]] [[Категория:Open-source projects]] <!-- topub --> {{stats|disqus_comments=0|refresh_time=2018-0710-04T21:07:5411T00:31:16.571946133978|vimeo_comments=0|vimeo_plays=65|youtube_comments=0|youtube_plays=16}} |
Версия 21:31, 10 октября 2018
Содержание
Аннотация
- Докладчик
- Алексей Пустыгин
Использование представления уровня классов не будет полным без анализа типов полей, возвращаемых из методов значений и аргументов вызовов. Получение типов для языков с динамической типизацией требует дополнительных затрат и специального подхода. Кроме того, дополнительно необходимо выделять связи агрегирования, порождаемые сложными типами данных: массивами, встроенными коллекциями и шаблонными типами.
Видео
Слайды
Примечания и отзывы
Plays:81 Comments:0