تم الآن دمج الكود المصدري لـ SUPA في SVF.
قم بتنزيل كود المصدر SVF
أنشئ SVF يتبع https://github.com/svf-tools/SVF/wiki/Setup-Guide#getting-started
تشغيل SUPA باستخدام bin/dvf القابل للتنفيذ
dvf -dfs -query=all -flowbg=10000 example.bc
dvf -cxt -query=funptr -maxcxt=3 -flowbg=10000 -cxtbg=10000 example.bc
| خيارات | وصف |
|---|---|
| -استفسار | تحديد مجموعة من الاستعلامات للتحليل القائم على الطلب) |
| -dfs | تحليل التدفق والميدان الحساسة |
| -cxt | تحليل حساس للسياق والتدفق والميدان |
| -flowbg | ميزانية التحليل الحساسة للتدفق (عدد حواف تدفق القيمة) |
| -cxtbg | ميزانية التحليل الحساسة للسياق (عدد حواف تدفق القيمة) |
| -maxcxt | ك-الحد من حساسية السياق |
| -stat | إحصائيات الطباعة |
| -طباعة الاستعلام-نقاط | نقاط الطباعة إلى |
يولي سوي وجينغلينغ شيويه. تحليل التحديث القوي حسب الطلب من خلال تحسين تدفق القيمة ACM SIGSOFT الندوة الدولية حول أساس هندسة البرمجيات (FSE '16)
يولي سوي وجينغلينغ شيويه. تحليل المؤشر القائم على تدفق القيمة لمعاملات C وC++ وIEEE في هندسة البرمجيات (TSE'18)
