Semantics-Based Static Vulnerability Detection in Solidity Using Abstract Interpretation
M Kushwaha, A Mukherjee, A Pandey… - … Conference on Information …, 2025 - Springer
This paper introduces a novel semantics-based static analysis approach for Solidity,
leveraging the Abstract Interpretation theory to enhance Ethereum smart contract …
leveraging the Abstract Interpretation theory to enhance Ethereum smart contract …
IntTracer: Sanitization-aware IO2BO Vulnerability Detection across Codebases
X Chen - Proceedings of the 2024 IEEE/ACM 46th International …, 2024 - dl.acm.org
Integer Overflow to Buffer Overflow (IO2BO) vulnerability represents a common vulnerability
pattern in system software and can be detected by various program analysis methods …
pattern in system software and can be detected by various program analysis methods …