SootUp

Biblioteca

Este es el hogar del proyecto Sootup . Una revisión completa de la buena y antigua hollín de marco de análisis estático.

Que es el hootup

• Transforma el bytecodo JVM (¡y otras entradas!) En la representación intermedia Jimple.
• Proporciona generación de clase
• Generación de callgraph con diferentes algoritmos/precisiones
• Análisis de flujo de datos interprocedurales con el marco IDE/IFDS habilitado por HEROS
• Aplica transformaciones simples para recuperar un cuerpo de métodos (ver BodyInterceptor )
• Proporciona análisis y serialización del jimple IR.

Empezando

Los ejemplos de documentación y uso están disponibles en ejemplos. Revise los javadocs. ¿Tienes preguntas? No dude en comenzar una discusión.

Mejoras de hootup

(en comparación con su hollín predecesor).

• Nueva API mejorada (sin globals/singletons)
• Arquitectura totalmente paralelizable
• Habilita la carga perezosa de clases (ya no hay carga entrelazada de clases usadas/dependientes)
• Falta de estrategia temprana: validación de entrada al construir/construir objetos
• Sourcecode frontend (es decir, es decir, java8!)
• Soporte completo de Java 21 para bytecode
• Múltiples vistas (ya no hay escena estática única)
• Objetos y gráficos de IR jimple inmutable

¡Siéntete libre de mejorar la lana!

Que contribuye

Para comentarios y solicitudes de funciones, mejor cree problemas apropiados.
Para preguntas y aclaraciones, utilice las discusiones.

Publicaciones

El documento de Sootup explica más detalles y la decisión de diseño detrás de Sootup.
Preprint también está disponible.

Si usa Sootup en su trabajo de investigación, no dude en citarlo de la siguiente manera:

 @InProceedings{10.1007/978-3-031-57246-3_13,
author="Karakaya, Kadiray
and Schott, Stefan
and Klauke, Jonas
and Bodden, Eric
and Schmidt, Markus
and Luo, Linghui
and He, Dongjie",
editor="Finkbeiner, Bernd
and Kov{'a}cs, Laura",
title="SootUp: A Redesign of the Soot Static Analysis Framework",
booktitle="Tools and Algorithms for the Construction and Analysis of Systems",
year="2024",
publisher="Springer Nature Switzerland",
address="Cham",
pages="229--247",
isbn="978-3-031-57246-3"
}

Seguidores

El desarrollo de Sootup está financiado por el generoso apoyo de la Fundación de Investigación Alemana (DFG) y el Instituto Heinz Nixdorf (HNI).

¡Conviértete en patrocinador!