usethesource / clair
C Language Analysis in Rascal
☆25Updated 4 months ago
Alternatives and similar repositories for clair:
Users that are interested in clair are comparing it to the libraries listed below
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆28Updated 8 months ago
- The LTSmin model checking toolset☆57Updated 4 months ago
- OCCAM: Object Culling and Concretization for Assurance Maximization☆26Updated last year
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- Incremental Program Analysis Framework☆90Updated 3 years ago
- Kodkod solver for relational logic☆74Updated last year
- JVM Abstracting Abstract Machine☆25Updated 6 years ago
- Static Analyzer and Verifier☆46Updated 5 months 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
- An LLVM IR Editor plugin for Eclipse☆51Updated 11 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
- The semantics of Java in K☆19Updated 3 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- a concolic testing engine for Java☆103Updated 7 years ago
- ☆34Updated 4 years ago
- Supplementary files for SSFT 2015 summer school☆11Updated 5 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Dynamic analysis of multithreaded C programs☆13Updated 5 years ago
- Execute and document benchmarks reproducibly.☆90Updated last month
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Hierarchical Delta Debugging Framework☆59Updated 3 months ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 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…☆151Updated 3 weeks ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- Type checking ifdef variability☆77Updated 3 years ago
- Java bytecode generator for sound and precise partial program analysis☆23Updated 3 years ago
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆18Updated 2 years ago