Dataflow analysis for properties of aspect systems

Authors:
Yevgenia Alperin-Tsimerman;Shmuel Katz
Affiliations:
Department of Computer Science, The Technion, Haifa, Israel;Department of Computer Science, The Technion, Haifa, Israel
Venue:
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
Year:
2009

Citing 12
Cited 4

Static analysis of aspects

Proceedings of the 2nd international conference on Aspect-oriented software development
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Slicing Aspect-Oriented Software

IWPC '02 Proceedings of the 10th International Workshop on Program Comprehension
A semantics for advice and dynamic join points in aspect-oriented programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
A classification system and analysis for aspect-oriented programs

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research

OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Exceptions and aspects: the devil is in the details

Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Slicing concurrent Java programs using Indus and Kaveri

International Journal on Software Tools for Technology Transfer (STTT)
Aspects preserving properties

PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software

Proceedings of the 7th international conference on Aspect-oriented software development
Polyglot: an extensible compiler framework for Java

CC'03 Proceedings of the 12th international conference on Compiler construction
Aspect categories and classes of temporal properties

Transactions on Aspect-Oriented Software Development I

Making aspects natural: events and composition

Proceedings of the tenth international conference on Aspect-oriented software development
Compositional verification of events and observers: (summary)

Proceedings of the 10th international workshop on Foundations of aspect-oriented languages
A closer look at aspect interference and cooperation

Proceedings of the 11th annual international conference on Aspect-oriented Software Development
User-friendly event and aspect verification

Proceedings of the 12th annual international conference companion on Aspect-oriented software development

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this work, data and control flow analysis is used to detect aspects that are guaranteed to maintain some classes of linear temporal logic properties. This is, when the aspects are added to a system that satisfied the desired properties, these properties will remain true. Categories of advices (code segments) and introduced methods of aspects are defined. These categories are shown to be effective, in that they both provide real aid in verification of properties, and are automatically detectable using data and control flow. An implemented automatic data and control flow tool is described to detect the category of each advice and introduced method of an aspect. The results of applying the tool to aspect systems are summarized.