Codeql Java Reftype记录

本文主要是介绍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 andthis.hasName(["parse", "parseObject"])}
}

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

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

ma.getMethod() instanceof FastJsonParseMethod andnot fastJsonLooksSafe() andsink = ma.getArgument(0)

ma是MethodAccess， sink是 Expr。

参考文章：

RefType

这篇关于Codeql Java Reftype记录的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！

---