2 ms·It could detect all scenarios by compiling to a C virtual machine which checks for UB at runtimeby __s 11y agoIt could detect all scenarios by compiling to a C virtual machine which checks for UB at runtime