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 2 years ago
• piyus / btkernel
  Fast Binary Translator for the Kernel
  ☆27Updated 11 years ago
• vmware-archive / vmmfuzzer
  A hypervisor or virtual machine monitor (VMM) fuzzer
  ☆28Updated 5 years ago
• intel / xom-switch
  ☆55Updated 3 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆38Updated 8 years ago
• tum-i4 / macke
  Modular And Compositional analysis with KLEE Engine
  ☆116Updated 5 years ago
• jovanbulck / 0xbadc0de
  A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes
  ☆46Updated last year
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆55Updated 2 years ago
• jonathanmetzman / wasm-fuzzing-demo
  Demos of and walkthroughs on in-browser fuzzing using WebAssembly
  ☆124Updated 5 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆95Updated 7 years ago
• sstangl / iongraph
  Visualize IonMonkey CFGs using GraphViz.
  ☆34Updated 5 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
• sola-st / wasm-binary-security
  ☆79Updated 3 years ago
• vusec / pandacap
  A framework for streamlining the capture of PANDA execution traces.
  ☆57Updated 5 years ago
• trailofbits / Honeybee
  An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite
  ☆129Updated 3 years ago
• purdue-secomp-lab / MEDS
  ☆37Updated 3 years ago
• KennethAdamMiller / superset_disassembler
  Disassemblers with various trimming methodologies
  ☆15Updated 7 months ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• vusec / blindside
  ☆36Updated 4 years ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆37Updated 2 years ago
• jrozner / synfuzz
  ☆27Updated 6 years ago
• intel / satt
  ☆74Updated 3 years ago
• vrthra / F1
  ☆82Updated 10 months ago
• wfus / WebAssembly-Taint
  Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.
  ☆21Updated 7 years ago
• kmcallister / alameda
  Linux kernel JIT spray for SMEP / KERNEXEC bypass
  ☆55Updated 12 years ago
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 5 years ago
• juergh / ret2usr
  Sample code for ret2usr (and ret2dir) kernel attacks
  ☆9Updated 8 years ago
• abenkhadra / bcov
  Static instrumentation tool for efficient binary-level coverage analysis.
  ☆148Updated 4 years ago
• Samsung / Fluff
  A tool designed to synthesise semantically correct JavaScript snippets given arbitrary data. Useful for fuzzing.
  ☆56Updated 2 years ago
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆106Updated 6 years ago