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
[ Ссылка ]

[ Ссылка ]
[ Ссылка ]

свернуть