Data-Flow Analysis Heuristic for Vulnerability Detection on Configurable Systems. - Gleyberson Andrade; Elder Cirilo; Vinicius H. S. Durelli; Bruno B. P. Cafeo; Eiji Adachi Barbosa (VEM, 2020)