9 papers
Beyond Detection: Agentic Attack Synthesis and Simulation for Smart Contracts
Xianhao Zhang, Jing Sun, Zijian Zhang +4
Smart contract vulnerabilities pose severe financial risks, yet existing security tools largely stop at vulnerability detection, offering limited support for explaining whether rep…
FTSmartAudit: A Knowledge Distillation-Enhanced Framework for Automated Smart Contract Auditing Using Fine-Tuned LLMs
Zhiyuan Wei, Jing Sun, Zijian Zhang +2
The rapid growth of blockchain technology has driven the widespread adoption of smart contracts. However, their inherent vulnerabilities have led to significant financial losses. T…
Distilling Lightweight Language Models for C/C++ Vulnerabilities
Zhiyuan Wei, Xiaoxuan Yang, Jing Sun +1
The increasing complexity of modern software systems exacerbates the prevalence of security vulnerabilities, posing risks of severe breaches and substantial economic loss. Conseque…
Adaptive Plan-Execute Framework for Smart Contract Security Auditing
Zhiyuan Wei, Jing Sun, Zijian Zhang +2
Large Language Models (LLMs) have shown great promise in code analysis and auditing; however, they still struggle with hallucinations and limited context-aware reasoning. We introd…
MaCTG: Multi-Agent Collaborative Thought Graph for Automatic Programming
Zixiao Zhao, Jing Sun, Zhe Hou +4
With the rapid advancement of Large Language Models (LLMs), LLM-based approaches have demonstrated strong problem-solving capabilities across various domains. However, in automatic…
A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts
Zhiyuan Wei, Xianhao Zhang, Jing Sun +2
Blockchain smart contracts have emerged as a transformative force in the digital realm, spawning a diverse range of compelling applications. Since solidity smart contracts across v…