[Trailof Bits提出为Solidity智能合约提供交互分析的原型框架Solar]4月6日消息,网络安全研究和咨询公司Trailof Bits撰文阐述其概念验证的静态分析框架Solar,这是一个可以为Solidity智能合约提供上下文无关的交互分析框架。
Trailof Bits称,虽然是一个原型,但Solar代表了一种新型的、优先考虑交互性的分析平台,其潜在应用包括代码审计和类似于IDE的语义检查。注:TrailofBits是一家网络安全研究和咨询公司,专门解决加密、虚拟化、恶意软件和软件利用方面的问题,为开发及安全团队提供审核和咨询。
动态 | 嘉信理财将以260亿美元收购证券巨头TD Ameritrade:据The Block今日消息,券商巨头嘉信理财(Charles Schwab)将以260亿美元收购另一美国证券巨头TD Ameritrade。合并后的实体将管理超过5万亿美元的客户资产,并为2400万个客户帐户提供服务。嘉信理财首席执行官Walt Bettinger表示:“我们共同致力于通过低成本,优质的服务和技术相结合,为投资者和顾问打破障碍。” TD Ameritrade通过衍生品交易公司CME Group 提供比特币期货交易,该公司还是加密货币衍生品交易所ErisX的投资者。[2019/11/25]
动态 | 交易软件提供商Trading Technologies将关停其加密交易平台:据The Block消息,交易软件提供商Trading Technologies(TT)决定关停其加密货币交易平台TT Crypto,因为它无法吸引足够数量的零售用户。TT是一家成立25年的公司,为摩根大通证券(J.P. Morgan Securities)、美银美林(Bank of America Merrill Lynch)、花旗集团(Citigroup)和华尔街其他公司提供交易软件。其加密交易平台本质上是将用户的订单免费发送到加密货币交易所,不过仍需缴纳交易所交易费用。[2019/8/6]
动态 | Decentraland计划投资500万美元助推区块链游戏项目开发:据CCN消息,区块链平台Decentraland计划投资500万美元,助推区块链游戏项目在该平台进行开发。为此,该平台创建了Genesis内容程序,开发者可以通过该程序提交“区块链游戏”和“交互式体验”方案。[2018/8/13]
郑重声明: Trailof Bits提出为Solidity智能合约提供交互分析的原型框架Solar版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。