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