Look out! Divergent representations are everywhere!

https://blog.trailofbits.com/2022/11/10/divergent-representations-variable-overflows-c-compiler/ · Trail of Bits recently published a blog post about a signed integer overflow in certain versions of SQLite that can enable arbitrary code execution and result in a denial of service. While working on proof-of-concept exploits for that vulnerability, we noticed that the compiler’s representation of an important integer variable is semantically […]