Linked Presentation: Arbiter: Bridging the Static and Dynamic Divide in Vulnerability Discovery on Binary Programs
