Look out! Divergent representations are everywhere!
blog.trailofbits.com | vulnerability | #vulnerability-research | #program-analysis | #compilers | #sqlite
Summary
Compiler optimizations can give the same source variable divergent representations in a compiled binary — inconsistent interpretations on overflow that made Trail of Bits' SQLite vulnerability easier to exploit. The team built binary and source analyses to find more instances.
- Published
- Collected
--- id: 1735 title: "Look out! Divergent representations are everywhere!" source_domain: blog.trailofbits.com source_url: "https://blog.trailofbits.com/2022/11/10/divergent-representations-variable-overflows-c-compiler/" published_at: "2022-11-10T12:30:53Z" tags: ["vulnerability-research", "program-analysis", "compilers", "sqlite"] phying_url: "https://phying.com/item/1735" lang: en --- # Look out! Divergent representations are everywhere! ## Summary Compiler optimizations can give the same source variable divergent representations in a compiled binary — inconsistent interpretations on overflow that made Trail of Bits' SQLite vulnerability easier to exploit. The team built binary and source analyses to find more instances. ## Intelligence Metadata - **Sources:** blog.trailofbits.com - **Published:** 2022-11-10T12:30:53Z - **Original:** https://blog.trailofbits.com/2022/11/10/divergent-representations-variable-overflows-c-compiler/ - **Phying News:** https://phying.com/item/1735