专利交易市场

本发明属于软件测试技术领域，具体涉及智能合约漏洞测试问题，提供了智能合约交易顺序依赖漏洞变异模糊测试方法，解决交易顺序依赖漏洞检测误报多和开销大的问题。本方法调换智能合约中最后两个函数调用顺序，通过插桩记录测试数据执行时的智能合约分支覆盖信息和发送的以太币值，基于调换前后的以太币值是否一致来检测智能合约中的交易顺序依赖漏洞，在特定时间内变异生成新的覆盖新分支的测试数据来持续测试被测智能合约。本发明提供一种误报少且开销小的交易顺序依赖漏洞测试方法，用于智能合约交易顺序依赖漏洞的自动化检测。

本发明公开了一种静态、动态分析相结合的智能合约状态提取方法，通过静态分析工具解析智能合约源代码，生成状态记录表，并将状态记录表与智能合约一同部署到区块链中，部署了状态记录表的全节点，依次运行区块中的所有交易，采用动态分析工具实时维护动态类型状态的存储布局信息，更新状态记录表，在区块内的所有交易执行完成后，部署了状态记录表的全节点将内存中的状态记录表持久化到数据库中。本发明只需要在一个全节点上部署服务，对区块链几乎不带来任何开销，利用了全节点同步机制而非使用API获取历史交易，避免了API限速和故障等问题。

本申请公开一种基于Web3.0应用的智能合约方法、装置和系统，方法包括：预设智能合约；监测是否收到智能合约发起请求，当收到智能合约发起请求时，触发代价计算事件；当获取到执行智能合约指令时，进行执行智能合约。本申请通过可编程交换机提供数据传输的路径，以区块链身份为Web3.0应用提供服务，以智能合约场景落地为例实现可编程交换机的价值传输。一定程度上减少了Web3.0应用在信息孤岛上的时间，相对现有交换机而言，配置了数字钱包容器模块的可编程交换机具有更好支撑Web3.0应用业务，只需要进行相应的合约开发、配置签署智能合约，便能灵活的支撑Web3.0应用的业务。

本发明提供了一种基于智能合约的新型传染病发现及管控系统，属于区块链技术领域。该系统通过在智能合约逻辑之外封装一个对重大传染病事件的管理组件，作为智能合约逻辑调用的中介，通过新型传染病事件的管理组件所拥有的上传、搜集、分析判断、预警、管控接口来对基于智能合约的新型传染病的发现及管控管理。该模型能够快速把控突发新型传染病事件，其中病患病历信息公开透明，大大增强了判定突发新型传染病事件的准确性，通过区块链的不可篡改及可朔源的特点及该模型的分区管控特点，及时对突发新型传染病事件进行管控防止扩散，极大的保护了人名群众的生命财产安全，将突发新型传染病事件对社会的影响降到最低。