326 search results - page 3 / 66 » Interprocedural Control Flow Analysis |
ESEC
1999
Springer
15 years 1 months ago
1999
Springer
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
74
Voted
CC
1994
Springer
15 years 1 months ago
1994
Springer
: Flow grammars provide a new mechanism for modelling control flow in flow analyzers and code optimizers. Existing methods for representing control flow are inadequate in terms of ...
ECOOP
2005
Springer
15 years 3 months ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
120
click to vote
WOMPAT
2004
Springer
15 years 2 months ago
2004
Springer
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...