Andrade, G., Cirilo, E., Durelli, V., Cafeo, B., & Adachi, E. 2020 Oct 19. Data-Flow Analysis Heuristic for Vulnerability Detection on Configurable Systems. Proceedings of the Workshop on Software Visualization, Evolution and Maintenance (VEM). [Online] :