2144 search results - page 49 / 429 » Exact Flow Analysis |
117
click to vote
ICSM
2005
IEEE
15 years 5 months ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
VIS
2006
IEEE
16 years 1 months ago
2006
IEEE
119
click to vote
VMCAI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present a context-sensitive compositional analysis of information flow for full (mono-threaded) Java bytecode. Our idea consists in transforming the Java bytecode int...
100
click to vote
KBSE
1997
IEEE
15 years 4 months ago
1997
IEEE
Modern software systems are designed and implemented in a modular fashion by composing individual components. Early validation of individual module designs and implementations off...
114
click to vote
CGO
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...