Homework1 by  Zhitkov, Iskuskov, Ovcharenko, Yastrebkov.
Bugs in Mozilla software analysis.