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
• jrozner / synfuzz
  ☆27Updated 6 years ago
• piyus / btkernel
  Fast Binary Translator for the Kernel
  ☆27Updated 11 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆55Updated 2 years ago
• vmware-archive / vmmfuzzer
  A hypervisor or virtual machine monitor (VMM) fuzzer
  ☆28Updated 5 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆23Updated 8 years ago
• utds3lab / sgx-log
  Securing System Logs With Intel SGX
  ☆14Updated 8 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆62Updated 7 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆38Updated 8 years ago
• trailofbits / anselm
  Detect patterns of bad behavior in function calls
  ☆25Updated 5 years ago
• vusec / blindside
  ☆36Updated 4 years ago
• ShiftLeftSecurity / llvm2graphml
  Explore LLVM Bitcode interactively using a graph database
  ☆58Updated 5 years ago
• Mic92 / inspector
  Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.
  ☆14Updated 9 years ago
• toshipiazza / drcfg
  Dynamic Control Flow Recovery
  ☆24Updated 7 years ago
• intel / satt
  ☆74Updated 3 years ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆37Updated 2 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.
  ☆81Updated 7 years ago
• vrthra / F1
  ☆82Updated 2 weeks 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
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 11 years ago
• intel / xom-switch
  ☆55Updated 3 years ago
• jonathanmetzman / wasm-fuzzing-demo
  Demos of and walkthroughs on in-browser fuzzing using WebAssembly
  ☆124Updated 5 years ago
• jovanbulck / 0xbadc0de
  A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes
  ☆46Updated 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
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆95Updated 7 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• S2E / s2e-linux-kernel
  Linux kernels (CGC DECREE and vanilla) with S2E extensions
  ☆24Updated last year