panyam / astgen
A generic AST generator for parser development.
☆32Updated 5 years ago
Alternatives and similar repositories for astgen:
Users that are interested in astgen are comparing it to the libraries listed below
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 6 months ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- Graph-based incremental static analysis of ECMAScript 6 source code repositories☆19Updated 6 years ago
- ANTLR 4 examples in Python☆40Updated 8 years ago
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆51Updated 7 years ago
- The semantics of Java in K☆19Updated 3 years ago
- An unofficial copy of MIT's Alloy Analyzer model checking tool.☆20Updated 11 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆11Updated 7 years ago
- A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)☆48Updated 10 years ago
- An Earley-Algorithm Context-free grammar Parser Toolkit☆45Updated last month
- ☆71Updated 2 years ago
- Self-compiling compiler of a Python subset. Just enough Python to Python in Python.☆46Updated last year
- JReduce is a tool to reduce Java ByteCode☆12Updated 3 years ago
- Export Python AST to JSON☆26Updated 3 years ago
- Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"☆24Updated 3 years ago
- C Language Analysis in Rascal☆25Updated 2 months ago
- Materials for "Exploring the Python AST ecosystem"☆18Updated 6 years ago
- Keep your bugs contained. A platform for studying historical software bugs.☆67Updated 3 weeks ago
- Library for building abstract syntax trees from antlr parsers☆40Updated 4 years ago
- Database smell detector☆13Updated 7 years ago
- Static Analyzer and Verifier☆46Updated 3 months ago
- UML Class diagram reverse engineering tool☆14Updated 2 weeks ago
- A python backend for the GumTree diff tool.☆10Updated last year
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆36Updated 5 months ago
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆21Updated 3 years ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated last year
- TXL programming language compiler/interpreter☆22Updated 2 weeks ago
- Partial evaluation of Python code☆20Updated last year
- ☆20Updated 5 years ago