Muniz, R., 		Andrade, W., & 		Machado, P.
(2021).
Towards a Technique to Detect Weaknesses in C Programs.
In <em>Anais do XXXV Simpósio Brasileiro de Engenharia de Software</em>. Porto Alegre: SBC.