Inproceedings,

Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis.

, , , , and .
ASE, page 736-747. IEEE, (2023)

Meta data

Tags

Users

  • @dblp

Comments and Reviews