Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution

Table 1

Occurrence of concrete equation condition in C language.

Grammar	Constraint
if( = = N)	True branch:  = N
if(! = N)	False branch:  = N
if()	False branch: −  0
switch() case N:	Every case:  = N