Alternatives and similar repositories for WebCapsule:

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

• wala / jsdelta
  A delta debugger for JavaScript
  ☆51Updated 2 years ago
• indutny / json-pipeline
  JSON pipeline for a hypothetical compiler
  ☆31Updated 9 years ago
• deweerdt / h2get
  An H2 client
  ☆17Updated last month
• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆122Updated 9 years ago
• js-js / cfg.js
  Javascript AST to CFG converter
  ☆20Updated 8 years ago
• shravanrn / LibrarySandboxing
  Root Repo for the RLBox Sandboxing Library Research prototype. Note: this is the original research prototype for this library. For the pr…
  ☆24Updated last year
• lachrist / aran
  JavaScript Code Instrumenter
  ☆37Updated this week
• cs-au-dk / TAJS
  Type Analyzer for JavaScript
  ☆194Updated 4 years ago
• estools / esfuzz
  fuzzer for generative testing of ECMAScript parsers
  ☆59Updated 10 years ago
• shapesecurity / shift-reducer-js
  reducer for the Shift AST format
  ☆24Updated 2 years ago
• ispras / sydr-benchmark
  Sydr benchmark applications
  ☆17Updated 2 years ago
• Samsung / SJS
  SJS is a static ahead of time compiler for a subset of JavaScript
  ☆40Updated last year
• src-d / tmsc
  ☆22Updated 5 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆51Updated 11 years ago
• p-march / v8-taint
  JITed Taint Tracking in V8
  ☆15Updated 10 years ago
• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆12Updated 8 years ago
• Samsung / mimic
  Synthesizer for JavaScript API models
  ☆17Updated last year
• julianjensen / dominators
  Various dominator tree algorithms
  ☆22Updated 4 years ago
• Swatinem / esgraph
  creates a control flow graph from an esprima abstract syntax tree
  ☆170Updated 7 years ago
• SBULeeLab / NodeFz
  Node.fz: Trigger race conditions in your Node.js code in test, not production.
  ☆42Updated 4 years ago
• jcbeyler / wasm-to-llvm-prototype
  s-expression → internal IR → LLVM IR
  ☆46Updated 9 years ago
• wfus / WebAssembly-Taint
  Implementing taint tracking in WebAssembly as a part of the V8 Javascript Engine.
  ☆21Updated 6 years ago
• jasantunes / reverx
  A protocol reverse engineer tool written in java.
  ☆29Updated 8 years ago
• Berkeley-Correctness-Group / DLint
  Runtime checker for JS coding practices
  ☆35Updated 2 years ago
• rutgers-apl / alive-nj
  Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
  ☆28Updated 5 years ago
• nongiach / arm_now_templates
  https://github.com/nongiach/arm_now rootfs and kernel
  ☆12Updated 2 years ago
• ahorn / native-symbolic-execution-clang
  Source-to-source transformation to call native symbolic execution library and SMT Kit
  ☆32Updated 10 years ago
• choller / LLCov
  LLVM-based, flexible, live coverage instrumentation for C/C++ code
  ☆43Updated 9 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆58Updated last month