The Detection Method for Token Trading Vulnerability and  Authority Transfer Vulnerability Based on Symbolic Execution
刘宇航, 刘军杰, 文伟平
Journal of Information Security Reserach . 2022, (7): 632 .