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
  ☆69Updated 2 years ago
• trailofbits / magnifier
  ☆58Updated 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
• mechanicalnull / phantasm
  Binary Ninja plugin for visualizing coverage over time
  ☆25Updated 3 years ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆36Updated 2 years ago
• fgsect / NeoDiff
  Differential fuzzing for Smart Contract VMs
  ☆50Updated 2 years ago
• trailofbits / Codex-Decompiler
  ☆65Updated last year
• rezer0dai / bananafzz
  Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented
  ☆59Updated 2 years ago
• Sbouber / honggfuzz-dharma
  Integrate the dharma grammar fuzzer into honggfuzz
  ☆26Updated 7 years ago
• conceptofproof / Kernel_Exploitation_Resources
  ☆12Updated 7 years ago
• h0mbre / Fuzzing
  Repo for fuzzing projects
  ☆46Updated 4 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…
  ☆139Updated 3 years ago
• leesh3288 / CTF
  Repo for storing CTF related stuff (Writeups, etc.)
  ☆51Updated last year
• pr0cf5 / move-bytecode-llvm-compiler
  ☆36Updated 2 years ago
• trailofbits / manticore-examples
  Example Manticore scripts
  ☆68Updated last year
• Rog3rSm1th / kharma
  Grammar-based fuzzing corpus generator
  ☆39Updated 2 years ago
• oranav / ctf-writeups
  ☆23Updated 4 years ago
• trailofbits / itergator
  CodeQL library and queries for iterator invalidation
  ☆21Updated 3 years ago
• FuzzingLabs / wasm_runtimes_fuzzing
  Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing
  ☆87Updated 8 months ago
• JannisKirschner / SymbolicExecutionDemystified
  Slides and Material for "SymbolicExecutionDemystified" Presentation @ Insomni'Hack 2022
  ☆100Updated 3 years ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 4 years ago
• 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 4 months ago
• farazsth98 / real-world-ethereum-hacks-remastered
  ☆25Updated last year
• atredis-jordan / SymbolicTriagePost
  Supporting Materials for “Symbolic Triage” blog post
  ☆24Updated 2 years ago
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆48Updated 8 months ago
• novafacing / practical-fuzzing
  Practical fuzzing tutorials and training
  ☆31Updated 9 months ago
• trailofbits / umberto
  poststructural fuzzing
  ☆31Updated 5 years ago
• nahueldsanchez / blogpost_qiling_dlink_2
  Second blog post about Qiling. This time I finished analyzing the vulnerability and I wrote an exploit that runs under the emulated envir…
  ☆15Updated 4 years ago
• ChrisTheCoolHut / Instruction-Stomp
  Cross-architecture instruction counting for CTF solving
  ☆46Updated 3 years ago
• farazsth98 / CTF
  CTF solve scripts. Some writeups on my blog, others on my gist. Check the challenge directories for links.
  ☆10Updated last year