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
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆35Updated 2 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
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆234Updated 4 months ago
- A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmaticall…☆99Updated 7 months ago
- CTF-like challenges of smart contracts☆62Updated 3 years ago
- Solidity compiler tooling by @NomicFoundation☆269Updated this week
- LLVM-based Solidity compiler.☆159Updated last week
- Web3 Security Toolbox☆73Updated last year
- evm inception: the evm inside the evm via yul and solidity☆228Updated 2 years ago
- Barebones Solidity smart contract fuzzer☆96Updated 3 years ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 3 months ago
- DeFiVulnLabsCosmWasm☆50Updated 2 years ago
- ☆149Updated 3 months ago
- JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.☆243Updated 9 months ago
- Rust client library for Flashbots MEV-share☆200Updated 5 months ago
- CTF Writeups☆36Updated last year
- Public infra related to hosting Paradigm CTF☆115Updated last year
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Updated 2 years ago
- 🧠 A scriptable semantic grep utility for solidity☆144Updated last year
- A smart contract security search utility☆74Updated 10 months ago
- ☆117Updated 6 months ago
- Lints based on the Sealevel Attacks☆45Updated 2 weeks ago
- Cuda implementation of EVM bytecode executor☆117Updated 10 months ago
- Using mutations to improve specs and test suites☆195Updated 5 months ago
- EVM Execution Hooks.☆227Updated last week
- A mutation testing tool for Solidity Smart Contracts☆82Updated 6 months ago
- ☆77Updated 3 weeks ago
- Smart contract debugging data format – Standards development working group☆71Updated 4 months ago
- Ethereum Virtual Machine implementation☆160Updated 3 years ago