Modularly Combining Numeric Abstract Domains with Points-to Analysis, and a Scalable Static Numeric Analyzer for Java.

Zhoulai Fu

Browse the full VMCAI paper archive.