Go 语言新提案：添加模糊测试支持-低调大师

Go 语言新提案：添加模糊测试支持

2021-02-25 574

Go 语言增加了支持模糊测试 (Fuzz Test) 的新提案。

据介绍，此项提案会为 Go 添加新的testing.F类型，在_test.go文件中支持FuzzFoo函数，并增加新的go命令行为。该提案的 Draft Design 已发布，并根据 Go 社区的反馈进行了迭代。下一步要做的工作是将提案实现为语言特性。

此项特性在 Go 1.17 中会被视为实验性功能，且其 API 也不一定会与 Go 1 兼容。当然，这项功能本身也会存在错误并缺少某些功能，但即便如此也会将其作为概念验证，Go 开发者可以对其进行实验并提供反馈。由于这将是一个实验性的功能，Go 团队也预计在未来的 Go 版本中 mutator 和模糊引擎 (fuzzing engine) 将会继续完善和发展。

下面是提案 Draft Design 的部分内容，这些内容不会加入到 1.17。

支持使用-race和-msan进行模糊测试
支持使用-keepfuzzing进行模糊测试
对由不同 mutator 引起的类似崩溃进行重复数据删除，这将是实现-keepfuzzing（降低噪音）的先决条件
在模糊处理时允许特殊选项（例如最大输入大小）
支持字典
模糊测试时可自定义覆盖范围检测（例如，仅检测某些软件包或文件）
为 mutator 定制生成器
支持结构化和非基本类型的结构化
[1.17的扩展目标]对除[]byte（例如字符串，int，float64）之外的其他原始类型的结构化支持

Draft Design：https://golang.org/s/draft-fuzzing-design

微信关注我们

原文链接：https://www.oschina.net/news/131058/go-support-fuzz-test-proposal

转载内容版权归作者及来源网站所有！

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

Linux 5.12 合并 Clang LTO 支持

近日，Linux 5.12 终于合并了 Clang LTO 支持，而且支持AArch64 (64 位ARM) 平台和x86_64 平台。此前本站曾报道过Linux 5.12 或将支持 Clang LTO和Linux 5.12 的 Clang LTO PR的相关讯息。不过，当时的补丁仅支持AArch64 平台，并且表示由于一些objtool 的问题，对于 x86_64 平台的支持或许要在Linux 5.13 才能实现。而且，Linus Torvalds 过去从未采纳过 LTO 支持的相关提议（包括 GCC），对于这次提交是否同意也尚不清晰。实际上，使用 Clang LTO 可以得到最佳的运行时性能，并且，Clang的 CFI（Control-Flow Integrity）实现也借此能得以实施。在这些更改中，同时也包括 ThinLTO 支持 —— 仅仅进行有限的函数 importing 分析，与传统的构建方式占用内存和时间差不多。像谷歌这样的公司早已在其移动设备上的内核构建中使用 Clang LTO 并取得了不错的效果：大约 3 年前开始，Android 内核不仅由 Clang 构建...

2021-02-25

720

Error Analysis 使用机器学习技术，助数据科学家更好地了解模型错误模式。在 2020 年 5 月的微软 Build 大会上，微软推出了三个响应式的 AI（Responsible AI，RAI）工具包，这三个工具分别是 InterpretML、Fairlearn 和 SmartNoise。这些工具包与微软 Azure 机器学习紧密集成，通过这些工具可以使机器学习领域的数据科学家能够理解模型预测、评估公平性并保护敏感数据。在这个工具系列的基础上，微软宣布推出新的功能，通过新的 Error Analysis 工具包调试模型中的不准确之处，并在 SmartNoise 中使用合成数据提升隐私性。使用 Error Analysis 识别和诊断模型的不精确性在分析机器学习模型时，我们常常关注精度等总体指标。然而，模型的准确率在不同的数据子群中往往并不统一，某些输入条件的交叉点会导致模型更频繁地失败。为了提高精度，我们需要挖掘和评估这些不同的错误来源。从历史上看，解决这些问题需要手动操作，并且十分耗时。 Error Analysis，这是微软响应式 AI 工具包中的最新成员，并且...

2021-02-25

630

资源下载

更多资源

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称，一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集，帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。