基于执行生成测试（EGT）的软件漏洞检测技术及其扩展