T-SQL静态代码分析

T-SQL静态代码分析

静态代码分析，在Windows平台上长期受到忽视，近几年却变得越来越重要。静态分析重新获得关注，始于一款Microsoft内部的工具—— FX Cop，由于它非常受欢迎，所以微软将其公开发布。在Visual Studio 2005中，FX Cop作为Visual Studio团队开发版的一部分集成到该IDE中。

带有附加功能或免除单元测试需要的第二代工具正在研发当中，包括.NET4的Code Contracts和自主研发的NStatic。

托管代码并不是唯一获得关注的领域。Ubitsoft公司正对T-SQL应用相同的技术。随着数据库增长，封装在T-SQL中的业务逻辑数量变化相当明显，有时候甚至在重要性方面胜过普通代码。要协助管理这一情况，Ubitsoft公司创建了SQL Enlight。我们就此和他们的开发主管Iliyan Stoyanov进行了沟通。

这是个相当新颖的产品，你可以给我们一些关于SQL Enlight如何诞生的背景吗？

我们设计SQL Enlight作为T-SQL管理和反射工具，但由于我们需要更多的时间来实现心中的所有想法，所以决定先发布T-SQL重格式化功能，稍后逐步来添加新功能。

你决定对Transact-SQL脚本分析提供支持是基于哪一点考虑呢？

从本项目开始，该分析功能就是我们其中一个目标，但我们决定推迟它的发布，直到我们完成T-SQL语法分析器扩展为止，它支持新的SQL Sever 2005 T-SQL语法。

你如何决定给分析添加哪些规则呢？

我们实现的分析规则基本上来自互联网找到的提示和实践，或者来自SQL Enlight用户提交给我们的分析规则请求。

你们的技术支持提到过你正研发一个新版本，它会对整个数据库进行分析。可以给我提供一些关于它的信息吗？

是的。我们正研发新的1.6版本，它将是我们SQL Enlight1.x版本的里程碑。该新版本会包含两项重要特性——创建自定义分析规则功能和支持在数据库上运行分析。我们也打算包含命令行工具和MsBuild任务。

SQL Enlight当前版本支持这些分析规则。

设计

• 包括NULL常量在内的相等和不等比较
• 非ANSI外部联接语法
• 非ANSI内部联接语法
• 过时的语法，字符串_别名=表达式
• 在执行数据操作语句（像INSERT/UPDATE/DELETE)之后，使用TRY..CATCH结构或者检查该@@ERROR变量
• 在存储过程、视图和表值函数中支持SELECT *
• 使用SCOPE_IDENTITY()替换@@IDENTITY
• 支持ORDER BY子句中使用常量已经过时
• TOP子句用在不带ORDER BY子句的查询
• 在INSERT语句中总是使用列的列表
• 反对不带WITH关键字的表提示用法
• （聚集或非聚集）索引类型未指定
• 避免使用GOTO语句来改善可读性
• 考虑使用括号来改善可读性和避免由于逻辑操作符的优先级导致的错误。

命名

• 在命名函数的时候避免使用“fn_”前缀
• 在命名存储过程的时候避免使用“sp_”前缀

性能

• 变量@variable已声明但从未使用
• 变量@variable已使用但之前未分配
• 变量@variable已分配但其值从未使用
• 在LIKE谓词中以“%”开始的模式
• 考虑使用表变量来代替临时表
• 在触发器中避免返回结果
• 使用非常小的变量长度类型（大小为1或者2）
• 在存储过程和触发器中使用“SET NOCOUNT ON”选项
• 在WHERE子句中避免使用不等操作符（<>,!=）
• 本地游标没有关闭
• 本地游标无明确释放
• 本地游标引用无明确释放
• 在WHERE子句的函数中避免封装过滤列
• 可以从WHERE子句中提取确定性函数调用，避免不必要的表扫描
• 输入参数从未使用
• 输出参数从未赋值
• 在WHERE子句中避免使用“NOT IN”谓词
• 不要使用不带聚合函数的“GROUP BY”子句