Efficient and Expressive Bytecode-Level Instrumentation for Java Programs

06/02/2021
by   Chukri Soueidi, et al.
0

We present an efficient and expressive tool for the instrumentation of Java programs at the bytecode-level. BISM (Bytecode-Level Instrumentation for Software Monitoring) is a light-weight Java bytecode instrumentation tool that features an expressive high-level control-flow-aware instrumentation language. The language is inspired by the aspect-oriented programming paradigm in modularizing instrumentation into separate transformers, that encapsulate joinpoint selection and advice inlining. BISM allows capturing joinpoints ranging from bytecode instructions to methods execution and provides comprehensive static and dynamic context information. It runs in two instrumentation modes: build-time and load-time. BISM also provides a mechanism to compose transformers and automatically detect their collision in the base program. Transformers in a composition can control the visibility of their advice and other instructions from the base program. We show several example applications for BISM and demonstrate its effectiveness using three experiments: a security scenario, a financial transaction system, and a general runtime verification case. The results show that BISM instrumentation incurs low runtime and memory overheads.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 26

page 28

07/08/2020

BISM: Bytecode-Level Instrumentation for Software Monitoring

BISM (Bytecode-Level Instrumentation for Software Monitoring) is a light...
07/27/2017

Control and Data Flow Execution of Java Programs

Since decade understanding of programs has become a compulsory task for ...
06/07/2018

Specification of State and Time Constraints for Runtime Verification of Functions

Techniques for runtime verification often utilise specification language...
03/18/2015

Exploration of the scalability of LocFaults

A model checker can produce a trace of counterexample, for an erroneous ...
06/14/2017

Understanding and Analyzing Java Reflection

Java reflection has been increasingly used in a wide range of software. ...
03/18/2015

Exploration of the scalability of LocFaults approach for error localization with While-loops programs

A model checker can produce a trace of counterexample, for an erroneous ...
04/06/2022

P4BID: Information Flow Control in P4

Modern programmable network switches can implement custom applications u...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.