SmartDec是做什么的？

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

SmartDec是 SmartCheck 工具的開發(fā)者——Solidity 語言的免費(fèi)靜態(tài)代碼分析器?，F(xiàn)在正在為不同的編程語言開發(fā)信息安全工具，并研究智能合約分析的新方法。