Linked Presentation: Finding Bugs Using Your Own Code: Detecting Functionally-similar yet Inconsistent Code