1466 search results - page 5 / 294 » C Program Information Database for Analysis Tools |
PLDI
2003
ACM
14 years 22 days 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...
SCAM
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper argues that semantic information encoded in natural language identifiers is a largely neglected resource for program analysis. First we show that words in Java class n...
IFM
2010
Springer
13 years 5 months ago
2010
Springer
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
ASE
2004
13 years 7 months ago
2004
Abstract. The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory acce...
ECOOP
2003
Springer
14 years 21 days ago
2003
Springer