[Noughmad]

No, but we do have a solution to one kind of bugs, which is buffer overflows. Just because it doesn't solve every bug doesn't mean it doesn't help.