Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models

Ştefan-Claudiu Susan, Andrei Arusoaie, Dorel Lucanu

The high rate of false alarms from static analysis tools and Large Language Models (LLMs) complicates vulnerability detection in Solidity Smart Contracts, demanding methods that ca…