Muniz, R., Andrade, W., & Machado, P. 2021 set 29. Towards a Technique to Detect Weaknesses in C Programs. Anais do SimpĆ³sio Brasileiro de Engenharia de Software (SBES). [Online] :