Alternatives and similar repositories for ManticoreUI:

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

• lunixbochs / mpwn
  single file ctf/exploit client library - python3, type annotated
  ☆67Updated last year
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• Sbouber / honggfuzz-dharma
  Integrate the dharma grammar fuzzer into honggfuzz
  ☆26Updated 7 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
• trailofbits / magnifier
  ☆58Updated 2 years ago
• h0mbre / Fuzzing
  Repo for fuzzing projects
  ☆46Updated 4 years ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆36Updated 2 years ago
• rezer0dai / bananafzz
  Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented
  ☆59Updated 2 years ago
• fgsect / NeoDiff
  Differential fuzzing for Smart Contract VMs
  ☆50Updated 2 years ago
• trailofbits / manticore-examples
  Example Manticore scripts
  ☆68Updated last year
• 0xricksanchez / hantu
  An educational toy fuzzer with big dreams
  ☆12Updated last year
• SideChannelMarvels / BlueGalaxyEnergy
  A tool to perform so called BGE attack
  ☆24Updated 11 months ago
• ethpwn / ethpwn
  ethpwn - the Swiss Army Knife for Smart Contract Hacking
  ☆47Updated 4 months ago
• trailofbits / umberto
  poststructural fuzzing
  ☆31Updated 5 years ago
• adelapie / ghidra-evm
  The Ghidra EVM Module (ghidra-evm) leverages Ghidra 9.1.2 to disassemble and analyze compiled Ethereum smart contracts. Ghidra-evm was pr…
  ☆138Updated 3 years ago
• nowsecure / radius2
  radius is a fast binary emulation and symbolic execution framework using radare2
  ☆45Updated 2 years ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 4 years ago
• leesh3288 / CTF
  Repo for storing CTF related stuff (Writeups, etc.)
  ☆51Updated last year
• atnwalk / atnwalk
  ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…
  ☆12Updated 3 months ago
• marcograss / rbasefind
  A firmware base address search tool.
  ☆44Updated 9 months ago
• Rog3rSm1th / kharma
  Grammar-based fuzzing corpus generator
  ☆39Updated 2 years ago
• NaryaAI / cashio-exploit-workshop
  Write your own exploit for $CASH
  ☆27Updated 2 years ago
• pventuzelo / fuzzing_browsers_wasm_js
  Fuzzing JavaScript WebAssembly APIs using Dharma/Domato (Chrome/v8, etc.)
  ☆43Updated 3 years ago
• saaramar / Publications
  ☆84Updated last year
• uni-due-syssec / efcf-framework
  EF/CF - Extremely Fast smart Contract Fuzzing
  ☆66Updated 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
• JannisKirschner / SymbolicExecutionDemystified
  Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022
  ☆100Updated 3 years ago
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• fgsect / JMPscare
  tool for multi-execution jump coverage introspection
  ☆63Updated last month
• interruptlabs / semgrep_bn
  Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.
  ☆26Updated last month