Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis.

Yuxiang Lei, Yulei Sui

Browse the full SAS paper archive.