Program analysis's homework