MetaTrustLabs / falcon-metatrust
Metatrust fork of Slither Analyzer
☆77Updated 10 months ago
Alternatives and similar repositories for falcon-metatrust:
Users that are interested in falcon-metatrust are comparing it to the libraries listed below
- AI engine for smart contract audit☆211Updated this week
- A random Solidity program generator.☆54Updated last week
- Learn Move with examples☆95Updated 2 years ago
- DappReader: Your ultimate tool to decode and interact with smart contracts – the Postman of the Web3 era!☆90Updated 2 months ago
- Static Analyzer for Solidity base on Slither.☆30Updated last year
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆118Updated 7 months ago
- ☆81Updated this week
- Indexing three datasets for GPTScan☆56Updated 9 months ago
- Web3.0/Vyper based wargame☆98Updated 2 years ago
- Benchmark Generator for Smart-Contract Fuzzers☆133Updated 3 months ago
- 旨在交流学习区块链技术,记录智能合约开发应用与相关安全练习的仓库🚀☆261Updated 9 months ago
- A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).☆92Updated last year
- calculate account portfolio & holding position for uniswap v3☆28Updated 11 months ago
- python tool to transpile a tf.keras model into a circom circuit☆251Updated last year
- Automated Vulnerability Detection for Solana Smart Contracts☆24Updated 10 months ago
- A symbolic execution engine for EVM smart contract binaries.☆104Updated last month
- An all-in-one Ethereum SDK and command-line tool written in python.☆79Updated 5 months ago
- A community-maintained curated list of awesome resources of RISC Zero.☆77Updated 10 months ago
- Fine-tuning GPT for Smart Contract Auditing☆157Updated last year
- ☆30Updated 8 months ago
- A framework to detect attacks and trace stolen assets across Ethereum (FC 2021).☆33Updated 2 years ago
- ☆64Updated 3 months ago
- LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.☆24Updated last month
- 🍋 An open dataset containing smart contract audit issues from various sources.☆216Updated last year
- Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS Accepted).☆47Updated 2 years ago
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆82Updated 2 weeks ago
- Generate invariants for Foundry projects with LLM☆98Updated 7 months ago
- Smart contract front-running vulnerability benchmark☆22Updated last year
- ☆98Updated 2 years ago
- PumpFun Quantitative Trading Strategies project! This TypeScript-based repository contains a collection of algorithms designed to explore…☆36Updated 4 months ago