软件所在二进制软件漏洞机理分析方面取得进展