公开(公告)号：CN116318861A

公开(公告)日：2023-06-23

申请号：CN202310107069.3

申请日：2023-02-13

申请人： 西安电子科技大学

发明人： 于斌 ,  张钰涵 ,  刘屹 ,  李昱霖 ,  张诗雯 ,  谷卓亚 ,  陆旭 ,  马智 ,  田聪

IPC分类号： H04L9/40 ,  G06Q40/04

摘要： 本发明公开了一种基于动态交易信息的以太坊智能合约返回值未测验证方法，包括执行基于以太坊2.0以上平台的以太坊交易事务重放操作并记录重放的交易事务的操作码信息；提取操作码信息的关键逻辑并进行交易执行模拟过程，收集交易模拟后的数据信息；从数据信息中提取所需的关键操作码信息，并将其转化成可供逻辑关系检测器识别的数据文件；基于Datalog构建逻辑关系检测器，并利用构建的逻辑关系检测器和其中预先制定的检测规则及数据文件，检测重放的事务是否存在返回值未检测问题。本发明能充分简化检测规则的逻辑，扩大检测范围并提高检测准确度，无需担心状态空间爆炸问题，且采用动态验证方法能保证验证的高效性与准确性。

公开(公告)号：CN116861433A

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

申请号：CN202310594839.1

申请日：2023-05-24

申请人： 西安电子科技大学

发明人： 张诗雯 ,  谷卓亚 ,  于斌 ,  李昱霖 ,  刘屹 ,  张钰涵 ,  陆旭 ,  田聪

IPC分类号： G06F21/57 ,  G06F21/64 ,  G06F21/53 ,  G06F21/62 ,  G06F21/56 ,  G06Q40/04 ,  G06F8/41

摘要： 本发明公开了一种基于No GIL并行的以太坊智能合约交易缺陷检测方法及装置，本发明所提供的一种基于No GIL并行的以太坊智能合约交易缺陷检测方法中：利用以太坊虚拟机重放交易，收集交易过程中字节码级别的跟踪数据；根据跟踪数据间的依赖关系划分跟踪数据，以模拟EVM堆栈构建交易处理图；基于No GIL对交易处理图进行处理，构造中间表示信息，得到数据文件；利用预设检测规则对数据文件进行检测，进而检测交易过程中是否存在被攻击的隐患。由于本发明实施例使用基于No GIL的并行方法对字节码进行解析，因此原本最容易超时的交易处理图构建和转换部分的效率极大提高，缩短了攻击检测的时间。