74 search results - page 6 / 15 » Certified Static Analysis by Abstract Interpretation |
CC
2002
Springer
13 years 8 months ago
2002
Springer
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
ISSTA
2012
ACM
11 years 11 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
TIC
2000
Springer
14 years 17 days ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
POPL
2007
ACM
14 years 9 months ago
2007
ACM
Transparent persistence promises to integrate programming languages and databases by allowing procedural programs to access persistent data with the same ease as non-persistent da...
GI
2007
Springer
14 years 3 months ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...