C Analyzer, control de las aplicaciones en C

Al llevar a cabo un análisis detallado de la semántica dentro de las aplicaciones escritas en C, la nueva herramienta de CAST ofrece información sobre la estructura interna de dichas aplicaciones.