usethesource / clair
C Language Analysis in Rascal
☆25Updated 2 months ago
Alternatives and similar repositories for clair:
Users that are interested in clair are comparing it to the libraries listed below
- JVM Abstracting Abstract Machine☆25Updated 5 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 6 months ago
- Software Language Engineering Body of Knowledge☆48Updated 4 years ago
- The LTSmin model checking toolset☆56Updated 2 months ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆48Updated 4 years ago
- Kodkod solver for relational logic☆74Updated last year
- ☆34Updated 4 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
- Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…☆29Updated 9 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
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆50Updated 9 months ago
- Regular Expressions and Lexing with DFAs☆9Updated 8 months ago
- Mutation analysis tool for Coq verification projects☆30Updated 4 years ago
- The semantics of Java in K☆19Updated 3 years ago
- a book about declarative language definition☆23Updated 8 years ago
- An LLVM IR Editor plugin for Eclipse☆51Updated 10 years ago
- Execute and document benchmarks reproducibly.☆85Updated this week
- SWORD: A Whole Program Race Detector for Java☆13Updated 3 years ago
- Static Analyzer and Verifier☆46Updated 3 months ago
- ☆51Updated 8 years ago
- The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…☆8Updated 3 years ago
- Incremental Program Analysis Framework☆90Updated 3 years ago
- PC-miner tool for program chairs☆24Updated last month
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 11 months ago
- Supplementary files for SSFT 2015 summer school☆11Updated 5 years ago
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆18Updated 2 months ago
- SMTInterpol interpolating SMT solver☆61Updated 6 months ago
- Clank is a Java-port of popular Clang frontend☆38Updated 7 years ago