Análise.net
Estrutura de análise estática para programas .NET.
Características:
- Nível de bytecode
- Não há necessidade de código -fonte
- Pode analisar bibliotecas padrão
- Representações intermediárias
- Bytecode simplificado
- Três Código de Endereço
- Atribuição única estática
- Expressões agregadas
- Análise de fluxo de controle
- Normal
- Excepcional
- Domínio
- Fronteira de dominância
- Loops naturais
- Análise de fluxo de dados
- Atingindo definições
- Correntes de def-use e uso de uso
- Variáveis vivas
- Copiar propagação
- Pontos para
- Análise de chamadas
- Transformações
