Supplemental Material for Rubick
Automata-Guided Control-Flow-Sensitive Fuzz Driver Generation