SoliDiffy: AST-Based Code Differencing Tool for Solidity Smart Contracts
☆21Sep 19, 2025Updated last year
Alternatives and similar repositories for SoliDiffy
Users that are interested in SoliDiffy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The runtime monitoring tool for smart contracts business logic.☆19Dec 15, 2024Updated last year
- A Comprehensive Collection of DCR Graph Model of High-Level Design Patterns in Smart Contracts☆12Feb 4, 2025Updated last year
- Tool of xfuzz, machine learning guided cross-contract fuzzing☆11Aug 21, 2022Updated 4 years ago
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆16Aug 30, 2025Updated last year
- MANDO-GURU, a deep graph learning-based tool, aims to accurately detect vulnerabilities in smart contract source code at both coarse-grai…☆29Feb 28, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- LLM for solidity smart contract automated program repair☆17Mar 5, 2025Updated last year
- A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector☆32Jan 26, 2023Updated 3 years ago
- Models and Tool Kits for Web3 Software Engineering☆13Mar 6, 2026Updated 8 months ago
- Download solidity source code from etherscan verified smart contract via inputing address or url☆10May 9, 2022Updated 4 years ago
- ☆25Jun 21, 2022Updated 4 years ago
- A benchmarking platform for Solidity fuzzers☆12Jun 24, 2024Updated 2 years ago
- A simple bat script to activate windows !!!☆10Aug 12, 2023Updated 3 years ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆27Nov 4, 2022Updated 4 years ago
- Stremio Catalog Addon that provides information about the latest anime seasons based on Anilist's open data☆14Updated this week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆13Jan 22, 2025Updated last year
- OWASP Smart Contract Securty Verification Standard☆20Aug 20, 2025Updated last year
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆84Mar 25, 2025Updated last year
- ☆12Feb 16, 2024Updated 2 years ago
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Oct 26, 2026Updated 2 weeks ago
- LLMs that break your binaries apart. MCP for angr framework.☆10Dec 3, 2025Updated 11 months ago
- Analyzer for Uniswap v4 Hooks☆12Mar 4, 2024Updated 2 years ago
- ☆29Dec 28, 2024Updated last year
- Python infrastructure to train paths selectors for symbolic execution engines.☆16Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆16Apr 25, 2023Updated 3 years ago
- ☆11Apr 22, 2026Updated 6 months ago
- [ICSE'26] FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction☆43Nov 3, 2026Updated last week
- ☆11Sep 23, 2024Updated 2 years ago
- An alternative calldata encoding scheme for Solidity contracts.☆12Dec 14, 2023Updated 2 years ago
- Exploitation of security vulnerabilities found in poorly designed token-weighted governance protocols, using AAVE flash loans to gain unf…☆12Sep 30, 2024Updated 2 years ago
- Bin2Summary: Beyond Function Name Prediction in Stripped Binaries with Functionality-specific Code Embeddings☆10Jul 21, 2024Updated 2 years ago
- junit tools contest infrastructure☆13Feb 9, 2024Updated 2 years ago
- Runtime verification tool for Solidity smart contracts.☆34Mar 29, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆186Oct 2, 2025Updated last year
- An automated smart contract vulnerability repair tool☆13Aug 15, 2023Updated 3 years ago
- ☆13May 27, 2019Updated 7 years ago
- scientific dataset of smart contract exploits see paper http://arxiv.org/pdf/2501.04600☆14Oct 26, 2025Updated last year
- S_Dbw validity index. Adapted for DBSCAN (and similar)☆12Mar 27, 2019Updated 7 years ago
- ZK Theorem Proving☆10Aug 11, 2024Updated 2 years ago
- Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.☆16Jan 27, 2025Updated last year
Are these results useful?