sola-da / ConflictJSLinks
Finding and Understanding Conflicts Between JavaScript Libraries
☆40Updated 3 years ago
Alternatives and similar repositories for ConflictJS
Users that are interested in ConflictJS are comparing it to the libraries listed below
Sorting:
- Node.fz: Trigger race conditions in your Node.js code in test, not production.☆43Updated 4 years ago
- Type Analyzer for JavaScript☆196Updated 3 months ago
- Platform-Independent Memory Profiling Tool for Web Applications☆81Updated 2 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆201Updated last year
- creates a control flow graph from an esprima abstract syntax tree☆171Updated 7 years ago
- A delta debugger for JavaScript☆53Updated 3 years ago
- an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST☆17Updated 4 years ago
- ECMAScript verification with SMT solvers☆125Updated 11 months ago
- reducer for the Shift AST format☆24Updated 3 years ago
- JUnify ― JavaScript Unification Library☆50Updated 13 years ago
- JavaScript Code Instrumenter☆38Updated 2 weeks ago
- Detecting class-like structures in JavaScript☆65Updated 4 years ago
- A collection of sweet.js macros that provide contract support for JavaScript!☆55Updated 11 years ago
- Incremental Program Analysis Framework☆90Updated 4 years ago
- An ECMAScript implementation of a Membrane, allowing users to dynamically hide, override, or extend objects in JavaScript with controlled…☆116Updated this week
- Runtime checker for JS coding practices☆36Updated 2 years ago
- Adds code intelligence to code views on the web ✨☆55Updated 3 years ago
- constructors for Shift format AST nodes☆27Updated 3 years ago
- ☆55Updated 8 years ago
- confirm that a SpiderMonkey format AST represents an ECMAScript program☆27Updated 9 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆174Updated 10 months ago
- Generic static analysis framework☆22Updated 2 years ago
- Shift AST Specification☆190Updated 3 years ago
- Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2☆123Updated 10 years ago
- Functional Zipper for manipulating JSON☆55Updated 6 years ago
- KJS: A Complete Formal Semantics of JavaScript☆88Updated 8 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆19Updated 5 years ago
- A fast, pure javascript triple store implementation, also useful as a graph database.☆65Updated 4 years ago
- JavaScript-compatible implementation of Tagged JSON (TJSON), written in TypeScript.☆53Updated 2 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 9 years ago