Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution)
No abstract available.
Related papers
- LLBMC: A Bounded Model Checker for LLVM's Intermediate Representation - (Competition Contribution) TACAS 2012
- Extending DIVINE with Symbolic Verification Using SMT - (Competition Contribution) TACAS 2019
- SVF-SVC: Software Verification Using SVF (Competition Contribution) TACAS 2025
- Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) TACAS 2021
- LCTD: Tests-Guided Proofs for C Programs on LLVM - (Competition Contribution) TACAS 2016
- LLBMC: Improved Bounded Model Checking of C Programs Using LLVM - (Competition Contribution) TACAS 2013
- Hornix: From LLVM IR to Constrained Horn Clauses and Back (Competition Contribution) TACAS 2026
- LART: Compiled Abstract Execution - (Competition Contribution) TACAS 2022