Fuzzer failure in math_expression_fuzz_run_mvcc with trigonometry functions

仓库指标

星标

19,103 个星标 (19,103 个星标)

PR 合并指标

平均合并 2天 11小时 (平均合并 2天 11小时)30 天内合并 147 个 PR (30 天内合并 147 个 PR)

描述

[78](https://github.com/tursodatabase/turso/actions/runs/21879378973/job/63157240521?pr=4999#step:11:179)

    thread 'fuzz_tests::math_expression_fuzz_run_mvcc' panicked at tests/fuzz/mod.rs:4337:21:
    query: SELECT (trunc(atanh((tanh(0.0 - 2.0) + mod(2.0, 2.0) * (-2.0 - 0.0))))) + -2.0, limbo: -3.0, sqlite: -4.0 seed: 1770752065271

贡献者指南

研究方向

通过运行特定种子（1770752065271）在本地重现失败的模糊测试，并跟踪数学表达式通过SQL解析器、验证器和执行器的执行过程。将结果与SQLite的结果进行比较，以找出差异发生的位置。重点关注 `atanh`、`tanh`、`trunc` 和 `mod` 函数的实现。

技术栈

rust

领域

database

议题类型

缺陷

难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。

3

预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。

半天

活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。

活跃

清晰度议题是否清楚说明期望改动、验收标准和下一步。

清晰

前置要求

Rustfuzzing

新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。

40