perdisci / WebCapsule

Related projects ⓘ

Alternatives and complementary repositories for WebCapsule

• Samsung / mimic
  Synthesizer for JavaScript API models
  ☆17Updated last year
• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆122Updated 9 years ago
• wala / jsdelta
  A delta debugger for JavaScript
  ☆51Updated 2 years ago
• Berkeley-Correctness-Group / DLint
  Runtime checker for JS coding practices
  ☆35Updated 2 years ago
• SBULeeLab / NodeFz
  Node.fz: Trigger race conditions in your Node.js code in test, not production.
  ☆42Updated 4 years ago
• lachrist / aran
  JavaScript Code Instrumenter
  ☆37Updated last month
• js-js / cfg.js
  Javascript AST to CFG converter
  ☆20Updated 8 years ago
• Samsung / SJS
  SJS is a static ahead of time compiler for a subset of JavaScript
  ☆40Updated last year
• estools / esfuzz
  fuzzer for generative testing of ECMAScript parsers
  ☆59Updated 10 years ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆22Updated 4 years ago
• gmarpons / Crisp
  A Clang/LLVM add-on to enforce coding rules
  ☆33Updated 11 years ago
• cs-au-dk / TAJS
  Type Analyzer for JavaScript
  ☆194Updated 4 years ago
• hbowden / nextgen
  A Genetic File, Syscall and Network Fuzzer.
  ☆58Updated 7 years ago
• mozilla / cleopatra
  INACTIVE - http://mzl.la/ghe-archive - UI for the gecko profiler
  ☆29Updated 5 years ago
• Yanivmd / TRACY
  TRACY
  ☆19Updated 8 years ago
• wala / JS_WALA
  WALA analyses and tools that are implemented in JavaScript
  ☆82Updated 8 years ago
• MozillaSecurity / lithium
  Line-based testcase reducer
  ☆95Updated last week
• cuplv / hopper
  Goal-directed static analysis tool for JVM languages.
  ☆57Updated 8 years ago
• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆190Updated 4 months ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆98Updated 4 years ago
• shapesecurity / shift-fuzzer-js
  generate random valid Shift format ASTs
  ☆18Updated 2 years ago
• indutny / json-pipeline
  JSON pipeline for a hypothetical compiler
  ☆31Updated 9 years ago
• tech-srl / esh
  statistical similarity of binaries (Esh)
  ☆73Updated 8 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• codelion / pathgrind
  Path based Dynamic Analysis
  ☆113Updated 7 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…
  ☆68Updated 7 years ago
• sarda-nikhil / Sypy
  A symbolic execution engine for Python
  ☆45Updated 11 years ago
• klee / klee-web
  KLEE in the browser
  ☆50Updated 5 months ago