Correcting the Dynamic Call Graph Using Control-Flow Constraints. - Byeongcheol Lee; Kevin Resnick; Michael D. Bond; Kathryn S. McKinley (CC, 2007)