Notice: Undefined variable: home in /data/www/htdocs/infosun/st/include/config.php3 on line 3
Notice: Undefined variable: phone in /data/www/htdocs/infosun/st/include/config.php3 on line 7
Notice: Undefined variable: email in /data/www/htdocs/infosun/st/include/config.php3 on line 11
Notice: Undefined variable: icon in /data/www/htdocs/infosun/st/include/config.php3 on line 15
Notice: Undefined variable: fax in /data/www/htdocs/infosun/st/include/config.php3 on line 19
Notice: Undefined variable: lang in /data/www/htdocs/infosun/st/include/config.php3 on line 23
Notice: Use of undefined constant HTTP_ACCEPT_LANGUAGE - assumed 'HTTP_ACCEPT_LANGUAGE' in /data/www/htdocs/infosun/st/include/config.php3 on line 24
Notice: Use of undefined constant HTTP_ACCEPT_LANGUAGE - assumed 'HTTP_ACCEPT_LANGUAGE' in /data/www/htdocs/infosun/st/include/config.php3 on line 25
Notice: Undefined variable: realname in /data/www/htdocs/infosun/st/include/config.php3 on line 29
Notice: Undefined variable: userhome in /data/www/htdocs/infosun/st/include/config.php3 on line 48
Notice: Undefined variable: useremail in /data/www/htdocs/infosun/st/include/config.php3 on line 93
Notice: Use of undefined constant de - assumed 'de' in /data/www/htdocs/infosun/st/include/title.php3 on line 4
Notice: Use of undefined constant de - assumed 'de' in /data/www/htdocs/infosun/st/include/title.php3 on line 11
Software Systems Group: Analysis of AspectJ Programs
Notice: Undefined variable: background in /data/www/htdocs/infosun/st/include/start.php3 on line 4
Notice: Use of undefined constant de - assumed 'de' in /data/www/htdocs/infosun/st/include/start.php3 on line 13
University of Passau ·
FIM ·
Software Systems
Notice: Use of undefined constant de - assumed 'de' in /data/www/htdocs/infosun/st/include/start.php3 on line 26
Deutschsprachige Startseite
Notice: Undefined variable: banner in /data/www/htdocs/infosun/st/include/header.php3 on line 12
Analysis of AspectJ Programs
Maximilian Störzer
Universität Passau
Lehrstuhl für Softwaresysteme
Innstraße 33
Notice: Use of undefined constant de - assumed 'de' in /data/www/htdocs/infosun/st/include/header.php3 on line 36
94032 Passau, Germany
Notice: Use of undefined constant de - assumed 'de' in /data/www/htdocs/infosun/st/include/header.php3 on line 42
Phone:
+49 851 509-30 91
Notice: Use of undefined constant de - assumed 'de' in /data/www/htdocs/infosun/st/include/header.php3 on line 48
Fax:
+49 851 509-30 92
e-mail: snelting@fmi.uni-passau.de
WWW: http://www.infosun.fmi.uni-passau.de/st/
Zusammenfassung
Program Analysis is increasingly used to enhance program
undErstanding and find flaws in programs. In contrast to testing,
it can \emph{guarantee} properties of a program. Up to now, in the
context of program analysis, aspect oriented programming (AOP)
has mostly been used for program instrumentation (tracing), but
has not been itself subject to analytical methods.
This paper identifies sources of flaws in AOP and suggests that
program analysis could be used to avoid these pitfalls.
The subject of this paper is not to present any solution for
identified problems, but presents ideas how a solution might be
approached.
