[Trailof Bits提出为Solidity智能合约提供交互分析的原型框架Solar]4月6日消息，网络安全研究和咨询公司Trailof Bits撰文阐述其概念验证的静态分析框架Solar，这是一个可以为Solidity智能合约提供上下文无关的交互分析框架。
Trailof Bits称，虽然是一个原型，但Solar代表了一种新型的、优先考虑交互性的分析平台，其潜在应用包括代码审计和类似于IDE的语义检查。注：TrailofBits是一家网络安全研究和咨询公司，专门解决加密、虚拟化、恶意软件和软件利用方面的问题，为开发及安全团队提供审核和咨询。
相关快讯：
MicroStrategy再次购入价值1500万美金比特币，持仓规模超21亿美金:3月1日消息，美国上市商业软件公司MicroStrategy宣布再次购入328枚比特币，平均单价45,710美金，总价值1500万美金。按照此前购买数据计算，MicroStrategy目前持仓90,859枚比特币，总价格21.86亿美金，平均单价24,063美金。[2021/3/1 21:19:54]
BitPay和Travala合作推出礼品卡，支持30多种代币:金色财经报道，BitPay和Travala.com正联手提供Travala礼品卡。该礼品卡将可在Travala.com上兑换超过300万种旅行产品，并可以使用30多种不同的加密代币购买，最高限额为2万美元。[2020/11/20 3:22:51]
德克萨斯州证券委员会要求TradeMining停止运营:金色财经报道，德克萨斯州证券委员会（TSSB）今日命令华盛顿居民Devon Tyler Shigaki及其公司TradeMining，Inc立即停止运营，并指控Shigaki正在经营一项与加密货币交易软件相关的欺诈性投资。[2020/10/1]
郑重声明： Trailof Bits提出为Solidity智能合约提供交互分析的原型框架Solar版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。