F. Tip, "Generation of Program Analysis Tools," Cantrum voor Wiskunde en Informatica, PhD Thesis, Amsterdam, 1995.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....so that we can reconstruct a slice of the program for the specified object. In contrast, we need to propagate dependencies in the opposite direction: given an object, we want to find all objects whose value depends on the specified object. This is sometimes called forward slicing (see e.g. [17]) Another difference is that our dependence analysis only follows data dependencies; we completely ignore control dependencies. Moreover, the notion of depends on is somewhat subjective and application dependent in a software maintenance setting. Clearly it is important to trace dependencies ....

F. Tip, "Generation of Program Analysis Tools", Institute for Logic Language and Computation dissertation series,

....we do not need to change the type of w. Given an object whose type must be changed (the target) we wish to find all other objects that can be assigned values from the specified object. This is a forward dependence problem, as opposed to backwards dependence used for example in program slicing [25]. Moreover it only involves data dependencies, as opposed to both data dependencies and control dependencies which are needed in program slicing. Our analysis refines forward data dependence analysis to reflect the importance of a dependency for the purposes of consistent type changes. The most ....

F. Tip, "Generation of Program Analysis Tools", Institute for Logic Language and Computation dissertation series,

....as it does not have this limitation, but rather allows debuggers for di erent programming languages to be adapted and connected to the debugging system. A more ambitious approach to generate source level debugging tools from the speci cation of an interpreter for a given language can be found in [22]. 3.4.1 Using a dedicated debugger An external debugger can be a dedicated, single language debugger, or it can be a language independent debugging system. An example of a dedicated debugger can be found in the debugger integrated in Borland s Visual C IDE. The GNU debugger gdb is slightly ....

F. Tip. Generation of Program Analysis Tools. PhD thesis, Institute for Logic, Language and Computation, Amsterdam, March 1995. ILLC dissertation series; 1995-5.

....defined analogously to the definition of with this difference: p I q if and only if p and q have the same proper labeling. We have p I q ) p q, but not vice versa. For occurrences of variables x; y; z; and the symbol Omega that will be used later, the two notions are identical. In Tip [Tip95] the notion is called dynamic dependence tracking. Descendants and Origins in Term Rewriting 36 8.7 The prefix property Consider again the reduction t 0 t 1 Delta Delta Delta t n with t n in normal form. We will prove that Deltat n in t 0 , that is, all the origins of t n traced back ....

....is again convex. Secondly (and (a) b) c) Figure 30: Prefix, slice and convex set of occurrences this is not the same ) also slices trace back to slices under Delta. This fact is used in program slicing , for the analysis of dependencies within programs and error recovery, by Field, Tip [FT94, Tip95] and others. In the sequel we will need the following property of prefixes. Definition 8.19 A prefix t 0 of a term t is redex pattern closed, or for short, has the rpc property, if it contains redex patterns only in their entirety, and not half of a redex pattern. In other words, if the ....

F. Tip. Generation of program analysis tools. PhD thesis, Universiteit van Amsterdam, 1995.

....ffl Use of and connection with verification and proof systems. ffl Simulation of traffic systems. ffl Evolutionary development of existing and new formalisms. ffl Building Meta environments for other specification formalisms [vD94] ffl Using origin tracking [vDKT93] and program slicing [Tip95] for reverse engineering. This list of subjects is so heterogeneous that it is unrealistic to expect that the old ambition to generate environments for programs in a programming language, specifications in a specification language, or formalized technical documents will ever lead to a single ....

F. Tip. Generation of Program Analysis Tools. PhD thesis, University of Amsterdam, 1995.

.... Program slicing has applications to program debugging[18, 19, 13, 14] program testing[2, 4] program integration[10, 5] parallel program execution[30] software metrics[23] reverse engineering[3] and software maintenance [8] Frank Tip provides a survey of program slicing including these uses [27, 28]. Section 2 formalizes the pointer state subgraph. Section 3 demonstrates its usefulness in building static analysis tools by applying it to the problem of program slicing in the presence of pointers. Section 4 presents experimental results collected using Unravel, an ANSI C slicer that uses the ....

F. Tip. Generation of Program Analysis Tools. PhD thesis, University of Amsterdam, Plantage Muidergracht 24, 1018 TV Amsterdam, 1995.

....in a specification. For certain specification styles, such as the abstract interpretation style used in the present paper, van Deursen s syntax directed origins are unlikely to create very precise origins. The dynamic dependence relation used in this paper was developed by Field and Tip [14, 20] with the intention to use it in tools for program slicing. A program slice [24, 25, 22] is usually defined as the set of statements in a program P that may affect the values computed at the slicing criterion, a designated point of interest in P . Two kinds of program slices are usually ....

....the errors occurred. Section 5 discusses how such information can be obtained automatically using dynamic dependence tracking. 5 Dynamic Dependence Tracking In order to obtain positional information for type errors, we use a technique called dependence tracking that was developed by Field and Tip [14, 20]. For a given sequence of rewriting steps T 0 Delta Delta Delta Tn , dependence tracking computes a slice of the original term, T 0 , for each function symbol or subcontext (a notion that will be presented below) of the result term, Tn . We will use the following simple specification of ....

[Article contains additional citation context not shown here]

TIP, F. Generation of Program Analysis Tools. PhD thesis, University of Amsterdam, 1995.

....interpreters, programming environments, origin tracking, dynamic dependence tracking. 1 Introduction Algebraic specifications [4] have been used successfully for the generation of a variety of software development tools, such as typecheckers [8] interpreters [11] and program analysis tools [12, 13, 23]. In the present paper it is shown how two previously developed language independent techniques, origin tracking [10] and dynamic dependence tracking [14] can be used to derive powerful language specific debugging tools from algebraic specifications of interpreters. In particular, we show ....

....ffl) ffl) SliceOf(intsub(3; 0) 2 The notions of creation and residuation become more complicated in the presence of so called leftnonlinear rules and collapse rules. The exact problems posed by these rules are outside the scope of this paper, but are extensively discussed in [23]. D 0 ae ae 0 C C T T 0 C 0 C 0 D 0 Figure 7: Depiction of the definition of a term slice. 3.3 Efficient Implementation of Origin Tracking and Dynamic Dependence Tracking Origin tracking and dynamic dependence tracking have been implemented in the rewrite engine of the ASF SDF ....

Tip, F. Generation of Program Analysis Tools. PhD thesis, University of Amsterdam, 1995. Forthcoming.

No context found.

F. Tip, "Generation of Program Analysis Tools," Cantrum voor Wiskunde en Informatica, PhD Thesis, Amsterdam, 1995.

No context found.

F. Tip. Generation of program analysis tools. PhD thesis, Universiteit van Amsterdam, 1995.

No context found.

F. Tip, "Generation of Program Analysis Tools," Cantrum voor Wiskunde en Informatica, PhD Thesis, Amsterdam, 1995.

No context found.

Frank Tip. Generation of Program Analysis Tools. PhD thesis, University of Amsterdam, 1995.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC