专利查询
首页
专利评估
登录
注册
蚂蚁智安安全技术上海有限公司专利技术
蚂蚁智安安全技术上海有限公司共有11项专利
一种区块链虚拟机缺陷检测方法及装置制造方法及图纸
本申请实施例公开了一种区块链虚拟机缺陷检测方法,该方法通过设计区块链虚拟机蜕变关系,并基于全路径覆盖准则来构建差分模糊测试的蜕变测试用例,以实现对待测试的虚拟机的全面覆盖,扩大了差分模糊测试的覆盖范围。此外,该方法利用蜕变测试用例来对不...
以太坊虚拟机模糊测试方法及装置制造方法及图纸
本申请实施例公开了一种以太坊虚拟机模糊测试方法及装置。该方法在每轮测试中随机获取一个WebAssembly文件作为测试种子,通过生成测试种子的解析树,并基于解析树的结构变异和有效性测试来生成多样化、漏洞触发成功率高的测试输入,以实现范围...
区块链虚拟机模糊测试方法及装置制造方法及图纸
本申请实施例公开了一种区块链虚拟机模糊测试方法,该方法通过设计提示词迭代更新机制,引导生成式大模型生成多样且有针对性的智能合约代码作为虚拟机测试输入,提高了模糊测试效率,增加了发现隐藏在区块链虚拟机深层次区域漏洞的可能性。本说明书实施例...
基于离散时间动态图的用户预测方法和装置制造方法及图纸
本说明书实施例提供一种基于离散时间动态图的用户预测方法和装置。离散时间动态图包括,目标时刻之前、按时间排列的多个图快照。方法包括:依次从多个图快照中,获取目标用户节点在其中的第一邻居节点,按图快照的时间顺序形成第一邻居序列;根据第一邻居...
一种区块链攻击的检测方法和装置制造方法及图纸
本说明书实施例提供了一种区块链攻击的检测方法和装置,该方法包括:获取目标区块链上目标交易的交易日志,根据交易日志中的多个函数调用对应的信息、以及包含预设的多个第一语义元素的第一语义集,确定多个函数调用分别对应的交易语义,交易语义中包括多...
一种区块链上智能合约的漏洞检测方法及装置制造方法及图纸
本说明书实施例提供了一种区块链上智能合约的漏洞检测方法。该方法包括:采集所述区块链上调用若干智能合约的多个历史交易,形成初始的种子池。基于所述种子池中的种子交易进行变异操作,得到生成交易。通过执行所述生成交易进行检查点评估,将通过评估的...
一种去中心化应用的一致性检测方法、装置、介质及设备制造方法及图纸
本说明书提供了一种去中心化应用的一致性检测方法、装置、介质及设备中,通过对待检测应用的描述文本和智能合约的字节码进行获取,然后对描述文本中描述该待检测应用功能的文本进行提取作为各第一实体,并根据该待检测应用的智能合约的字节码确定该待检测...
一种漏洞检测方法、装置、存储介质及电子设备制造方法及图纸
本说明书公开了一种漏洞检测方法、装置、存储介质和电子设备,通过构建包括先验源代码文件对应的特征值、版本信息及不同版本信息对应的先验文件集的漏洞列表的漏洞查询库,使得在进行源代码漏洞检测时,可根据待检测集中的待检测源代码文件的特征值,在漏...
一种程序的测试方法、装置、电子设备及存储介质制造方法及图纸
本说明书公开了一种程序的测试方法、装置、电子设备及存储介质,可以通过对待测试程序进行解析,以从待测试程序中提取出待测试程序针对输入数据的约束信息,从而可以根据待测试程序针对输入数据的约束信息来构建满足待测试程序针对输入数据需求的目标数据...
一种针对区块链合约的重入攻击检测方法和装置制造方法及图纸
本说明书实施例提供了一种针对区块链合约的重入攻击检测方法和装置,该方法包括:获取目标区块链上的多个存在外部调用行为的智能合约中存在的预设数据流,预设数据流表示将智能合约中函数的外部输入参数作为智能合约中函数的对外调用参数;根据预设数据流...
一种针对区块链合约的重入攻击检测方法和装置制造方法及图纸
本说明书实施例提供了一种针对区块链合约的重入攻击检测方法和装置,该方法包括:获取目标区块链上的多个智能合约对应的多个字节码,根据字节码确定出多个智能合约中具有外部调用行为的多个第一智能合约,以及,确定出各个第一智能合约中存在的预设数据流...
1
科研机构数量排行前10
华为技术有限公司
127006
珠海格力电器股份有限公司
95414
中国石油化工股份有限公司
83358
浙江大学
77498
三星电子株式会社
66437
中兴通讯股份有限公司
66068
国家电网公司
59735
清华大学
54109
腾讯科技深圳有限公司
51743
华南理工大学
50033
最新更新发明人
南京航空航天大学
30612
金凤实验室
44
日铁化学材料株式会社
404
株式会社IST
21
凯迩必欧洲有限责任公司纳瓦拉分公司
3
谷歌有限责任公司
6708
中国气象局武汉暴雨研究所
24
捷米重庆机器人有限公司
32
贵州众暖科技开发有限公司
35
中国航发动力股份有限公司
1434