dozmus / antlr4-macroLinks
Macro pre-processor definitions for ANTLR4 written using ANTLR4 :-)
☆12Updated 7 years ago
Alternatives and similar repositories for antlr4-macro
Users that are interested in antlr4-macro are comparing it to the libraries listed below
Sorting:
- Example using the Eclipse CDT Parser API☆63Updated 6 years ago
- C++ Source metadata extractor using Eclipse CDT Parser☆38Updated 10 years ago
- JLang: Ahead-of-time compilation of Java programs to LLVM☆300Updated 5 years ago
- JavaSMT - Unified Java API for SMT solvers.☆226Updated last week
- A symbolic Java virtual machine for program analysis, verification and test generation☆112Updated this week
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆168Updated 2 weeks ago
- A dynamic symbolic analysis tool for Java☆120Updated 6 years ago
- Clank is a Java-port of popular Clang frontend☆39Updated 7 years ago
- Joana - Information Flow Control for Java☆92Updated 3 years ago
- Static program analysis for TIP☆295Updated 2 months ago
- Java Concolic Unit Testing Engine☆89Updated 11 years ago
- Polyglot Extensible Compiler Framework for Java☆112Updated 3 years ago
- ANTLR v4 grammar-based test generator☆375Updated last week
- The highly-optimized fork of ANTLR 4 (see README)☆73Updated last year
- Symbolic PathFinder☆153Updated last week
- IFDS/IDE Solver for Soot and other frameworks☆248Updated 2 years ago
- ☆75Updated 7 years ago
- srcML Toolkit☆139Updated this week
- This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"☆75Updated 5 years ago
- ANTLR as a libray for JVM based languages☆108Updated 2 years ago
- CREST is a concolic test generation tool for C.☆162Updated 5 years ago
- An inter-procedural data-flow analysis framework using value-based context sensitivity☆91Updated last year
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 4 years ago
- Seven Languages in Seven Weeks (with Xtext)☆71Updated 2 years ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated last week
- Static checker for Java☆86Updated 6 months ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆245Updated 8 months ago
- JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to instal…☆570Updated last week
- The Ultimate program analysis framework.☆222Updated this week
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Updated 7 years ago