analysis net

Análisis.net

Marco de análisis estático para programas .NET.

Características:

• Nivel de bytecode
• No hay necesidad de código fuente
• Puede analizar bibliotecas estándar

• Representaciones intermedias
  • Bytecode simplificado
  • Tres código de dirección
  • Asignación única estática
  • Expresiones agregadas
• Análisis de flujo de control
  • Normal
  • Excepcional
  • Dominio
  • Frontera de dominio
  • Bucles naturales
• Análisis de flujo de datos
  • Alcanzar definiciones
  • Cadenas de def-uso y uso de deff
  • Variables en vivo
  • Propagación de copias
  • Puntos a
• Análisis de llamadas de gráfico
  • Jerarquía de clases
• Transformaciones
  • Redes
  • Engranaje

• Tipo de inferencia

• Publicación por entregas
  • PUNTO
  • Dgml