Program element matching for multi-version program analyses
BMAT - A Binary Matching Tool for Stale Profile Propagation