Access Analysis-Based Tight Localization of Abstract Memories

DOI10.1007/978-3-642-18275-4_25zbMath1317.68033OpenAlexW3139419613MaRDI QIDQ3075495

Kwangkeun Yi, Lucas Brutschy, Hakjoo Oh

Publication date: 15 February 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-18275-4_25

Mathematics Subject Classification ID

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

Related Items (4)

Sound Non-statistical Clustering of Static Analysis Alarms ⋮ Access-Based Localization for Octagons ⋮ Incrementally closing octagons ⋮ A sparse evaluation technique for detailed semantic analyses

Cites Work

• The octagon abstract domain
• Scalable Shape Analysis for Systems Code
• Static Analysis of String Manipulations in Critical Embedded C Programs
• Interprocedural Shape Analysis with Separated Heap Abstractions
• Abstract interpretation and application to logic programs
• A semantics for procedure local heaps and its abstractions
• Model Checking Via ΓCFA
• Programming Languages and Systems
• Improving flow analyses via ΓCFA
• Static Analysis
• Unnamed Item
• Unnamed Item

This page was built for publication: Access Analysis-Based Tight Localization of Abstract Memories