Scaling Type-Based Points-to Analysis with Saturation

Designing a whole-program static analysis requires trade-offs between precision and scalability. While a context-insensitive points-to analysis is often considered a good compromise, it still has non-linear complexity that leads to scalability problems when analyzing large applications. On the other...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings of ACM on programming languages 2024-06, Vol.8 (PLDI), p.990-1013, Article 187
Main Authors: Wimmer, Christian, Stancu, Codrut, Kozak, David, Würthinger, Thomas
Format: Article
Language:English
Subjects:
Automated static analysis
Software and its engineering
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!