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.
Many of them are impossible in theory to check, and many are impossible to efficiently check in practice.
No comments yet.