Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers.

Teck Bok Tok, Samuel Z. Guyer, Calvin Lin

Browse the full CC paper archive.