se-sic / VaRA-Tool-SuiteLinks
☆14Updated this 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:
- A LLVM-based static analysis framework.☆1,007Updated this week
- A wrapper script to build whole-program LLVM bitcode files☆718Updated 9 months ago
- Resources on the Artifact Evaluation (AE) Process☆17Updated 4 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆184Updated 3 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆79Updated last month
- StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding t…☆11Updated 6 years ago
- A database of real-world C/C++ defaults to experiment in software engineering research☆52Updated last year
- ☆26Updated last month
- Whole Program LLVM: wllvm ported to go☆328Updated last year
- JavaSlicer is an open-source dynamic slicing tool developed at Saarland University☆44Updated 4 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆63Updated 3 years ago
- A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…☆61Updated 12 years ago
- CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…☆33Updated 2 years ago
- Pointer Analysis with Tunable Precision☆26Updated 9 years ago
- ☆17Updated 6 years ago
- KLEE with floating point support (unmaintained)☆19Updated 3 years ago
- C Bounded Model Checker☆950Updated last week
- [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.☆514Updated 4 months ago
- ☆15Updated last year
- ☆15Updated last week
- JavaSMT - Unified Java API for SMT solvers.☆228Updated this week
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆228Updated 6 years ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated 2 months ago
- UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools☆1,190Updated 7 years ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆280Updated last year
- Static Value-Flow Analysis Framework for Source Code☆1,599Updated this week
- TimeSheetGenerator is an application that checks and builds time sheet documents.☆25Updated this week
- A constraint solver abstraction layer for Java☆21Updated 2 years ago
- Template-based Automated Program Repair☆49Updated last year
- GZoltar - Java Library for Automatic Debugging http://www.gzoltar.com☆84Updated last year