Fjalar Marco de análisis dinámico para programas C y C ++
Descargar ahora

Fjalar Clasificación y resumen

Fjalar Etiquetas

análisis estructura desarrollo c ++ C ++ Marco de C ++ Marco de análisis

Fjalar Descripción

Marco de análisis dinámico para programas C y C ++ Fjalar es un marco de origen gratuito y abierto que facilita la construcción de herramientas de análisis dinámico para programas escritos en C y C ++. FJALAR es a menudo difícil de construir análisis dinámicos sólidos y escalables para los programas C y C ++ debido a la falta de memoria y la seguridad del tipo en estos idiomas. Por ejemplo, el sistema de tiempo de ejecución no realiza un seguimiento de los tamaños de matriz o si se han inicializado los valores. Los marcos existentes basados ​​en la transformación de origen a la fuente a menudo sufren de problemas de escalabilidad y robustez debido a la dificultad de agregar código fuente de instrumentación para rastrear el uso de la memoria y la inicialización. Los marcos que operan puramente a nivel binario no pueden proporcionar información a nivel de lenguaje rica sobre las estructuras de datos que son útiles para muchos tipos de análisis. Fjalar combina aspectos de los enfoques basados ​​en la fuente y binario y permite que las herramientas se basan en él para acceder a la información rica con seguridad a nivel de idioma y máquina durante el tiempo de ejecución.

Fjalar Software relacionado