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:
- A gentle, example-based guide to getting started with the Move prover.☆51Updated 3 years ago
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆104Updated 9 months ago
- CTF-like challenges of smart contracts☆62Updated 3 years ago
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆248Updated 11 months ago
- Cuda implementation of EVM bytecode executor☆115Updated last year
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆35Updated 4 months ago
- Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.☆89Updated 3 years ago
- Barebones Solidity smart contract fuzzer☆96Updated 3 years ago
- Solidity compiler tooling by @NomicFoundation☆275Updated last week
- 🧠 A scriptable semantic grep utility for solidity☆144Updated last year
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆236Updated 6 months ago
- Web3 Security Toolbox☆73Updated last year
- 🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.☆218Updated 3 weeks ago
- Public infra related to hosting Paradigm CTF☆114Updated last year
- evm inception: the evm inside the evm via yul and solidity☆227Updated 2 years ago
- ☆149Updated 5 months ago
- LLVM-based Solidity compiler.☆170Updated last week
- Smart contract debugging data format – Standards development working group☆72Updated 6 months ago
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Updated 2 years ago
- Benchmark Generator for Smart-Contract Fuzzers☆140Updated 2 months ago
- DeFiVulnLabsCosmWasm☆51Updated 2 years ago
- CTF Writeups☆36Updated 2 years ago
- A lightweight ethereum evm bytecode instruction registry, disassembler and evmcode manipulation library☆59Updated 2 years ago
- Ethereum Virtual Machine implementation☆160Updated 3 years ago
- EDB: The Ethereum Project Debugger☆346Updated 2 weeks ago
- EVM Execution Hooks.☆235Updated last week
- Rust client library for Flashbots MEV-share☆202Updated 7 months ago
- ☆120Updated 8 months ago
- Aave's V3 Protocol on Aptos☆23Updated 2 weeks ago
- Ranger is an ethereum p2p client capable of interacting with peers without a full node☆202Updated 2 years ago