1403 search results - page 2 / 281 » Quantitative Interprocedural Analysis |
ISSTA
1998
ACM
13 years 9 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
QSIC
2008
IEEE
13 years 11 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present a multi-pass interprocedural analysis and transformation for the functional aggregate update problem. Our solution handles untyped programs, including unrestri...
LCPC
1995
Springer
13 years 8 months ago
1995
Springer
ESOP
1999
Springer
13 years 9 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...