Details

Autor(en) / Beteiligte

• Dymnikov, Constantine
• Pearce, David J.
• Potanin, Alex

Titel

OwnKit: Inferring Modularly Checkable Ownership Annotations for Java

Ist Teil von

• 2013 22nd Australian Software Engineering Conference, 2013, p.181-190

Ort / Verlag

IEEE

Erscheinungsjahr

2013

Quelle

IEEE Electronic Library Online

Beschreibungen/Notizen

• Ownership and related systems impose restrictions on the object graph that can help improve program structure, exploit concurrency and verify software. Such systems rely on the presence of appropriate ownership annotations in the source code. Unfortunately, manually adding ownership annotations to legacy systems is a tedious process. Previous attempts at automatically inferring such ownership systems do not produce modularly checkable annotations (i.e. which allow classes to be checked in isolation) making them difficult to incorporate into day-to-day development. In this paper, we present Own Kit - a system for automatically inferring ownership annotations which are modularly checkable. We describe and evaluate our approach on a number of real-world benchmarks and compare against an existing system.