NeuroSCA: Neuro-Symbolic Constraint Abstraction for Smart Contract Hybrid Fuzzing
Haochen Liang, Jiawei Chen, Hideya Ochiai

TL;DR
NeuroSCA enhances hybrid fuzzing for smart contracts by integrating an LLM-based semantic abstraction layer, improving efficiency and bug detection in complex real-world contracts without sacrificing performance on simpler cases.
Contribution
It introduces NeuroSCA, a novel framework that uses an LLM to selectively abstract constraints, reducing pollution and improving fuzzing effectiveness for smart contract vulnerability discovery.
Findings
Speeds up solving on polluted paths
Increases coverage and bug-finding rates
Maintains efficiency on easy contracts
Abstract
Hybrid fuzzing combines greybox fuzzing's throughput with the precision of symbolic execution to uncover deep smart contract vulnerabilities. However, its effectiveness is often limited by constraint pollution: in real world contracts, path conditions pick up semantic noise from global state and defensive checks that are syntactically intertwined with, but semantically peripheral to, the target branch, causing SMT timeouts. We propose NeuroSCA (Neuro-Symbolic Constraint Abstraction), a lightweight framework that selectively inserts a Large Language Model (LLM) as a semantic constraint abstraction layer. NeuroSCA uses the LLM to identify a small core of goal-relevant constraints, solves only this abstraction with an SMT solver, and validates models via concrete execution in a verifier-in-the-loop refinement mechanism that reintroduces any missed constraints and preserves soundness.…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBlockchain Technology Applications and Security · Ethics and Social Impacts of AI · Adversarial Robustness in Machine Learning
