cclyzerpp

Cclyzer ++

Cclyzer ++ es un análisis de puntero global preciso y escalable para el código LLVM. La salida de Cclyzer ++ se puede utilizar para una variedad de tareas de análisis de programas, que incluyen:

• Creación de callgraphs con manejo preciso de llamadas de funciones indirectas y llamadas de método virtual
• Análisis preciso de control interprocedural y flujo de datos
• Responder a May-Alias ​​y consultas imprescindibles

Cclyzer ++ es sensible al campo y una matriz, realiza la construcción de callgraph en la marcha y admite muchas configuraciones diferentes de sensibilidad de contexto, incluida la sensibilidad de K -cuallsite. Tiene análisis basados ​​en subconjuntos (estilo Andersen) y basados ​​en unificaciones (Steensgaard Style). Cclyzer ++ está escrito en Soufflé DataSalog, y así es muy paralelo. Cclyzer ++ se derivó de Cclyzer.

Consulte la documentación para obtener más información sobre CCZLYER ++, incluidos ejemplos de su salida. La documentación también está disponible en línea.

Si usa Cclyzer ++ en su propio trabajo, incluya las siguientes citas:

• Langston Barrett y Scott Moore. "Cclyzer ++: análisis de puntero escalable y preciso para LLVM". https://galois.com/blog/2022/08/cclyzer-scalable-and-precise-pointer-analysis-for-llvm/. 2022.
• George Balatsouras y Yannis Smaragdakis. "Análisis de puntos sensibles a la estructura para C y C ++". En análisis estático: 23º Simposio Internacional, SAS 2016, Edimburgo, Reino Unido, 8-10 de septiembre de 2016, Actas 23, pp. 84-104. Springer Berlin Heidelberg, 2016.

Expresiones de gratitud

Este material se basa en el trabajo respaldado por la Agencia de Proyectos de Investigación Avanzada de la Fuerza Aérea de los Estados Unidos y Defensa (DARPA) bajo el No. FA8750-19-C-0004. Cualquier opinión, hallazgos y conclusiones o recomendaciones expresadas en este material son las del autor (s) y no reflejan necesariamente las opiniones de la Fuerza Aérea o DARPA de los Estados Unidos. Aprobado para la liberación pública, distribución ilimitada.