checks data flow dependencies in c code.