-
公开(公告)号:CN114095240B
公开(公告)日:2023-12-01
申请号:CN202111365160.2
申请日:2021-11-17
Applicant: 东南大学
Abstract: 本发明所述的一种基于区块链的分布式节点协同方法,包括根据功能需求为分布式节点和区块链预置规则,如区块链和节点的基本配置、确定交易数据结构、编写和部署智能合约等;节点同时监听区块链的交易更新和外部的状态变化,作为协同状态演化的触发条件;节点根据收到的触发信息后按照预置规则生成任务,生成过程包括任务发布和任务领取;节点按照任务要求执行动作,按照智能合约处理中断和调整等异常情况;节点向区块链反馈执行结果用于评估和审计。该方法利用区块链和分布式节点系统在体系架构上的契合性,在实现分布式节点协同需求的基础上,增强了智能化、安全性与鲁棒性等的特点,能够适应不同的场合和需求,实用性较高。
-
公开(公告)号:CN114095240A
公开(公告)日:2022-02-25
申请号:CN202111365160.2
申请日:2021-11-17
Applicant: 东南大学
Abstract: 本发明所述的一种基于区块链的分布式节点协同方法,包括根据功能需求为分布式节点和区块链预置规则,如区块链和节点的基本配置、确定交易数据结构、编写和部署智能合约等;节点同时监听区块链的交易更新和外部的状态变化,作为协同状态演化的触发条件;节点根据收到的触发信息后按照预置规则生成任务,生成过程包括任务发布和任务领取;节点按照任务要求执行动作,按照智能合约处理中断和调整等异常情况;节点向区块链反馈执行结果用于评估和审计。该方法利用区块链和分布式节点系统在体系架构上的契合性,在实现分布式节点协同需求的基础上,增强了智能化、安全性与鲁棒性等的特点,能够适应不同的场合和需求,实用性较高。
-
公开(公告)号:CN114238984B
公开(公告)日:2024-11-12
申请号:CN202111527064.3
申请日:2021-12-14
Applicant: 东南大学
Abstract: 本发明公开了一种基于桩掩码的软件分析交互方法,对待测程序的每个基本块进行唯一标识并插入一条插桩代码调用指令,引入桩掩码用于判别是否执行插桩代码。同时,桩掩码可根据更新策略进行自动或手动修改,从而达到屏蔽部分桩点的目的。该方法能够在保证软件分析性能的前提下,优化桩点布局,提高执行速率,是一种兼具灵活性、扩展性和实用性的软件分析交互方法。
-
公开(公告)号:CN115269412A
公开(公告)日:2022-11-01
申请号:CN202210902357.3
申请日:2022-07-29
Applicant: 东南大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于目标前置区域搜索的定向模糊测试方法,包括:静态分析程序中针对目标点的前置基本块,并根据是否为前置基本块进行差异化插桩;对程序进行覆盖引导的灰盒模糊测试,在测试的过程中执行自修改,将存在间接调用的非前置基本块修改为前置基本块;在每次测试用例执行后,根据前置基本块组成的边的覆盖情况更新全局成熟度;采用基于全局成熟度的能量调度、种子选择与种子变异方法来实现定向模糊测试。该基于目标前置区域搜索的定向模糊测试方法有效解决当前定向灰盒模糊测试中间接调用的问题,减轻程序静态分析代价,提高目标点的路径覆盖率。
-
公开(公告)号:CN115269412B
公开(公告)日:2024-08-16
申请号:CN202210902357.3
申请日:2022-07-29
Applicant: 东南大学
IPC: G06F11/36
Abstract: 本发明涉及一种基于目标前置区域搜索的定向模糊测试方法,包括:静态分析程序中针对目标点的前置基本块,并根据是否为前置基本块进行差异化插桩;对程序进行覆盖引导的灰盒模糊测试,在测试的过程中执行自修改,将存在间接调用的非前置基本块修改为前置基本块;在每次测试用例执行后,根据前置基本块组成的边的覆盖情况更新全局成熟度;采用基于全局成熟度的能量调度、种子选择与种子变异方法来实现定向模糊测试。该基于目标前置区域搜索的定向模糊测试方法有效解决当前定向灰盒模糊测试中间接调用的问题,减轻程序静态分析代价,提高目标点的路径覆盖率。
-
公开(公告)号:CN114238984A
公开(公告)日:2022-03-25
申请号:CN202111527064.3
申请日:2021-12-14
Applicant: 东南大学
Abstract: 本发明公开了一种基于桩掩码的软件分析交互方法,对待测程序的每个基本块进行唯一标识并插入一条插桩代码调用指令,引入桩掩码用于判别是否执行插桩代码。同时,桩掩码可根据更新策略进行自动或手动修改,从而达到屏蔽部分桩点的目的。该方法能够在保证软件分析性能的前提下,优化桩点布局,提高执行速率,是一种兼具灵活性、扩展性和实用性的软件分析交互方法。
-
-
-
-
-