Pick your contexts well, understanding object-sensitivity

DOI10.1145/1926385.1926390MaRDI QIDQ5408528zbMATH OpenOpenAlexFDO

Authors Yannis Smaragdakis, Martin Bravenboer, Ondřej Lhoták

Publication date 10 April 2014

Published in Proceedings of the 38th 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/1926385.1926390

zbMATH Keywords

context-sensitivitypoints-to analysistype-sensitivityobject-sensitivity

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability
• Static Analysis
• Semi-sparse flow-sensitive pointer analysis
• Context-sensitive analysis without calling-context
• Incremental and modular context-sensitive analysis

Cited in

(14)

• TFA: an efficient and precise virtual method call resolution for Java
• scientific article; zbMATH DE number 2086513 (Why is no real title available?)
• Abstract allocation as a unified approach to polyvariance in control-flow analyses
• Hash consed points-to sets
• Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability
• ConSORT: context- and flow-sensitive ownership refinement types for imperative programs
• Precise complexity guarantees for pointer analysis via Datalog with extensions
• Quantified abstract configurations of distributed systems
• Context-sensitive analysis without calling-context
• Enforcing Programming Guidelines with Region Types and Effects
• Automatic synthesis of data-flow analyzers
• From object fields to local variables: a practical approach to field-sensitive analysis
• scientific article; zbMATH DE number 1948396 (Why is no real title available?)
• Per-dereference verification of temporal heap safety via adaptive context-sensitive analysis

This page was built for publication: Pick your contexts well, understanding object-sensitivity

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