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

DOI10.1007/978-3-030-32304-2_3zbMATH Open1539.68068MaRDI QIDQ6536277

Yulei Sui, Yuxiang Lei

Publication date: 19 April 2024

zbMATH Keywords

pointer analysiscycle eliminationfield sensitivitypositive weight cycle

Mathematics Subject Classification ID

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

Cites Work

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

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)