124 search results - page 4 / 25 » Static Detection of Disassembly Errors |
SOSP
2003
ACM
14 years 4 months ago
2003
ACM
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
ICST
2011
IEEE
12 years 11 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...
ESSOS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Memory errors continue to be a major source of software failure. To address this issue, we present MEDS (Memory Error Detection System), a system for detecting memory err...
ICCL
1992
IEEE
13 years 11 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...
TAP
2007
Springer
14 years 1 months ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...