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
- CTF-like challenges of smart contracts☆62Updated 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
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆35Updated 5 months ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆236Updated 6 months ago
- Solidity compiler tooling by @NomicFoundation☆275Updated last week
- 🧠 A scriptable semantic grep utility for solidity☆144Updated last year
- Web3 Security Toolbox☆73Updated last year
- Solidity 0.8.X AST parsing and analysis in Rust.☆78Updated 2 years ago
- Barebones Solidity smart contract fuzzer☆96Updated 3 years ago
- LLVM-based Solidity compiler.☆169Updated this week
- DeFiVulnLabsCosmWasm☆51Updated 2 years ago
- evm inception: the evm inside the evm via yul and solidity☆227Updated 2 years ago
- Aubrium is a constant product AMM (like Uniswap V2) built in Move on Sui and Aptos for swapping coins.☆89Updated 3 years ago
- Benchmark Generator for Smart-Contract Fuzzers☆140Updated 3 months ago
- ☆150Updated 6 months ago
- ☆120Updated 9 months ago
- Lints based on the Sealevel Attacks☆46Updated this week
- CTF Writeups☆36Updated 2 years ago
- ☆84Updated 11 months ago
- Numen Cyber Smart Contract CTF☆47Updated 2 years ago
- Solidity-Compiler Version Manager☆281Updated 2 weeks ago
- A smart contract security search utility☆76Updated last year
- Hunt for common bad practices in Solidity smart contracts !☆123Updated 2 years ago
- My solutions to https://ctf.paradigm.xyz/☆62Updated 3 years ago
- The most advanced solidity library for merkle (multi) proof verification of different kinds of merkle trees☆194Updated 3 weeks ago
- Collection of Forta Bots for on-chain anomaly/threat detection☆119Updated 2 weeks ago
- Ranger is an ethereum p2p client capable of interacting with peers without a full node☆202Updated 2 years ago
- ☆164Updated 3 years ago
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 6 months ago