Similar to correlated branches in CFGs, we also have correlated data selectors in DDGs. How can you detect such correlations in DDGs, and how do you deal with them?
Discuss the relative difficulties in identifying and dealing with such correlations in CFGs and DDGs.