SootUp

Библиотека сажи

Это дом проекта сажи . Полный капитальный ремонт хорошей старой статической структуры анализа сажи.

Что такое сажа

• Преобразует байт -код JVM (и другие входы!) В промежуточное представление Jimple.
• Обеспечивает генерацию классов
• Генерация вызовов с различными алгоритмами/точность
• Межпроцедурный анализ потока данных с помощью структуры IDE/IFDS, включенной HEROS
• Применяет простые преобразования при извлечении методов тела (см. BodyInterceptor )
• Обеспечивает анализ и сериализацию Jimple IR.

Начиная

Примеры документации и использования доступны на примерах. Проверьте Javadocs. У вас есть вопросы? Не стесняйтесь начать обсуждение.

Улучшения сажи

(по сравнению с предшественником сажи.)

• Новый улучшенный API (без глобалов/синглтонов)
• Полностью параллелизуемая архитектура
• Включает ленивую загрузку классов (больше нет чередующейся загрузки использованных/зависимых классов)
• Неудача ранняя стратегия - проверка ввода при строительстве/строительстве объектов
• Обновленный (то есть Java8!)
• Полная поддержка Java 21 для байт -кода
• Несколько просмотров (больше нет статической сцены)
• Неизменные ИК -объекты и графики Jimple

Не стесняйтесь улучшить сажи!

Внося

Для обратной связи и запросов функций лучше всего создавать соответствующие проблемы.
Для вопросов и разъяснения, пожалуйста, используйте обсуждения.

Публикации

В документе сажи объясняется дополнительная деталь и решение о дизайне за сажи.
Препринт также доступен.

Если вы используете сажи в своей исследовательской работе, не стесняйтесь цитировать его следующим образом:

 @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"
}

Сторонники

Развитие сажи финансируется за счет щедрой поддержки Германии исследовательского фонда (DFG) и Института Хайнца Никсдорфа (HNI).

Станьте спонсором!