下载一种以太坊智能合约问题检测和预防方法与装置的技术资料

文档序号:24207246

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。

本发明提出了一种以太坊智能合约问题检测和预防方法与装置,该方法的输入是用户给定的以太坊智能合约源代码。首先格式化源代码,整理代码的格式。然后根据不同问题的特征确定对应的正则表达式及检测规则,并确定预防重入漏洞和整数溢出漏洞的代码语句构造方法...
该专利属于河海大学所有,仅供学习研究参考,未经过河海大学授权不得商用。

详细技术文档下载地址

温馨提示:您尚未登录,请点 登陆 后下载,如果您还没有账户请点 注册 ,登陆完成后,请刷新本页查看技术详细信息。