OCTOPOCS: Automatic Verification of Propagated Vulnerable Code Using Reformed Proofs of Concept. - Seongkyeong Kwon; Seunghoon Woo; Gangmo Seong; Heejo Lee (DSN, 2021)