1452 search results - page 147 / 291 » Algorithmic Analysis of Array-Accessing Programs |
92
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...
108
Voted
VMCAI
2004
Springer
15 years 6 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
SCAM
2008
IEEE
15 years 7 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
101
click to vote
CGO
2008
IEEE
15 years 2 months ago
2008
IEEE
Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex c...
167
click to vote
SAS
2001
Springer
15 years 5 months ago
2001
Springer
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...