SmartDagger: a bytecode-based static analysis approach for detecting cross-contract vulnerability.

Zeqin Liao Zibin Zheng Xiao Chen Yuhong Nan

Published in: ISSTA (2022)

Keyphrases

static analysis
java card
source code
dynamic analysis
symbolic execution
open source
regular expressions
abstract interpretation
smart card
malicious code
pattern matching
test generation
high level
software development
countermeasures
virtual machine