Alternatives and similar repositories for kernel-research

Users that are interested in kernel-research are comparing it to the libraries listed below

• fkie-cad / libdesock
  A de-socketing library for fuzzing.
  ☆151Updated 3 weeks ago
• purseclab / Patcherex2
  A versatile and easy-to-use static binary patching tool.
  ☆37Updated 2 months ago
• revng / orchestra
  rev.ng configuration for orchestra. The starting point for any development.
  ☆36Updated 2 weeks ago
• zolutal / kheap_sift
  A tool combining DWARF info and source to search for kernel heap objects
  ☆24Updated last year
• plowsec / weggli-patterns
  Collections of patterns for weggli to find nice bugs
  ☆18Updated last year
• quarkslab / qbindiff
  Quarkslab Bindiffer but not only !
  ☆203Updated last month
• AFLplusplus / unicornafl
  AFL bindings for Unicorn-Engine
  ☆80Updated this week
• wasmerio / wasm-fuzz
  Fuzzer for Wasm and Wasmer
  ☆30Updated 5 years ago
• google / centipede
  ☆253Updated 2 years ago
• Vector35 / tanto
  Tantō slices functions into more consumable chunks
  ☆67Updated 2 months ago
• eurecom-s3 / symqemu
  SymQEMU: Compilation-based symbolic execution for binaries
  ☆348Updated last month
• seemoo-lab / VirtFuzz
  VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.
  ☆123Updated last year
• hgarrereyn / GraphFuzz
  GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.
  ☆266Updated last year
• MozillaSecurity / corpus-replicator
  A corpus generation tool
  ☆22Updated last month
• Pamplemousse / bits_of_static_binary_analysis
  Material and examples for a presentation on static binary analysis.
  ☆43Updated 4 years ago
• Koukyosyumei / Gymbo
  gradient-based symbolic execution engine implemented from scratch
  ☆35Updated last year
• androidoffsec / art-kernel-toolkit
  ☆45Updated last year
• GaloisInc / MATE
  MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
  ☆193Updated 2 years ago
• mahaloz / decompilation-wiki
  The Decompilation Wiki: info on all things decompilation
  ☆209Updated last month
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 4 years ago
• philzook58 / pcode2c
  Convert low ghidra pcode to verifiable C
  ☆22Updated 9 months ago
• mahaloz / cfgutils
  Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.
  ☆28Updated last month
• clearbluejar / ghidra-python-vscode-devcontainer-skeleton
  Ghidra Headless Python VScode Skeleton with Devcontainer Super Powers
  ☆59Updated last week
• destr4ct / gef-kernel
  GEF - GDB Enhanced Features for exploit devs & reversers
  ☆13Updated last year
• cmu-pasta / linux-kernel-enriched-corpus
  Linux Kernel Fuzzer Corpus
  ☆142Updated this week
• tlspuffin / tlspuffin
  A Dolev-Yao-model-guided fuzzer for TLS
  ☆141Updated this week
• pr0me / SAFIREFUZZ
  Same-Architecture Firmware Rehosting and Fuzzing
  ☆126Updated 6 months ago
• Shuriken-Group / Shuriken-Analyzer
  Repository for a library focused on binary analysis (mainly for Java related bytecodes)
  ☆41Updated 3 weeks ago
• posidron / dharma
  Generation-based, context-free grammar fuzzer.
  ☆52Updated 2 years ago
• degrigis / awesome-angr
  A collection of resources/tools and analyses for the angr binary analysis framework.
  ☆177Updated 2 years ago