QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

github.com