Vishnupriya.T. Smart Contract Vulnerability Detection Using Lightweight Static Analysis and Symbolic Execution. Int J Comm comp Tech [Internet]. 2016 Dec. 22 [cited 2025 Nov. 21];4(2):114-6. Available from: https://ijccts.org/index.php/pub/article/view/283