Published December 13, 2022
| Version v.1.0
Conference paper
Restricted
Automatic Generation and Reuse of Precise Library Summaries for Pointer Analysis (Artifact)
Authors/Creators
Description
The artifact of our paper "Automatic Generation and Reuse of Precise Library Summaries for Pointer Analysis".
Files
Restricted
The record is publicly accessible, but files are restricted. Log in to check if you have access.