Also, if we are open to adding other sanitizers, UBSAN might be fairly easy to add, since it should be in roughly the same format as ASAN and LSAN.