Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers (via fanf) — discussion
#compilers
