Yeap, I want a code-review bot that just says "this is very improbable; are you sure you didn't mean x instead?" The old Coverity used to achieve similar resul

Yeap, I want a code-review bot that just says "this is very improbable; are you sure you didn't mean x instead?" The old Coverity used to achieve similar results in a different way, spotting probable mistakes based on patterns its heuristics found in the rest of the same codebase.