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://eccsubmit.com/index.php/ijccts/article/view/175. Acesso em: 16 jan. 2026.