494 search results - page 2 / 99 » Static Analysis for Guarded Code |
HIPC
2003
Springer
13 years 10 months ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
SIGSOFT
2003
ACM
14 years 6 months ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...
SC
1995
ACM
13 years 8 months ago
1995
ACM
Because large scienti c codes are rarely static objects, developers are often faced with the tedious task of accounting for discrepancies between new and old versions. In this pap...
WETICE
1999
IEEE
13 years 9 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...
IWPC
2009
IEEE
13 years 12 months ago
2009
IEEE
Understanding aspect-oriented systems, without appropriate tool support, is a difficult and a recognized problem in the research community. Surprisingly, little has been done to ...