Login / Signup

A Survey on Automatic Discover Approach by Using Static Analysis for Smart Contract Vulnerability.

Yifan DengLiangmin WangLiang WangJiayi LiQuan Yong
Published in: NaNA (2023)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • symbolic execution
  • malicious code
  • semi automatic
  • regular expressions
  • test suite
  • java card
  • abstract interpretation
  • metadata
  • case study
  • test generation