SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis.
Zeqin LiaoYuhong NanHenglong LiangSicheng HaoJuan ZhaiJiajing WuZibin ZhengPublished in: Proc. ACM Softw. Eng. (2024)
Keyphrases
- fine grained
- static analysis
- dynamic analysis
- coarse grained
- source code
- symbolic execution
- access control
- abstract interpretation
- java card
- tightly coupled
- test generation
- open source
- information security
- security mechanisms
- security issues
- test suite
- regular expressions
- improving web search
- data lineage
- real world
- co occurrence
- xml documents
- training data