C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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