Alternatives and similar repositories for inspector

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

• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆22Updated 5 years ago
• sslab-gatech / unisan
  UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
  ☆43Updated 3 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆38Updated 5 years ago
• intel / xom-switch
  ☆55Updated 3 years ago
• securesystemslab / sanitizing-for-security-benchmarks
  ☆24Updated 7 years ago
• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆32Updated 5 years ago
• vusec / kasper
  Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel
  ☆58Updated last year
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆51Updated 11 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 5 years ago
• sslab-gatech / hdfi
  Hardware-assisted Data-flow Isolation
  ☆28Updated 7 years ago
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆56Updated 3 years ago
• bwickman97 / ffmalloc
  ☆52Updated 3 years ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆47Updated 4 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆46Updated 5 years ago
• sancus-tee / tutorial-dsn18
  Building Distributed Enclave Applications with Sancus and SGX
  ☆13Updated 4 years ago
• passlab / DCFG
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆20Updated 8 years ago
• sslab-gatech / aslr-guard
  Preventing code-reuse attacks by stopping code pointer leakages
  ☆36Updated 9 years ago
• purdue-secomp-lab / MEDS
  ☆37Updated 3 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆58Updated 5 years ago
• mmcloughlin / hellollvm
  Basic LLVM passes
  ☆17Updated 7 years ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆41Updated 2 years ago
• sslab-gatech / sgx-bomb
  ☆17Updated 7 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 6 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆248Updated last year
• mit-ll / HAKC
  ☆36Updated 3 years ago
• hku-systems / owl
  ☆13Updated 5 years ago
• mcfi / MCFI
  MCFI/PICFI tool chain
  ☆43Updated last year
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆57Updated 5 years ago
• abenkhadra / bcov
  Static instrumentation tool for efficient binary-level coverage analysis.
  ☆149Updated 4 years ago
• vusec / kmvx
  kMVX: Detecting Kernel Information Leaks with Multi-variant Execution
  ☆22Updated 6 years ago