蚂蚁智安安全技术上海有限公司专利技术

蚂蚁智安安全技术上海有限公司共有7项专利

  • 本说明书实施例提供了一种区块链攻击的检测方法和装置,该方法包括:获取目标区块链上目标交易的交易日志,根据交易日志中的多个函数调用对应的信息、以及包含预设的多个第一语义元素的第一语义集,确定多个函数调用分别对应的交易语义,交易语义中包括多...
  • 本说明书实施例提供了一种区块链上智能合约的漏洞检测方法。该方法包括:采集所述区块链上调用若干智能合约的多个历史交易,形成初始的种子池。基于所述种子池中的种子交易进行变异操作,得到生成交易。通过执行所述生成交易进行检查点评估,将通过评估的...
  • 本说明书提供了一种去中心化应用的一致性检测方法、装置、介质及设备中,通过对待检测应用的描述文本和智能合约的字节码进行获取,然后对描述文本中描述该待检测应用功能的文本进行提取作为各第一实体,并根据该待检测应用的智能合约的字节码确定该待检测...
  • 本说明书公开了一种漏洞检测方法、装置、存储介质和电子设备,通过构建包括先验源代码文件对应的特征值、版本信息及不同版本信息对应的先验文件集的漏洞列表的漏洞查询库,使得在进行源代码漏洞检测时,可根据待检测集中的待检测源代码文件的特征值,在漏...
  • 本说明书公开了一种程序的测试方法、装置、电子设备及存储介质,可以通过对待测试程序进行解析,以从待测试程序中提取出待测试程序针对输入数据的约束信息,从而可以根据待测试程序针对输入数据的约束信息来构建满足待测试程序针对输入数据需求的目标数据...
  • 本说明书实施例提供了一种针对区块链合约的重入攻击检测方法和装置,该方法包括:获取目标区块链上的多个存在外部调用行为的智能合约中存在的预设数据流,预设数据流表示将智能合约中函数的外部输入参数作为智能合约中函数的对外调用参数;根据预设数据流...
  • 本说明书实施例提供了一种针对区块链合约的重入攻击检测方法和装置,该方法包括:获取目标区块链上的多个智能合约对应的多个字节码,根据字节码确定出多个智能合约中具有外部调用行为的多个第一智能合约,以及,确定出各个第一智能合约中存在的预设数据流...
1