SmartDec是什么公司？
SmartDec是一家区块链和软件开发公司，提供软件审计、智能合约审计、系统软件开发和初始硬币发行(ICO)咨询。
SmartDec是做什么的？
开发用于代码分析的工具和用于从低级表示中恢复代码的工具。智能合约安全审计和智能合约开发、软件审计、在线教育系统开发目前已经为以太坊平台提供了100多个移动和Web应用程序以及智能合约的审计。
SmartDec是SmartCheck工具的开发者——Solidity语言的免费静态代码分析器。现在正在为不同的编程语言开发信息安全工具，并研究智能合约分析的新方法。
