Imagen de Portada

SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Xia, Shihao, He, Mengting, Shao, Shuai, Yu, Tingting, Zhang, Yiying, Yoshida, Nobuko, Song, Linhai
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

AuditGPT: Auditing Smart Contracts with ChatGPT
por: Xia, Shihao, et al.
Publicado: (2024)

SC-Bench: A Large-Scale Dataset for Smart Contract Auditing
por: Xia, Shihao, et al.
Publicado: (2024)

How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs
por: He, Mengting, et al.
Publicado: (2024)

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
por: He, Mengting, et al.
Publicado: (2026)

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
por: Xia, Shihao, et al.
Publicado: (2026)

Adaptive Plan-Execute Framework for Smart Contract Security Auditing
por: Wei, Zhiyuan, et al.
Publicado: (2025)

SseRex: Practical Symbolic Execution of Solana Smart Contracts
por: Cloosters, Tobias, et al.
Publicado: (2026)

Molecular basis of mammalian cell invasion by Trypanosoma cruzi
por: Nobuko Yoshida
Publicado: (2006)

FlawCheck: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution
por: Naixiang Gou, et al.
Publicado: (2024)

NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
por: Chen, Jiachi, et al.
Publicado: (2025)

Enhancing IR-based Fault Localization using Large Language Models
por: Shao, Shuai, et al.
Publicado: (2024)

Large Language Model based Smart Contract Auditing with LLMBugScanner
por: Yuan, Yining, et al.
Publicado: (2025)

Evaluation of ChatGPT's Smart Contract Auditing Capabilities Based on Chain of Thought
por: Du, Yuying, et al.
Publicado: (2024)

Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications
por: Ma, Wei, et al.
Publicado: (2024)

NeuroSymAD: A Neuro-Symbolic Framework for Interpretable Alzheimer's Disease Diagnosis
por: He, Yexiao, et al.
Publicado: (2025)

GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
por: Sun, Yuqiang, et al.
Publicado: (2023)

An Effective and Cost-Efficient Agentic Framework for Ethereum Smart Contract Auditing
por: Hu, Xiaohui, et al.
Publicado: (2026)

DTVM: Revolutionizing Smart Contract Execution with Determinism and Compatibility
por: Zhou, Wei, et al.
Publicado: (2025)

LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
por: Wei, Zhiyuan, et al.
Publicado: (2024)

A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter
por: Bouafif, Mohamed Salah, et al.
Publicado: (2024)

Unreliability in Practical Subclasses of Communicating Systems
por: Suresh, Amrita, et al.
Publicado: (2025)

Hybrid Multiparty Session Types -- Full Version
por: Gheri, Lorenzo, et al.
Publicado: (2023)

Generating Local Shields for Decentralised Partially Observable Markov Decision Processes
por: Yang, Haoran, et al.
Publicado: (2026)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses (full version)
por: Udomsrirungruang, Thien, et al.
Publicado: (2024)

Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report)
por: Peters, Kirstin, et al.
Publicado: (2024)

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses
por: Udomsrirungruang, Thien, et al.
Publicado: (2024)

Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types
por: Udomsrirungruang, Thien, et al.
Publicado: (2024)

Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
por: Giunti, Marco, et al.
Publicado: (2025)

Branching Out: Existential External Choice in Effpi
por: Robinson, Benjamin, et al.
Publicado: (2026)

Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
por: Martin, Vassor, et al.
Publicado: (2024)

Knowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge Summarization
por: Kong, Ziqiao, et al.
Publicado: (2026)

Decompiling Smart Contracts with a Large Language Model
por: David, Isaac, et al.
Publicado: (2025)

Combining GPT and Code-Based Similarity Checking for Effective Smart Contract Vulnerability Detection
por: Zhang, Jango
Publicado: (2024)

Enhancing Smart Contract Security Analysis with Execution Property Graphs
por: Qin, Kaihua, et al.
Publicado: (2023)

When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?
por: Chen, Chong, et al.
Publicado: (2023)

SmartLLM: Smart Contract Auditing using Custom Generative AI
por: Kevin, Jun, et al.
Publicado: (2025)

Array-Carrying Symbolic Execution for Function Contract Generation
por: Lu, Weijie, et al.
Publicado: (2026)

NL2GenSym: Natural Language to Generative Symbolic Rules for SOAR Cognitive Architecture via Large Language Models
por: Yuan, Fang, et al.
Publicado: (2025)

SoK: Large Language Model Copyright Auditing via Fingerprinting
por: Shao, Shuo, et al.
Publicado: (2025)

Large Language Model Powered Symbolic Execution
por: Li, Yihe, et al.
Publicado: (2025)