一种智能合约写后读风险检测方法和电子设备

    公开(公告)号:CN115879945A

    公开(公告)日:2023-03-31

    申请号:CN202211371912.0

    申请日:2022-11-03

    IPC分类号: G06Q20/40 G06F40/253

    摘要: 本申请提供一种智能合约写后读风险检测方法和电子设备。所述方法包括:获取所述智能合约的源代码;对所述源代码进行词法分析和语法分析,得到抽象语法树;根据所述抽象语法树进行识别和提取,得到所述抽象语法树的关键方法;对所述关键方法进行排序,得到方法调用链;根据所述方法调用链,检测所述智能合约的写后读风险。通过本申请提供的方法和电子设备,可以提高联盟链平台中超级账本(Hyperledger)项目中的Hyperledger Fabric技术的智能合约的写后读风险检测的效率和精度。

    一种智能合约模糊测试方法及装置

    公开(公告)号:CN115659358A

    公开(公告)日:2023-01-31

    申请号:CN202211693514.0

    申请日:2022-12-28

    IPC分类号: G06F21/57 G06Q40/04

    摘要: 本申请实施例提供一种智能合约模糊测试方法及装置,包括:解析智能合约,获得函数及函数所读、写的状态变量;根据函数读、写状态变量的关系,构建以函数为节点,函数间读写状态变量的关系为边的合约控制流向图;基于合约控制流向图,构建交易序列池;对于交易序列池中的待测交易序列,通过变异生成待测交易序列中各函数的函数参数,并根据待测交易序列和函数参数生成测试用例;在插桩的智能合约中执行测试用例,得到执行结果;将执行结果与预设的漏洞规则进行匹配,根据匹配结果确定智能合约是否存在漏洞。本申请能够检测智能合约可能存在的漏洞,提高检测准确性。

    区块链跨链方法及相关设备

    公开(公告)号:CN115204856A

    公开(公告)日:2022-10-18

    申请号:CN202211107148.6

    申请日:2022-09-13

    摘要: 本申请提供一种区块链跨链方法及相关设备。通过对哈希值进行加密和验证以判定哈希值在传输过程中是否被篡改,设定多种情况下的交易撤回机制以实现交易时间锁内的交易可撤回,并设定违约资金、区块链资产交换过程中的多个阶段的限制时长及其分别对应的不同惩罚机制以减少恶意违约情况的出现。本申请的方案,降低违约交易率以及区块链网络上的超时交易量,从而避免区块链网络的拥塞,降低用户数字资产的风险。