antlr / symtabLinks
Generic symbol table for lexically/statically scoped languages
☆51Updated 8 years ago
Alternatives and similar repositories for symtab
Users that are interested in symtab are comparing it to the libraries listed below
Sorting:
- Polyglot Extensible Compiler Framework for Java☆112Updated 3 years ago
- The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.☆78Updated 9 years ago
- Java Concolic Unit Testing Engine☆89Updated 10 years ago
- a concolic testing engine for Java☆106Updated 7 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆155Updated this week
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 years ago
- Static program analysis for TIP☆290Updated last month
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆210Updated 3 months ago
- Automata and transducer library for .NET☆82Updated 4 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆96Updated 3 years ago
- TurnKey artifact for Z3☆38Updated 2 weeks ago
- A static verifier for concurrent C programs☆135Updated 4 years ago
- JLang: Ahead-of-time compilation of Java programs to LLVM☆298Updated 5 years ago
- Railroad Diagrams for ANTLR 4 grammar rules.☆105Updated 9 months ago
- GramTest: A tool for Grammar based Test case generation☆86Updated last year
- ANTLR as a libray for JVM based languages☆107Updated 2 years ago
- The Melange Language Workbench☆29Updated last year
- Incremental Program Analysis Framework☆90Updated 4 years ago
- ☆75Updated 7 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆30Updated 8 months ago
- A free, open-source Java library for modeling automata, graphs, and transition systems☆94Updated 2 weeks ago
- A framework for testing compilers' type checkers☆54Updated 10 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated last week
- Clank is a Java-port of popular Clang frontend☆38Updated 7 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- The highly-optimized fork of ANTLR 4 (see README)☆73Updated last year
- A program slicer for Java, based on the system dependence graph (SDG).☆67Updated last year
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 4 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated this week
- Kodkod solver for relational logic☆76Updated last year