Modern software systems must support a high degree of variability to accommodate a wide
range of requirements and operating conditions. This paper introduces the Abstract …

Context-sensitive global analysis of large code bases can be expensive, which can make its
use impractical during software development. However, there are many situations in which …

One of the main features of programs is the amount of resources which are needed in order
to run them. Different resources can be taken into consideration, such as the number of …

Static analysis which takes into account the values of data stored in the heap is considered
complex and computationally intractable in practice. Thus, most static analyzers do not keep …

This article presents a symbolic static analysis for computing parametric upper bounds of the
number of simultaneously live objects of sequential Java-like programs. Inferring the peak …

Deriving concrete products from a product-line infrastructure requires resolving the
variability captured in the product line, based on the company market strategy or …

Context: analyzing/verifying software projects during development to:• detect and report
bugs as early as possible (eg, on-the-fly, at commit,…),• optimize code and libraries globally …

The flexibility of dynamic languages often comes at the cost of having to perform at run time
a number of additional tasks when compared to static languages. This includes for example …

Automatic static analysis tools allow inferring properties about software without executing it
and without the need for human interaction. When these tools are based on formal methods …

In this tutorial paper, we overview the techniques that underlie the automatic inference of
resource consumption bounds. We first explain the basic techniques on a Java-like …