Title: Iterative global flow techniques for detecting program anomalies
Subjects: Computer programs, Evaluation, Iterative methods (Mathematics)