19 search results - page 1 / 4 » A Memory Model Sensitive Checker for C |
FM
2006
Springer
14 years 2 months ago
2006
Springer
SIGSOFT
2003
ACM
14 years 11 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
IFIP
2010
Springer
13 years 5 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
KBSE
2008
IEEE
14 years 5 months ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
QSIC
2008
IEEE
14 years 5 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...