blocksecteam / rustle
A static analyzer for NEAR smart contract in Rust
☆105Updated last year
Alternatives and similar repositories for rustle:
Users that are interested in rustle are comparing it to the libraries listed below
- CTF-like challenges of smart contracts☆63Updated 2 years ago
- DeFiVulnLabsCosmWasm☆49Updated last year
- A smart contract security search utility☆73Updated 2 months ago
- like htop for Ethereum and other EVM chains☆144Updated last year
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Updated last year
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆226Updated last year
- evm inception: the evm inside the evm via yul and solidity☆227Updated last year
- A gentle, example-based guide to getting started with the Move prover.☆43Updated 2 years ago
- 🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.☆211Updated this week
- A list of resources related to scaling with rollups.☆60Updated 10 months ago
- Public infra related to hosting Paradigm CTF☆109Updated 11 months ago
- Pre-built security properties for commonly forked DeFi protocols☆192Updated last year
- Web3 Security Toolbox☆73Updated 10 months ago
- Reveal unused code of a live smart contract by collecting coverage from historical transactions.☆57Updated 10 months ago
- Solidity compiler tooling by @NomicFoundation☆250Updated this week
- ☆58Updated 3 months ago
- Template for quickly getting started with developing Rust applications that leverage Foundry for EVM smart contract development☆236Updated 5 months ago
- ☆143Updated 4 months ago
- A modular tool to track anything on the EVM chain, including real-time tracking and alerts.☆125Updated last month
- Girl Friend <- Generate Foundry Fork Test from Attack Transaction☆116Updated 6 months ago
- ☆70Updated last year
- 🧠 A scriptable semantic grep utility for solidity☆145Updated 6 months ago
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆76Updated 2 months ago
- This part of a small series of medium post dedicated to motivate myself while learning how the evm works.☆89Updated 5 months ago
- ☆161Updated 2 years ago
- Generate invariants for Foundry projects with LLM☆95Updated 6 months ago
- ☆45Updated 4 months ago
- Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.☆85Updated 2 years ago
- ☆37Updated 3 months ago
- Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)☆104Updated last year