Published January 31, 2023
| Version v1.0
Conference paper
Open
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
Files
(2.6 GB)
| Name | Size | |
|---|---|---|
|
md5:5742b13aa9f76f1180f6384456f1fc69
|
2.6 GB | Download |