Millions of users nowadays rely on their smartphones to process sensitive data through apps
from various vendors and sources. Therefore, it is vital to assess these apps for security …

Existing proofs of correctness for dependence-based slicing methods are limited either to
the slicing of intraprocedural programs [2, 39], or the proof is only applicable to a specific …

Program slicing is a technique for simplifying programs by focusing on selected aspects of
their behavior. Current mainstream static slicing methods operate on dependence graph …

Static program slicing is a technique to detect the program parts (ie the “slice”) of the given
program possibly affecting a given property. The technique is of interest for analysing safety …

Control dependency is a fundamental concept in many program analyses, transformation,
parallelization, and compiler optimization techniques. An overwhelming number of …

Control dependency is a fundamental concept in many program analyses, transformation,
parallelization, and compiler optimization techniques. An overwhelming number of …

Backward program slicing identifies the program parts that might influence a particular
variable at a program point. A program part (eg, a statement) can be directly influenced by …

Many program analysis techniques depend on capturing the control dependencies of the
program. Most existing control dependence algorithms either compute intraprocedural …

Modern software verification tools are moving towards incremental verification of program
properties to ensure safety of evolving software systems. These tools analyze each and …

Control dependence is a fundamental concept used in many program analysis techniques
such as program slicing, program debugging, program parallelization, and detecting security …