Skip to content
体验新版
项目
组织
正在加载...
登录
切换导航
打开侧边栏
阿拉亮
soar
提交
3ed117ff
S
soar
项目概览
阿拉亮
/
soar
与 Fork 源项目一致
Fork自
Xiaomi / soar
通知
1
Star
0
Fork
0
代码
文件
提交
分支
Tags
贡献者
分支图
Diff
Issue
0
列表
看板
标记
里程碑
合并请求
0
Wiki
0
Wiki
分析
仓库
DevOps
项目成员
Pages
S
soar
项目概览
项目概览
详情
发布
仓库
仓库
文件
提交
分支
标签
贡献者
分支图
比较
Issue
0
Issue
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
Pages
分析
分析
仓库分析
DevOps
Wiki
0
Wiki
成员
成员
收起侧边栏
关闭侧边栏
动态
分支图
创建新Issue
提交
Issue看板
体验新版 GitCode,发现更多精彩内容 >>
提交
3ed117ff
编写于
11月 11, 2020
作者:
martianzhang
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
update RES.007 add more cases
上级
3fda3fb6
变更
2
隐藏空白更改
内联
并排
Showing
2 changed file
with
64 addition
and
5 deletion
+64
-5
advisor/heuristic.go
advisor/heuristic.go
+57
-5
advisor/heuristic_test.go
advisor/heuristic_test.go
+7
-0
未找到文件。
advisor/heuristic.go
浏览文件 @
3ed117ff
...
...
@@ -1253,20 +1253,66 @@ func (q *Query4Audit) RuleImpossibleWhere() Rule {
// RuleMeaninglessWhere RES.007
func
(
q
*
Query4Audit
)
RuleMeaninglessWhere
()
Rule
{
var
rule
=
q
.
RuleOK
()
// SELECT * FROM tb WHERE 1
var
where
*
sqlparser
.
Where
switch
n
:=
q
.
Stmt
.
(
type
)
{
case
*
sqlparser
.
Select
:
if
n
.
Where
!=
nil
{
switch
n
.
Where
.
Expr
.
(
type
)
{
case
*
sqlparser
.
SQLVal
:
where
=
n
.
Where
case
*
sqlparser
.
Update
:
where
=
n
.
Where
case
*
sqlparser
.
Delete
:
where
=
n
.
Where
}
if
where
!=
nil
{
switch
v
:=
where
.
Expr
.
(
type
)
{
// WHERE 1
case
*
sqlparser
.
SQLVal
:
switch
string
(
v
.
Val
)
{
case
"0"
,
"false"
:
default
:
rule
=
HeuristicRules
[
"RES.007"
]
return
rule
}
// WHERE true
case
sqlparser
.
BoolVal
:
if
v
{
rule
=
HeuristicRules
[
"RES.007"
]
return
rule
}
}
}
// 1=1, 0=0
err
:=
sqlparser
.
Walk
(
func
(
node
sqlparser
.
SQLNode
)
(
kontinue
bool
,
err
error
)
{
switch
n
:=
node
.
(
type
)
{
// WHERE id = 1 or 2
case
*
sqlparser
.
OrExpr
:
// right always true
switch
v
:=
n
.
Right
.
(
type
)
{
case
*
sqlparser
.
SQLVal
:
switch
string
(
v
.
Val
)
{
case
"0"
,
"false"
:
default
:
rule
=
HeuristicRules
[
"RES.007"
]
}
case
sqlparser
.
BoolVal
:
if
v
{
rule
=
HeuristicRules
[
"RES.007"
]
}
}
// left always true
switch
v
:=
n
.
Left
.
(
type
)
{
case
*
sqlparser
.
SQLVal
:
switch
string
(
v
.
Val
)
{
case
"0"
,
"false"
:
default
:
rule
=
HeuristicRules
[
"RES.007"
]
}
case
sqlparser
.
BoolVal
:
if
v
{
rule
=
HeuristicRules
[
"RES.007"
]
}
}
// 1=1, 0=0
case
*
sqlparser
.
ComparisonExpr
:
factor
:=
false
switch
n
.
Operator
{
...
...
@@ -1300,6 +1346,12 @@ func (q *Query4Audit) RuleMeaninglessWhere() Rule {
if
(
bytes
.
Equal
(
left
,
right
)
&&
!
factor
)
||
(
!
bytes
.
Equal
(
left
,
right
)
&&
factor
)
{
rule
=
HeuristicRules
[
"RES.007"
]
}
// TODO:
// 2 > 1
// true = 1
// false != 1
return
false
,
nil
}
return
true
,
nil
...
...
advisor/heuristic_test.go
浏览文件 @
3ed117ff
...
...
@@ -931,8 +931,15 @@ func TestRuleMeaninglessWhere(t *testing.T) {
"select * from tbl where 'a' limit 1;"
,
"select * from tbl where 1;"
,
"select * from tbl where 1 limit 1;"
,
"select * from tbl where id = 1 or 2;"
,
"select * from tbl where true;"
,
"select * from tbl where 'true';"
,
},
{
"select * from tbl where false;"
,
"select * from tbl where 'false';"
,
"select * from tbl where 0;"
,
"select * from tbl where '0';"
,
"select * from tbl where 2 = 1;"
,
"select * from tbl where 'b' = 'a';"
,
},
...
...
编辑
预览
Markdown
is supported
0%
请重试
或
添加新附件
.
添加附件
取消
You are about to add
0
people
to the discussion. Proceed with caution.
先完成此消息的编辑!
取消
想要评论请
注册
或
登录