Axum 发布 0.7 版本
Axum 0.7.0 是一个构建在 Tokio、Tower 和 Hyper 之上的 Web 框架,新版主要变更点:
增加了对 Hyper 1.0 的支持。Hyper 1.0 对 API 进行了重大调整,移除了之前的高级API,并计划在新的 hyper-util 库中重新添加这些API。
引入了一个新的 axum::serve 函数来替代原有的 axum::Server,以简化启动过程。
推出了自己的 Body 类型来代替 http-body 库的功能。
为了简化路由配置,Axum 0.7.0 减少了泛型的使用,提供了更加清晰的中间件和请求处理方式。
开发者在升级过程中应注意与 tower-http 的兼容性,并可以通过查看变更日志来获取升级指南。
更新日志 https://tokio.rs/blog/2023-11-27-announcing-axum-0-7-0
Rustlantis:一个新的模糊测试器
Rustlantis 是来自 eth 的 Qian Wang 的毕业设计项目。
它是一个新的模糊器,能够生成在Rust的中间级别表示(Mid-level Intermediate Representation,MIR)中的程序,这些程序是确定性,且不含未定义行为。Rustlantis 已经发现了 Rust 编译器和 LLVM 中的 13 个以前未知的错误,这些错误导致了错误的编译和崩溃。
作者在论文中,介绍了他们如何使用语义模糊测试来找出 Rust 编译器中的错误。这种方法通过生成随机程序,编译它,并观察编译后的程序行为来工作。如果行为不正确&#x