Buchumschlag

SoliDiffy: AST Differencing for Solidity Smart Contracts

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Eshghie, Mojtaba, Åryd, Viktor, Artho, Cyrille, Monperrus, Martin
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts
von: Eshghie, Mojtaba, et al.
Veröffentlicht: (2023)

Hyperparameter Optimization for AST Differencing
von: Martinez, Matias, et al.
Veröffentlicht: (2020)

DISL: Fueling Research with A Large Dataset of Solidity Smart Contracts
von: Morello, Gabriele, et al.
Veröffentlicht: (2024)

FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
von: Eshghie, Mojtaba, et al.
Veröffentlicht: (2025)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
von: Liu, Ye, et al.
Veröffentlicht: (2024)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
von: Silva, André, et al.
Veröffentlicht: (2025)

SmartInv: Multimodal Learning for Smart Contract Invariant Inference
von: Wang, Sally Junsong, et al.
Veröffentlicht: (2024)

Repairing Language Model Pipelines by Meta Self-Refining Competing Constraints at Runtime
von: Eshghie, Mojtaba
Veröffentlicht: (2025)

Demystifying Invariant Effectiveness for Securing Smart Contracts
von: Chen, Zhiyang, et al.
Veröffentlicht: (2024)

Detecting Buggy Contracts via Smart Testing
von: Wang, Sally Junsong, et al.
Veröffentlicht: (2024)

Do Automated Fixes Truly Mitigate Smart Contract Exploits?
von: Bobadilla, Sofia, et al.
Veröffentlicht: (2025)

Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
von: Kong, Ziqiao, et al.
Veröffentlicht: (2025)

On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
von: Jin, Monica, et al.
Veröffentlicht: (2025)

YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group
von: Wang, Yayi, et al.
Veröffentlicht: (2026)

Correctness Witnesses with Function Contracts
von: Heizmann, Matthias, et al.
Veröffentlicht: (2025)

MLCPD: A Unified Multi-Language Code Parsing Dataset with Universal AST Schema
von: Gajjar, Jugal, et al.
Veröffentlicht: (2025)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
von: Chen, Zhiyang, et al.
Veröffentlicht: (2024)

Verified invertible lexer using regular expressions and DFAs
von: Chassot, Samuel, et al.
Veröffentlicht: (2024)

Verifying a Realistic Mutable Hash Table
von: Chassot, Samuel, et al.
Veröffentlicht: (2021)

Micro-Patterns in Solidity Code
von: Ruschioni, Luca, et al.
Veröffentlicht: (2025)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
von: Amilon, Jesper, et al.
Veröffentlicht: (2026)

Strengthening Solidity Invariant Generation: From Post- to Pre-Deployment
von: Kaushik, Kartik, et al.
Veröffentlicht: (2024)

Formally Verifiable Generated ASN.1/ACN Encoders and Decoders: A Case Study
von: Bucev, Mario, et al.
Veröffentlicht: (2024)

Blockly2Hooks: Smart Contracts for Everyone with the XRP Ledger and Google Blockly
von: Trestioreanu, Lucian, et al.
Veröffentlicht: (2025)

PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts
von: Andersson, Vivi, et al.
Veröffentlicht: (2025)

Beyond Per-Thread Lock Sets: Multi-Thread Critical Sections and Dynamic Deadlock Prediction
von: Sulzmann, Martin
Veröffentlicht: (2025)

Contract Usage and Evolution in Android Mobile Applications
von: Ferreira, David R., et al.
Veröffentlicht: (2024)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
von: Richter, Cedric, et al.
Veröffentlicht: (2025)

SmartEval: A Benchmark for Evaluating LLM-Generated Smart Contracts from Natural Language Specifications
von: Goel, Abhinav, et al.
Veröffentlicht: (2026)

Automated Invariant Generation for Solidity Smart Contracts
von: Liu, Ye, et al.
Veröffentlicht: (2024)

PhantomRun: Auto Repair of Compilation Errors in Embedded Open Source Software
von: Fu, Han, et al.
Veröffentlicht: (2026)

Where did we fail? -- Reproducing build failures in embedded open source software
von: Fu, Han, et al.
Veröffentlicht: (2026)

LLM-Based Repair of Static Nullability Errors
von: Karimipour, Nima, et al.
Veröffentlicht: (2025)

PoTo: A Hybrid Andersen's Points-to Analysis for Python
von: Rak-amnouykit, Ingkarat, et al.
Veröffentlicht: (2024)

Verification Modulo Tested Library Contracts
von: Uppar, Abhishek, et al.
Veröffentlicht: (2026)

Bootstrapping Coding Agents: The Specification Is the Program
von: Monperrus, Martin
Veröffentlicht: (2026)

Software Supply Chain Security of Web3
von: Monperrus, Martin
Veröffentlicht: (2025)

Stale Profile Matching
von: Ayupov, Amir, et al.
Veröffentlicht: (2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
von: Xie, Xiaoheng, et al.
Veröffentlicht: (2024)

Towards a Transpiler for C/C++ to Safer Rust
von: Tripuramallu, Dhiren, et al.
Veröffentlicht: (2024)