建站
咨詢
售后
建站咨詢
新聞中心
ThinkPHP框架是國(guó)內(nèi)比較流行的PHP框架之一，雖然跟國(guó)外的那些個(gè)框架沒(méi)法比，但優(yōu)點(diǎn)在于，恩，中文手冊(cè)很全面。最近研究SQL注入，之前用TP框架的時(shí)候因?yàn)榈讓犹峁┝税踩δ埽陂_(kāi)發(fā)過(guò)程中沒(méi)怎么考慮安全問(wèn)題。想知道TP到底是怎么實(shí)現(xiàn)防SQL注入的，所以看了一些源碼。結(jié)合phith0n大牛在烏云上發(fā)的漏洞，分析了一下，整理了一些思路~~
成都創(chuàng)新互聯(lián)長(zhǎng)期為近1000家客戶提供的網(wǎng)站建設(shè)服務(wù)，團(tuán)隊(duì)從業(yè)經(jīng)驗(yàn)10年，關(guān)注不同地域、不同群體，并針對(duì)不同對(duì)象提供差異化的產(chǎn)品和服務(wù)；打造開(kāi)放共贏平臺(tái)，與合作伙伴共同營(yíng)造健康的互聯(lián)網(wǎng)生態(tài)環(huán)境。為隴川企業(yè)提供專業(yè)的成都網(wǎng)站建設(shè)、成都網(wǎng)站設(shè)計(jì)，隴川網(wǎng)站改版等技術(shù)服務(wù)。擁有10多年豐富建站經(jīng)驗(yàn)和眾多成功案例,為您定制開(kāi)發(fā)。
一、不得不說(shuō)的I函數(shù)
TP系統(tǒng)提供了I函數(shù)用于輸入變量的過(guò)濾。整個(gè)函數(shù)主體的意義就是獲取各種格式的數(shù)據(jù)，比如I('get.')、I('post.id')，然后用htmlspecialchars函數(shù)(默認(rèn)情況下)進(jìn)行處理。如果需要采用其他的方法進(jìn)行安全過(guò)濾，可以從/ThinkPHP/Conf/convention.php中設(shè)置：
'DEFAULT_FILTER' => 'strip_tags', //也可以設(shè)置多種過(guò)濾方法 'DEFAULT_FILTER' => 'strip_tags,stripslashes',
從/ThinkPHP/Common/functions.php中可以找到I函數(shù)，源碼如下：
- /**
- * 獲取輸入?yún)?shù) 支持過(guò)濾和默認(rèn)值
- * 使用方法:
- *
- * I('id',0); 獲取id參數(shù) 自動(dòng)判斷get或者post
- * I('post.name','','htmlspecialchars'); 獲取$_POST['name']
- * I('get.'); 獲取$_GET
- *
- * @param string $name 變量的名稱 支持指定類型
- * @param mixed $default 不存在的時(shí)候默認(rèn)值
- * @param mixed $filter 參數(shù)過(guò)濾方法
- * @param mixed $datas 要獲取的額外數(shù)據(jù)源
- * @return mixed
- */
- function I($name,$default='',$filter=null,$datas=null) {
- static $_PUT = null;
- if(strpos($name,'/')){ // 指定修飾符
- list($name,$type) = explode('/',$name,2);
- }elseif(C('VAR_AUTO_STRING')){ // 默認(rèn)強(qiáng)制轉(zhuǎn)換為字符串
- $type = 's';
- }
- /*根據(jù)$name的格式獲取數(shù)據(jù)：先判斷參數(shù)的來(lái)源，然后再根據(jù)各種格式獲取數(shù)據(jù)*/
- if(strpos($name,'.')) {list($method,$name) = explode('.',$name,2);} // 指定參數(shù)來(lái)源
- else{$method = 'param';}//設(shè)定為自動(dòng)獲取
- switch(strtolower($method)) {
- case 'get' : $input =& $_GET;break;
- case 'post' : $input =& $_POST;break;
- case 'put' : /*此處省略*/
- case 'param' : /*此處省略*/
- case 'path' : /*此處省略*/
- }
- /*對(duì)獲取的數(shù)據(jù)進(jìn)行過(guò)濾*/
- if('' // 獲取全部變量
- $data = $input;
- $filters = isset($filter)?$filter:C('DEFAULT_FILTER');
- if($filters) {
- if(is_string($filters)){$filters = explode(',',$filters);} //為多種過(guò)濾方法提供支持
- foreach($filters as $filter){
- $data = array_map_recursive($filter,$data); //循環(huán)過(guò)濾
- }
- }
- }elseif(isset($input[$name])) { // 取值操作
- $data = $input[$name];
- $filters = isset($filter)?$filter:C('DEFAULT_FILTER');
- if($filters) { /*對(duì)參數(shù)進(jìn)行過(guò)濾，支持正則表達(dá)式驗(yàn)證*/
- /*此處省略*/
- }
- if(!emptyempty($type)){ //如果設(shè)定了強(qiáng)制轉(zhuǎn)換類型
- switch(strtolower($type)){
- case 'a': $data = (array)$data;break; // 數(shù)組
- case 'd': $data = (int)$data;break; // 數(shù)字
- case 'f': $data = (float)$data;break; // 浮點(diǎn)
- case 'b': $data = (boolean)$data;break; // 布爾
- case 's': // 字符串
- default:$data = (string)$data;
- }
- }
- }else{ // 變量默認(rèn)值
- $data = isset($default)?$default:null;
- }
- is_array($data) && array_walk_recursive($data,'think_filter'); //如果$data是數(shù)組，那么用think_filter對(duì)數(shù)組過(guò)濾
- return $data;
- }
恩，函數(shù)基本分成三塊：第一塊，獲取各種格式的數(shù)據(jù)。第二塊，對(duì)獲取的數(shù)據(jù)進(jìn)行循環(huán)編碼，不管是二維數(shù)組還是三維數(shù)組。第三塊，也就是倒數(shù)第二行，調(diào)用了think_filter對(duì)數(shù)據(jù)進(jìn)行了最后一步的神秘處理。
讓我們先來(lái)追蹤一下think_filter函數(shù)：
- //1536行 版本3.2.3最新添加
- function think_filter(&$value){// 過(guò)濾查詢特殊字符
- if(preg_match('/^(EXP|NEQ|GT|EGT|LT|ELT|OR|XOR|LIKE|NOTLIKE|NOT BETWEEN|NOTBETWEEN|BETWEEN|NOTIN|NOT IN|IN)$/i',$value)){
- $value .= ' ';
- }
- }
這個(gè)函數(shù)很簡(jiǎn)單，一眼就可以看出來(lái)，在一些特定的關(guān)鍵字后面加個(gè)空格。但是這個(gè)叫think_filter的函數(shù)，僅僅加了一個(gè)空格，到底起到了什么過(guò)濾的作用?
我們都知道重要的邏輯驗(yàn)證，如驗(yàn)證是否已登錄，用戶是否能購(gòu)買某商品等，必須從服務(wù)器端驗(yàn)證，如果從前端驗(yàn)證的話，就很容易被繞過(guò)。同一個(gè)道理，在程序中，in/exp一類的邏輯結(jié)構(gòu)，最好也是由服務(wù)器端來(lái)控制。
當(dāng)從傳遞到服務(wù)器端的數(shù)據(jù)是這樣：id[0]=in&id[1]=1,2,3，如果沒(méi)有think_filter函數(shù)的話，會(huì)被解析成下表中的1，也就會(huì)被當(dāng)成服務(wù)器端邏輯解析。但如果變成如下表2的樣子，因?yàn)槎嗔艘粋€(gè)空格，無(wú)法被匹配解析，也就避免了漏洞。
- 1. $data['id']=array('in'=>'1,2,3')
- //經(jīng)過(guò)think_filter過(guò)濾之后，會(huì)變成介個(gè)樣子：
- 2. $data['id']=array('in '=>'1,2,3')
#p#
二、SQL注入
相關(guān)的文件為:/ThinkPHP/Library/Think/Db.class.php(在3.2.3中改為了/ThinkPHP/Library/Think/Db/Driver.class.php) 以及 /ThinkPHP/Library/Think/Model.class.php。其中Model.class.php文件提供的是curd直接調(diào)用的函數(shù)，直接對(duì)外提供接口，Driver.class.php中的函數(shù)被curd操作間接調(diào)用。
- //此次主要分析如下語(yǔ)句：
- M('user')->where($map)->find(); //在user表根據(jù)$map的條件檢索出一條數(shù)據(jù)
大概說(shuō)一下TP的處理思路。首先將Model類實(shí)例化為一個(gè)user對(duì)象，然后調(diào)用user對(duì)象中的where函數(shù)處理$map，也就是將$map進(jìn)行一些格式化處理之后賦值給user對(duì)象的成員變量$options(如果有其他的連貫操作，也是先賦值給user對(duì)象的對(duì)應(yīng)成員變量，而不是直接拼接SQL語(yǔ)句，所以在寫連貫操作的時(shí)候，無(wú)需像拼接SQL語(yǔ)句一樣考慮關(guān)鍵字的順序)，接下來(lái)調(diào)用find函數(shù)。find函數(shù)會(huì)調(diào)用底層的，也就是driver類中的函數(shù)——select來(lái)獲取數(shù)據(jù)。到了select函數(shù)，又是另一個(gè)故事了。
select除了要處理curd操作，還要處理pdo綁定，我們這里只關(guān)心curd操作，所以在select中調(diào)用了buildSelectSql，處理分頁(yè)信息，并且調(diào)用parseSQL按照既定的順序把SQL語(yǔ)句組裝進(jìn)去。雖然拼接SQL語(yǔ)句所需要的參數(shù)已經(jīng)全部放在成員變量里了，但是格式不統(tǒng)一，有可能是字符串格式的，有可能是數(shù)組格式的，還有可能是TP提供的特殊查詢格式，比如：$data['id']=array('gt','100');，所以在拼接之前，還要調(diào)用各自的處理函數(shù)，進(jìn)行統(tǒng)一的格式化處理。我選取了parseWhere這個(gè)復(fù)雜的典型來(lái)分析。
關(guān)于安全方面的，如果用I函數(shù)來(lái)獲取數(shù)據(jù)，那么會(huì)默認(rèn)進(jìn)行htmlspecialchars處理，能有效抵御xss攻擊，但是對(duì)SQL注入沒(méi)有多大影響。在過(guò)濾有關(guān)SQL注入有關(guān)的符號(hào)的時(shí)候，TP的做法很機(jī)智：先是按正常邏輯處理用戶的輸入，然后在最接近最終的SQL語(yǔ)句的parseWhere、parseHaving等函數(shù)中進(jìn)行安全處理。這樣的順序避免了在處理的過(guò)程中出現(xiàn)注入。當(dāng)然處理的方法是最普通的addslashes，根據(jù)死在沙灘上的前浪們說(shuō)，推薦使用mysql_real_escape_string來(lái)進(jìn)行過(guò)濾，但是這個(gè)函數(shù)只能在已經(jīng)連接了數(shù)據(jù)庫(kù)的前提下使用。感覺(jué)TP在這個(gè)地方可以做一下優(yōu)化，畢竟走到這一步的都是連接了數(shù)據(jù)庫(kù)的。
恩，接下來(lái)，分析開(kāi)始：
先說(shuō)幾個(gè)Model對(duì)象中的成員變量：
- // 主鍵名稱
- protected $pk = 'id';
- // 字段信息
- protected $fields = array();
- // 數(shù)據(jù)信息
- protected $data = array();
- // 查詢表達(dá)式參數(shù)
- protected $options = array();
- // 鏈操作方法列表
- protected $methods = array('strict','order','alias','having','group','lock','distinct','auto','filter','validate','result','token','index','force')
接下來(lái)分析where函數(shù)：
- public function where($where,$parse=null){
- //如果非數(shù)組格式，即where('id=%d&name=%s',array($id,$name))，對(duì)傳遞到字符串中的數(shù)組調(diào)用mysql里的escapeString進(jìn)行處理
- if(!is_null($parse) && is_string($where)) {
- if(!is_array($parse)){ $parse = func_get_args();array_shift($parse);}
- $parse = array_map(array($this->db,'escapeString'),$parse);
- $where = vsprintf($where,$parse); //vsprintf() 函數(shù)把格式化字符串寫入變量中
- }elseif(is_object($where)){
- $where = get_object_vars($where);
- }
- if(is_string($where) && '' != $where){
- $map = array();
- $map['_string'] = $where;
- $where = $map;
- }
- //將$where賦值給$this->where
- if(isset($this->options['where'])){
- $this->options['where'] = array_merge($this->options['where'],$where);
- }else{
- $this->options['where'] = $where;
- }
- return $this;
- }
where函數(shù)的邏輯很簡(jiǎn)單，如果是where('id=%d&name=%s',array($id,$name))這種格式，那就對(duì)$id,$name變量調(diào)用mysql里的escapeString進(jìn)行處理。escapeString的實(shí)質(zhì)是調(diào)用mysql_real_escape_string、addslashes等函數(shù)進(jìn)行處理。最后將分析之后的數(shù)組賦值到Model對(duì)象的成員函數(shù)——$where中供下一步處理。
再分析find函數(shù)：
- //model.class.php 行721 版本3.2.3
- public function find($options=array()) {
- if(is_numeric($options) || is_string($options)){ /*如果傳遞過(guò)來(lái)的數(shù)據(jù)是字符串，不是數(shù)組*/
- $where[$this->getPk()] = $options;
- $options = array();
- $options['where'] = $where; /*提取出查詢條件，并賦值*/
- }
- // 根據(jù)主鍵查找記錄
- $pk = $this->getPk();
- if (is_array($options) && (count($options) > 0) && is_array($pk)) {
- /*構(gòu)造復(fù)合主鍵查詢條件，此處省略*/
- }
- $options['limit'] = 1; // 總是查找一條記錄
- $options = $this->_parseOptions($options); // 分析表達(dá)式
- if(isset($options['cache'])){
- /*緩存查詢，此處省略*/
- }
- $resultSet = $this->db->select($options);
- if(false === $resultSet){ return false;}
- if(emptyempty($resultSet)) { return null; } // 查詢結(jié)果為空
- if(is_string($resultSet)){ return $resultSet;} //查詢結(jié)果為字符串
- // 讀取數(shù)據(jù)后的處理，此處省略簡(jiǎn)寫
- $this->data = $this->_read_data($resultSet[0]);
- return $this->data;
- }
$Pk為主鍵，$options為表達(dá)式參數(shù)，本函數(shù)的作用就是完善成員變量——options數(shù)組，然后調(diào)用db層的select函數(shù)查詢數(shù)據(jù)，處理后返回?cái)?shù)據(jù)。
跟進(jìn)_parseOptions函數(shù)：
- protected function _parseOptions($options=array()) { //分析表達(dá)式
- if(is_array($options)){
- $options = array_merge($this->options,$options);
- }
- /*獲取表名，此處省略*/
- /*添加數(shù)據(jù)表別名，此處省略*/
- $options['model'] = $this->name;// 記錄操作的模型名稱
- /*對(duì)數(shù)組查詢條件進(jìn)行字段類型檢查，如果在合理范圍內(nèi)，就進(jìn)行過(guò)濾處理；否則拋出異?；蛘邉h除掉對(duì)應(yīng)字段*/
- if(isset($options['where']) && is_array($options['where']) && !emptyempty($fields) && !isset($options['join'])){
- foreach ($options['where'] as $key=>$val){
- $key = trim($key);
- if(in_array($key,$fields,true)){ //如果$key在數(shù)據(jù)庫(kù)字段內(nèi)，過(guò)濾以及強(qiáng)制類型轉(zhuǎn)換之
- if(is_scalar($val)) {
- /*is_scalar 檢測(cè)是否為標(biāo)量。標(biāo)量是指integer、float、string、boolean的變量，array則不是標(biāo)量。*/
- $this->_parseType($options['where'],$key);
- }
- }elseif(!is_numeric($key) && '_' != substr($key,0,1) && false === strpos($key,'.') && false === strpos($key,'(') && false === strpos($key,'|') && false === strpos($key,'&')){
- // 如果$key不是數(shù)字且第一個(gè)字符不是_，不存在.(|&等特殊字符
- if(!emptyempty($this->options['strict'])){ //如果是strict模式，拋出異常
- E(L('_ERROR_QUERY_EXPRESS_').':['.$key.'=>'.$val.']');
- }
- unset($options['where'][$key]); //unset掉對(duì)應(yīng)的值
- }
- }
- }
- $this->options = array(); // 查詢過(guò)后清空sql表達(dá)式組裝 避免影響下次查詢
- $this->_options_filter($options); // 表達(dá)式過(guò)濾
- return $options;
- }
本函數(shù)的結(jié)構(gòu)大概是，先獲取了表名，模型名，再對(duì)數(shù)據(jù)進(jìn)行處理：如果該條數(shù)據(jù)不在數(shù)據(jù)庫(kù)字段內(nèi)，則做出異常處理或者刪除掉該條數(shù)據(jù)。否則，進(jìn)行_parseType處理。parseType此處不再跟進(jìn)，功能為:數(shù)據(jù)類型檢測(cè),強(qiáng)制類型轉(zhuǎn)換包括int,float,bool型的三種數(shù)據(jù)。
函數(shù)運(yùn)行到此處，就該把處理好的數(shù)據(jù)傳到db層的select函數(shù)里了。此時(shí)的查詢條件$options中的int,float,bool類型的數(shù)據(jù)都已經(jīng)進(jìn)行了強(qiáng)制類型轉(zhuǎn)換，where()函數(shù)中的字符串(非數(shù)組格式的查詢)也進(jìn)行了addslashes等處理。
繼續(xù)追蹤到select函數(shù)，就到了driver對(duì)象中了，還是先列舉幾個(gè)有用的成員變量：
- // 數(shù)據(jù)庫(kù)表達(dá)式
- protected $exp = array('eq'=>'=','neq'=>'<>','gt'=>'>','egt'=>'>=','lt'=>'<','elt'=>'<=','notlike'=>'NOT LIKE','like'=>'LIKE','in'=>'IN','notin'=>'NOT IN','not in'=>'NOT IN','between'=>'BETWEEN','not between'=>'NOT BETWEEN','notbetween'=>'NOT BETWEEN');
- // 查詢表達(dá)式
- protected $selectSql = 'SELECT%DISTINCT% %FIELD% FROM %TABLE%%FORCE%%JOIN%%WHERE%%GROUP%%HAVING%%ORDER%%LIMIT% %UNION%%LOCK%%COMMENT%';
- // 當(dāng)前SQL指令
- protected $queryStr = '';
- // 參數(shù)綁定
- protected $bind = array();
select函數(shù)：
- public function select($options=array()) {
- $this->model = $options['model'];
- $this->parseBind(!emptyempty($options['bind'])?$options['bind']:array());
- $sql = $this->buildSelectSql($options);
- $result = $this->query($sql,!emptyempty($options['fetch_sql']) ? true : false);
- return $result;
- }
版本3.2.3經(jīng)過(guò)改進(jìn)之后，select精簡(jiǎn)了不少。parseBind函數(shù)是綁定參數(shù)，用于pdo查詢，此處不表。
buildSelectSql()函數(shù)及其后續(xù)調(diào)用如下：
- public function buildSelectSql($options=array()) {
- if(isset($options['page'])) {
- /*頁(yè)碼計(jì)算及處理，此處省略*/
- }
- $sql = $this->parseSql($this->selectSql,$options);
- return $sql;
- }
- /* 替換SQL語(yǔ)句中表達(dá)式*/
- public function parseSql($sql,$options=array()){
- $sql = str_replace(
- array('%TABLE%','%DISTINCT%','%FIELD%','%JOIN%','%WHERE%','%GROUP%','%HAVING%','%ORDER%','%LIMIT%','%UNION%','%LOCK%','%COMMENT%','%FORCE%'),
- array(
- $this->parseTable($options['table']),
- $this->parseDistinct(isset($options['distinct'])?$options['distinct']:false),
- $this->parseField(!emptyempty($options['field'])?$options['field']:'*'),
- $this->parseJoin(!emptyempty($options['join'])?$options['join']:''),
- $this->parseWhere(!emptyempty($options['where'])?$options['where']:''),
- $this->parseGroup(!emptyempty($options['group'])?$options['group']:''),
- $this->parseHaving(!emptyempty($options['having'])?$options['having']:''),
- $this->parseOrder(!emptyempty($options['order'])?$options['order']:''),
- $this->parseLimit(!emptyempty($options['limit'])?$options['limit']:''),
- $this->parseUnion(!emptyempty($options['union'])?$options['union']:''),
- $this->parseLock(isset($options['lock'])?$options['lock']:false),
- $this->parseComment(!emptyempty($options['comment'])?$options['comment']:''),
- $this->parseForce(!emptyempty($options['force'])?$options['force']:'')
- ),$sql);
- return $sql;
- }
可以看到，在parseSql中用正則表達(dá)式拼接了sql語(yǔ)句，但并沒(méi)有直接的去處理各種插敘你的數(shù)據(jù)格式，而是在解析變量的過(guò)程中調(diào)用了多個(gè)函數(shù)，此處拿parseWhere舉例子。
- protected function parseWhere($where) {
- $whereStr = '';
- if(is_string($where)) { // 直接使用字符串條件
- $whereStr = $where;
- }
- else{ // 使用數(shù)組表達(dá)式
- /*設(shè)定邏輯規(guī)則，如or and xor等，默認(rèn)為and，此處省略*/
- $operate=' AND ';
- /*解析特殊格式的表達(dá)式并且格式化輸出*/
- foreach ($where as $key=>$val){
- if(0===strpos($key,'_')) { // 解析特殊條件表達(dá)式
- $whereStr .= $this->parseThinkWhere($key,$val);
- }
- else{ // 查詢字段的安全過(guò)濾
- $multi = is_array($val) && isset($val['_multi']); //判斷是否有復(fù)合查詢
- $key = trim($key);
- /*處理字段中包含的| &邏輯*/
- if(strpos($key,'|')) { // 支持 name|title|nickname 方式定義查詢字段
- /*將|換成or，并格式化輸出，此處省略*/
- }
- elseif(strpos($key,'&')){
- /*將&換成and，并格式化輸出，此處省略*/
- }
- else{
- $whereStr .= $this->parseWhereItem($this->parseKey($key),$val);
- }
- }
- $whereStr .= $operate;
- }
- $whereStr = substr($whereStr,0,-strlen($operate));
- }
- return emptyempty($whereStr)?'':' WHERE '.$whereStr;
- }
- // where子單元分析
- protected function parseWhereItem($key,$val) {
- $whereStr = '';
- if(is_array($val)){
- if(is_string($val[0])){
- $exp = strtolower($val[0]);
- //如果是$map['id']=array('eq',100)一類的結(jié)構(gòu)，那么解析成數(shù)據(jù)庫(kù)可執(zhí)行格式
- if(preg_match('/^(eq|neq|gt|egt|lt|elt)$/',$exp)){
- $whereStr .= $key.' '.$this->exp[$exp].' '.$this->parseValue($val[1]);
- }
- //如果是模糊查找格式
- elseif(preg_match('/^(notlike|like)$/',$exp)){// 模糊查找,$map['name']=array('like','thinkphp%');
- if(is_array($val[1])) { //解析格式如下：$map['b'] =array('notlike',array('%thinkphp%','%tp'),'AND');
- $likeLogic = isset($val[2])?strtoupper($val[2]):'OR'; //如果沒(méi)有設(shè)定邏輯結(jié)構(gòu)，則默認(rèn)為OR
- if(in_array($likeLogic,array('AND','OR','XOR'))){
- /* 根據(jù)邏輯結(jié)構(gòu)，組合語(yǔ)句，此處省略*/
- $whereStr .= '('.implode(' '.$likeLogic.' ',$like).')';
- }
- }
- else{
- $whereStr .= $key.' '.$this->exp[$exp].' '.$this->parseValue($val[1]);
- }
- }elseif('bind' == $exp ){ // 使用表達(dá)式，pdo數(shù)據(jù)綁定
- $whereStr .= $key.' = :'.$val[1];
- }elseif('exp' == $exp ){ // 使用表達(dá)式
當(dāng)前題目：ThinkPHP框架安全實(shí)現(xiàn)分析
鏈接分享：http://fisionsoft.com.cn/article/ccdjjpj.html
