SUPA

SUPA : analyse de pointeurs basée sur la demande et basée sur les flux de valeur

Le code source de SUPA a maintenant été fusionné avec SVF.

1. Télécharger le code source SVF

2. Créez SVF en suivant https://github.com/svf-tools/SVF/wiki/Setup-Guide#getting-started

3. Exécuter SUPA avec son exécutable bin/dvf

• 3.1 SUPA sensible au flux (interrogation des valeurs de points vers de tous les pointeurs d'un programme)

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

• 3.2 SUPA sensible au flux et au contexte (interrogation des valeurs de points vers tous les pointeurs de fonction d'un programme)

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

Possibilités	Description
-requête	spécifier un ensemble de requêtes pour une analyse basée sur la demande)
-dfs	analyse sensible au débit et au champ
-cxt	analyse sensible au contexte, au flux et au champ
-flowbg	budget d'analyse sensible au flux (nombre de parcours d'arêtes de flux de valeur)
-cxtbg	budget d'analyse contextuel (nombre de parcours d'arêtes de flux de valeur)
-maxcxt	sensibilité contextuelle k-limitante
-stat	statistiques d'impression
-print-query-pts	imprimer des points vers

Références :

Yulei Sui et Jingling Xue. Analyse de mise à jour forte à la demande via le raffinement du flux de valeur Symposium international ACM SIGSOFT sur les fondements du génie logiciel (FSE '16)

Yulei Sui et Jingling Xue. Analyse de pointeurs basée sur la demande basée sur les flux de valeur pour C et C++, transactions IEEE sur le génie logiciel (TSE'18)