أخبار
- تحليل أمان برامج الدورة التدريبية الجديدة لتحليل رمز التعلم والتحقق من SVF من أجل المتعة والخبرة!
- يدعم SVF الآن LLVM-16.0.0 مع مؤشرات غير شفافة (التي ساهمت بها شياو تشنغ).
- تحديث CMake SVF (التي ساهمت بها يوهانس).
- يدعم SVF الآن LLVM-13.0.0 (شكرًا Shengjie Xu على مساعدته!).
- يتوفر تجميع الكائنات المنشور في ورقة OOPSLA الخاصة بنا الآن في SVF
- تتوفر مجموعة من النقاط التي تستند إلى التجزئة المنشورة في ورقة SAS الخاصة بنا الآن في SVF
- التعلم أو تحليل البرمجيات؟ تحقق من SVF-Teasing!
- تدعم SVF الآن LLVM-12.0.0 (شكرًا شيو يانغ لمساعدتها!).
- VSFS المنشورة في ورقة CGO لدينا متوفرة الآن في SVF
- يتوفر الآن TypeClone في ورقة Ecoop الخاصة بنا في SVF
- يستخدم SVF الآن برنامج نصي واحد لبناءه. فقط اكتب
source ./build.sh في المحطة الخاصة بك ، هذا كل شيء! - SVF يدعم الآن LLVM-10.0.0!
- نشكر Bsauce على كتابة دليل مستخدم SVF (Link1 و Link2) باللغة الصينية
- يدعم SVF الآن LLVM-9.0.0 (شكرًا Byoungyoung Lee على مساعدته!).
- يدعم SVF الآن مجموعة من تحليلات المؤشر الحساسة للحقل.
- استخدم SVF كـ LIB خارجي لمشروعك الخاص (الذي ساهم به Hongxu Chen).
- يدعم SVF الآن LLVM-7.0.0.
- SVF الآن يدعم Docker. جرب SVF في Docker!
- يدعم SVF الآن LLVM-6.0.0 (التي ساهم بها جاك أنتوني).
- يدعم SVF الآن LLVM-4.0.0 (التي ساهم بها جاريد كارلسون. شكرًا جاريد وويل على مناقشاتهم المتعمقة حول تحديث SVF!)
- يدعم SVF الآن تحليل برامج C ++.
الوثائق
SVF هي أداة تحليل تدفق القيمة الثابتة للغات القائمة على LLVM. SVF (CC'16) قادر على الأداء
- AE ( التنفيذ التجريدي ): التنفيذ عبر المجال (ICSE'24) ، تحليل typestate (FSE'24) ؛
- WPA ( تحليل البرنامج الكامل ): حساس المجال (SAS'19) ، تحليل الحساس للتدفق (CGO'21 ، OOPSLA'21) ؛
- DDA ( التحليل الذي يحركه الطلب ): التحليل الحساس للتدفق ، ونقص السياق (FSE'16 ، TSE'18) ؛
- MSSA ( بناء نموذج الذاكرة SSA ): مناطق الذاكرة ، الآثار الجانبية ، نموذج SSA (JSS'18) ؛
- SABER ( فحص خطأ الذاكرة ): تسرب الذاكرة والفواصل المزدوجة (ISSTA'12 ، TSE'14 ، ICSE'18) ؛
- MTA ( تحليل البرامج المتعددة مؤشرات الترابط ): تدفقات القيمة للبرامج المتعددة المؤشرات (CGO'16) ؛
- CFL ( تحليل قابلية الوصول إلى السياق ): حلال CFL القياسي ، الرسم البياني والقواعد (OOPSLA'22 ، PLDI'23) ؛
- SVFIR و MemoryModel ( SVFIR ): SVFIR ، تجريد الذاكرة وهيكل بيانات النقاط (SAS'21) ؛
- الرسوم البيانية: إنشاء مجموعة متنوعة من الرسوم البيانية ، بما في ذلك الرسم البياني للمكالمات ، ICFG ، الرسم البياني للتسلسل الهرمي ، الرسم البياني القياسي ، الرسم البياني للتدفق للقيمة للتحليلات الثابتة وتضمين التعليمات البرمجية (OOPSLA'20 ، TOSEM'21)
نقوم بإصدار رمز مصدر SVF على أمل الاستفادة من مجتمع المصدر المفتوح. تُطلب منك بلطف الاعتراف باستخدام الأداة من خلال الإشارة إلى المنشورات ذات الصلة المذكورة أعلاه أو الإشارة إليها.
مستند Doxygen من SVF متاح هنا.
| حول SVF | دليل الإعداد | دليل المستخدم | دليل المطور |
|---|
 |  |  |  |
| تقديم SVF - ماذا تفعل وكيف نخيمها | دليل إعداد خطوة بخطوة لبناء SVF | خيارات سطر الأوامر لتشغيل SVF ، والحصول على مخرجات التحليل ، واختبار SVF بمثال أو ptaben | وثائق تقنية مفصلة وكيفية كتابة تحليلاتك الخاصة في SVF أو استخدام SVF كـ LIB لأداةك ، والدورة التدريبية على SVF |
