SUPA

SUPA: análisis de indicadores impulsado por la demanda basado en el flujo de valor

El código fuente de SUPA ahora se ha fusionado con SVF.

1. Descargar código fuente SVF

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

3. Ejecutando SUPA con su ejecutable bin/dvf

• 3.1 SUPA sensible al flujo (consulta los valores de puntos de todos los punteros en un programa)

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

• 3.2 SUPA sensible al flujo y al contexto (consulta valores de puntos de todos los punteros de función en un programa)

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

Opciones	Descripción
-consulta	especificar un conjunto de consultas para el análisis basado en la demanda)
-dfs	análisis sensible al flujo y al campo
-cxt	análisis sensible al contexto, al flujo y al campo
-flujobg	Presupuesto de análisis sensible al flujo (número de recorridos de bordes de flujo de valor)
-cxtbg	Presupuesto de análisis sensible al contexto (número de recorridos de bordes de flujo de valor)
-maxcxt	k-limitante de sensibilidad al contexto
-estadística	imprimir estadísticas
-imprimir-consulta-pts	imprimir puntos a

Referencias:

Yulei Sui y Jingling Xue. Análisis de actualizaciones sólidas bajo demanda a través del refinamiento del flujo de valor Simposio internacional ACM SIGSOFT sobre los fundamentos de la ingeniería de software (FSE '16)

Yulei Sui y Jingling Xue. Análisis de punteros impulsado por la demanda basado en el flujo de valor para C y C++, IEEE Transactions on Software Engineering (TSE'18)