If it can find flaws in human generated code why not find flaws in self generated code as well?