Alternatives and similar repositories for hantu:

Users that are interested in hantu are comparing it to the libraries listed below

• crytic / cloudexec
  A general purpose foundation for cloud-based fuzzing and mutation testing jobs
  ☆19Updated 8 months ago
• theori-io / web3-publications
  Collection of Web3 Audits and Publications by ChainLight of Theori
  ☆13Updated last year
• otter-sec / sol-ctf-framework
  Framework for Solana CTF challenges
  ☆60Updated 2 years ago
• elManto / LLVMPassesForSecurity
  Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering
  ☆27Updated 2 years ago
• novafacing / practical-fuzzing
  Practical fuzzing tutorials and training
  ☆31Updated 8 months ago
• ethpwn / ethpwn
  ethpwn - the Swiss Army Knife for Smart Contract Hacking
  ☆47Updated 4 months ago
• iczc / rwctf-5th-realwrap
  RealWorld CTF 5th realwrap challenge
  ☆18Updated last year
• wtdcode / verite
  Smart Contract Fuzzing Towards Profitable Vulnerabilities
  ☆35Updated last month
• FuzzingLabs / sierra-analyzer
  Sierra decompiler and analyzer
  ☆11Updated last month
• FuzzingLabs / sui-fuzzer
  Sui smart contract fuzzer
  ☆35Updated last year
• pr0cf5 / move-bytecode-llvm-compiler
  ☆35Updated 2 years ago
• riptl / binaryninja-ebpf
  Binary Ninja eBPF & Solana plugin (disasm & LLIL)
  ☆35Updated 2 years ago
• NaryaAI / cashio-exploit-workshop
  Write your own exploit for $CASH
  ☆27Updated 2 years ago
• WilfredTA / symbolic-stack-machines
  Library for building symbolically executable stack-based virtual machines
  ☆74Updated 2 years ago
• uni-due-syssec / efcf-framework
  EF/CF - Extremely Fast smart Contract Fuzzing
  ☆66Updated last year
• crytic / optik
  Optik is a set of symbolic execution tools that assist smart-contract fuzzers
  ☆93Updated 6 months ago
• iczc / rwctf-6th-safebridge
  ☆10Updated last year
• farazsth98 / real-world-ethereum-hacks-remastered
  ☆25Updated last year
• trailofbits / ManticoreUI
  The Manticore User Interface with plugins for Binary Ninja and Ghidra
  ☆73Updated last year
• farazsth98 / CTF
  CTF solve scripts. Some writeups on my blog, others on my gist. Check the challenge directories for links.
  ☆10Updated last year
• OffsideLabs / research
  ☆36Updated 9 months ago
• FuzzingLabs / cairo-fuzzer
  Cairo/Starknet smart contract fuzzer
  ☆122Updated last month
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• 0xurb / reth-exex-plugin
  A Reth Execution Extension (ExEx) with shared object (.so / .dylib) plugins
  ☆16Updated 5 months ago
• fuzzland / blazctf-2024
  ☆35Updated 6 months ago
• Zellic / weth
  Formal verification of WETH9.sol with Z3
  ☆57Updated 2 years ago
• gamozolabs / basic_mutator
  About as basic of a mutator as you can get, but it does the trick in most situations
  ☆61Updated 4 years ago
• crytic / tayt
  StarkNet smart contract fuzzer
  ☆78Updated 2 years ago
• ucsb-seclab / greed
  A symbolic execution engine for EVM smart contract binaries.
  ☆104Updated last month
• minaminao / tokyo-payload
  An EVM Jump-Oriented Programming Puzzle in SECCON CTF 2023 Quals
  ☆28Updated last year