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 6 years ago
• ASSERT-KTH / slumps
  Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751
  ☆67Updated last year
• sstangl / iongraph
  Visualize IonMonkey CFGs using GraphViz.
  ☆34Updated 5 years ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 4 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆80Updated last year
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆75Updated 2 years ago
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆48Updated 5 months ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• struct / HardenedPartitionAlloc
  A forked and hardened version of PartitionAlloc from Chrome's Blink engine
  ☆62Updated 6 years ago
• jonathanmetzman / wasm-fuzzing-demo
  Demos of and walkthroughs on in-browser fuzzing using WebAssembly
  ☆122Updated 5 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆54Updated last year
• dvyukov / syzkaller-repros
  Collection of syzkaller bug reproducers for Linux
  ☆44Updated 2 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆36Updated 7 years ago
• trailofbits / blight
  A framework for instrumenting build tools
  ☆84Updated last month
• indutny / json-pipeline
  JSON pipeline for a hypothetical compiler
  ☆31Updated 9 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆22Updated 8 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 4 years ago
• Samsung / Fluff
  A tool designed to synthesise semantically correct JavaScript snippets given arbitrary data. Useful for fuzzing.
  ☆54Updated last year
• jrozner / synfuzz
  ☆27Updated 6 years ago
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 10 years ago
• vusec / safeinit
  SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017
  ☆24Updated 3 years ago
• MozillaSecurity / octo
  A fuzzing library in JavaScript. ✨
  ☆117Updated 3 months ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆68Updated 8 years ago
• wasmerio / wasm-fuzz
  Fuzzer for Wasm and Wasmer
  ☆25Updated 4 years ago
• uds-se / lFuzzer
  Fuzzing Parsers with Tokens
  ☆32Updated 4 years ago
• trailofbits / anselm
  Detect patterns of bad behavior in function calls
  ☆25Updated 4 years ago
• kmcallister / alameda
  Linux kernel JIT spray for SMEP / KERNEXEC bypass
  ☆55Updated 12 years ago
• jovanbulck / 0xbadc0de
  A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes
  ☆45Updated last year