RSAC2019创新沙盒大赛公司shiftleft介绍

Stella981
• 阅读 584

RSAC2019创新沙盒大赛公司shiftleft介绍

概念

本身Shift Left这个单词的在测试行业的意思就是将软件测试阶段尽量前置,测试、开发人员使用项目管理、自动化测试工具全量参与到软件开发活动中。ShiftLeft这家公司于17年创建,19年2月份获得B轮2000万美元融资,自称是应用云安全领域的创新者,提出了全自动的安全即服务(SECaas)的解决方案。联合创始人是FireEye的首席产品和战略官。

安全DNA

    是指对每个应用程序每个版本的源代码进行分析并提取安全相关的详细信息,包括漏洞,敏感数据,策略信息和编码错误。采集安全dna的目的是兼顾迭代阶段,方便为agent创建策略,解决通用方案的不足。

产品

  • 针对代码审计和漏洞研究安全人员的Ocular产品:

    该产品的前身是c++类的https://github.com/octopus-platform/joern,一改以往搜索漏洞需要手工查找的局面,创新针对代码属性视图Code Property Graph (CPG)的设计查询语言(Read-Eval-Print-Loop(REPL),支持控制流分析、语法树、调用关系、依赖,目录接口、框架类(内置了自动标记框架的策略)的分析,支持自定义查询语句和集成到CI,输出支持各种报文的结果,支持语言有java、c#和c、c++。曾经发现时linux内核的oday和jackson-databind反序列化漏洞(CVE-2017–7525)。整体类似semmle公司的ql技术。

使用:

  1. 笔者准备了一项spring框架编写的漏洞测试用例,controller分别存在不同的漏洞用来检测误报、漏报。安装后启动分析,将目标代码提取生成CPG信息。可以配置过滤掉公共和开源组件代码。RSAC2019创新沙盒大赛公司shiftleft介绍

  2. 进入到主界面,准备执行查询语言:

    RSAC2019创新沙盒大赛公司shiftleft介绍

  3. load刚才生成的cpg文件。

    RSAC2019创新沙盒大赛公司shiftleft介绍

  4. 使用cpg.dependency.name.l命令查看依赖关系,不同于直接解析pom.xml文件,基于实际代码关系的分析可以发现项目依赖的深层次关系。RSAC2019创新沙盒大赛公司shiftleft介绍

  5. 支持通过./cpg2sp.sh --cpg vlu.bin.zip  -o javavulnerablelab.sp命令通过自建的策略自动查找发现漏洞。

  6. 查询代码里的入参。

    RSAC2019创新沙盒大赛公司shiftleft介绍

  7. 测试下污点分析技术。定义污染源为全部的入参。定义污点为调用url的方法。查看是否可达。

    RSAC2019创新沙盒大赛公司shiftleft介绍

    RSAC2019创新沙盒大赛公司shiftleft介绍

  8. 也可以使用如下命令审计反序列化漏洞。

val sinkMethods = cpg.method.or(

_.fullName(".*(XMLdecoder|ObjectInputStream).*readObject.*"),

_.fullName(".*XStream.*fromXML.*"),

_.fullName(".*readObjectNodData|readResolve|readExternal.*"),

_.fullName(".*ObjectInputStream.*readUnshared.*"))

sinkMethods.calledBy(cpg.method).newCallChain.p

其他的利用请参考https://docs.shiftleft.io/ocular/tutorials/cve-2018-19859

  • 适用于应用分析和运行阶段的ShiftLeft Inspect and Protect产品:

    该产品可以理解为支持Java和C#的弱白盒+强云端Rasp。优点为充分利用了持续集成的能力。

RSAC2019创新沙盒大赛公司shiftleft介绍

可以看到漏洞信息可以在两个时间产出:第一阶段在分析时,上传编译好的代码在云端,分析源代码或者字节码得到CPG,获取初步白盒审计结果、页面路由、代码内敏感信息;第二阶段是通过javaagent的方式启动java应用程序,通过支持原生、微服务、云环境、容器、虚拟机的微代理获取运行时数据和指标推送到代理服务器。通过dashboard进行结果展示、流程闭环。

使用

RSAC2019创新沙盒大赛公司shiftleft介绍

  1. 如上图所示安装好后配置环境变量,使用sl run建立名为HelloShiftLeft的app。工具首次运行下载 ShiftLeft JVM Analyzer Plugin。

  2. 第一阶段为分析编译好的war包。

    通过go程序上传war包。产生中间文件上传、诊断。

    RSAC2019创新沙盒大赛公司shiftleft介绍

  3. 下一步是获取云端代码分析得出的结果,创建了一个名为Run Profile for Runtime(SPR)的自定义工具,并将其加载到与应用程序一起运行的微代理上,以微代理的方式启动。

    RSAC2019创新沙盒大赛公司shiftleft介绍

  4. 看下源代码的启动方式,一目了然的rasp。

    RSAC2019创新沙盒大赛公司shiftleft介绍

  5. 可惜这种方式会对系统性能和兼容性有影响。jenkins挂了(是jdk的原因吗?不过不影响程序获取源码分析、启动阶段的漏洞信息)。

    RSAC2019创新沙盒大赛公司shiftleft介绍

  6. 更换一个较为简单的web程序顺利启动。

  7. 分析完后dashboard可以看到结果信息。简介页面包括提取的应用内部的url包括filter接口的实现类、servlet和RequestMapping。可以看到源代码扫描审计的结果标记区分了code和runtime阶段所发现的。(笔者使用的是最新版的jenkins编译,看到的结果可能都是误报...)。此外还有各种数据方面的认证信息、PII数据、反序列化数据、环境信息、文件读写类、http信息、输入、日志、输出、重定向、session、缓存。

    RSAC2019创新沙盒大赛公司shiftleft介绍

    漏洞简述页包括级别、类型、调用次数、状态。

    RSAC2019创新沙盒大赛公司shiftleft介绍

  8. 详情页显示漏洞描述、代码所在行数、输入数据、运行时调用次数、数据流向调用关系(这里用DOT和graphviz表示更好些)。

    RSAC2019创新沙盒大赛公司shiftleft介绍

    RSAC2019创新沙盒大赛公司shiftleft介绍

综述

这套产品适用于CI / CD流程并经常发布的创新公司。该产品的目标市场包括技术,银行和医疗保健。也适用于将工作上云的传统企业。真正将源代码分析结果和RASP结合起来效果还是不错的,在持续集成阶段就可以发现安全风险。另外在越权类漏洞的检测上其实也是大有用武之地的。

本文分享自微信公众号 - 安全乐观主义(gh_d6239d0bb816)。
如有侵权,请联系 support@oschina.cn 删除。
本文参与“OSC源创计划”,欢迎正在阅读的你也加入,一起分享。

点赞
收藏
评论区
推荐文章
blmius blmius
2年前
MySQL:[Err] 1292 - Incorrect datetime value: ‘0000-00-00 00:00:00‘ for column ‘CREATE_TIME‘ at row 1
文章目录问题用navicat导入数据时,报错:原因这是因为当前的MySQL不支持datetime为0的情况。解决修改sql\mode:sql\mode:SQLMode定义了MySQL应支持的SQL语法、数据校验等,这样可以更容易地在不同的环境中使用MySQL。全局s
Jacquelyn38 Jacquelyn38
2年前
2020年前端实用代码段,为你的工作保驾护航
有空的时候,自己总结了几个代码段,在开发中也经常使用,谢谢。1、使用解构获取json数据let jsonData  id: 1,status: "OK",data: 'a', 'b';let  id, status, data: number   jsonData;console.log(id, status, number )
皕杰报表之UUID
​在我们用皕杰报表工具设计填报报表时,如何在新增行里自动增加id呢?能新增整数排序id吗?目前可以在新增行里自动增加id,但只能用uuid函数增加UUID编码,不能新增整数排序id。uuid函数说明:获取一个UUID,可以在填报表中用来创建数据ID语法:uuid()或uuid(sep)参数说明:sep布尔值,生成的uuid中是否包含分隔符'',缺省为
Stella981 Stella981
2年前
Android So动态加载 优雅实现与原理分析
背景:漫品Android客户端集成适配转换功能(基于目标识别(So库35M)和人脸识别库(5M)),导致apk体积50M左右,为优化客户端体验,决定实现So文件动态加载.!(https://oscimg.oschina.net/oscnet/00d1ff90e4b34869664fef59e3ec3fdd20b.png)点击上方“蓝字”关注我
Stella981 Stella981
2年前
Python之time模块的时间戳、时间字符串格式化与转换
Python处理时间和时间戳的内置模块就有time,和datetime两个,本文先说time模块。关于时间戳的几个概念时间戳,根据1970年1月1日00:00:00开始按秒计算的偏移量。时间元组(struct_time),包含9个元素。 time.struct_time(tm_y
Wesley13 Wesley13
2年前
mysql设置时区
mysql设置时区mysql\_query("SETtime\_zone'8:00'")ordie('时区设置失败,请联系管理员!');中国在东8区所以加8方法二:selectcount(user\_id)asdevice,CONVERT\_TZ(FROM\_UNIXTIME(reg\_time),'08:00','0
Wesley13 Wesley13
2年前
00:Java简单了解
浅谈Java之概述Java是SUN(StanfordUniversityNetwork),斯坦福大学网络公司)1995年推出的一门高级编程语言。Java是一种面向Internet的编程语言。随着Java技术在web方面的不断成熟,已经成为Web应用程序的首选开发语言。Java是简单易学,完全面向对象,安全可靠,与平台无关的编程语言。
Stella981 Stella981
2年前
Django中Admin中的一些参数配置
设置在列表中显示的字段,id为django模型默认的主键list_display('id','name','sex','profession','email','qq','phone','status','create_time')设置在列表可编辑字段list_editable
Wesley13 Wesley13
2年前
MySQL部分从库上面因为大量的临时表tmp_table造成慢查询
背景描述Time:20190124T00:08:14.70572408:00User@Host:@Id:Schema:sentrymetaLast_errno:0Killed:0Query_time:0.315758Lock_
Python进阶者 Python进阶者
3个月前
Excel中这日期老是出来00:00:00,怎么用Pandas把这个去除
大家好,我是皮皮。一、前言前几天在Python白银交流群【上海新年人】问了一个Pandas数据筛选的问题。问题如下:这日期老是出来00:00:00,怎么把这个去除。二、实现过程后来【论草莓如何成为冻干莓】给了一个思路和代码如下:pd.toexcel之前把这