符号执行

2022-09-14 用合成 bug 评估KLEE：Characterizing and Improving Bug-Finders with Synthetic Bugs