1452 search results - page 104 / 291 » Algorithmic Analysis of Array-Accessing Programs |
135
click to vote
IWMM
2010
Springer
15 years 4 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
146
click to vote
SP
2009
IEEE
15 years 9 months ago
2009
IEEE
Malware authors have recently begun using emulation technology to obfuscate their code. They convert native malware binaries into bytecode programs written in a randomly generated...
107
click to vote
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present an analysis to verify abstract set specifications for programs that use object field values to determine the membership of objects in abstract sets. In our a...
PASTE
2010
ACM
15 years 7 months ago
2010
ACM
Inaccurate documentation can mislead programmers and cause software to fail in unexpected ways. We examine mismatches between documented and actual error codes returned by 42 Linu...
120
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
The proposed research defines an approach to combine Information Retrieval based analysis of the textual information embedded in software artifacts with program static and dynamic...