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 5 years ago
- Type Analyzer for JavaScript☆197Updated 8 months ago
- KJS: A Complete Formal Semantics of JavaScript☆90Updated 9 years ago
- A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.☆179Updated last year
- A delta debugger for JavaScript☆54Updated 3 years ago
- creates a control flow graph from an esprima abstract syntax tree☆172Updated 7 years ago
- Dynamic analysis framework for JavaScript☆465Updated last year
- Available for legacy purposes. New users please see Jalangi2 https://github.com/Samsung/jalangi2☆122Updated 10 years ago
- Generic static analysis framework☆22Updated 2 years ago
- ECMAScript verification with SMT solvers☆124Updated last year
- Runtime checker for JS coding practices☆35Updated 3 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆99Updated 4 years ago
- A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter☆203Updated last year
- Scalable Analysis Framework for ECMAScript☆118Updated 4 years ago
- Incremental Program Analysis Framework☆93Updated 4 years ago
- Synthesizer for JavaScript API models☆17Updated 2 years ago
- SJS is a static ahead of time compiler for a subset of JavaScript☆47Updated 2 years ago
- OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM☆256Updated 8 years ago
- GramTest: A tool for Grammar based Test case generation☆88Updated 2 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Updated 10 years ago
- Adds code intelligence to code views on the web ✨☆55Updated 3 years ago
- FOAM: Feature-Oriented Active Modeller, Version 2☆76Updated last year
- WASM builds of the Z3 SMT solver☆149Updated 5 years ago
- Shift AST Specification☆192Updated 4 years ago
- Semantics and tools for JavaScript☆92Updated 3 years ago
- A collection of related articles, experiments and demos about futuristic kinds of programming☆166Updated 10 years ago
- Detecting class-like structures in JavaScript☆65Updated 5 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆19Updated 5 years ago
- Contract library for JavaScript☆148Updated 10 years ago
- JavaScript Mutation Testing☆54Updated 9 years ago