If you look at the actual papers [1, 2] they don't mention security even once. I believe the security angle was just a PR spin added to the blog post. This is

If you look at the actual papers [1, 2] they don't mention security even once. I believe the security angle was just a PR spin added to the blog post. This is a tool for compiler writers to reason about the correctness of optimizations, and as such I believe it is useful to unlock more and more sophisticated optimization techniques. I agree that this has no impact on secure code. [1] https://www.cs.utah.edu/~regehr/papers/pldi15.pdf https://www.cs.utah.edu/~regehr/papers/pldi15.pdf [2] https://www.microsoft.com/en-us/research/wp-content/uploads/2017/06/undef-pldi17.pdf https://www.microsoft.com/en-us/research/wp-content/uploads/...