Vishnupriya.T (2016) “Smart Contract Vulnerability Detection Using Lightweight Static Analysis and Symbolic Execution”, International Journal of communication and computer Technologies, 4(2), pp. 114–116. Available at: https://ijccts.org/index.php/pub/article/view/283 (Accessed: 21 November 2025).