Title: Symbolic context-sensitive pointer analysis
First published: 2005