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
- Graph-based incremental static analysis of ECMAScript 6 source code repositories☆19Updated 7 years ago
- Instrumentation framework for Node.js compliant to ECMAScript 2020 based on GraalVM.☆57Updated 5 months ago
- confirm that a SpiderMonkey format AST represents an ECMAScript program☆27Updated 9 years ago
- Bandolier - bundler for ES2017 modules☆12Updated 2 years ago
- A delta debugger for JavaScript☆53Updated 3 years ago
- Generic static analysis framework☆22Updated 2 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated last week
- Runtime checker for JS coding practices☆36Updated 2 years ago
- JavaScript Code Instrumenter☆38Updated last month
- Shift AST Specification☆190Updated 3 years ago
- A type-safe dialect of TypeScript☆25Updated 10 years ago
- Node.fz: Trigger race conditions in your Node.js code in test, not production.☆43Updated 4 years ago
- creates a control flow graph from an esprima abstract syntax tree☆171Updated 7 years ago
- convert ASTs between Shift and SpiderMonkey formats☆18Updated 4 years ago
- A fast, pure javascript triple store implementation, also useful as a graph database.☆65Updated 4 years ago
- JUnify ― JavaScript Unification Library☆50Updated 13 years ago
- Draft for the XML5 proposal.☆18Updated 2 years ago
- Finite Domain Constraint Solver☆29Updated 7 years ago
- TypeScript AST extractor to useful JSON structure.☆21Updated 7 years ago
- ECMAScript verification with SMT solvers☆124Updated last year
- 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
- LevelGraph.io Playground☆11Updated 3 years ago
- Finding and Understanding Conflicts Between JavaScript Libraries☆40Updated 3 years ago
- Push-pull Signal Function FRP☆16Updated 8 years ago
- Web Native language Workbench with Projectional Web Editor☆69Updated last week
- A template string tag for generating template string tags.☆66Updated 4 years ago
- constructors for Shift format AST nodes☆27Updated 3 years ago
- The Factis modular database system in one package !☆14Updated 9 years ago
- A source text goal intended to be used by JS for REPLs☆23Updated 4 years ago