UnitTestBot / usvmLinks
Universal Symbolic Virtual Machine
☆23Updated this week
Alternatives and similar repositories for usvm
Users that are interested in usvm are comparing it to the libraries listed below
Sorting:
- Materials for the "Principles of Static Program Analysis" course☆9Updated 6 months ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆105Updated this week
- KLEEF Symbolic Execution Engine☆18Updated last month
- ☆11Updated 2 months ago
- A verification tool for many memory models☆94Updated this week
- KeY Theorem Prover for Deductive Java Verification☆56Updated this week
- Public-facing course info for program analysis materials.☆41Updated 6 months ago
- A framework for testing compilers' type checkers☆52Updated 10 months ago
- Clang plugin with several static analysis checks☆26Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆76Updated last week
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated 3 months ago
- ☆34Updated this week
- Definition of the Viper intermediate verification language.☆86Updated 2 weeks ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆166Updated 4 years ago
- A compiler from TIP to llvm bitcode☆70Updated 6 months ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆254Updated last week
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆144Updated 4 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated 3 months ago
- A platform for analysis of Java bytecode☆31Updated 7 months ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆241Updated 7 months ago
- ☆18Updated 3 years ago
- Solver for Constrained Horn Clauses☆39Updated last week
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated 11 months ago
- Apron Numerical Abstract Domain Library☆125Updated 2 months ago
- Курс по формальным языкам: шаблон для домашних работ + материалы☆7Updated 2 months ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- Clade is a tool for extracting information about software build process and source code☆21Updated last year
- ☆52Updated 2 years ago
- Dynamic Analysis for Concurrent Programs☆25Updated 8 months ago