洞态IAST-自动检测S2-007

洞态IAST是一款交互式安全测试工具，关于IAST的介绍可以查看官方文档，本文为使用IAST进行漏洞复现系列的首篇。

1. 启动在线靶场
登陆在线靶场，启动S2-007环境，等待环境启动之后，点击访问靶场按钮即可前往靶场环境。该环境来源于vulhub和vulapps

2. 登录洞态IAST在线网站，查看漏洞检测结果

3. 进入搜索功能，分析完整的污点调用图

3.1 Source点
首先，在org.apache.struts2.dispatcher.Dispatcher.DefaultActionMapper#createContextMap()方法中，调用Servlet接口的getParameterMap方法获取外部参数，形成初始污点，然后将Map对象放入struts2的上下文com.opensymphony.xwork2.ActionContext.parameters中

3.2 Propagator方法
经过一系列的处理，在com.opensymphony.xwork2.interceptor.ParametersInterceptor#doIntercept方法中，调用this.retrieveParameters(ac)方法获取参数，最终通过this.get("com.opensymphony.xwork2.ActionContext.parameters”)方法通过struts2上下文获取参数，与初始污点关联起来；

初始污点在com.opensymphony.xwork2.interceptor.ParametersInterceptor#doIntercept方法中通过setParameters方法将参数传递至ParametersInterceptor实例化对象中，最终在com.opensymphony.xwork2.interceptor.ConversionErrorInterceptor#intercept中调用org.apache.struts2.interceptor.StrutsConversionErrorInterceptor#getOverrideExpr方法，经过字符串拼接，形成最终的ognl表达式，代码如下：

protected Object getOverrideExpr(ActionInvocation invocation, Object value) {
    ValueStack stack = invocation.getStack();

		String var4;
    try {
        stack.push(value);
        var4 = "'" + stack.findValue("top", String.class) + "'";
    } finally {
        stack.pop();
    }

    return var4;
}

代码中字符串拼接对应JDK层StringBuilder的一系列操作，如下图

ognl表达式在com.opensymphony.xwork2.interceptor.ConversionErrorInterceptor#intercept方法中，被放入map对象faike中：fakie.put(propertyName, this.getOverrideExpr(invocation, value));

然后，设置fakie对象到ExprOverrides中

if (fakie != null) {
	stack.getContext().put("original.property.override", fakie);
	invocation.addPreResultListener(new PreResultListener() {
		public void beforeResult(ActionInvocation invocation, String resultCode) {
			Map<Object, Object> fakie = (Map)invocation.getInvocationContext().get("original.property.override");
			if (fakie != null) {
				invocation.getStack().setExprOverrides(fakie);
			}
		}
  });
}

然后，在com.opensymphony.xwork2.ognl.OgnlValueStack#lookupForOverrides方法中，将Ognl表达式读取出来

然后在com.opensymphony.xwork2.ognl.OgnlUtil#getValue方法中，调用compile方法，形成Ognl对象

1
2
3

public Object getValue(String name, Map<String, Object> context, Object root, Class resultType) throws OgnlException {
    return Ognl.getValue(this.compile(name), context, root, resultType);
}