GasChecker: Scalable Analysis for Discovering Gas-Inefficient Smart Contracts
作者： Ting Chen , Youzheng Feng , Zihao Li , Hao Zhou , Xiapu Luo
DOI: 10.1109/TETC.2020.2979019
关键词:
摘要: … Moreover, by leveraging a theorem prover, SE can determine path feasibility, and therefore techniques based on SE can avoid analyzing dead code. Besides, SE maintains the …
computer.org
sci-hub.se 参考文章(0)