cs-au-dk / TIPLinks
Static program analysis for TIP
☆290Updated last month
Alternatives and similar repositories for TIP
Users that are interested in TIP are comparing it to the libraries listed below
Sorting:
- A compiler from TIP to llvm bitcode☆69Updated 6 months ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆221Updated 6 years ago
- Collection of Verification Tasks (MOVED, please follow the link)☆183Updated 3 years ago
- A fuzzing framework for SMT solvers☆192Updated last year
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆281Updated last year
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆245Updated 8 months ago
- Apron Numerical Abstract Domain Library☆127Updated 3 months ago
- A framework for testing compilers' type checkers☆54Updated 10 months ago
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated last month
- The official repo of Doop, the declarative pointer analysis framework.☆180Updated 3 weeks ago
- ANTLR SMT-LIB v2 Grammar☆23Updated 3 years ago
- Runtime verification system for Java, using AspectJ for instrumentation.☆47Updated 2 years ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆165Updated 4 years ago
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆41Updated 4 years ago
- Public-facing course info for program analysis materials.☆41Updated 6 months ago
- The Gillian Platform main repository☆86Updated 2 weeks ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆25Updated 2 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated last year
- Library for symbolic automata and symbolic visibly pushdown automata☆69Updated last week
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆135Updated 2 months ago
- Dynamic Program Slicing in LLVM Compiler☆139Updated 6 years ago
- Staged Abstract Interpreters☆66Updated 2 years ago
- Generates loop invariants for program verification☆62Updated 4 years ago
- Efficient and Precise Pointer-Tracking Data-Flow Framework☆40Updated 3 years ago
- Symbolic PathFinder☆151Updated 2 months ago
- ☆63Updated 5 years ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- A symbolic Java virtual machine for program analysis, verification and test generation☆111Updated this week
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆242Updated this week