Login / Signup

An Empirical Study on Implicit Constraints in Smart Contract Static Analysis.

Tingting YinChao ZhangYuandong NiYixiong WuTaiyu WongXiapu LuoZheming LiYu Guo
Published in: ICSE (SEIP) (2022)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • regular expressions
  • symbolic execution
  • java card
  • malicious code
  • data sets
  • test generation
  • databases
  • real world
  • learning algorithm