I gave a short talk on the Future of C Code Review at our Not the NCC Con Conference this year (it was held virtually because of Covid-19) and recorded it for posterity. In this short talk, I focus on optimizations resulting from pointer provenance-based alias analysis that can modify the behavior of code with undefined behaviors. You can read much, much more about this here:
A Provenance-aware Memory Object Model for C
[ Ссылка ]
[ Ссылка ]
[ Ссылка ]
![](https://s2.save4k.ru/pic/kX1sjaqorWc/maxresdefault.jpg)