Samsung / mimic

Related projects: ⓘ

• Samsung / SJS
  SJS is a static ahead of time compiler for a subset of JavaScript
  ☆40Updated last year
• SBULeeLab / NodeFz
  Node.fz: Trigger race conditions in your Node.js code in test, not production.
  ☆42Updated 4 years ago
• wala / jsdelta
  A delta debugger for JavaScript
  ☆51Updated 2 years ago
• kaist-plrg / jiset
  JISET: JavaScript IR-based Semantics Extraction Toolchain
  ☆40Updated last year
• Samsung / gcutil
  Garbage collector for Escargot
  ☆12Updated 4 months ago
• SRA-SiliconValley / jalangi
  Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2
  ☆122Updated 9 years ago
• kaist-plrg / jest
  JEST: N+1-version Differential Testing of Both JavaScript Engines
  ☆13Updated 3 years ago
• snu-sf / crellvm
  Crellvm: Verified Credible Compilation for LLVM
  ☆15Updated 6 years ago
• sukyoung / safe
  Scalable Analysis Framework for ECMAScript
  ☆118Updated 3 years ago
• js-js / cfg.js
  Javascript AST to CFG converter
  ☆19Updated 8 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆51Updated 10 years ago
• eth-sri / EventRacer
  A race detection tool for event driven applications.
  ☆17Updated 9 years ago
• kaist-plrg / jstar
  JSTAR: JavaScript Specification Type Analyzer using Refinement
  ☆13Updated 2 years ago
• awslabs / aws-crypto-policy-compliance-checker
  A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.
  ☆10Updated 2 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆96Updated 3 years ago
• dslab-epfl / cloud9
  The Cloud9 main repository
  ☆52Updated 11 years ago
• perdisci / WebCapsule
  Record and Replay Engine for Web Browsers
  ☆16Updated 8 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 2 months ago
• beckus / AlloyAnalyzer
  An unofficial copy of MIT's Alloy Analyzer model checking tool.
  ☆20Updated 11 years ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆21Updated 4 years ago
• jgalenson / codehint
  Eclipse plugin that synthesizes real Java code
  ☆26Updated 10 years ago
• Haiyang-Sun / nodeprof.js
  Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.
  ☆52Updated last year
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 9 years ago
• petablox / petablox
  Main distribution of Petablox
  ☆36Updated 6 years ago
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 3 years ago
• GumTreeDiff / cgum
  The C parser for GumTree
  ☆12Updated 3 years ago
• DeepTyper / DeepTyper
  ☆50Updated 4 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
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆23Updated 3 months ago
• lachrist / aran
  JavaScript Code Instrumenter
  ☆36Updated last week