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