FuzzingLabs / sierra-analyzerLinks
Sierra decompiler and analyzer
☆11Updated last month
Alternatives and similar repositories for sierra-analyzer
Users that are interested in sierra-analyzer are comparing it to the libraries listed below
Sorting:
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- Solidity ANTLR4 grammar Python parser☆13Updated 2 months ago
- A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.☆20Updated 5 months ago
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆19Updated 10 months ago
- Sui smart contract fuzzer☆37Updated last year
- EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️☆34Updated last month
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆37Updated 3 months ago
- Semgrep rules for Cairo 1.0☆17Updated last year
- Remote Attestation VErification☆32Updated 10 months ago
- Mutation testing tool for circom☆16Updated last year
- An EVM bytecode disassembler/assembler☆48Updated 5 months ago
- CTF Writeups☆36Updated last year
- StarkNet smart contract fuzzer☆78Updated 2 years ago
- Library for building symbolically executable stack-based virtual machines☆75Updated 2 years ago
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆28Updated 10 months ago
- An EVM Jump-Oriented Programming Puzzle in SECCON CTF 2023 Quals☆28Updated last year
- Proof of Concept for the "Zero Knowledge State Channel", a novel construction for increasing scalability while also enforcing privacy pre…☆13Updated 2 years ago
- A Symbolic Execution Tool for Cairo☆16Updated 2 years ago
- Validation code for the EOF specification☆56Updated last month
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆41Updated 3 months ago
- A framework for building sui based capture the flag challenges☆14Updated 2 weeks ago
- Automated verification of uniqueness property for ZKP circuits☆42Updated last year
- SMT 2023 Submission; license pending☆55Updated 6 months ago
- Framework for Solana CTF challenges☆62Updated last week
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- A curated list of resources on zkECDSA☆36Updated last year
- ☆12Updated 6 months ago
- Transaction fuzzer on steroids for the Ethereum Protocol☆14Updated 3 weeks ago
- Argus is a minimal, blazing fast contract storage introspection tool written in rust.☆13Updated 4 months ago
- Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.☆16Updated last week