Alternatives and similar repositories for WebCapsule:

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

• js-js / cfg.js
  Javascript AST to CFG converter
  ☆20Updated 8 years ago
• wala / jsdelta
  A delta debugger for JavaScript
  ☆52Updated 2 years ago
• Samsung / mimic
  Synthesizer for JavaScript API models
  ☆17Updated 2 years ago
• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆123Updated 9 years ago
• estools / esfuzz
  fuzzer for generative testing of ECMAScript parsers
  ☆59Updated 10 years ago
• lachrist / aran
  JavaScript Code Instrumenter
  ☆38Updated last week
• Berkeley-Correctness-Group / DLint
  Runtime checker for JS coding practices
  ☆35Updated 2 years ago
• indutny / json-pipeline
  JSON pipeline for a hypothetical compiler
  ☆31Updated 9 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆22Updated 4 years ago
• jrmuizel / rr-dataflow
  An 'origin' command that continue to the origin of a piece of data in rr
  ☆47Updated 7 years ago
• sola-da / ConflictJS
  Finding and Understanding Conflicts Between JavaScript Libraries
  ☆40Updated 3 years ago
• azu / ast-source
  [Require Maintainer] AST helper to transform source code.
  ☆17Updated 2 years ago
• estools / esshorten
  Shorten (mangle) names in JavaScript code
  ☆20Updated 6 years ago
• SBULeeLab / NodeFz
  Node.fz: Trigger race conditions in your Node.js code in test, not production.
  ☆43Updated 4 years ago
• andik / IDL-Syntax
  simple IDL (Microsoft midl, Mozilla WebIDL) syntax highlighting for Sublime Text
  ☆11Updated 4 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
• jcbeyler / wasm-to-llvm-prototype
  s-expression → internal IR → LLVM IR
  ☆46Updated 9 years ago
• shapesecurity / shift-reducer-js
  reducer for the Shift AST format
  ☆24Updated 3 years ago
• cuplv / hopper
  Goal-directed static analysis tool for JVM languages.
  ☆58Updated 8 years ago
• cs-au-dk / TAJS
  Type Analyzer for JavaScript
  ☆195Updated 2 months ago
• cuplv / thresher
  Static heap reachability analysis for Java bytecode and Android memory leak finder.
  ☆32Updated 10 years ago
• Samsung / SJS
  SJS is a static ahead of time compiler for a subset of JavaScript
  ☆47Updated 2 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
• tomoki / Shiranui
  Shiranui is new programming language supports live/test driven programming.
  ☆25Updated 9 years ago
• ErikCorryGoogle / grut
  Hacky little regexp compiler using LLVM
  ☆17Updated 8 years ago
• bblfsh / libuast
  ☆20Updated 5 years ago
• MozillaSecurity / lithium
  Line-based testcase reducer
  ☆96Updated last month
• sethgaurav / JSConf-LastCall
  ☆11Updated 9 years ago
• shapesecurity / shift-semantics-java
  an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST
  ☆17Updated 4 years ago