Capturing program models with BISM - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2022

Capturing program models with BISM

Chukri Soueidi
  • Function : Author
  • PersonId : 1086388


In this paper, we present an extension of the Java bytecode instrumentation tool BISM that captures and prepares a model that abstracts the program behavior at the intra-procedural level. We analyze program methods we are interested in monitoring and construct a control-flow graph automaton where the states represent actions of the program that produce events. Directed towards monitoring general behavioral properties at runtime, the resulting model is presented for the users to write static analyzers and combine both static and runtime verification.
Fichier principal
Vignette du fichier
sac22.pdf (298.65 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03911682 , version 1 (23-12-2022)



Chukri Soueidi, Yliès Falcone. Capturing program models with BISM. SAC 2022 - 37th ACM Symposium on Applied Computing - Software Verification and Testing Track, Apr 2022, Brno (Virtuel), Czech Republic. ⟨10.1145/3477314.3507239⟩. ⟨hal-03911682⟩
55 View
13 Download



Gmail Facebook Twitter LinkedIn More