SUPA

SUPA: Wertflussbasierte, nachfragegesteuerte Zeigeranalyse

Der Quellcode von SUPA wurde jetzt in SVF zusammengeführt.

1. Laden Sie den SVF-Quellcode herunter

2. Erstellen Sie SVF gemäß https://github.com/svf-tools/SVF/wiki/Setup-Guide#getting-started

3. Ausführen von SUPA mit seiner ausführbaren Datei bin/dvf

• 3.1 Flusssensitives SUPA (Abfrage der Points-to-Werte aller Zeiger in einem Programm)

 dvf -dfs -query=all -flowbg=10000 example.bc

• 3.2 Fluss- und kontextsensitives SUPA (Abfragen von Point-to-Werten aller Funktionszeiger in einem Programm)

 dvf -cxt -query=funptr -maxcxt=3 -flowbg=10000 -cxtbg=10000 example.bc

Optionen	Beschreibung
-Abfrage	Geben Sie eine Reihe von Abfragen für eine nachfragegesteuerte Analyse an.)
-dfs	strömungs- und feldsensitive Analyse
-cxt	kontext-, fluss- und feldsensitive Analyse
-flowbg	Flusssensitives Analysebudget (Anzahl der Werteflusskantendurchquerungen)
-cxtbg	kontextsensitives Analysebudget (Anzahl der Werteflusskantendurchquerungen)
-maxcxt	k-limitierende Kontextsensitivität
-stat	Statistiken drucken
-print-query-pts	Druckpunkte, auf die verwiesen wird

Referenzen:

Yulei Sui und Jingling Xue. On-Demand Strong Update Analysis via Value-Flow Refinement ACM SIGSOFT International Symposium on the Foundation of Software Engineering (FSE '16)

Yulei Sui und Jingling Xue. Wertflussbasierte bedarfsgesteuerte Zeigeranalyse für C und C++, IEEE-Transaktionen zum Software Engineering (TSE'18)