shapesecurity / shift-semantics-javaLinks
an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST
☆17Updated 5 years ago
Alternatives and similar repositories for shift-semantics-java
Users that are interested in shift-semantics-java are comparing it to the libraries listed below
Sorting:
- Generic static analysis framework☆22Updated 3 years ago
- reducer for the Shift AST format☆24Updated 3 years ago
- Type Analyzer for JavaScript☆197Updated 10 months ago
- ECMAScript verification with SMT solvers☆125Updated last year
- Shift AST Specification☆191Updated 4 years ago
- JUnify ― JavaScript Unification Library☆50Updated 13 years ago
- Property-based testing a'la QuickCheck for TypeScript and JavaScript☆20Updated 4 years ago
- Javascript Interpreter in Functional-Style Javascript☆20Updated 7 years ago
- Finite Domain Constraint Solver☆29Updated 8 years ago
- creates a control flow graph from an esprima abstract syntax tree☆172Updated 8 years ago
- Finding and Understanding Conflicts Between JavaScript Libraries☆40Updated 3 years ago
- Node.fz: Trigger race conditions in your Node.js code in test, not production.☆42Updated 5 years ago
- Derives a control flow graph from a JavaScript AST.☆63Updated 4 years ago
- Javascript Parser Combinator Library☆147Updated 10 years ago
- KJS: A Complete Formal Semantics of JavaScript☆103Updated 9 years ago
- JavaScript Code Instrumenter☆39Updated 7 months ago
- A fast, pure javascript triple store implementation, also useful as a graph database.☆66Updated 4 years ago
- Simple prolog interpreter using ES6 generators☆62Updated 10 years ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆34Updated 2 years ago
- Semantics for ES5☆82Updated 10 years ago
- An ECMAScript implementation of a Membrane, allowing users to dynamically hide, override, or extend objects in JavaScript with controlled…☆117Updated last month
- A multi-cursor structural editor prototype for TypeScript☆60Updated 2 years ago
- Analyses repository for Jalangi2☆14Updated 8 years ago
- Semantics and tools for JavaScript☆92Updated 3 years ago
- Generate diagrams for parser grammars☆243Updated 2 years ago
- Clafer is a lightweight modeling language☆47Updated 10 months ago
- Web Native language Workbench with Projectional Web Editor☆73Updated last week
- Compile and run Constraint Handling Rules (CHR) in JavaScript☆107Updated 2 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆80Updated 9 years ago
- Record and Replay Engine for Web Browsers☆16Updated 10 years ago