Login / Signup
SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis.
Zeqin Liao
Yuhong Nan
Henglong Liang
Sicheng Hao
Juan Zhai
Jiajing Wu
Zibin Zheng
Published in:
CoRR (2024)
Keyphrases
</>
fine grained
static analysis
coarse grained
dynamic analysis
source code
access control
java card
tightly coupled
symbolic execution
regular expressions
test suite
abstract interpretation
test generation
countermeasures
parallel algorithm
pattern matching
security mechanisms
natural language processing