This lecture introduces the area of static program analysis. We introduce the topics to be reviewed in this unit, and say a bit about abstract interpretation.

Dominance, the property that all paths to a given object must go through another object, is at the heart of ownership type disciplines. While ownership types have received abundant attention, ownership inference remains an open problem, and crucial questions about the practical impact of ownership remain unanswered. We argue that a static program analysis that infers dominance is a crucial firs...

The widespread interest in program slicing within the source code analysis and manipulation community has led to the introduction of a large number of different forms of slicing. Each preserves some aspect of a program’s behaviour and simplifies the program to focus exclusively upon this behaviour. In order to understand the similarities and differences between forms of slicing, a formal mechan...

This is a companion paper to Ambrus, Field and Torrero (2008). We extend the theoretical analysis of a marriage market with prenuptial agreements to a dynamic setting, in which individuals can reenter the marriage market after failed marriages. We show that the qualitative conclusions of the static analysis remain valid in the dynamic framework.

The construction of an And-Or dependence graphs is illustrated, and its use in slicing statecharts is described. The additional structure allows for more precise slices to be constructed in the event of additional information, such as may be provided by static analysis and model checking, and with constraints on the global state and external events.

The capabilities of XSLT processing are widely used to transform XML documents into target XML documents. These target XML documents conform to output schemas of the used XSLT stylesheet. Output schemas of XSLT stylesheets can be used for a static analysis of the used XSLT stylesheet, to automatically detect the XSLT stylesheet of target XML documents or to reason on the output schema without a...

Bug finding tools can find defects in software source code using an automated static analysis. This automation may be able to reduce the time spent for other testing and review activities. For this we need to have a clear understanding of how the defects found by bug finding tools relate to the defects found by other techniques. This paper describes a case study using several projects mainly fr...

The C Informat ion Abstractor described by Chen et al[18] is a static analysis tool which stores the in format ion collected in a relational database. This tool provides informat ion w i t h the following qualities: • global in format ion abstraction emphasis is on global references rather than local references. This reduces database size and increases speed.

We deene and implement a (max,+) algebra of signals for the timing analysis of discrete event systems expressed as timed event graphs. A system is deened by the innnite, periodic time sequences of its events. Each sequence has a nite representations called a signal. The resulting tool can also compute supre-mal controllers for timed discrete event systems.

background: developmental dysplasia of hip (ddh) is a common childhood disorder, and ultrasonography examination is routinely used for screening purposes. in this study, we aimed to evaluate a modified combined static and dynamic   ultrasound technique for the detection of ddh and to compare with the results of static and dynamic ultrasound techniques.       methods: in this cross-sectional stu...