Taming Obliviousness in Aspects with Data-flow Analysis and Design by Contract

This presentation gives a brief overview of my Phd research, which aims to detect undesired behaviour caused by aspects. This problem is approached from two different angles: First, data-flow analysis is used to detect the interactions of an aspect with other modules. Second, design by contract is used to specify the desired behaviour of aspects. Detecting undesired behaviour now comes down to checking which aspect interactions cause contract violations in advised modules.

Presented at the Benevol 2012 symposium.