Copertina

Automated Invariant Generation for Solidity Smart Contracts

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Liu, Ye, Zhang, Chengxuan, Li., Yi
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Demystifying Invariant Effectiveness for Securing Smart Contracts
di: Chen, Zhiyang, et al.
Pubblicazione: (2024)

SCPatcher: Automated Smart Contract Code Repair via Retrieval-Augmented Generation and Knowledge Graph
di: Li, Xiaoqi, et al.
Pubblicazione: (2026)

Demystifying the Characteristics for Smart Contract Upgrades
di: Liu, Ye, et al.
Pubblicazione: (2024)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
di: Liu, Ye, et al.
Pubblicazione: (2024)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
di: Chen, Zhiyang, et al.
Pubblicazione: (2024)

Automating Comment Generation for Smart Contract from Bytecode
di: Xiang, Jianhang, et al.
Pubblicazione: (2025)

Enhancing The Open Network: Definition and Automated Detection of Smart Contract Defects
di: Song, Hao, et al.
Pubblicazione: (2025)

Automated Vulnerability Injection in Solidity Smart Contracts: A Mutation-Based Approach for Benchmark Development
di: Iuliano, Gerardo, et al.
Pubblicazione: (2025)

Bridging Solidity Evolution Gaps: An LLM-Enhanced Approach for Smart Contract Compilation Error Resolution
di: Ye, Likai, et al.
Pubblicazione: (2025)

SolContractEval: A Benchmark for Evaluating Contract-Level Solidity Code Generation
di: Ye, Zhifan, et al.
Pubblicazione: (2025)

SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
di: Su, Jianzhong, et al.
Pubblicazione: (2024)

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair
di: Liu, Christian Gang, et al.
Pubblicazione: (2025)

SCLA: Automated Smart Contract Summarization via LLMs and Control Flow Prompt
di: Li, Xiaoqi, et al.
Pubblicazione: (2024)

Do Automated Fixes Truly Mitigate Smart Contract Exploits?
di: Bobadilla, Sofia, et al.
Pubblicazione: (2025)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
di: Liu, Ye, et al.
Pubblicazione: (2024)

PrAIoritize: Automated Early Prediction and Prioritization of Vulnerabilities in Smart Contracts
di: Soud, Majd, et al.
Pubblicazione: (2023)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
di: Wang, Sally Junsong, et al.
Pubblicazione: (2024)

SoliDiffy: AST Differencing for Solidity Smart Contracts
di: Eshghie, Mojtaba, et al.
Pubblicazione: (2024)

V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
di: Zhang, Jingwen, et al.
Pubblicazione: (2026)

Generating Move Smart Contracts based on Concepts
di: Karanjai, Rabimba, et al.
Pubblicazione: (2024)

FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
di: Eshghie, Mojtaba, et al.
Pubblicazione: (2025)

Validation Framework for E-Contract and Smart Contract
di: Godboley, Sangharatna, et al.
Pubblicazione: (2025)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
di: Mbodji, Fatou Ndiaye, et al.
Pubblicazione: (2024)

Smart Contract Fuzzing Towards Profitable Vulnerabilities
di: Kong, Ziqiao, et al.
Pubblicazione: (2025)

Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning
di: Liu, Ye, et al.
Pubblicazione: (2025)

Definition and Detection of Centralization Defects in Smart Contracts
di: Lin, Zewei, et al.
Pubblicazione: (2024)

StateGuard: Detecting State Derailment Defects in Decentralized Exchange Smart Contract
di: Li, Zongwei, et al.
Pubblicazione: (2024)

Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
di: Wang, Zexu, et al.
Pubblicazione: (2024)

CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts
di: Lin, Zewei, et al.
Pubblicazione: (2024)

SmartML: Towards a Modeling Language for Smart Contracts
di: Veschetti, Adele, et al.
Pubblicazione: (2024)

Effective Targeted Testing of Smart Contracts
di: Fooladgar, Mahdi, et al.
Pubblicazione: (2024)

A Web-Based Environment for the Specification and Generation of Smart Legal Contracts
di: Meloche, Regan, et al.
Pubblicazione: (2025)

Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
di: Li, Lantian, et al.
Pubblicazione: (2025)

SmartIntentNN: Towards Smart Contract Intent Detection
di: Huang, Youwei, et al.
Pubblicazione: (2022)

Deep Smart Contract Intent Detection
di: Huang, Youwei, et al.
Pubblicazione: (2022)

DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects
di: Zheng, Zibin, et al.
Pubblicazione: (2023)

Towards Automated Smart Contract Generation: Evaluation, Benchmarking, and Retrieval-Augmented Repair
di: Chen, Zaoyu, et al.
Pubblicazione: (2025)

Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
di: Wu, Hao, et al.
Pubblicazione: (2025)

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

Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers
di: Wu, Shuohan, et al.
Pubblicazione: (2024)