se-sic / VaRA-Tool-SuiteLinks
☆14Updated last week
Alternatives and similar repositories for VaRA-Tool-Suite
Users that are interested in VaRA-Tool-Suite are comparing it to the libraries listed below
Sorting:
- Static Value-Flow Analysis Framework for Source Code☆1,638Updated last week
- A wrapper script to build whole-program LLVM bitcode files☆724Updated last year
- A LLVM-based static analysis framework.☆1,023Updated last week
- [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.☆520Updated 7 months ago
- Collection of Verification Tasks (MOVED, please follow the link)☆186Updated 4 years ago
- KLEE with floating point support (unmaintained)☆20Updated 3 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆84Updated last week
- Empirical-Research Toolkit☆11Updated last month
- Resources on the Artifact Evaluation (AE) Process☆17Updated 4 years ago
- JavaSMT - Unified Java API for SMT solvers.☆229Updated this week
- SeaHorn Verification Framework☆468Updated 7 months ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆331Updated 7 months ago
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆286Updated last year
- A database of real-world C/C++ defaults to experiment in software engineering research☆59Updated last year
- ☆34Updated 3 weeks ago
- SymCC: efficient compiler-based symbolic execution☆854Updated 7 months ago
- This is a repository to collect JUnit Tests for GAD exercises at TUM in SS21☆31Updated 3 years ago
- ☆11Updated last year
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆232Updated 6 years ago
- A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.☆1,454Updated 6 months ago
- Whole Program LLVM: wllvm ported to go☆330Updated last year
- Configuration dependency analysis for cloud software☆23Updated 3 years ago
- ☆59Updated 2 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆251Updated this week
- Generation of sequential and concurrent unit tests to find correctness and performance problems in Java classes☆16Updated 6 years ago
- STARTS - A tool for STAtic Regression Test Selection☆31Updated last year
- ☆26Updated last month
- UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools☆1,189Updated 7 years ago
- A data race detector for C+Pthreads programs☆12Updated 3 years ago