SmartDec是做什么的？

开发用于代码分析的工具和用于从低级表示中恢复代码的工具。智能合约安全审计和智能合约开发 、软件审计 、在线教育系统开发目前已经为以太坊平台提供了100多个移动和Web应用程序以及智能合约的审计。

SmartDec是 SmartCheck 工具的开发者——Solidity 语言的免费静态代码分析器。现在正在为不同的编程语言开发信息安全工具，并研究智能合约分析的新方法。