Alternatives and similar repositories for LibrarySandboxing

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

• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆75Updated 3 years ago
• intel / xom-switch
  ☆55Updated 3 years ago
• brainsmoke / minemu
  Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )
  ☆41Updated 5 years ago
• piyus / btkernel
  Fast Binary Translator for the Kernel
  ☆27Updated 12 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆22Updated 5 years ago
• jrozner / synfuzz
  ☆27Updated 6 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆51Updated 12 years ago
• sstangl / iongraph
  Visualize IonMonkey CFGs using GraphViz.
  ☆34Updated 5 years ago
• jovanbulck / 0xbadc0de
  A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes
  ☆46Updated 2 years ago
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆51Updated last year
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆163Updated 3 years ago
• vmware-archive / vmmfuzzer
  A hypervisor or virtual machine monitor (VMM) fuzzer
  ☆28Updated 5 years ago
• utds3lab / sgx-log
  Securing System Logs With Intel SGX
  ☆15Updated 8 years ago
• S2E / s2e-linux-kernel
  Linux kernels (CGC DECREE and vanilla) with S2E extensions
  ☆24Updated last year
• vusec / pandacap
  A framework for streamlining the capture of PANDA execution traces.
  ☆57Updated 5 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆38Updated 8 years ago
• intel / satt
  ☆74Updated 3 years ago
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆106Updated 6 years ago
• jonathanmetzman / wasm-fuzzing-demo
  Demos of and walkthroughs on in-browser fuzzing using WebAssembly
  ☆122Updated 5 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆38Updated 6 years ago
• nccgroup / xendbg
  A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…
  ☆78Updated 4 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆23Updated 9 years ago
• vusec / blindside
  ☆37Updated 4 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆95Updated 7 years ago
• kmcallister / alameda
  Linux kernel JIT spray for SMEP / KERNEXEC bypass
  ☆55Updated 12 years ago
• trailofbits / Honeybee
  An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite
  ☆131Updated 3 years ago
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 5 years ago
• season-lab / survey-symbolic-execution
  A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.
  ☆82Updated 7 years ago
• toshipiazza / drcfg
  Dynamic Control Flow Recovery
  ☆24Updated 7 years ago