VISHNUPRIYA.T. Smart Contract Vulnerability Detection Using Lightweight Static Analysis and Symbolic Execution. International Journal of Communication and Computer Technologies, [S. l.], v. 4, n. 2, p. 114–116, 2016. Disponível em: https://www.eccsubmit.com/index.php/ijccts/article/view/175. Acesso em: 4 feb. 2026.