Анализ.net
Статическая структура анализа для программ .NET.
Функции:
- Уровень байт -кода
- Нет необходимости в исходном коде
- Может проанализировать стандартные библиотеки
- Промежуточные представления
- Упрощенный байт -код
- Три адресного кода
- Статическое единственное задание
- Агрегированные выражения
- Анализ управления потоком
- Нормальный
- Исключительный
- Доминирование
- Граница доминирования
- Природные петли
- Анализ потока данных
- Достижение определений
- Цепочки дефекта и использования и использования
- Живые переменные
- Распространение копий
- Точки-то
- Анализ вызова графа
- Преобразования
