Выделение типов в универсальном классовом представлении для статического анализа исходного кода — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Batch edit: remove Category:ToPublish) |
StasFomin (обсуждение | вклад) |
||
== Примечания и отзывы == <!-- <blockquote>[©]</blockquote> --> <references/> [[Category:OSEDUCONF-2013]] [[CategoryКатегория:НаукаСтатический анализ кода]] [[CategoryКатегория:Open-source projects]] <!-- topub --> |
Версия 06:58, 21 июня 2016
Содержание
Аннотация
- Докладчик
- Алексей Пустыгин
Использование представления уровня классов не будет полным без анализа типов полей, возвращаемых из методов значений и аргументов вызовов. Получение типов для языков с динамической типизацией требует дополнительных затрат и специального подхода. Кроме того, дополнительно необходимо выделять связи агрегирования, порождаемые сложными типами данных: массивами, встроенными коллекциями и шаблонными типами.
Видео