2 ms·

Sure: TBAA, access to invalid union field (in C++), etc. Many of them are impossible in theory to check, and many are impossible to efficiently check in practi

Sure: TBAA, access to invalid union field (in C++), etc. Many of them are impossible in theory to check, and many are impossible to efficiently check in practice.