Arbiter: Bridging the static and dynamic divide in vulnerability discovery on binary programs