Semi-sparse flow-sensitive pointer analysis

DOI10.1145/1480881.1480911zbMATH Open1315.68074OpenAlexW2154847114MaRDI QIDQ5261519FDOQ5261519

Authors: Ben Hardekopf, Calvin Lin 

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

Recommendations

• scientific article; zbMATH DE number 1834572
• scientific article; zbMATH DE number 1948399
• Evaluating the effectiveness of pointer alias analyses
• Static Analysis
• Static Analysis

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)

Cited In (27)

• Error checking with client-driven pointer analysis
• Pick your contexts well, understanding object-sensitivity
• Static Analysis
• Title not available (Why is that?)
• A sparse evaluation technique for detailed semantic analyses
• A novel analysis space for pointer analysis and its application for bug finding
• Points-to analysis as a system of linear equations
• Verifying pointer and string analyses with region type systems
• Verifying pointer and string analyses with region type systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hash consed points-to sets
• Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability
• A flow-insensitive-complete program representation
• Title not available (Why is that?)
• Partitioned memory models for program analysis
• Precise complexity guarantees for pointer analysis via Datalog with extensions
• A new approach to pointer analysis for assignments
• Dead code elimination based pointer analysis for multithreaded programs
• Recognition of logically related regions based heap abstraction
• The Complexity of Andersen’s Analysis in Practice
• Static Analysis
• Optimizing Pointer Analysis Using Bisimilarity
• Title not available (Why is that?)
• Fast and precise handling of positive weight cycles for field-sensitive pointer analysis
• Per-dereference verification of temporal heap safety via adaptive context-sensitive analysis
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261519)