24 search results - page 1 / 5 » Demand-driven alias analysis for C |
67
Voted
DTJ
1998
14 years 12 months ago
1998
186
Voted
POPL
2008
ACM
16 years 17 days ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
104
click to vote
CC
2004
Springer
15 years 5 months ago
2004
Springer
In theory, increasing alias analysis precision should improve compiler optimizations on C programs. This paper compares alias analysis algorithms on scalar optimizations, including...
112
click to vote
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...