Artifact and Appendix of "VIP: Verifying Real-World C Idioms with Integer-Pointer Casts" (original) (raw)
Published November 9, 2021 | Version v1
Software Open
Authors/Creators
- 1. MPI-SWS, Germany
- 2. University of Cambridge, UK
- 3. Radboud University Nijmegen, The Netherlands
Description
This is the artifact for the POPL'22 paper "VIP: Verifying Real-World C Idioms with Integer-Pointer Casts". It contains an extended version of the RefinedC and Cerberus tools with the presented VIP memory model, as well as examples, evaluation data, and the technical appendix for the paper.
Files
README.md
Files (2.8 GB)