Configurable detection of SDC-causing errors in programs