Precise Interprocedural Analysis in the Presence of Pointers to the Stack.

Pascal Sotin, Bertrand Jeannet

Browse the full ESOP paper archive.