Fast and precise handling of positive weight cycles for field-sensitive pointer analysis

DOI10.1007/978-3-030-32304-2_3MaRDI QIDQ6536277zbMATH OpenFDO

Authors Yuxiang Lei, Yulei Sui

Publication date 19 April 2024

Full work available at URL https://doi.org/10.1007/978-3-030-32304-2_3

zbMATH Keywords

cycle eliminationfield sensitivitypointer analysispositive weight cycle

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Semi-sparse flow-sensitive pointer analysis
• scientific article; zbMATH DE number 1834572
• Static Analysis
• A new approach to pointer analysis for assignments
• Static Analysis

Cites work

• Depth-First Search and Linear Graph Algorithms
• On finding the strongly connected components in a directed graph
• Points-to analysis with efficient strong updates
• Semi-sparse flow-sensitive pointer analysis

This page was built for publication: Fast and precise handling of positive weight cycles for field-sensitive pointer analysis

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