Review
Open access
2026
SVACS: Smart Contract Vulnerability Analysis via Control Flow Semantics
This paper proposes SVACS, a bytecode-based analysis framework to identify multiple co-existing vulnerabilities based on SWC registry to align with industry-standard security guidelines and assist security reviewers to ensure smart contract security.
Ankur Jain, Abhishar Anand, S. Tripathy
· IEEE Access · 0 citations