☆42Nov 14, 2024Updated last year
Alternatives and similar repositories for SmartInv
Users that are interested in SmartInv are comparing it to the libraries listed below
Sorting:
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆78Mar 25, 2025Updated 11 months ago
- ☆27May 27, 2023Updated 2 years ago
- This repository is dedicated to the smart contract auditing using our FTSmartAudit tool☆29Feb 17, 2026Updated last week
- ICSE'24 GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis☆94Dec 11, 2024Updated last year
- SmartAuditFlow is an AI-powered framework for automated smart contract security auditing. It combines Large Language Models (LLMs) with d…☆15Dec 19, 2025Updated 2 months ago
- Analyzer for Uniswap v4 Hooks☆11Mar 4, 2024Updated last year
- LLM for solidity smart contract automated program repair☆18Mar 5, 2025Updated 11 months ago
- An open benchmark for evaluating smart contracts verification tools.☆16Oct 5, 2025Updated 4 months ago
- Scanning Result of MetaScan's AI GPTScan Engine for 72 Web3Bugs Projects under 10 Logic Vuln Types☆14Aug 8, 2023Updated 2 years ago
- A tool to automatically patch vulnerable Ethereum smart contracts (RAID 2022).☆27Nov 4, 2022Updated 3 years ago
- ☆63Jul 11, 2024Updated last year
- ☆16Jun 21, 2024Updated last year
- LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.☆55Aug 17, 2025Updated 6 months ago
- Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.☆617Feb 18, 2026Updated last week
- Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)☆157Nov 24, 2025Updated 3 months ago
- SB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate th…☆131Jun 16, 2024Updated last year
- A collection of papers and detection tools related to Smart Contract Auditing.☆22Sep 15, 2024Updated last year
- ☆37Feb 21, 2026Updated last week
- ☆27Nov 5, 2025Updated 3 months ago
- A binary lifter and analysis framework for Ethereum smart contracts☆357Feb 5, 2026Updated 3 weeks ago
- This repository contains 47,398 smart contracts extracted from the Ethereum network.☆194Jun 3, 2020Updated 5 years ago
- Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts☆21May 11, 2024Updated last year
- ☆24Jan 6, 2025Updated last year
- Large Language Model-Powered Smart Contract Vulnerability Detection: New Perspectives (TPS23)☆111Jun 18, 2024Updated last year
- Attacker Contract Identifier Through Static Dataflow Analysis☆26Oct 15, 2025Updated 4 months ago
- Implementation of perdersen commitments in node.js and solidity☆24Apr 16, 2018Updated 7 years ago
- A symbolic execution engine for EVM smart contract binaries.☆118Dec 2, 2025Updated 2 months ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- a safety verifier for Solidity smart contracts☆96Jan 17, 2023Updated 3 years ago
- ☆102Mar 24, 2022Updated 3 years ago
- Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the sol…☆69Dec 9, 2025Updated 2 months ago
- 一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。☆35Nov 22, 2023Updated 2 years ago
- A framework to detect attacks and trace stolen assets across Ethereum (FC 2021).☆32Jul 17, 2025Updated 7 months ago
- The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …☆41Jul 7, 2025Updated 7 months ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- chainlink demos☆12Apr 9, 2018Updated 7 years ago
- An automated smart contract vulnerability repair tool☆12Aug 15, 2023Updated 2 years ago
- This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. …☆53Oct 25, 2024Updated last year
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆102Oct 11, 2023Updated 2 years ago