Andrade, Gleyberson, Cirilo, Elder, Durelli, Vinicius, Cafeo, Bruno, AND Adachi, Eiji. " Data-Flow Analysis Heuristic for Vulnerability Detection on Configurable Systems" Proceedings of the Workshop on Software Visualization, Evolution and Maintenance (VEM) [Online], (19 October 2020)