Jun 24, 2017

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

[2] https://www.microsoft.com/en-us/research/wp-content/uploads/...