1452 search results - page 182 / 291 » Algorithmic Analysis of Array-Accessing Programs |
120
click to vote
ICSM
2007
IEEE
15 years 7 months ago
2007
IEEE
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may appro...
97
Voted
CC
2001
Springer
15 years 5 months ago
2001
Springer
This paper introduces design-driven compilation, an approach in which the compiler uses design information to drive its analysis and verify that the program conforms to its design....
123
click to vote
SIGCOMM
2010
ACM
15 years 27 days ago
2010
ACM
Dynamic Datastructure Excavation (DDE) is a new approach to extract datastructures from C binaries without any need for debugging symbols. Unlike most existing tools, DDE uses dyn...
110
Voted
WORM
2003
15 years 2 months ago
2003
This paper presents DOME, a host-based technique for detecting several general classes of malicious code in software executables. DOME uses static analysis to identify the locatio...
123
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...