Program analyses support software developers, for example, through error detection, code-
quality assurance, and by enabling compiler optimizations and refactorings. To provide real …

Today, PHP is one of the most popular programming languages, and is commonly used in
the open source community and in industry to build large application frameworks and web …

We present FlowSpec, a declarative specification language for the domain of dataflow
analysis. FlowSpec has declarative support for the specification of control flow graphs of …

Static analyses are tools that reason about the behavior of computer programs without
actually executing them. They play an important role in many areas of software development …

We propose a tool and underlying technique that uses semi-parsing to extract control flow
graphs from legacy source code (ie, COBOL). Obtaining such control flow graphs is relevant …

Data-flow analysis is the static analysis of programs to estimate their approximate run-time
behavior or approximate intermediate run-time values. It is an integral part of modern …

Data-flow analyses are used as part of many software engineering tasks: they are the
foundations of program under-standing, refactorings and optimized code generation. Similar …

OOPSLE is a workshop co-located with a re-engineering conference and serving as a venue
for software language engineers to meet outside the SLE conference to discuss either long …

This thesis concerns advanced code differencing techniques in the context of automated
large-scale refactoring for legacy software systems. Commonly, differencing compares two …

Computers execute software to do the tasks we expect from them. This software is written by
human beings, we call this programming. The most common way to program is by writing …