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