usethesource / clair
C Language Analysis in Rascal
☆25Updated this week
Related projects ⓘ
Alternatives and complementary repositories for clair
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- An LLVM IR Editor plugin for Eclipse☆51Updated 10 years ago
- The semantics of Java in K☆19Updated 3 years ago
- A tool for testing C compilers automatically☆20Updated 8 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
- ☆34Updated 4 years ago
- The LTSmin model checking toolset☆53Updated last week
- a book about declarative language definition☆23Updated 8 years ago
- Kodkod solver for relational logic☆74Updated last year
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆30Updated 8 years ago
- Clank is a Java-port of popular Clang frontend☆38Updated 7 years ago
- This is a mirror of the main Bitbucket repository. Issue tracking is done on Bitbucket☆12Updated 2 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated 7 months 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
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆47Updated 4 years ago
- ☆49Updated 8 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- SOMns: A Newspeak for Concurrency Research☆67Updated last year
- 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
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- Execute and document benchmarks reproducibly.☆84Updated this week
- ☆48Updated 8 years ago
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆17Updated this week
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 4 months ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆32Updated 7 years ago
- An educational JS virtual machine based on Eclipse OMR☆45Updated last year
- PC-miner tool for program chairs☆23Updated last week