NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Jiachi, Shao, Zhenzhe, Yang, Shuo, Shen, Yiming, Wang, Yanlin, Chen, Ting, Shan, Zhenyu, Zheng, Zibin
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2503.10041