工业互联网平台区块链智能合约安全漏洞挖掘与防御技术报告

一、工业互联网平台区块链智能合约安全漏洞挖掘与防御技术报告

1.1技术背景

1.2报告目的

1.3报告内容

1.3.1智能合约安全漏洞分类

1.3.2智能合约安全漏洞挖掘方法

1.3.3智能合约安全漏洞防御技术

1.3.4案例分析

1.3.5总结与展望

二、智能合约安全漏洞挖掘方法与工具

2.1智能合约安全漏洞挖掘方法

2.1.1静态代码分析

2.1.2动态测试

2.1.3符号执行

2.2智能合约安全漏洞挖掘工具

2.2.1静态分析工具

2.2.2动态测试工具

2.2.3符号执行工具

2.3智能合约安全漏