基于符号执行的代币买卖漏洞和权限转移漏洞的检测验证方法
刘宇航, 刘军杰, 文伟平
The Detection Method for Token Trading Vulnerability and  Authority Transfer Vulnerability Based on Symbolic Execution
信息安全研究 . 2022, (7): 632 .