Data science software plays an increasingly important role in critical decision making in
fields ranging from economy and finance to biology and medicine. As a result, errors in data …

In the present article, we formally define the notion of abstract program slicing, a general
form of program slicing where properties of data are considered instead of their exact value …

We overview the main semantics-based static analysis techniques for software verification:
Data-flow analysis, Control-flow Analysis, Model Checking, and Abstract Interpretation. The …

In this paper, the notions of semantic relevancy of statements, semantic data dependences
and conditional dependences are extended to the case of programs embedding SQL …

This paper introduces a policy-based slicing of Hibernate Query Language (HQL) based on
a refined notion of dependence graph. The policies are defined on persistent objects, rather …

We present SemSlice, a tool which automatically produces very precise slices for C routines.
Slicing is the process of removing statements from a program such that defined aspects of its …

This paper introduces a novel semantics-based static analysis approach for Solidity,
leveraging the Abstract Interpretation theory to enhance Ethereum smart contract …

Protecting confidentiality and integrity of sensitive information in blockchain software
systems is an important security aspect, which may be compromised due to unrestricted …

Since the original development of program slicing in 1979 there have been many attempts to
define a suitable semantics, which will precisely define the meaning of a slice. Particular …

Program slicing is the process of removing statements from a program such that defined
aspects of its behavior are retained. For producing precise slices, ie, slices that are minimal …