mewmew / lstlangsLinks
Language definitions and styles for listings in LaTeX.
☆68Updated 4 months ago
Alternatives and similar repositories for lstlangs
Users that are interested in lstlangs are comparing it to the libraries listed below
Sorting:
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆248Updated last year
- A Vim plugin that adds support for the SMT-LIB2 format (including Z3's extensions)☆41Updated 2 months ago
- A verification tool for many memory models☆108Updated last week
- Apron Numerical Abstract Domain Library☆144Updated 9 months ago
- SMACK Software Verifier and Verification Toolchain☆442Updated 8 months ago
- Whole Program LLVM: wllvm ported to go☆330Updated last year
- Collection of Verification Tasks (MOVED, please follow the link)☆187Updated 4 years ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆287Updated last year
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆355Updated last year
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆251Updated this week
- Yet Another Random Program Generator☆542Updated last month
- A wrapper script to build whole-program LLVM bitcode files☆728Updated last week
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆232Updated 6 years ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆299Updated this week
- SeaHorn Verification Framework☆468Updated 7 months ago
- ☆66Updated 6 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆168Updated last month
- Dynamic detection of likely invariants☆243Updated this week
- Simple Theorem Prover, an efficient SMT solver for bitvectors☆559Updated 2 months ago
- The efficient SMT-based context-bounded model checker (ESBMC)☆421Updated this week
- BenchExec: A Framework for Reliable Benchmarking and Resource Measurement☆276Updated 3 weeks ago
- Public-facing course info for program analysis materials.☆43Updated last month
- Thesis code☆26Updated 2 years ago
- Automatic detection of speculative information flows☆75Updated 4 years ago
- language-agnostic program reducer.☆200Updated last month
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆36Updated last week
- ☆53Updated 2 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆333Updated last month
- Teaching and Learning Software Verification via SVF☆34Updated 3 weeks ago
- PL/SE conference deadline countdowns☆19Updated 5 years ago