网络安全之SQL注入深入分析
0x00 前言
我们知道代码审计Java的SQL注入主要有两点:参数可控和SQL语句可拼接(没有预编译)。并且我们也清楚修复SQL注入的方式就是预编译,但是可能我们并不清晰内部预编译的具体实现。本文主要从代码层面深入分析三种Java不同数据库框架下的SQL注入以及预编译。
0x01 JDBC SQLi
不使用占位符拼接情况分析
Statement statement = connection.createStatement();
String sql = "select * from user where id=" + value;
ResultSet resultSet = statement.executeQuery(sql);
不使用占位符时,输入的内容和sql拼接形成最终的sql语句:
![](https://img.haomeiwen.com/i26472780/214db744ea700b91.png)
预编译情况:
String sql = "select * from user where id=?";
PreparedStatement preparedStatement = connection.prepareStatement(sql);
preparedStatement.setString(1,value);
ResultSet resultSet = preparedStatement.executeQuery();
预编译会在传入的字符串前后添加'
,然后再进行拼接,保证了输入的字符串在SQL语句中是数值而不是关键字。
![](https://img.haomeiwen.com/i26472780/a61e488a815aedda.png)
最终在执行的时候select * from user where id='2 and 1=2 union select * from user'
。
![](https://img.haomeiwen.com/i26472780/bd57e4fb1736fb1b.png)
到这里我们肯定会想就算在两边加了'
,也可以在value中添加'
来闭合绕过:
2' and 1=2 union select * from user where '1'='1
然而事实并非那么简单,JDBC在ClientPreparedQueryBindings.setString()
中对一些特殊符号包括'
做了转义处理,因此预编译可以防止SQL注入:
![](https://img.haomeiwen.com/i26472780/5a319fe4afb5a3e0.png)
【一>所有资源获取<一】
1、200份很多已经买不到的绝版电子书
2、30G安全大厂内部的视频资料
3、100份src文档
4、常见安全面试题
5、ctf大赛经典题目解析
6、全套工具包
7、应急响应笔记
8、网络安全学习路线
0x02 Mybatis SQLi
Mybatis解析执行过程
Mybatis解析执行过程如下图:
![](https://img.haomeiwen.com/i26472780/72e0259775531aab.png)
以查询SQL分析,主要步骤如下:
-
SqlSession创建过程:
SqlSessionFactoryBuilder().build(inputStream)
创建一个SqlSession,创建的时候会进行配置文件解析生成Configuration属性实例,解析时会将mapper解析成MapperStatement加到Configuration中,MapperStatement是执行SQL的必要准备,SqlSource是MapperStatement的属性,实例化前会先创建动态和非动态SqlSource即DynamicSqlSource和RawSqlSource,DynamicSqlSource对应解析$
以及动态标签如foreach
,RawSqlSource创建时解析#
并将#{}
换成占位符?
; -
执行准备过程:
DefaultSqlSession.selectOne()
执行sql(如果是从接口getMapper
方式执行,首先会从MapperProxy动态代理获取DefaultSqlSession执行方法selectxxx|update|delete|insert
),首先从Configuration获取MapperStatement,执行executor.query()
。executor执行的第一步会先通过MapperStatement.getBoundSql()
获取SQL,此时如果MapperStatement.SqlSource
是动态即DynamicSqlSource,会先解析其中的动态标签比如${}
会换成具体传入的参数值进行拼接,获取到SQL之后调用executor.doQuery()
,如果存在预编译首先会调用JDBC处理预编译的SQL,最终通过PreparedStatementHandler调用JDBC执行SQL; -
JDBC执行SQL并返回结果集
如下是mapper的select示例,第一个使用${id}
,第二个使用#{id}
,我们具体通过调试来看下#
和$
这两种符号的解析和执行过程中的处理方式。
<select id="getById" resultType="com.r17a.commonvuln.injection.sqli.mybatis.pojo.User">
SELECT * FROM user where id=${id}
</select>
<select id="getByIdPrepare" resultType="com.r17a.commonvuln.injection.sqli.mybatis.pojo.User">
SELECT * FROM user where id=#{id}
</select>
解析过程中$
和#
的不同
在解析StatementNode过程中创建SqlSource时,会调用XMLScriptBuilder.parseScriptNode()
来生成动态和非动态SqlSource
![](https://img.haomeiwen.com/i26472780/66faedb81783b767.png)
深入分析XMLScriptBuilder.parseScriptNode()
,先调用XMLScriptBuilder.parseDynamicTags()
解析动态tag
![](https://img.haomeiwen.com/i26472780/d6db3735b73d2c4a.png)
在解析时会先通过TextSqlNode.isDynamic()
判断是否存在动态标志
![](https://img.haomeiwen.com/i26472780/49eceb05ee47bf96.png)
TextSqlNode.isDynamic()
首先创建一个DynamicCheckerTokenParser用来解析动态标识符,调用createParser创建GenericTokenParser
![](https://img.haomeiwen.com/i26472780/93b5381a6e6a681a.png)
createParser会返回一个${}
标识符的标识符解析
![](https://img.haomeiwen.com/i26472780/5eedfc567e6cd2cb.png)
$
解析过程:
继续下一步调用GenericTokenParser.parse()
![](https://img.haomeiwen.com/i26472780/b6b4cef5e82966ab.png)
GenericTokenParser.parse中找到了openhandler即${
,会调用builder.append(handler.handleToken(expression.toString()))
![](https://img.haomeiwen.com/i26472780/b4b84eb3d726440d.png)
handler.handleToken()
将isDynamic标志为true
![](https://img.haomeiwen.com/i26472780/1dd80da379d18e2b.png)
当isDynamic为true
,会实例化一个DynamicSqlSource对象,至此$
动态SqlSource创建完成。
![](https://img.haomeiwen.com/i26472780/446375875a3e6ac7.png)
![](https://img.haomeiwen.com/i26472780/9ea7143531bbe39e.png)
#
解析过程:
当SQL是SELECT * FROM user where id=#{id}
的情况下调用isDynamic() ,进一步调用GenericTokenParser.parse()
![](https://img.haomeiwen.com/i26472780/b3da472e1efce8ce.png)
GenericTokenParser.parse()
中没有找到openhandler即${
,就不会进入后面的处理,直接将原来的text进行返回,因此isDynamic还是false
![](https://img.haomeiwen.com/i26472780/e9236892cd82c611.png)
返回后初始化一个RawSqlSource实例
![](https://img.haomeiwen.com/i26472780/e030362beba46ad3.png)
在RawSqlSource初始化时会自动进行解析:
![](https://img.haomeiwen.com/i26472780/df2544e216d91d11.png)
SqlSourceBuilder$ParameterMappingTokenHandler主要解析#{}
的情况
![](https://img.haomeiwen.com/i26472780/6dbf942705a800ea.png)
将#{id}
替换成?
进行占位,此时sql变成了SELECT * FROM user where id=?
![](https://img.haomeiwen.com/i26472780/ee01fb12d41f776b.png)
![](https://img.haomeiwen.com/i26472780/98184513c30f0cb2.png)
小结:在创建SqlSource时,会根据$
及动态标签来创建DynamicSqlSource,DynamicSqlSource不会对${}
进行具体的处理,而非动态情况会创建RawSqlSource,在其初始化过程会直接将#{}
替换成?
占位符。
执行过程中$
和#
的不同:
$
在执行过程中的解析:
在调用MappedStatement.getBoundSql()
时,由于$
对应的是DynamicSqlSource,会调用DynamicSqlSource.getBoundSql()
获取sql
![](https://img.haomeiwen.com/i26472780/54b2196b1b1c55f4.png)
在DynamicSqlSource.getBoundSql()
会调用rootSqlNode.apply()
处理,此时调用的是TextSqlNode.apply()
![](https://img.haomeiwen.com/i26472780/487981bfbf35d3a0.png)
在TextSqlNode.apply()
中会创建一个${}
的GenericTokenParser然后进行parse解析和追加
![](https://img.haomeiwen.com/i26472780/18d7780bc0d01a5e.png)
在解析时,调用handler.handleToken()
根据标识符获取参数的内容
![](https://img.haomeiwen.com/i26472780/0e4f700ff5f68769.png)
handleToken()
中会将参数值1 and 1=2 union select Host,User,1,authentication_string from mysql.user limit 1
返回
![](https://img.haomeiwen.com/i26472780/177fccf0640ad6f4.png)
拼接 最终获取的sql是SELECT * FROM user where id=1 and 1=2 union select Host,User,1,authentication_string from mysql.user limit 1
![](https://img.haomeiwen.com/i26472780/71d7c201e10486a5.png)
#
在执行过程中的解析:
$
是在getBoundSql()
获取sql过程中就将符号进行了处理,跟$
不同的是,#
是在执行器的执行过程中(本例是doQuery)进行处理,先通过调用SimpleExecutor.prepareStatement()
处理预编译情况后,获取statement,然后调用JDBC执行
![](https://img.haomeiwen.com/i26472780/97aa163aa38e705d.png)
深入prepareStatement()
,发现其最终通过动态代理调用ClientPreparedStatement.setString()
![](https://img.haomeiwen.com/i26472780/67c3f5c5f56b7c2e.png)
调用JDBCClientPreparedStatement.setString()
处理过程跟上述0x01部分的JDBC预编译处理statement一样。
![](https://img.haomeiwen.com/i26472780/7bef65270380275c.png)