小红花·文摘
  • 首页
  • 广场
  • 排行榜🏆
  • 直播
  • FAQ
Dify.AI

TokioConf 2026 的演讲视频已在 YouTube 上公开,2027 年会议将在波特兰举行。会议讨论了新的 API 提案 spawn_compute。Rust 模糊测试实验比较了生成式与变异式策略,结果显示生成式覆盖更广,而变异式在已知路径上更有效。此外,Rustls 性能报告显示其在握手吞吐量和内存占用方面与 OpenSSL、BoringSSL 相当或更优,为 TLS 替换方案提供了数据支持。

【Rust日报】2026-06-09 TokioConf 2026 视频全部公开,2027 大会落地波特兰

Rust.cc
Rust.cc · 2026-06-09T01:07:35Z
在持续模糊测试中幸存的漏洞

尽管OSS-Fuzz对开源项目进行了多年模糊测试,仍有漏洞存在。OSS-Fuzz与OpenSSF合作发现了大量漏洞,但持续的模糊测试并非解决所有问题的灵丹妙药。许多项目在多年测试后仍有严重漏洞,需要人工监督以确保测试覆盖率并编写新的模糊器。

在持续模糊测试中幸存的漏洞

The GitHub Blog
The GitHub Blog · 2025-12-29T22:01:14Z

网络编程测试需建立完善体系,包括单元测试、集成测试和模糊测试。通过真实事件循环和socketpair进行单元测试,利用Linux tc模拟网络故障,采用libFuzzer进行协议解析测试,以确保服务质量并及时修复Bug。

测试与 QA

土法炼钢兴趣小组的博客
土法炼钢兴趣小组的博客 · 2025-11-27T00:00:00Z

SMB3内核服务器是Linux内核的一个组件,优化了SMB请求处理。通过内核与用户空间的协作,ksmbd实现了高效的多线程架构。尽管默认未启用,但它是学习SMB协议和Linux机制的理想对象。研究中使用syzkaller进行模糊测试,解决了数据包标记和动态内存分配的挑战。

Linux内核SMB3服务器漏洞猎杀实录

FreeBuf网络安全行业门户
FreeBuf网络安全行业门户 · 2025-11-18T04:37:21Z
在Sentry的Hackweek中:一个破坏事物的借口

在Sentry的Hackweek中,团队开发了名为Gremlins的AI模糊测试代理,旨在通过模拟用户行为发现软件错误。Gremlins利用Sentry的SDK捕捉错误并收集数据,以提高应用程序的稳定性。它通过创建网页的文本表示与网站互动,但在资源使用和智能方面仍面临挑战。

在Sentry的Hackweek中:一个破坏事物的借口

Sentry Blog
Sentry Blog · 2025-09-22T00:00:00Z
【Rust日报】2025-08-26 极简 FAT32 文件系统驱动程序,用于 SDCard

文章讨论了将 Rust 的 arbitrary 和 derive_arbitrary crate 更新至 v1.4.2,以减少编译时间和提高模糊测试速度。作者提出三项改进,成功将增量重建时间减少约5%。同时,分享了开发 FAT32 驱动程序的经验,展示了在嵌入式项目中的成功实施过程。

【Rust日报】2025-08-26 极简 FAT32 文件系统驱动程序,用于 SDCard

Rust.cc
Rust.cc · 2025-08-21T05:34:45Z
在CLion中入门模糊测试

模糊测试是一种动态软件测试技术,通过输入无效或随机数据来发现难以检测的错误。本文介绍了如何在CLion中使用CI Fuzz工具进行模糊测试,分析结果并调试函数,揭示传统测试方法无法发现的漏洞,助力高质量软件开发。

在CLion中入门模糊测试

The JetBrains Blog
The JetBrains Blog · 2025-08-14T09:17:37Z

这是一款基于模糊测试的WAF绕过工具,支持命令执行和SQL注入绕过。用户需准备HTTP请求文件,标记payload位置并验证有效性。可与Burp Suite配合使用,生成payload并进行发包。使用时需遵循网络安全法,作者不承担因使用信息导致的责任。

绕WAF不求人:自动生成绕WAFpayload,一键测试

FreeBuf网络安全行业门户
FreeBuf网络安全行业门户 · 2025-07-25T09:30:00Z
打破常规:对Kotlin编译器进行模糊测试

JetBrains重视Kotlin编译器的质量,采用模糊测试来发现传统测试可能遗漏的错误。通过与TU Delft合作,JetBrains在Kotlin编译器中实施模糊测试,成功发现并修复了多个错误,包括新K2编译器中的问题。这种方法结合了生成性和变异性模糊测试,提高了错误发现的效率。

打破常规:对Kotlin编译器进行模糊测试

The JetBrains Blog
The JetBrains Blog · 2025-07-17T13:00:54Z
ITTAGE间接分支预测器

现代CPU在字节码解释器中的间接跳转预测表现优异,尤其是使用ITTAGE分支预测器。该预测器通过历史数据映射预测分支行为,并动态选择历史长度以提高准确性。TAGE和ITTAGE的设计展示了动态选择历史长度的潜力,可能对覆盖引导模糊测试等领域具有启发意义。

ITTAGE间接分支预测器

Posts on Made of Bugs
Posts on Made of Bugs · 2025-07-04T21:30:00Z

本文介绍了静态和动态反汇编的基本概念与工具。静态反汇编包括线性分析和递归分析,前者适合快速分析,后者适合深入分析。动态反汇编使用GDB调试工具,展示了设置断点、记录指令和执行过程的方法。此外,还提到模糊测试工具如AFL和Google的OSS-Fuzz,用于覆盖二进制文件的新代码路径。

二进制分析实战笔记之六:反汇编与二进制分析基础

FreeBuf网络安全行业门户
FreeBuf网络安全行业门户 · 2025-07-01T10:45:55Z
将模糊测试引入Kotlin:kotlinx.fuzz

模糊测试(fuzzing)通过自动生成随机或无效输入来发现软件中的错误和漏洞。JetBrains Research的kotlinx.fuzz项目为Kotlin库提供高效的模糊测试框架,尽管在其他语言中已广泛应用,但在Kotlin中仍不普及。该项目展示了kotlinx.fuzz的使用示例,并计划进一步改善用户体验和功能。

将模糊测试引入Kotlin:kotlinx.fuzz

The JetBrains Blog
The JetBrains Blog · 2025-04-04T13:55:24Z
2024年CNCF生态系统的模糊测试

CNCF通过安全审计和模糊测试提升项目安全性。2024年,CNCF持续集成OSS-Fuzz,发现并修复多个安全漏洞,增强整体安全性。

2024年CNCF生态系统的模糊测试

Cloud Native Computing Foundation
Cloud Native Computing Foundation · 2025-01-13T16:00:00Z
OpenTelemetry Collector 完成模糊测试审计

OpenTelemetry完成了Collector的模糊测试审计,以确保其安全性和可靠性。模糊测试通过大量伪随机输入检测API行为,Ada Logics团队为Collector编写了49个模糊测试,测试结果良好,审计工作仍在持续进行中。

OpenTelemetry Collector 完成模糊测试审计

Cloud Native Computing Foundation
Cloud Native Computing Foundation · 2024-12-30T16:00:00Z

本研究提出FuzzDistill方法,通过编译时分析和机器学习优化模糊测试目标,解决效率低下和资源消耗问题,能够识别高优先级漏洞区域,显著减少测试时间。

Intelligent Fuzzing Target Selection: FuzzDistill Based on Compile-Time Analysis and Machine Learning

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-12-11T00:00:00Z

Rustlantis是一种用于模糊测试Rust编译器的差分随机测试工具,发现了22个新bug。该工具通过随机生成MIR程序,确保在不同后端和优化级别下的一致性。Andy在其硕士论文中完成了核心部分。

【Rust日报】2024-11-26 rust-query - 类型安全的关系数据库查询

Rust.cc
Rust.cc · 2024-11-26T23:01:58Z

谷歌的OSS-Fuzz工具利用人工智能在26个开源代码库中发现了漏洞,包括OpenSSL中的中度漏洞(CVE-2024-9143),可能导致应用崩溃或远程代码执行。该漏洞已在多个版本中修复。谷歌通过大型语言模型提高模糊测试覆盖率,发现了长期未被人类发现的漏洞,并在C++项目中引入安全检查,提升了代码安全性和可靠性。

AI自动挖洞不是梦,谷歌AI工具OSS-FASZ又发现26个开源漏洞

FreeBuf网络安全行业门户
FreeBuf网络安全行业门户 · 2024-11-22T04:04:40Z
Keycloak完成模糊测试审计

Keycloak完成了由英国Ada Logics进行的模糊测试审计,获得CNCF资助。审计将Keycloak集成到Google的OSS-Fuzz项目中,持续测试其代码。审计团队编写了24个新测试,发现并修复了低严重性崩溃问题。

Keycloak完成模糊测试审计

Cloud Native Computing Foundation
Cloud Native Computing Foundation · 2024-11-19T16:00:00Z
如何对Golang HTTP服务进行模糊测试

模糊测试是一种自动化软件测试技术,通过输入大量随机数据来观察程序行为,发现潜在错误和安全漏洞。Go 1.18引入了模糊测试,开发者可以在测试中集成此技术,以帮助识别难以察觉的bug。文章中提供了示例代码,展示如何在Go中实现模糊测试,包括对HTTP服务的测试。

如何对Golang HTTP服务进行模糊测试

freeCodeCamp.org
freeCodeCamp.org · 2024-11-04T21:51:34Z

该研究探讨了现代系统芯片(SoCs)设计中的验证挑战,提出了多种形式化验证方法,包括大型语言模型(LLMs)和模糊测试技术,以提高验证效率和覆盖率。研究表明,这些方法能有效整合数字与模拟设计,显著提升验证效果。

验证非友好的形式验证设计:我们能否更早开始?

BriefGPT - AI 论文速递
BriefGPT - AI 论文速递 · 2024-10-24T00:00:00Z
  • <<
  • <
  • 1 (current)
  • 2
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码