符号执行，从漏洞扫描到自动化生成测试用例