yapall

Otro análisis de puntero para LLVM

Yapall es un análisis de puntero preciso y escalable para LLVM. La salida de Yapall 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
• Respondiendo consultas de May-Alias

Yapall es sensible a K-Callsite para la configuración de K, de campo, matriz y flujo, y realiza una construcción de callgraph en la marcha. Yapall está escrito con ascenso y, por lo tanto, es altamente paralelo.

Para obtener más información, consulte la documentación.

Expresiones de gratitud

Este material se basa en un trabajo respaldado por la Agencia de Proyectos de Investigación Avanzada de Defensa (DARPA) bajo el contrato No. N66001-21-C-4023. Cualquier opinión, hallazgos y conclusiones o recomendaciones expresadas en este material son las del autor (s) y no reflejan necesariamente las opiniones de DARPA.

Distribución

Declaración de distribución A. Aprobado para la liberación pública: Distribución ilimitada.