UnitTestBot / usvmLinks
Universal Symbolic Virtual Machine
☆28Updated 3 weeks ago
Alternatives and similar repositories for usvm
Users that are interested in usvm are comparing it to the libraries listed below
Sorting:
- A platform for analysis of Java bytecode☆38Updated last year
- Materials for the "Principles of Static Program Analysis" course☆12Updated 5 months ago
- A verification tool for many memory models☆108Updated last week
- ☆18Updated 4 years ago
- Symbolic-execution-based verifier for the Viper intermediate verification language.☆126Updated this week
- KLEEF Symbolic Execution Engine☆21Updated 5 months ago
- Static program analysis for TIP☆307Updated 8 months ago
- KeY Theorem Prover for Deductive Java Verification☆68Updated this week
- Apron Numerical Abstract Domain Library☆144Updated 9 months ago
- A framework for testing compilers' type checkers☆61Updated last year
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆248Updated last year
- Program Analisys and Transformation survey and links (particular focus on SSA)☆171Updated 4 years ago
- Public-facing course info for program analysis materials.☆43Updated last month
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆31Updated 4 years ago
- Latex шаблон текста для квалификационных работ☆46Updated last month
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆299Updated this week
- A compiler from TIP to llvm bitcode☆72Updated last year
- Definition of the Viper intermediate verification language.☆92Updated this week
- Solver for Constrained Horn Clauses☆47Updated 3 weeks ago
- The VerCors verification toolset for verifying parallel and concurrent software☆85Updated 3 weeks ago
- SymDiff-Differential-Program-Verifier☆38Updated 4 months ago
- The Eldarica model checker☆99Updated last month
- Clang plugin with several static analysis checks☆27Updated 5 months ago
- ☆23Updated last month
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆287Updated last year
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆251Updated this week
- ANTLR SMT-LIB v2 Grammar☆25Updated 4 years ago
- The Ultimate program analysis framework.☆237Updated this week
- The CBMC starter kit makes it easy to add CBMC verification to a software project.☆50Updated this week
- ☆12Updated 9 months ago