1411 search results - page 6 / 283 » A Value Analysis for C Programs |
PLDI
2003
ACM
14 years 1 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...
ISPAN
2002
IEEE
14 years 1 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
OOPSLA
2007
Springer
14 years 2 months ago
2007
Springer
It is difficult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...
CAV
2004
Springer
14 years 2 months ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
Book
"This book contains a detailed analysis of the International Standard for the C language"