Login / Signup

EOSIOAnalyzer: An Effective Static Analysis Vulnerability Detection Framework for EOSIO Smart Contracts.

Wenyuan LiJiahao HeGansen ZhaoJinji YangShuangyin LiRuilin LaiPing LiHua TangHaoyu LuoZiheng Zhou
Published in: COMPSAC (2022)
Keyphrases
  • static analysis
  • abstract interpretation
  • databases
  • object detection
  • data sets
  • training data
  • supply chain
  • software engineering
  • regular expressions