Andrade, G., Cirilo, E., Durelli, V., Cafeo, B., & Adachi, E. 2020 out 19. Data-Flow Analysis Heuristic for Vulnerability Detection on Configurable Systems. Anais do Workshop de Visualização, Evolução e Manutenção de Software (VEM). [Online] :