Bane: A library for scalable constraint-based program analysis (1999)

by F ahndrich, M