SUPA

SUPA: 가치 흐름 기반 수요 중심 포인터 분석

SUPA의 소스 코드가 이제 SVF에 병합되었습니다.

1. 소스 코드 SVF 다운로드

2. https://github.com/svf-tools/SVF/wiki/Setup-Guide#getting-started에 따라 SVF 빌드

3. 실행 가능한 bin/dvf 사용하여 SUPA 실행

• 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-제한 상황 민감도
-stat	통계 인쇄
-인쇄 쿼리-pts	인쇄 포인트

참고자료:

Yulei Sui와 Jingling Xue. 가치 흐름 개선을 통한 온디맨드 강력한 업데이트 분석 ACM SIGSOFT 소프트웨어 엔지니어링 기초 국제 심포지엄(FSE '16)

Yulei Sui와 Jingling Xue. C 및 C++에 대한 가치 흐름 기반 수요 중심 포인터 분석, 소프트웨어 엔지니어링에 대한 IEEE 트랜잭션(TSE'18)