BISM: Bytecode-Level Instrumentation for Software Monitoring
Gespeichert in:
| Titel: | BISM: Bytecode-Level Instrumentation for Software Monitoring |
|---|---|
| Autoren: | Soueidi, Chukri, Kassem, Ali, Falcone, Yliès |
| Weitere Verfasser: | Compiler Optimization and Run-time Systems (CORSE), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), Laboratoire d'Informatique de Grenoble (LIG), Université Grenoble Alpes - UFR Informatique, mathématiques et mathématiques appliquées (UGA UFR IM2AG) |
| Quelle: | RV 2020 - 20th International Conference on Runtime Verification ; https://inria.hal.science/hal-03081265 ; RV 2020 - 20th International Conference on Runtime Verification, Oct 2020, Los Angeles, United States. pp.1-12 |
| Verlagsinformationen: | CCSD |
| Publikationsjahr: | 2020 |
| Bestand: | Université Grenoble Alpes: HAL |
| Schlagwörter: | Static and Dynamic Contexts, Control Flow, Aspect-Oriented Programming, Java Bytecode, Monitoring, Runtime Verification, Instrumentation, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE] |
| Geographisches Schlagwort: | Los Angeles, United States |
| Beschreibung: | International audience ; 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. |
| Publikationsart: | conference object |
| Sprache: | English |
| Verfügbarkeit: | https://inria.hal.science/hal-03081265 https://inria.hal.science/hal-03081265v1/document https://inria.hal.science/hal-03081265v1/file/rv20.pdf |
| Rights: | info:eu-repo/semantics/OpenAccess |
| Dokumentencode: | edsbas.FA57BCA |
| Datenbank: | BASE |
Nájsť tento článok vo Web of Science | Abstract: | International audience ; 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. |
|---|