Login / Signup
Clairvoyance: cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts.
Jiaming Ye
Mingliang Ma
Yun Lin
Yulei Sui
Yinxing Xue
Published in:
ICSE (Companion Volume) (2020)
Keyphrases
</>
static analysis
dynamic analysis
supply chain
source code
moral hazard
malicious code
symbolic execution
java card
revenue sharing
abstract interpretation
test generation
regular expressions
principal agent
real world
feature space
decision trees
knowledge base