Alternatives and similar repositories for sierra-analyzer

Users that are interested in sierra-analyzer are comparing it to the libraries listed below

• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated 2 years ago
• crytic / cloudexec
  A general purpose foundation for cloud-based fuzzing and mutation testing jobs
  ☆19Updated 11 months ago
• Shungy / evm-regex
  A regex virtual machine for full featured pattern matching on Ethereum Virtual Machine.
  ☆20Updated 6 months ago
• avnu-labs / semgrep-cairo-rules
  Semgrep rules for Cairo 1.0
  ☆17Updated last year
• 0xkarmacoma / foundry-playground
  one off scripts and contracts
  ☆18Updated 2 years ago
• chyanju / __archived__Medjai
  A Symbolic Execution Tool for Cairo
  ☆16Updated 2 years ago
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated last year
• nullity00 / maci-noir
  Writing MACI circuits in Noir
  ☆16Updated last year
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆34Updated 2 months ago
• minaminao / tokyo-payload
  An EVM Jump-Oriented Programming Puzzle in SECCON CTF 2023 Quals
  ☆28Updated last year
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆80Updated 2 years ago
• quantstamp / halo2-analyzer
  SMT 2023 Submission; license pending
  ☆55Updated 7 months ago
• 0xricksanchez / hantu
  An educational toy fuzzer with big dreams
  ☆12Updated last year
• chainlight-io / zksync-era-write-query-poc
  PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits
  ☆37Updated 4 months ago
• holiman / gofuzz-shim
  Tooling to shim libfuzzer <-> golang native fuzzing
  ☆13Updated last year
• wtdcode / verite
  Smart Contract Fuzzing Towards Profitable Vulnerabilities
  ☆41Updated 4 months ago
• FuzzingLabs / sui-fuzzer
  Sui smart contract fuzzer
  ☆40Updated last year
• flashbots / rbuilder-operator
  Specific implementation (based on the public rbuilder) of a block builder to be used on a TDX context.
  ☆17Updated last week
• ipsilon / eof
  Validation code for the EOF specification
  ☆56Updated last month
• davebryson / revmup
  A smart-contract api and client for revm
  ☆18Updated last year
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆31Updated last year
• WilfredTA / ser
  Symbolic EVM in Rust (WIP)
  ☆86Updated last year
• FuzzingLabs / cairo-fuzzer
  Cairo/Starknet smart contract fuzzer
  ☆126Updated 2 months ago
• ChainSecurity / TSTORE-Low-Gas-Reentrancy
  Novel reentrancy attack on Ethereum Smart Contracts using Transient Storage and little gas
  ☆15Updated last year
• AmadiMichael / ConstantGasFunctionDispatcher
  An efficient constant gas function dispatch pattern for solidity external libraries.
  ☆15Updated last year
• SorellaLabs / pade
  Macros + Primitives for PADE format
  ☆29Updated 3 weeks ago
• rappie / echidna-curve-reentrancy-hack
  Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
  ☆28Updated 11 months ago
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆51Updated 2 years ago
• franck44 / evm-dis
  An EVM bytecode disassembler/assembler
  ☆50Updated 6 months ago
• chainlight-io / unwrap_let
  A Rust macro for quickly unwrapping a refutable pattern.
  ☆11Updated last year