Alternatives and similar repositories for LibrarySandboxing:

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

• wfus / WebAssembly-Taint
  Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.
  ☆21Updated 7 years ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 4 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆62Updated 7 years ago
• 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
• jovanbulck / 0xbadc0de
  A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes
  ☆45Updated last year
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• atrosinenko / qinst
  Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code
  ☆18Updated 5 years ago
• piyus / btkernel
  Fast Binary Translator for the Kernel
  ☆27Updated 11 years ago
• trailofbits / anselm
  Detect patterns of bad behavior in function calls
  ☆26Updated 4 years ago
• trailofbits / Honeybee
  An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite
  ☆129Updated 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 4 years ago
• trailofbits / sandshrew
  Underconstrained symbolic execution for cryptography verification
  ☆18Updated 4 years ago
• nccgroup / xendbg
  A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…
  ☆77Updated 4 years ago
• srg-imperial / SaBRe
  Load-time selective binary rewriting
  ☆157Updated 2 years ago
• KennethAdamMiller / superset_disassembler
  Disassemblers with various trimming methodologies
  ☆13Updated 3 months ago
• sstangl / iongraph
  Visualize IonMonkey CFGs using GraphViz.
  ☆34Updated 5 years ago
• ASSERT-KTH / slumps
  Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751
  ☆68Updated last year
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• BinaryAnalysisPlatform / bap-tutorial
  The BAP tutorial
  ☆73Updated 2 years ago
• Mic92 / inspector
  Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.
  ☆14Updated 8 years ago
• hase-project / hase
  Timeless debugging with symbolic execution and processor trace
  ☆75Updated 4 years ago
• Cisco-Talos / covnavi
  ☆63Updated 6 years ago
• doar-e / doar-e.github.io
  Diary of a reverse-engineer blog
  ☆20Updated last year
• kmcallister / alameda
  Linux kernel JIT spray for SMEP / KERNEXEC bypass
  ☆55Updated 12 years ago
• trailofbits / blight
  A framework for instrumenting build tools
  ☆89Updated 4 months ago
• jwilk / recidivm
  estimate peak virtual memory use
  ☆18Updated 3 weeks ago