Blanket execution: dynamic similarity testing for program binaries and components
TIE: Principled Reverse Engineering of Types in Binary Programs