Access checking requires some symbol information in the load objects. When a load object is fully stripped, runtime checking might not catch all of the errors. Read from uninitialized memory errors might be incorrect and therefore are suppressed. You can override the suppression with the unsuppress rui command. To retain the symbol table in the load object, use the-x option when stripping a load object
Runtime checking cannot catch all array out-of-bounds errors. Bounds checking for static and stack memory is not available without debug information.