/En
Hyperflow

合约安全服务平台

一键测试智能合约

产品简介

Hyperflow致力于智能合约的安全检测和功能测试,通过形式化验证、安全校验库等手段进行合约安全攻击漏洞的检测,分析当前开发的合约的潜在威胁并提出合理的解决方案。同时,Hyperflow作为一款智能合约开发工具支持合约的在线编辑及流程化测试。

产品功能

合约功能测试

进行合约的单方法测试和流程化测试,保证合约功能的完善性(黑盒测试)。

合约安全测试

检测合约可能存在的隐患和漏洞,避免运行时发生更大的问题,如乘法溢出、死循环等。

在线编辑器

支持网页版合约编写、编译和检测,并将结果反馈到具体代码行。
支持多种智能合约VM的在线编辑器,EVM、JVM及JSVM等。

合约性能测试

检测合约方法调用时间和合约方法调用所占内存,分析合约性能。

一键检测合约安全

Hyperflow集成了基于多种合约最佳安全实践的规则库,其基础规则库涵盖几乎所有的solidity安全规范,且支持开发者动态添加自己的规则。代码分析器通过将智能合约解析成AST来进行合约的漏洞模型筛选,其中包含死循环、数值溢出等常见漏洞模式。

形式化定理证明器

Hyperflow还将使用形式化验证校验方法分析合约代码块的执行安全性。函数方法通过SML注解定义函数执行的校验规则,使用定理证明器证明函数的输入、输出满足注解所声明的逻辑规则,否则抛出异常。

智能合约开发规范

  • Hyperflow针对开发人员编写一套安全的智能合约开发规范,它将形成一套区块链理念开发的标准思维。

  • 规范类型包括:命名规范、函数、文件规范、语句、变量等。