Sciweavers

23 search results - page 1 / 5
» Symbolic pointer analysis revisited
Sort
View
PLDI
2004
ACM
13 years 10 months ago
Symbolic pointer analysis revisited
Pointer analysis is a critical problem in optimizing compiler, parallelizing compiler, software engineering and most recently, hardware synthesis. While recent efforts have sugges...
Jianwen Zhu, Silvian Calman
DAC
2005
ACM
14 years 6 months ago
Towards scalable flow and context sensitive pointer analysis
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
Jianwen Zhu
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
14 years 2 months ago
Symbolic pointer analysis
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
Jianwen Zhu
PEPM
2000
ACM
13 years 9 months ago
Symbolic Pointer Analysis for Detecting Memory Leaks
Bernhard Scholz, Johann Blieberger, Thomas Fahring...