Codeql Java Reftype记录

最近在看codeql 对 fastjson 的误报。意外的发现codeql 标准库对java的支持比go要友好多了。

Reftype的说明是:

A common super-class for various kinds of reference types, including classes, interfaces, type parameters and arrays.

这个reftype 包含了类、接口、类型参数(范型吗?)和数组这四种代码结构。我们可以很轻松的利用它来抽象代码结构。go的话就显得很原始,哪个类型就基本就只能管那个类型。

比如 fastjson的 json.parseObject和parse的写法。

class FastJson extends RefType {

FastJson() { this.hasQualifiedName("com.alibaba.fastjson", "JSON") }

}

这里先把fastjson 的JSON 类型定义出来。

class FastJsonParseMethod extends Method {
  FastJsonParseMethod() {
    this.getDeclaringType() instanceof FastJson and
    this.hasName(["parse", "parseObject"])
  }
}

然后在定义方法。这个方法的定义类型属于 Fastjson的JSON类。 名字可以是parse和parseObject。

在官方提供的不安全的反序列化漏洞java/unsafe-deserialization 的sink 代码中是这么使用 FastJsonParseMethod 的

ma.getMethod() instanceof FastJsonParseMethod and
    not fastJsonLooksSafe() and
    sink = ma.getArgument(0)

ma是MethodAccess, sink是 Expr

参考文章:

RefType

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值