تنزيل SootUp - تنزيل رمز المصدر SootUp

SootUp

فئات أخرى

v1.3.0

تنزيل

مكتبة SOOTUP

هذا هو موطن مشروع SOOTUP . إصلاح كامل لسخام إطار التحليل الثابت القديم القديم.

ما هو SOOTUP

يحول JVM bytecode (وغيرها من المدخلات!) إلى التمثيل الوسيط Jimple.
يوفر توليد التسلسل الفصلي
جيل Callgraph مع خوارزميات/دقة مختلفة
تحليل تدفق البيانات بين المخلوقين مع إطار IDE/IFDS الذي يمكّنه Heros
يطبق التحولات البسيطة على استرداد أساليب الجسم (انظر BodyInterceptor )
يوفر التحليل والتسلسل من Jimple IR.

ابدء

تتوفر أمثلة الوثائق والاستخدام على أمثلة. تحقق من Javadocs. هل لديك أسئلة؟ لا تتردد في بدء مناقشة.

تحسينات SOOTUP

(مقارنة بسخامها السابق.)

API جديد محسّن (بدون غلوبال/مفردة)
الهندسة المعمارية القابلة للتوازي بالكامل
يتيح تحميل الفئات البطيئة (لا يوجد تحميل متداخلة للفئات المستخدمة/المعتمدة بعد الآن)
فشل الإستراتيجية المبكرة - التحقق من صحة الإدخال أثناء إنشاء/بناء الكائنات
محدث (IE Java8!) الواجهة الأمامية Sourcecode (حذار: لا يمكن التعامل مع مدخلات المحاولة ، حتى الآن!)
الدعم الكامل Java 21 لـ Bytecode
وجهات نظر متعددة (لا يوجد مشهد ثابت واحد بعد الآن)
أجسام ورسوم بيانية Jimple IR غير قابلة

لا تتردد في تحسين SOOTUP!

المساهمة

للحصول على ردود الفعل وطلبات الميزات ، أفضل إنشاء المشكلات المناسبة.
للأسئلة والتوضيح ، يرجى استخدام المناقشات.

المنشورات

تشرح ورقة SOOTUP مزيدًا من التفاصيل وقرار التصميم وراء SOOTUP.
preprint متاح أيضا.

إذا كنت تستخدم SOOTUP في عملك البحثي ، فلا تتردد في الاستشهاد به على النحو التالي:

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