G. Andrade, E. Cirilo, V. Durelli, B. Cafeo, and E. Adachi. "Data-Flow Analysis Heuristic for Vulnerability Detection on Configurable Systems", in Anais do VIII Workshop de Visualização, Evolução e Manutenção de Software, Evento Online, 2020, pp. 25-32, doi: https://doi.org/10.5753/vem.2020.14525.