CCF is a hybrid concolic execution and fuzzing tool. Programs are compiled twice, once with additional symbolic tracing for the high-speed concolic engine and once more instrumented for fuzzing (we use a modified version of AFL) to quickly explore easy-to-find execution paths.