Exhaustive, rule-based checking of code (pattern matching, dataflow tracking) without understanding what the code is meant to do.
Continue to AI University →