A static-analysis skill that applies abstract interpretation to infer variable ranges and flag potential runtime errors — out-of-bounds, null dereference, divide-by-zero, integer overflow — without running the code.