Hybrid analysis: Static \& dynamic memory reference analysis

DOI10.1023/A:1024597010150zbMATH Open1067.68048OpenAlexW16598917MaRDI QIDQ1425035FDOQ1425035

Authors: Silvius Rus, Lawrence Rauchwerger, J. Hoeflinger 

Publication date: 15 March 2004

Published in: International Journal of Parallel Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1024597010150

Recommendations

• Compiler Construction
• Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
• Combining dynamic and static slicing for analysing assembler
• Static analysis of binary code with memory indirections using polyhedra
• Partitioned memory models for program analysis
• A framework for memory efficient context-sensitive program analysis
• Static analysis for optimizing reference counting

zbMATH Keywords

Automatic parallelizationhybrid analysismemory access representation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Cited In (2)

• An exact data dependence testing method for quadratic expressions
• A compile/Run-time environment for the automatic transformation of linked list data structures

This page was built for publication: Hybrid analysis: Static \& dynamic memory reference analysis

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