Vishnupriya.T. Smart Contract Vulnerability Detection Using Lightweight Static Analysis and Symbolic Execution. International Journal of Communication and Computer Technologies [Internet]. 2016 Dec. 14 [cited 2026 Jan. 16];4(2):114-6. Available from: https://eccsubmit.com/index.php/ijccts/article/view/175