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
• trailofbits / Honeybee
  An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite
  ☆130Updated 3 years ago
• vusec / blindside
  ☆36Updated 4 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆56Updated 2 years ago
• piyus / btkernel
  Fast Binary Translator for the Kernel
  ☆27Updated 12 years ago
• intel / xom-switch
  ☆55Updated 3 years ago
• jrozner / synfuzz
  ☆27Updated 6 years ago
• jonathanmetzman / wasm-fuzzing-demo
  Demos of and walkthroughs on in-browser fuzzing using WebAssembly
  ☆124Updated 5 years ago
• uds-se / lFuzzer
  Fuzzing Parsers with Tokens
  ☆33Updated 4 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆21Updated 5 years ago
• vmware-archive / vmmfuzzer
  A hypervisor or virtual machine monitor (VMM) fuzzer
  ☆28Updated 5 years ago
• intel / satt
  ☆74Updated 3 years ago
• sstangl / iongraph
  Visualize IonMonkey CFGs using GraphViz.
  ☆34Updated 5 years ago
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆51Updated last year
• jovanbulck / 0xbadc0de
  A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes
  ☆46Updated 2 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆23Updated 9 years ago
• abenkhadra / bcov
  Static instrumentation tool for efficient binary-level coverage analysis.
  ☆149Updated 4 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• grimm-co / linuxklee
  Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE
  ☆20Updated 5 years ago
• ucsb-seclab / sasi
  Signedness-Agnostic Strided-Interval
  ☆38Updated 6 years ago
• trailofbits / KRFAnalysis
  Collection of LLVM passes and triage tools for use with the KRF fuzzer
  ☆37Updated 2 years ago
• purdue-secomp-lab / MEDS
  ☆37Updated 3 years ago
• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆32Updated 5 years ago
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆106Updated 6 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆162Updated 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
• wfus / WebAssembly-Taint
  Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.
  ☆22Updated 7 years ago
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 11 years ago
• S2E / PyKVM
  A tiny KVM hypervisor written in Python
  ☆67Updated 6 years ago