Detects undefined behaviour in programs.