Path sensitivity

Two types:

b=1 c=0

b=0 c=1

print(b+c)

read a

a=5

print(a+2)

if (…)

1. possible only along some

control flow paths

2. visible only when paths are examined separately

diluted

partial