A lot of modern compilers offer sanitizer features to catch some "bad" stuff at runtime. For example, both clang and gcc offer: -fsanitize=undefined to catch undefined behavior.
Does the ARMCC offer anything like this?