Traversing
dependence edges in a program’s dependence graph simplifies
the discovery of loop–assigned flag variables. In all, nine
programs, with a total of 292,030 lines of code, were analyzed.
The programs studied range from the 500 line utility
replace to the 75,000 line mail handler sendmail.