Semi-sparse flow-sensitive pointer analysis

DOI10.1145/1480881.1480911zbMath1315.68074OpenAlexW2154847114MaRDI QIDQ5261519

Calvin Lin, Ben Hardekopf

Publication date: 3 July 2015

Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1480881.1480911

zbMATH Keywords

pointer analysisalias analysis

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

Related Items (5)

Hash consed points-to sets ⋮ Dead code elimination based pointer analysis for multithreaded programs ⋮ Recognition of logically related regions based heap abstraction ⋮ Verifying pointer and string analyses with region type systems ⋮ A sparse evaluation technique for detailed semantic analyses

This page was built for publication: Semi-sparse flow-sensitive pointer analysis