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