SmartDec是做什么的？

開發用于代碼分析的工具和用于從低級表示中恢復代碼的工具。智能合約安全審計和智能合約開發 、軟件審計 、在線教育系統開發目前已經為以太坊平臺提供了100多個移動和Web應用程序以及智能合約的審計。

SmartDec是 SmartCheck 工具的開發者——Solidity 語言的免費靜態代碼分析器。現在正在為不同的編程語言開發信息安全工具，并研究智能合約分析的新方法。