to intercept primarily the three most common types of software defects: use of uninitialized variable, nil-pointer references, and out-of-bounds array indexing.
