SUPA

SUPA: análise de ponteiro orientada pela demanda baseada em fluxo de valor

O código-fonte do SUPA agora foi mesclado ao SVF.

1. Baixe o código fonte SVF

2. Crie SVF seguindo https://github.com/svf-tools/SVF/wiki/Setup-Guide#getting-started

3. Executando SUPA com seu executável bin/dvf

• 3.1 SUPA sensível ao fluxo (consulta de valores de pontos para todos os ponteiros em um programa)

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

• 3.2 SUPA sensível ao fluxo e ao contexto (consulta de valores de pontos para todos os ponteiros de função em um programa)

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

Opções	Descrição
-consulta	especificar um conjunto de consultas para análise orientada pela demanda)
-dfs	análise sensível ao fluxo e ao campo
-cxt	análise sensível ao contexto, fluxo e campo
-flowbg	orçamento de análise sensível ao fluxo (número de travessias de bordas do fluxo de valor)
-cxtbg	orçamento de análise sensível ao contexto (número de travessias de bordas de fluxo de valor)
-maxcxt	k-limitando sensibilidade ao contexto
-stat	imprimir estatísticas
-print-query-pts	imprimir pontos para

Referências:

Yulei Sui e Jingling Xue. Análise forte de atualização sob demanda por meio de refinamento de fluxo de valor Simpósio Internacional ACM SIGSOFT sobre a Fundação da Engenharia de Software (FSE '16)

Yulei Sui e Jingling Xue. Análise de ponteiro baseado em demanda baseada em fluxo de valor para C e C++, transações IEEE em engenharia de software (TSE'18)