359 search results - page 33 / 72 » Detecting Indirect Coupling |
TACAS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
SAS
2004
Springer
14 years 4 months ago
2004
Springer
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
COOPIS
2003
IEEE
14 years 4 months ago
2003
IEEE
Arranging the distribution of data, objects or components is a critical task that can ultimately affect the performance, integrity and reliability of distributed system. This pape...
WCRE
2002
IEEE
14 years 3 months ago
2002
IEEE
Machine code disassembly routines form a fundamental component of software systems that statically analyze or modify executable programs. The task of disassembly is complicated by...
CCS
2006
ACM
14 years 2 months ago
2006
ACM
Most of the recent work on Web security focuses on preventing attacks that directly harm the browser's host machine and user. In this paper we attempt to quantify the threat ...