“叶铭熙”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果5个，建议您升级VIP下载更多相关专利

[发明专利]一种智能合约的漏洞检测方法和装置-CN202310628634.0在审
发明人：郑子彬;叶铭熙;南雨宏;吴东鹏 -专利权人：中山大学
申请日： 2023-05-30 - 公布日： 2023-08-25 - 主分类号： G06F21/57 文献下载
摘要：本发明公开了一种智能合约的漏洞检测方法和装置，方法包括通过响应漏洞检测请求，采集智能合约在区块链上的历史交易中的历史调用函数、区块链状态和对应的关联地址；按照关联地址执行模糊测试以得到多个可调用函数，按顺序关联历史调用函数和各个可调用函数，构建多个更新交易序列；对更新交易序列分别进行变异，生成变异交易序列；在相同的区块链状态下分别执行更新交易序列和变异交易序列，根据执行后区块链状态是否相同判断智能合约是否出现漏洞，从而有效改善漏洞检测的高误报率或高漏报率的情况，提高智能合约的漏洞检测安全性。
一种智能合约漏洞检测方法装置

[发明专利]文本信息的验证方法和装置-CN202310140797.4在审
发明人：郑子彬;李辉忠;郝偲成;南雨宏;叶铭熙;白兴强;张开翔;范瑞彬 -专利权人：深圳前海微众银行股份有限公司;中山大学
申请日： 2023-02-15 - 公布日： 2023-06-13 - 主分类号： G06F8/41 文献下载
摘要：本申请提供了一种文本信息的验证方法和装置，属于金融科技(Fintech)领域，该方法包括：获取待验证的智能合约，所述智能合约中包括有至少一个结构体，所述结构体包括有至少一个数据类型为用户定义的变量；对所述智能合约中的结构体进行拆分，确定该结构体的结构体信息，所述结构体信息至少包括该结构体的结构体名称、该结构体所处的合约的合约名、结构体中变量的数据类型和变量名；根据所述结构体信息，翻译所述智能合约得到中间验证语言表示的智能合约；获取形式规约并根据所述形式规约对所述中间验证语言进行验证。该技术方案可以将智能合约中的任意数据类型的变量翻译到中间验证语言，并基于中间验证语言和规约实现了对智能合约的验证。
文本信息验证方法装置

[发明专利]一种智能合约的漏洞检测方法、电子设备和存储介质-CN202211496270.7在审
发明人：鲁静;郑子彬;叶铭熙;宋斌;段焱明;王超 -专利权人：远光软件股份有限公司
申请日： 2022-11-24 - 公布日： 2023-03-14 - 主分类号： G06F21/57 文献下载
摘要：本申请公开了一种智能合约的漏洞检测方法、电子设备和存储介质，该方法包括：获取若干初始测试样例和目标合约源码；按照若干初始测试样例的优先级依序对若干初始测试样例进行变异，得到若干目标测试样例；分别利用各目标测试样例多次执行目标合约源码，得到若干执行结果；基于若干执行结果，确定目标合约源码的漏洞。通过上述方式，本申请能够实现对智能合约中的漏洞的检测。
一种智能合约漏洞检测方法电子设备存储介质

[发明专利]一种测试集评估方法、电子设备和存储介质-CN202211488375.8在审
发明人：宋斌;郑子彬;叶铭熙;段焱明;王超;鲁静 -专利权人：远光软件股份有限公司
申请日： 2022-11-24 - 公布日： 2023-03-07 - 主分类号： G06F11/36 文献下载
摘要：本申请公开了一种测试集评估方法、电子设备和存储介质，该方法包括：利用变异算子对合约源码的抽象语法树进行变异，得到变异后的合约源码；利用变异后的合约源码和测试集进行测试，得到第一测试结果；基于第一测试结果，确定测试集的评估结果。通过上述方式，本申请能够评估测试集的有效性，以便于提高测试集的覆盖率。
一种测试评估方法电子设备存储介质

[发明专利]一种智能合约模糊测试方法、装置、存储介质及电子设备-CN202211247082.0在审
发明人：郑子彬;陈翔;叶铭熙;郝偲成 -专利权人：中山大学
申请日： 2022-10-12 - 公布日： 2022-12-09 - 主分类号： G06F21/57 文献下载
摘要：本发明公开了一种智能合约模糊测试方法、装置、存储介质及电子设备，方法为：S1：获取智能合约数据集，构建各智能合约的函数调用图和各函数的控制流图；S2：依次运行第一测试用例集中的各测试用例，记录各测试用例覆盖的函数和基本块，删除未覆盖新函数和新基本块的测试用例，根据收集的漏洞信息和漏洞测试预言判断智能合约是否存在对应漏洞；S3：计算各测试用例到目标基本块的第一距离，将第一距离最小值对应的测试用例加入第二测试用例集，根据第二测试用例集生成新的测试用例并加入第一测试用例集；执行S2直至模糊测试结束。本发明能生成更高质量的测试用例，更高概率覆盖代码分支和触发安全漏洞，提高了安全漏洞检测的效率和准确度。
一种智能合约模糊测试方法装置存储介质电子设备