Muniz, R., 		Andrade, W., & 		Machado, P.
(2021).
 Towards a Technique to Detect Weaknesses in C Programs.
In <em>Proceedings of the 35th Brazilian Symposium on Software Engineering</em>. Porto Alegre: SBC.