4725 search results - page 34 / 945 » Dependence-Based Program Analysis |
SIGADA
2005
Springer
14 years 1 months ago
2005
Springer
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
AGP
1996
IEEE
14 years 18 days ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
APSEC
2001
IEEE
14 years 2 days ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
CCS
2003
ACM
14 years 1 months ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...