A Story of Parametric Trace Slicing, Garbage and Static Analysis

08/24/2017
by   Giles Reger, et al.
0

This paper presents a proposal (story) of how statically detecting unreachable objects (in Java) could be used to improve a particular runtime verification approach (for Java), namely parametric trace slicing. Monitoring algorithms for parametric trace slicing depend on garbage collection to (i) cleanup data-structures storing monitored objects, ensuring they do not become unmanageably large, and (ii) anticipate the violation of (non-safety) properties that cannot be satisfied as a monitored object can no longer appear later in the trace. The proposal is that both usages can be improved by making the unreachability of monitored objects explicit in the parametric property and statically introducing additional instrumentation points generating related events. The ideas presented in this paper are still exploratory and the intention is to integrate the described techniques into the MarQ monitoring tool for quantified event automata.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/06/2018

Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things

In the last years Node.js has emerged as a framework particularly suitab...
research
05/18/2021

Quantitative and Approximate Monitoring

In runtime verification, a monitor watches a trace of a system and, if p...
research
08/19/2020

Trace-based Debloat for Java Bytecode

Software bloat is code that is packaged in an application but is actuall...
research
08/30/2017

PersonaBank: A Corpus of Personal Narratives and Their Story Intention Graphs

We present a new corpus, PersonaBank, consisting of 108 personal stories...
research
07/21/2018

Robust Monitoring of Linear Temporal Properties

Runtime verification is commonly used to detect and, if possible, react ...
research
11/02/2021

A proposal to integrate Data Envelopment Analysis and Le Chatelier principle

The article aims to estimate the short and long run efficient production...

Please sign up or login with your details

Forgot password? Click here to reset