1240 search results - page 1 / 248 » Improving Memory Management Security for C and C |
IJSSE
2010
13 years 7 months ago
2010
Memory managers are an important part of any modern language: they are used to dynamically allocate memory for use in the program. Many managers exist and depending on the operati...
PLDI
2003
ACM
14 years 3 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...
IEEEARES
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...
27
Voted
AMAST
2008
Springer
14 years 3 days ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
AICCSA
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...