OCTOPOCS: Automatic Verification of Propagated Vulnerable Code Using Reformed Proofs of Concept.

Seongkyeong Kwon, Seunghoon Woo, Gangmo Seong, Heejo Lee

Browse the full DSN paper archive.