2026-05-14T20:19:47Z https://ipsj.ixsq.nii.ac.jp/oai

oai:ipsj.ixsq.nii.ac.jp:00016640 2025-01-22T23:45:27Z 934:935:954:958

A Case Study of Development of a Java Bytecode Analyzer Framework Using AspectJ A Case Study of Development of a Java Bytecode Analyzer Framework Using AspectJ Susumu, Yamazaki Michihiro, Matsumoto Tsuneo, Nakanishi Teruaki, Kitasuka Akira, Fukuda Susumu, Yamazaki Michihiro, Matsumoto Tsuneo, Nakanishi Teruaki, Kitasuka Akira, Fukuda 通常論文 Aspect-orientation is a new programming paradigm that can localize a cross-cutting concern in a single module. This paper proposes a new type of Java bytecode analyzer framework based on aspect-orientation. It includes several new design and implementation techniques that are general or specific to the domain of language systems. We also observe that aspectorientation improves extensibility type safety execution efficiency and simplicity of the API when compared with existing analyzer frameworks based on object-orientation such as Soot. This paper reports the following: structural extension of elementary objects maintaining type safety and execution efficiency; separation of a bytecode parser and concrete instruction sets; a visitor based on the stack-machine model; binary operations that are simple extensive and easy to maintain; and separation of nonfunctional concerns such as verification. We also observe that AspectJ currently has two limitations: it is not sufficiently expressive to structure aspects strongly depending on the inner structure; and it does not provide a general approach to write advice that cannot be described with information of its pointcut only. Aspect-orientation is a new programming paradigm that can localize a cross-cutting concern in a single module. This paper proposes a new type of Java bytecode analyzer framework based on aspect-orientation. It includes several new design and implementation techniques that are general or specific to the domain of language systems. We also observe that aspectorientation improves extensibility, type safety, execution efficiency, and simplicity of the API, when compared with existing analyzer frameworks based on object-orientation such as Soot. This paper reports the following: structural extension of elementary objects maintaining type safety and execution efficiency; separation of a bytecode parser and concrete instruction sets; a visitor based on the stack-machine model; binary operations that are simple, extensive, and easy to maintain; and separation of nonfunctional concerns such as verification. We also observe that AspectJ currently has two limitations: it is not sufficiently expressive to structure aspects strongly depending on the inner structure; and it does not provide a general approach to write advice that cannot be described with information of its pointcut only. journal article 情報処理学会 2005-01-15 application/pdf 情報処理学会論文誌プログラミング（PRO） SIG1(PRO24) 46 65 77 1882-7802 AA11464814 https://ipsj.ixsq.nii.ac.jp/record/16640/files/IPSJ-TPRO4601008.pdf eng