Concolic Execution Tailored for Hybrid Fuzzing