MUNIZ, Raphael; ANDRADE, Wilkerson; MACHADO, Patricia. Towards a Technique to Detect Weaknesses in C Programs. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 35. , 2021, Joinville. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2021 .