A novel analysis space for pointer analysis and its application for bug finding (2009)

by Marcio Buss , Daniel Brand , Vugranam Sreedhar , Stephen A. Edwards
Venue:SCIENCE OF COMPUTER PROGRAMMING
Citations:1 - 0 self