SemFuzz: Semantics-based Automatic Generation of Proof-of-Concept Exploits
Control flow analysis