panyam / astgen
A generic AST generator for parser development.
☆33Updated 6 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! ☕☆29Updated 10 months ago
- Demonstration of the path-extraction process shown in the paper "A General Path-Based Representation for Predicting Program Properties"☆24Updated 3 years ago
- The semantics of Java in K☆19Updated 3 years ago
- Export Python AST to JSON☆26Updated 3 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 6 years ago
- Graph-based incremental static analysis of ECMAScript 6 source code repositories☆19Updated 7 years ago
- An advanced automated reasoning tool for memory consistency model specifications.☆22Updated 3 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 years ago
- MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)☆39Updated 6 years ago
- The C parser for GumTree☆13Updated 4 years ago
- ANTLR 4 examples in Python☆39Updated 9 years ago
- Specification of the Trace Server Protocol (TSP)☆26Updated 3 months ago
- Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.☆53Updated 7 years ago
- Hierarchical Delta Debugging Framework☆59Updated 4 months ago
- ☆20Updated 5 years ago
- Python Symbolic Execution☆68Updated 5 years ago
- Partial evaluation of Python code☆20Updated 2 years ago
- ☆49Updated 5 years ago
- An unofficial copy of MIT's Alloy Analyzer model checking tool.☆20Updated 11 years ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- Programmatic Control Flow☆12Updated 7 years ago
- GramTest: A tool for Grammar based Test case generation☆85Updated last year
- Formal semantics of LLVM IR in K☆44Updated 9 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆93Updated 3 years ago
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆26Updated 2 years ago
- ☆10Updated 4 years ago
- A python backend for the GumTree diff tool.☆12Updated last year
- UML Class diagram reverse engineering tool☆14Updated 3 months ago
- IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…☆13Updated last month
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago