前言
在渗透测试时,经常会遇到公开漏洞已经修复、只有一个登录框等情况,这时候如果能拿到代码进行审计一波,往往能打开一扇新的大门。
代码审计(Code Audit) 顾名思义就是通过阅读源代码,从中找出程序源代码中存在的缺陷或安全隐患,提前发现并解决风险,这在甲方的SDL建设中是很重要的一环。而在渗透测试中,可以通过代码审计挖掘程序漏洞,快速利用漏洞进行攻击,达成目标。
审计思路
常见的审计思路有:
1、寻找敏感功能点,通读功能点代码;
优点:精准定向挖掘,利用程度高;
缺点:命名不规范的代码容易被忽略,导致失去先机;
2、根据敏感关键字回溯参数传递过程;
优点:通过搜索敏感关键字可快速定位可能存在的漏洞,可定向挖掘,高效、高质量;
缺点:对程序整体架构了解不够深入,在漏洞定位时比较耗时,逻辑漏洞覆盖不到;
3、直接通读全文代码;
优点:对整体架构熟悉,了解程序的数据流处理、配置文件、过滤函数等;
缺点:耗时长,需要足够的时间熟悉整体架构;
审计方法
按照是否使用(半)自动化工具划分,有工具扫描、人工审计和两者相结合的几种审计方式,笔者比较喜欢硬刚,毕竟正常挖业务层面漏洞没有那么复杂,不太需要对底层的一些特性了解的很清楚。
按照数据流向可分为正向审计和逆向审计,正向审计即从功能入口点进行跟踪,一直到数据流处理结束;逆向审计即先根据一些关键词搜索,定位到可能存在风险的关键词/函数,再反推到功能入口,看整个处理过程是否存在漏洞。
成功案例
案例一:一个任意文件下载漏洞引起的代码审计
在一次授权测试中,找到一处任意文件下载漏洞,正常思路先下载网站的配置文件,看看数据库是否可以外联
不幸的是不可以外联(其实现在能外联的也很少了),幸运的是在配置文件中收集到了一个域用户,这是意外之喜。
接着下载Download.aspx文件看看内容
我们知道,.net是编译型语言,在aspx中一般是没有服务代码的,这里看到使用了Inherits来继承后端代码。
Inherits是啥?
MSDN官方解释:定义供页继承的代码隐藏类。 它可以是从 Page 类派生的任何类。 此特性与 CodeFile 特性一起使用,后者包含指向代码隐藏类的源文件的路径。
通俗一点就是代码都在这个Inherits指向的dll中了,那么我们下载到dll文件,就可以对后端代码进行一波窥探了
于是构造下载XXXXXX.Web.dll,文件下载到本地后,IL Spy 打开就是一顿肉眼观察
大致看了一下目录,有Upload字样,优先级直线上升,先进去看看
public void uploadFile() { string formStringParamValue = SWFUrlOper.GetFormStringParamValue("path"); string formStringParamValue2 = SWFUrlOper.GetFormStringParamValue("fn"); bool flag = SWFUrlOper.GetFormStringParamValue("small").ToLower() == "true"; …… string[] array = new string[] { "jpg", "gif", "png", "bmp" }; string formStringParamValue3 = SWFUrlOper.GetFormStringParamValue("data"); try { System.Web.HttpPostedFile httpPostedFile = base.Request.Files["Filedata"]; string b = string.Empty; string text = string.Empty; if (httpPostedFile.ContentLength > 0) { text = httpPostedFile.FileName; if (text.IndexOf(".") != -1) { b = text.Substring(text.LastIndexOf(".") + 1, text.Length - text.LastIndexOf(".") - 1).ToLower(); } SWFUploadFile sWFUploadFile = new SWFUploadFile(); if (flag) { sWFUploadFile.set_SmallPic(true); sWFUploadFile.set_MaxWith((formIntParamValue == 0) ? sWFUploadFile.get_MaxWith() : formIntParamValue); sWFUploadFile.set_MaxHeight((formIntParamValue2 == 0) ? sWFUploadFile.get_MaxHeight() : formIntParamValue2); } sWFUploadFile.set_IsWaterMark(isWaterMark); int num = 0; string text2 = sWFUploadFile.SaveFile(httpPostedFile, formStringParamValue, formStringParamValue2, ref num); …… }
38行进行了文件保存,之前没有对文件的内容、后缀等有任何过滤,开开心心挖到任意文件上传。二话不说本地构造上传个shell
<form name="form" method="post" action="http://xxxx.com/cms/SWFUpload.aspx" enctype="multipart/form-data" > <input type="file" name="Filedata"> <input type="submit" name="Submit" value="upload" ></form>
假如这里代码被混淆的话,可以使用de4dot进行反混淆,de4dot支持10几种混淆方式的反混淆:
Dotfuscator .NET Reactor Xenocode CryptoObfuscator SmartAssembly ......
比如使用Dotfuscator混淆过的DLL是这样的:
使用de4dot反混淆:
CMD命令行执行:de4dot.exe ADD.dll
看下效果:
代码已经基本恢复到可读状态了,其他高级用法请参考github上的介绍。
案例二:某个开源系统的代码审计
授权渗透时发现只有一个登录框,遇到这种情况一般只能拼字典进行爆破了,还好客户使用的是一套开源系统二次开发,可以down到代码进行分析一波。
拿到代码看了下结构,是thinkphp的二开,遵循MVC模型代码那是一个层次分明。
因为目标只有登录框,所以这里我关注的重点除了文件上传、SQL注入,又多了一个绕过登录的想法了,no代码no哔哔~~
Upload太刺眼了,忍不住进去分析一下
class UploadController extends ComController{ ...... private function saveimg($file){ $uptypes=array( 'image/jpeg', 'image/jpg', 'image/jpeg', 'image/png', 'image/pjpeg', 'image/gif', 'image/bmp', 'image/x-png' ); $max_file_size=2000000; //上传文件大小限制, 单位BYTE $destination_folder='Public/attached/'.date('Ym').'/'; //上传文件路径 if($max_file_size < $file["size"]){ echo "文件太大!"; return null; } if(!in_array($file["type"], $uptypes)){ echo "文件类型不符!".$file["type"]; return null; } if(!file_exists($destination_folder)){ mkdir($destination_folder); } $filename=$file["tmp_name"]; $image_size = getimagesize($filename); $pinfo=pathinfo($file["name"]); $ftype=$pinfo['extension']; $destination = $destination_folder.time().".".$ftype; if (file_exists($destination) && $overwrite != true){ echo "同名文件已经存在了"; return null; } if(!move_uploaded_file ($filename, $destination)) { return null; } return "/".$destination; } ......
只对文件MIME类型进行了检测,做安全的都爱这样的开发工程师,比心~
不过这里继承了ComController,里面有身份认证,不能直接getshell. .. 呜呜呜,还是要突破登录后台才行。
跟进ComController看下认证检查过程
class ComController extends BaseController { public $USER; public function _initialize(){ C(setting()); $user = cookie('user'); $this->USER = $user; $url = U("login/index"); if(!$user){ header("Location: {$url}"); exit(0); } $Auth = new Auth(); $allow_controller_name=array('Upload');//放行控制器名称 $allow_action_name=array();//放行函数名称 if(!$Auth->check(CONTROLLER_NAME.'/'.ACTION_NAME,$this->USER['uid'])&&!in_array(CONTROLLER_NAME,$allow_controller_name)&&!in_array(ACTION_NAME,$allow_action_name)){ $this->error('没有权限访问本页面!'); } $user = member(intval($user['uid'])); $this->assign('user',$user);
恩… 我可能深深爱上这个开发工程师了, 从cookie中获取认证信息,并赋值给$user对象,那我们就可以操控用户登录啦,在配合后台的任意文件上传,美滋滋~
失败案例
总结
相对于甲方不同,渗透测试中代码审计更多的是挖掘可利用的漏洞或利用链进行攻击,尽可能的获取更高的权限为目的。
个人觉得渗透测试时关注的漏洞优先级:
命令执行 > 代码执行 > 文件上传 > 文件包含 > SQL注入 > 文件下载 > 逻辑漏洞 > SSRF > XSS …
代码审计除了需要了解漏洞的原理、熟悉常见的编程语言、常见的危险函数、常见的协议、渗透技巧外,还需要一些开发调试工具(IDEA、PHPStrom、PyCharm …),以上内容有不正之处,还请大家斧正。
注:
de4dot项目地址: https://github.com/0xd4d/de4dot/
来源:freebuf.com 2020-10-27 09:24:52 by: 酒仙桥六号部队
请登录后发表评论
注册