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://ijccts.org/index.php/pub/article/view/283. Acesso em: 21 nov. 2025.