Linked Presentation: SymFit: Making the Common (Concrete) Case Fast for Binary-Code Concolic Execution