Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers.

Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte

Browse the full CGO paper archive.