Look out! Divergent representations are everywhere!

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.