Sign in

Smart Contract Vulnerability Detection Based on Symbolic Execution Technology.

Yiping LiuJie XuBaojiang Cui
Published in: CNCERT (2021)
Keyphrases
  • symbolic execution
  • case study
  • static analysis
  • supply chain
  • source code
  • specification language
  • test generation
  • data sets
  • open source