A Coverage and Slicing Dependencies Analysis for Seeking Software Security Defects

Table 1

Definitions of different statements data dependencies.

Statement type	Definition of left and right values	Examples of statements	Left and right linked lists
Assignment statement
Definition declaration	Left value is the linked list defining variables, and right value is null.	Int 𝑎, 𝑏;	𝑎 -> 𝑏	𝑎 -> 𝑏
Direct assignment	Left value is the linked list defining variables, and right value is null.	𝑎 = 10;	𝑎	𝑎
Indirect assignment	Left value is the assigned variable, and right value is the assigned value.	𝑎 = 𝑏 + 𝑐;	𝑎	𝑏 -> 𝑐
Control statement
While	Left value and right value are the same in these statements, which are variables involved in(). Left and right values of these statements are included in the left and right linked lists of all statements in the control domains.	While (𝑎 > 𝑏)	𝑎 -> 𝑏	𝑎 -> 𝑏
If else		If (𝑎 > 10)	𝑎	𝑎
For		For (𝑖 = 1; 𝑖 < 𝑏; 𝑖++)	𝑖 -> 𝑏	𝑖 -> 𝑏
Console statement	Left value and right value are both null.	return 𝑥;	Null	Null
Function call
User-defined	Related to parameter types.	Abs(*𝑎, 𝑏)	𝑎	Abs()
Library function	Left and right values are both null.	Print f()	Null	Null