2144 search results - page 49 / 429 » Exact Flow Analysis |
155
Voted
ICSM
2005
IEEE
15 years 9 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...
89
Voted
VIS
2006
IEEE
16 years 4 months ago
2006
IEEE
147
Voted
VMCAI
2005
Springer
15 years 9 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...
138
Voted
KBSE
1997
IEEE
15 years 7 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...
151
Voted
CGO
2010
IEEE
15 years 10 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 ...