Alternatives and similar repositories for WebCapsule

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

• deweerdt / h2get
  An H2 client
  ☆18Updated 5 months ago
• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆123Updated 10 years ago
• p-march / v8-taint
  JITed Taint Tracking in V8
  ☆15Updated 11 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• js-js / cfg.js
  Javascript AST to CFG converter
  ☆20Updated 8 years ago
• Samsung / mimic
  Synthesizer for JavaScript API models
  ☆18Updated 2 years ago
• jcbeyler / wasm-to-llvm-prototype
  s-expression → internal IR → LLVM IR
  ☆47Updated 9 years ago
• jrmuizel / rr-dataflow
  An 'origin' command that continue to the origin of a piece of data in rr
  ☆47Updated 7 years ago
• cuplv / thresher
  Static heap reachability analysis for Java bytecode and Android memory leak finder.
  ☆32Updated 10 years ago
• indutny / json-pipeline
  JSON pipeline for a hypothetical compiler
  ☆31Updated 9 years ago
• lachrist / aran
  JavaScript Code Instrumenter
  ☆38Updated last week
• ftsrg / codemodel-rifle
  Graph-based incremental static analysis of ECMAScript 6 source code repositories
  ☆19Updated 7 years ago
• snefru / io.vypa.llvm
  LLVM Intellij Plugin
  ☆17Updated 6 years ago
• estools / esfuzz
  fuzzer for generative testing of ECMAScript parsers
  ☆59Updated 10 years ago
• azu / ast-source
  [Require Maintainer] AST helper to transform source code.
  ☆17Updated 2 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 9 years ago
• jieyu / maple
  A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…
  ☆69Updated 8 years ago
• MozillaSecurity / lithium
  Line-based testcase reducer
  ☆97Updated 2 months ago
• Berkeley-Correctness-Group / DLint
  Runtime checker for JS coding practices
  ☆36Updated 2 years ago
• SBULeeLab / NodeFz
  Node.fz: Trigger race conditions in your Node.js code in test, not production.
  ☆43Updated 4 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago
• anba / es6draft
  ECMAScript 2015 (ECMA-262 6th Edition) compiler and runtime
  ☆66Updated 3 years ago
• ErikCorryGoogle / grut
  Hacky little regexp compiler using LLVM
  ☆17Updated 8 years ago
• ncellar / autumn_archive
  A PEG parsing library
  ☆14Updated 5 years ago
• estools / esshorten
  Shorten (mangle) names in JavaScript code
  ☆20Updated 6 years ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆23Updated 5 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆51Updated 11 years ago
• js-js / heap.js
  Heap implementation for some JavaScript VM
  ☆27Updated 10 years ago
• plasma-umass / DoubleTake
  Evidence-based dynamic analysis: a fast checker for memory errors.
  ☆21Updated 8 years ago
• RReverser / typescript-estree
  TypeScript => ESTree AST converter (WIP)
  ☆20Updated 9 years ago