269 search results - page 28 / 54 » Pointer Analysis for Multithreaded Programs |
128
click to vote
AADEBUG
1997
Springer
15 years 6 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
164
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
225
Voted
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
Pointer analyses derived from a Context-Free-Language (CFL) reachability formulation achieve very high precision, but they do not scale well to compute the points-to solution for a...
105
click to vote
PLDI
2000
ACM
15 years 5 months ago
2000
ACM
Most compiler optimizations and software productivity tools rely on information about the effects of pointer dereferences in a program. The purpose of points-to analysis is to com...
149
Voted
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Atomicity is an important specification that enables programmers to understand atomic blocks of code in a multi-threaded program as if they are sequential. This significantly simp...