usethesource / clair
C Language Analysis in Rascal
☆25Updated this week
Related projects ⓘ
Alternatives and complementary repositories for clair
- An LLVM IR Editor plugin for Eclipse☆51Updated 10 years ago
- Software Language Engineering Body of Knowledge☆46Updated 4 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- JVM Abstracting Abstract Machine☆25Updated 5 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 7 years ago
- Kodkod solver for relational logic☆74Updated last year
- The semantics of Java in K☆19Updated 3 years ago
- The LTSmin model checking toolset☆53Updated 2 weeks ago
- a book about declarative language definition☆23Updated 8 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated 7 months ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 4 months ago
- Clank is a Java-port of popular Clang frontend☆38Updated 7 years ago
- ☆34Updated 4 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆98Updated 4 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- A Datalog compiler and library☆19Updated 3 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- Incremental Program Analysis Framework☆91Updated 3 years ago
- The Stratego program transformation language☆30Updated 3 months ago
- GramTest: A tool for Grammar based Test case generation☆85Updated last year
- ☆48Updated 8 years ago
- Generic symbol table for lexically/statically scoped languages☆48Updated 7 years ago
- RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …☆24Updated 2 weeks ago
- Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…☆78Updated 4 months ago
- Supplementary files for SSFT 2015 summer school☆11Updated 5 years ago
- Specify and synthesize systems using symbolic algorithms☆46Updated 3 weeks ago
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆18Updated 2 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
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- SWORD: A Whole Program Race Detector for Java☆13Updated 3 years ago