专利名称：一种基于A-Star的引导型符号执行方法及系统、Android应用程序专利类型：发明专利发明人：孙黎婉申请号：CN201810437332.4申请日：20180509公开号：CN108681672A公开日：20181019专利内容由知识产权出版社提供摘要：本发明属于计算机漏洞挖掘技术领域，公开了一种基于A‑Star的引导型符号执行方法及系统、Android应用程序，通过A‑Star算法引

专利名称：结合符号执行和路径模型检验的MPI程序验证方法、系统及介质专利类型：发明专利发明人：于恒彪，黄春，王戟，陈振邦，傅先进，彭林，唐滔，左克，姜浩，沈洁，方建滨申请号：CN201910837971.4申请日：20190905公开号：CN110543353B公开日：20220506专利内容由知识产权出版社提供摘要：本发明公开了一种结合符号执行和路径模型检验的MPI程序验证方法、系统及介质。本发

专利名称：一种符号执行方法、装置及系统专利类型：发明专利发明人：忽朝俭，曲富平，左磊，赵粮，薛一波申请号：CN201210540027.0申请日：20121213公开号：CN103019862A公开日：20130403专利内容由知识产权出版社提供摘要：本发明公开了一种符号执行方法、装置及系统，主要内容包括：应用于包含负载均衡器和至少两个控制器的系统中，控制器执行待测试程序中的某条路径的同时将待测试

专利名称：一种基于A-Star的引导型符号执行方法及系统、Android应用程序专利类型：发明专利发明人：孙黎婉申请号：CN201810437332.4申请日：20180509公开号：CN108681672A公开日：20181019专利内容由知识产权出版社提供摘要：本发明属于计算机漏洞挖掘技术领域，公开了一种基于A‑Star的引导型符号执行方法及系统、Android应用程序，通过A‑Star算法引

专利名称：一种基于A-Star的引导型符号执行方法及系统、Android应用程序专利类型：发明专利发明人：孙黎婉申请号：CN201810437332.4申请日：20180509公开号：CN108681672A公开日：20181019专利内容由知识产权出版社提供摘要：本发明属于计算机漏洞挖掘技术领域，公开了一种基于A‑Star的引导型符号执行方法及系统、Android应用程序，通过A‑Star算法引

专利名称：一种基于A-Star的引导型符号执行方法及系统、Android应用程序专利类型：发明专利发明人：孙黎婉申请号：CN201810437332.4申请日：20180509公开号：CN108681672A公开日：20181019专利内容由知识产权出版社提供摘要：本发明属于计算机漏洞挖掘技术领域，公开了一种基于A‑Star的引导型符号执行方法及系统、Android应用程序，通过A‑Star算法引

专利名称：一种基于A-Star的引导型符号执行方法及系统、Android应用程序专利类型：发明专利发明人：孙黎婉申请号：CN201810437332.4申请日：20180509公开号：CN108681672A公开日：20181019专利内容由知识产权出版社提供摘要：本发明属于计算机漏洞挖掘技术领域，公开了一种基于A‑Star的引导型符号执行方法及系统、Android应用程序，通过A‑Star算法引

专利名称：一种符号执行方法、装置及系统专利类型：发明专利发明人：忽朝俭，曲富平，左磊，赵粮，薛一波申请号：CN201210540027.0申请日：20121213公开号：CN103019862A公开日：20130403专利内容由知识产权出版社提供摘要：本发明公开了一种符号执行方法、装置及系统，主要内容包括：应用于包含负载均衡器和至少两个控制器的系统中，控制器执行待测试程序中的某条路径的同时将待测试

专利名称：结合符号执行和路径模型检验的MPI程序验证方法、系统及介质专利类型：发明专利发明人：于恒彪，黄春，王戟，陈振邦，傅先进，彭林，唐滔，左克，姜浩，沈洁，方建滨申请号：CN201910837971.4申请日：20190905公开号：CN110543353B公开日：20220506专利内容由知识产权出版社提供摘要：本发明公开了一种结合符号执行和路径模型检验的MPI程序验证方法、系统及介质。本发

专利名称：结合符号执行和路径模型检验的MPI程序验证方法、系统及介质专利类型：发明专利发明人：于恒彪，黄春，王戟，陈振邦，傅先进，彭林，唐滔，左克，姜浩，沈洁，方建滨申请号：CN201910837971.4申请日：20190905公开号：CN110543353B公开日：20220506专利内容由知识产权出版社提供摘要：本发明公开了一种结合符号执行和路径模型检验的MPI程序验证方法、系统及介质。本发

专利名称：一种符号执行方法、装置及系统专利类型：发明专利发明人：忽朝俭，曲富平，左磊，赵粮，薛一波申请号：CN201210540027.0申请日：20121213公开号：CN103019862A公开日：20130403专利内容由知识产权出版社提供摘要：本发明公开了一种符号执行方法、装置及系统，主要内容包括：应用于包含负载均衡器和至少两个控制器的系统中，控制器执行待测试程序中的某条路径的同时将待测试

专利名称：一种符号执行方法、装置及系统专利类型：发明专利发明人：忽朝俭，曲富平，左磊，赵粮，薛一波申请号：CN201210540027.0申请日：20121213公开号：CN103019862A公开日：20130403专利内容由知识产权出版社提供摘要：本发明公开了一种符号执行方法、装置及系统，主要内容包括：应用于包含负载均衡器和至少两个控制器的系统中，控制器执行待测试程序中的某条路径的同时将待测试