VulSeeker-pro: enhanced semantic learning based binary vulnerability seeker with emulation
BinGo: cross-architecture cross-OS binary search