[RFC] BOLT-based binary analysis tool to verify correctness of security hardening

A few people had asked a copy of the slides I used for the first keynote presentation at EuroLLVM, which was on the topic of this RFC. Please find them here:
Beyls_EuroLLVM2024_security_hardening_keynote.pdf (3.0 MB)

4 Likes