Sciweavers

12272 search results - page 86 / 2455
» Experimental program analysis
Sort
View
AGP
1999
IEEE
15 years 5 months ago
Widening Sharing
We study the problem of an efficient and precise sharing analysis of (constraint) logic programs. After recognizing that neither aring nor its non-redundant (but equivalent) abstra...
Enea Zaffanella, Roberto Bagnara, Patricia M. Hill
115
Voted
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
15 years 5 months ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
128
Voted
SP
2007
IEEE
135views Security Privacy» more  SP 2007»
15 years 7 months ago
Exploring Multiple Execution Paths for Malware Analysis
Malicious code (or malware) is defined as software that fulfills the deliberately harmful intent of an attacker. Malware analysis is the process of determining the behavior and ...
Andreas Moser, Christopher Krügel, Engin Kird...