Alternatives and similar repositories for btkernel:

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

• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 4 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• intel / satt
  ☆74Updated 2 years ago
• toshipiazza / drcfg
  Dynamic Control Flow Recovery
  ☆24Updated 6 years ago
• s3team / bincfp
  Efficient Multi-threaded Binary Code Control Flow Profiling Pintool
  ☆22Updated 8 years ago
• HexHive / libdetox
  Fast and efficient binary translator
  ☆58Updated 6 years ago
• vusec / typesan
  TypeSan checks casts in C++ code - code released for CCS 2016
  ☆32Updated 3 years ago
• Bareflank / extended_apis
  deprecated
  ☆46Updated 5 years ago
• caps-tum / dbrew
  A library for dynamic binary rewriting
  ☆57Updated 3 years ago
• 0xddaa / pin
  Use Intel Pin tools to analysis binary.
  ☆36Updated 9 years ago
• dyninst / tools
  Tools built using Dyninst or Dyninst component libraries.
  ☆25Updated last year
• trailofbits / cfg-showcase
  Sample programs that illustrate how to use Control Flow Guard, VS2015's control flow integrity implementation
  ☆43Updated 8 years ago
• kengiter / RuntimeASLR
  Re-randomizing the memory layout of a process at runtime
  ☆21Updated 8 years ago
• vmware-archive / vmmfuzzer
  A hypervisor or virtual machine monitor (VMM) fuzzer
  ☆28Updated 4 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆51Updated 2 years ago
• ntddk / vine
  Vine: The BitBlaze Static Analysis Component
  ☆25Updated 10 years ago
• Vector35 / generate_assembler
  generate assemblers from disassemblers, 2018 jailbreak security summit talk
  ☆37Updated 4 years ago
• nccgroup / xendbg
  A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…
  ☆75Updated 4 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 5 years ago
• S2E / libs2ecore
  S2E Core Engine Library
  ☆15Updated 5 years ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆63Updated 10 months ago
• zhechkoz / PwIN
  Security Evaluation of Dynamic Binary Instrumentation Engines
  ☆78Updated 6 years ago
• intel / xom-switch
  ☆55Updated 2 years ago
• tianweiz07 / Cloud_Integrity
  Using LibVMI to detect malware
  ☆30Updated 2 years ago
• HexHive / mitiGate
  Benchmark to test different stop the exploit mitigations
  ☆18Updated 6 years ago
• tracer-x / TracerX
  TracerX Symbolic Virtual Machine
  ☆31Updated last week
• dslab-epfl / asap
  Official repository for ASAP: High System-code Security at Low Overhead
  ☆24Updated 9 years ago
• tharina / heap-tracer
  LD_PRELOAD hook to trace malloc and free
  ☆43Updated 7 years ago
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 10 years ago
• HexHive / datashield
  ☆17Updated 4 years ago