blocksecteam / rustleLinks
A static analyzer for NEAR smart contract in Rust
☆110Updated 2 years ago
Alternatives and similar repositories for rustle
Users that are interested in rustle are comparing it to the libraries listed below
Sorting:
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆35Updated 5 months ago
- A gentle, example-based guide to getting started with the Move prover.☆51Updated 3 years ago
- ☆152Updated 6 months ago
- CTF-like challenges of smart contracts☆63Updated 3 years ago
- ZK proofs for responsible vulnerability disclosure on EVM.☆237Updated this week
- Rust client library for Flashbots MEV-share☆203Updated 8 months ago
- DeFiVulnLabsCosmWasm☆51Updated 2 years ago
- Web3 Security Toolbox☆73Updated last year
- evm inception: the evm inside the evm via yul and solidity☆227Updated 2 years ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Updated 2 years ago
- Solidity compiler tooling by @NomicFoundation☆277Updated this week
- Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.☆89Updated 3 years ago
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆104Updated 10 months ago
- This guide is crafted to assist both newcomers and seasoned developers in navigating the Optimism codebase with ease.☆81Updated 5 months ago
- CTF Writeups☆36Updated 2 years ago
- Barebones Solidity smart contract fuzzer☆96Updated 3 years ago
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆256Updated last week
- Solidity-Compiler Version Manager☆284Updated this week
- ☆120Updated 9 months ago
- 🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.☆218Updated this week
- EVM Execution Hooks.☆240Updated this week
- LLVM-based Solidity compiler.☆169Updated this week
- Aave's V3 Protocol on Aptos☆24Updated last week
- Cuda implementation of EVM bytecode executor☆116Updated last year
- ☆84Updated last year
- Ethereum Virtual Machine implementation☆161Updated 3 years ago
- Collection of ExEx examples built on Reth☆154Updated 2 months ago
- Finds matching solidity function signatures for a given 4 byte signature hash and arguments.☆113Updated 2 years ago
- Collection of Forta Bots for on-chain anomaly/threat detection☆121Updated this week
- 🧠 A scriptable semantic grep utility for solidity☆144Updated last year