SUPA

SUPA: анализ указателей, основанный на потоке значений и спросе

Исходный код SUPA теперь объединен с SVF.

1. Скачать исходный код SVF

2. Создайте SVF, следуя https://github.com/svf-tools/SVF/wiki/Setup-Guide#getting-started.

3. Запуск SUPA с его исполняемым bin/dvf

• 3.1 Чувствительный к потоку SUPA (запрос значений всех указателей в программе)

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

• 3.2 Потоко- и контекстно-зависимый SUPA (запрос значений всех указателей функций в программе)

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

Параметры	Описание
-запрос	указать набор запросов для анализа спроса)
-dfs	анализ, чувствительный к потоку и полю
-cxt	анализ с учетом контекста, потока и поля
-flowbg	бюджет анализа, чувствительный к потоку (количество пересечений ребер потока значений)
-cxtbg	бюджет контекстно-зависимого анализа (количество проходов ребер потока значений)
-maxcxt	k-ограничение контекстной чувствительности
-стат	распечатать статистику
-print-query-pts	напечатать точку на

Ссылки:

Юлей Суй и Цзинлин Сюэ. Анализ сильных обновлений по требованию посредством уточнения потока создания ценности Международный симпозиум ACM SIGSOFT по основам программной инженерии (FSE '16)

Юлей Суй и Цзинлин Сюэ. Анализ указателей на основе потока значений на основе спроса для C и C++, транзакции IEEE по разработке программного обеспечения (TSE'18)