软件所在正则表达式拒绝服务攻击漏洞检测与修复技术研究中取得进展