4 ms·
Not exactly: IIRC it is part of Miri somehow, but it doesn't do all the fancy checks for UB (only part of them).
by afdbcreid 3y ago
Not exactly: IIRC it is part of Miri somehow, but it doesn't do all the fancy checks for UB (only part of them).