Proj THUDBFuzz Paper Reading: Finding Bugs in Database Systems via Query Partitioning
Abstract
针对Logic bugs,本文提出:
- Query Partitioning
- 思路:从给定的原始query开始,构造更多复杂的queries,这些queries合起来的结果集与原来的结果集一致
- 作者认为由于逻辑复杂了,更有可能找到逻辑bug
- 提出TLP: Ternary Logic Partitioning
- 思路: 同个query能被分为3个partitioning queries: True, False, NULL
- 效果: 能用于where, groupby, having, aggregate functions, distinct
- 实验: 找到175个bugs, 其中125fixed, 77logic bugs
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 一个奇形怪状的面试题:Bean中的CHM要不要加volatile?
· [.NET]调用本地 Deepseek 模型
· 一个费力不讨好的项目,让我损失了近一半的绩效!
· .NET Core 托管堆内存泄露/CPU异常的常见思路
· PostgreSQL 和 SQL Server 在统计信息维护中的关键差异
· DeepSeek “源神”启动!「GitHub 热点速览」
· 我与微信审核的“相爱相杀”看个人小程序副业
· 微软正式发布.NET 10 Preview 1:开启下一代开发框架新篇章
· 如何使用 Uni-app 实现视频聊天(源码,支持安卓、iOS)
· C# 集成 DeepSeek 模型实现 AI 私有化(本地部署与 API 调用教程)