公开(公告)号：CN116881102A

公开(公告)日：2023-10-13

申请号：CN202310840766.X

申请日：2023-07-10

Applicant: 南京工业大学

Inventor： 王兴亚 ,  朱开泰 ,  杨雨茂 ,  吴军华

IPC: G06F11/34 ,  G06F11/36 ,  G06F18/24

Abstract: 本发明涉及一种基于变异测试的以太坊重入缺陷检测工具评价方法。首先，利用符号执行识别智能合约中的潜在重入路径，从而确定智能合约能够变异生成的重入缺陷类型；其次，通过模式匹配定位路径中所有待变异语句，可以提高缺陷变异生成的有效性；在此基础上，对待变异语句使用重入变异算子，生成重入缺陷变异体集合；最后，对重入缺陷变异体集合使用重入缺陷检测工具进行检测，根据检测结果计算变异得分，变异得分越高，工具缺陷检测能力越强。本方法能够生成大规模且分类平衡的重入缺陷数据集，获得更准确的重入缺陷检测工具评价结果。

公开(公告)号：CN118152272A

公开(公告)日：2024-06-07

申请号：CN202410216212.7

申请日：2024-02-27

Applicant: 南京工业大学

Inventor： 吴军华 ,  杨雨茂 ,  王兴亚 ,  朱开泰 ,  刘林炜

IPC: G06F11/36

Abstract: 本发明提出一种基于跨合约数据流分析的智能合约测试用例生成方法，该方法首先对智能合约中的状态变量进行数据依赖分析，得到合约函数对状态变量的读写关系，应用其引导生成函数调用序列，将对状态变量具有写操作的函数优先调用；然后，为待测的目标合约和被调用合约构造跨合约控制流图，对目标合约中函数输入参数进行数据流分析，提取参数经过的合约函数以及约束条件中相同类型的硬编码值，形成输入参数的取值范围；最后，根据函数调用序列以及函数参数取值范围，生成初始测试用例集，结合使用符合读写逻辑的函数调用序列和定向生成的函数参数值，能够生成更多满足约束条件的测试用例，从而有效提高了测试的分支覆盖率。