Abstract : BISM (Bytecode-Level Instrumentation for Software Monitoring) is a lightweight Java bytecode instrumentation tool which features an expressive high-level control-flow-aware instrumentation language. The language follows the aspect-oriented programming paradigm by adopting the joinpoint model, advice inlining, and separate instrumentation mechanisms. BISM provides joinpoints ranging from bytecode instruction to method execution, access to comprehensive context information, and instrumentation methods. BISM runs in two modes: build-time and load-time. We demonstrate BISM effectiveness using two experiments: a security scenario and a general runtime verification case. The results show that BISM instrumentation incurs low runtime and memory overheads.
https://hal.inria.fr/hal-03081265
Contributor : Yliès Falcone <>
Submitted on : Friday, December 18, 2020 - 9:56:56 AM Last modification on : Saturday, December 19, 2020 - 3:40:38 AM
Chukri Soueidi, Ali Kassem, Yliès Falcone. BISM: Bytecode-Level Instrumentation for Software Monitoring. International Conference on Runtime Verification, Oct 2020, Los Angeles, United States. ⟨hal-03081265⟩