usethesource / clair
C Language Analysis in Rascal
☆26Updated 5 months ago
Alternatives and similar repositories for clair:
Users that are interested in clair are comparing it to the libraries listed below
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- The semantics of Java in K☆19Updated 3 years ago
- Kodkod solver for relational logic☆74Updated last year
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 years ago
- Clank is a Java-port of popular Clang frontend☆38Updated 7 years ago
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 8 years ago
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- A Datalog compiler and library☆19Updated 3 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆30Updated 5 years ago
- ☆34Updated 4 years ago
- Polyglot Extensible Compiler Framework for Java☆111Updated 3 years ago
- Grammar Zoo☆89Updated 6 years ago
- The LTSmin model checking toolset☆60Updated 6 months ago
- A Verifier for JVM byte code that you can run off-line with detailed error reporting. Great for compiler writers. Useless for everyone e…☆16Updated 14 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
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Updated 2 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
- Static Analyzer and Verifier☆47Updated 6 months ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 2 months ago
- a book about declarative language definition☆23Updated 9 years ago
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- Execute and document benchmarks reproducibly.☆90Updated 3 months ago
- GramTest: A tool for Grammar based Test case generation☆85Updated last year
- A tool for testing C compilers automatically☆21Updated 9 years ago
- Abstract interpreter for real-world application programs☆32Updated 11 years ago
- Type checking ifdef variability☆77Updated 3 years ago
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆31Updated 9 years ago