Linked Presentation: CO3: Concolic Co-execution for FirmwareSHiFT: Semi-hosted Fuzz Testing for Embedded Applications