Alternatives and similar repositories for FirmSolo

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

• Pamplemousse / bits_of_static_binary_analysis
  Material and examples for a presentation on static binary analysis.
  ☆43Updated 4 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆83Updated 2 years ago
• ucsb-seclab / heapster
  Identify and test the security of dynamic memory allocators in monolithic firmware images
  ☆43Updated last year
• AFLplusplus / unicornafl
  AFL bindings for Unicorn-Engine
  ☆80Updated last week
• c3r34lk1ll3r / Instruction_Slicer
  Binary Ninja plugin for forward/backward slicing
  ☆18Updated 4 years ago
• seclab-ucr / SyzGen_setup
  ☆47Updated 3 years ago
• elManto / DDFuzz
  The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…
  ☆65Updated 3 years ago
• RUB-SysSec / JIT-Picker
  ☆65Updated 2 years ago
• TheRomanXpl0it / ghidra-emu-fun
  Ghidra Emulates Functions
  ☆54Updated 4 years ago
• ispras / rop-benchmark
  ROP Benchmark is a tool to compare ROP compilers
  ☆42Updated 2 years ago
• AFLplusplus / libafl_qemu_artifacts
  ☆24Updated last year
• IntelLabs / kafl.targets
  Target components for kAFL/Nyx Fuzzer
  ☆30Updated 2 months ago
• bajinsheng / ReZZan
  ☆38Updated 2 years ago
• RUB-SysSec / gadget_synthesis
  Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
  ☆56Updated 3 years ago
• ambergroup-labs / papora
  ☆14Updated 2 years ago
• zyingp / desockmulti
  A de-socketing tool that is 10x faster than desock (Preeny) in fuzzing network protocols
  ☆88Updated 2 years ago
• HexHive / datAFLow
  A data-flow-guided fuzzer
  ☆120Updated last year
• thebabush / afl-libprotobuf-mutator
  AFLplusplus + libprotobuf-mutator = love
  ☆83Updated 5 years ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆121Updated 10 months ago
• eqv / aflq_fast_cov
  A fast binary coverage measurement tool based on AFL's Qemu mode
  ☆33Updated 4 years ago
• melynx / taintinduce
  TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.
  ☆59Updated 4 years ago
• badnack / angr_taint_engine
  angr's exploration technique to perform taint analysis
  ☆63Updated 5 years ago
• sefcom / greenhouse
  ☆57Updated last year
• aflchurn / aflchurn
  A regression greybox fuzzer aflchurn
  ☆66Updated 3 years ago
• rchtsang / ffxe
  ☆24Updated 9 months ago
• adrian-rt / superion-mutator
  Superion Mutator for AFLPlusPlus
  ☆31Updated last year
• abiondo / afl
  My fork of American Fuzzy Lop
  ☆61Updated 6 years ago
• Markakd / GREBE
  ☆78Updated last year
• P1umer / AFLplusplus-protobuf-mutator
  AFLplusplus + libprotobuf-mutator
  ☆56Updated 2 years ago
• SmoothHacker / Tuscan-Leather
  Linux Kernel Snapshot Fuzzer using KVM
  ☆48Updated last year