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 3 months ago
• wala / jsdelta
  A delta debugger for JavaScript
  ☆51Updated 2 years ago
• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆123Updated 9 years ago
• indutny / json-pipeline
  JSON pipeline for a hypothetical compiler
  ☆31Updated 9 years ago
• lachrist / aran
  JavaScript Code Instrumenter
  ☆38Updated last week
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• Samsung / mimic
  Synthesizer for JavaScript API models
  ☆17Updated 2 years ago
• js-js / cfg.js
  Javascript AST to CFG converter
  ☆20Updated 8 years ago
• Berkeley-Correctness-Group / DLint
  Runtime checker for JS coding practices
  ☆35Updated 2 years ago
• p-march / v8-taint
  JITed Taint Tracking in V8
  ☆15Updated 10 years ago
• estools / esfuzz
  fuzzer for generative testing of ECMAScript parsers
  ☆59Updated 10 years ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆22Updated 4 years ago
• 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 2 years ago
• pissang / dfatool
  JavaScript Data Flow Analyze Tool
  ☆47Updated 11 years ago
• Swatinem / esgraph
  creates a control flow graph from an esprima abstract syntax tree
  ☆170Updated 7 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆97Updated 9 years ago
• SBULeeLab / NodeFz
  Node.fz: Trigger race conditions in your Node.js code in test, not production.
  ☆43Updated 4 years ago
• mikewest / securer-contexts
  Secure Contexts, but with _more_ secureness!
  ☆20Updated 11 months ago
• octopus-platform / octopus
  Generic server for collaborative code analysis
  ☆13Updated 8 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆59Updated 7 years ago
• Yanivmd / TRACY
  TRACY
  ☆19Updated 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
• MozillaSecurity / lithium
  Line-based testcase reducer
  ☆95Updated 2 weeks ago
• cuplv / thresher
  Static heap reachability analysis for Java bytecode and Android memory leak finder.
  ☆32Updated 10 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 3 months ago
• z3str / Z3-str
  A Z3-Based String Constraint Solver
  ☆87Updated 5 years ago
• tech-srl / esh
  statistical similarity of binaries (Esh)
  ☆73Updated 8 years ago
• azu / ast-source
  [Require Maintainer] AST helper to transform source code.
  ☆17Updated 2 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆100Updated 4 years ago