shapesecurity / shift-semantics-javaLinks
an Abstract Semantic Graph (ASG) for ECMAScript programs and a way to generate one from a Shift AST
☆17Updated 4 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:
- reducer for the Shift AST format☆24Updated 3 years ago
- Bandolier - bundler for ES2017 modules☆12Updated 2 years ago
- Graph-based incremental static analysis of ECMAScript 6 source code repositories☆19Updated 7 years ago
- constructors for Shift format AST nodes☆27Updated 3 years ago
- Generic static analysis framework☆22Updated 2 years ago
- Shift AST Specification☆190Updated 3 years ago
- Type Analyzer for JavaScript☆196Updated 3 months ago
- Finding and Understanding Conflicts Between JavaScript Libraries☆40Updated 3 years ago
- A type-safe dialect of TypeScript☆25Updated 10 years ago
- JavaScript Code Instrumenter☆38Updated last week
- confirm that a SpiderMonkey format AST represents an ECMAScript program☆27Updated 9 years ago
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆9Updated 6 years ago
- creates a control flow graph from an esprima abstract syntax tree☆171Updated 7 years ago
- Web Native language Workbench with Projectional Web Editor☆69Updated this week
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated this week
- Runtime checker for JS coding practices☆36Updated 2 years ago
- Proposal for allowing compiled languages to use the package.json sandbox model☆26Updated 8 years ago
- A delta debugger for JavaScript☆53Updated 3 years ago
- The TestCube Plugin --- amplifying your test cases since 2020☆11Updated 8 months ago
- convert ASTs between Shift and SpiderMonkey formats☆18Updated 4 years ago
- A WordNet in GF☆26Updated this week
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆57Updated 4 months ago
- ot-coq☆17Updated last year
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆167Updated this week
- Derives a control flow graph from a JavaScript AST.☆63Updated 3 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
- Plugin module for the ALL(*) lookahead algorithm in Chevrotain☆12Updated last year
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 9 years ago
- Node.fz: Trigger race conditions in your Node.js code in test, not production.☆43Updated 4 years ago