sqlancer

SQLancer 是一款用于自动测试数据库管理系统（DBMS）实现中缺陷的工具。也就是说，它发现的是 DBMS 实现代码中的错误，而非用户编写的查询中的错误。SQLancer 已在成熟且广泛使用的 DBMS 中发现了数百个缺陷。 SQLancer 在自动测试 DBMS 时解决两个关键挑战： 1. 测试输入生成 ：SQLancer 实现了自动生成 SQL 语句的方法。它包含多个手工编写的 SQL 生成器，分多个阶段运作。首先，创建数据库模式，即一组表及其列。然后，向这些表中插入数据，同时创建其他类型的数据库状态，如索引、视图或数据库特定选项。最后，生成查询，这些查询可通过 SQLancer...