It can prove absence of specific bugs though.