Login / Signup
Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts.
Yinxing Xue
Mingliang Ma
Yun Lin
Yulei Sui
Jiaming Ye
Tianyong Peng
Published in:
ASE (2020)
Keyphrases
</>
static analysis
dynamic analysis
supply chain
source code
malicious code
symbolic execution
java card
revenue sharing
moral hazard
abstract interpretation
adverse selection
real world
test generation
security vulnerabilities
decision trees
data mining
reverse engineering
test case generation
regular expressions