BISM: Bytecode-Level Instrumentation for Software Monitoring - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

BISM: Bytecode-Level Instrumentation for Software Monitoring

Résumé

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.
Fichier principal
Vignette du fichier
rv20.pdf (202.6 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03081265 , version 1 (18-12-2020)

Identifiants

  • HAL Id : hal-03081265 , version 1

Citer

Chukri Soueidi, Ali Kassem, Yliès Falcone. BISM: Bytecode-Level Instrumentation for Software Monitoring. RV 2020 - 20th International Conference on Runtime Verification, Oct 2020, Los Angeles, United States. pp.1-12. ⟨hal-03081265⟩
95 Consultations
237 Téléchargements

Partager

Gmail Facebook X LinkedIn More