用 C 版本当 oracle 疯狂 fuzz:移植 PCRE2 正则库的验证方法论
jd_pressman · x · 2026-10-30
讨论如何将正则库移植为可验证的 Rust 实现：作者的思路是直接沿用 C 版本的测试用例，用 C 实现作为 oracle 进行激进 fuzz 测试；由于正则库基本是一系列无副作用的纯函数，天然适合形式化验证。此前上下文提到该实现只覆盖 vapache 实际使用的 PCRE2 子集（因 Daybreak 需要 PCRE2 方言），作者考虑将其发布为独立 Rust crate，但需先扩展覆盖面。
「编程与Agent」频道最新
- 用户实测 GPT-6.1-Terra 计算机操作：体验令人上瘾 — udayruddarraju · 2026-10-30
- 思科高管放话:27岁工程师两人团队 24个月重写98%遗留代码 — dosco · 2026-10-30
- 100 个真实网页任务实测：五套浏览器 Agent 速度成本大不同 — ldrx · 2026-10-30
- Rust 版 GraphRAG 全栈 EdgeQuake 开源,已获 2.3k star — JeremyCMorgan · 2026-10-30
- Rules MCP Server：让编码智能体按需查询规则与模式 — modelcontextprotocol · 2026-10-30
- 开发者开源 load-lock：给并行编码智能体排队用的全机信号量 — erdar2 · 2026-10-30