CodeQL Java Optimisation：Make CodeQL Data Flow Analysis support java features such as java reflection, threading, etc信息安全资料.docxVIP

演讲人：m0d9时间：2024

演讲人：m0d9

时间：2024.08.24

关于我 ID：

关于我

ID：m0d9

From:腾讯云云鼎实验室

CodeQL概述与Java分析难点CodeQL数据流分析解析解决CodeQLJava代码分析难点历史漏洞回溯

CodeQL概述与Java分析难点

CodeQL数据流分析解析

解决CodeQLJava代码分析难点

历史漏洞回溯

PART01ONE

PART01

ONE

CodeQL概述 CodeQL历史LGTM下线Semmle成立微软收购Gith

CodeQL概述

CodeQL历史

LGTM下线

Semmle成立

微软收购Github

2006

20??

2018

2019

2022

LGTM

Github收购Semmle默认SAST工具

程序分析

PTA(soot/Tai-e)

Datalog(Soufflé/Doop)

guration{ig}me(jav

guration{ig}

me(java.io,PrintStream)and

rce,DataFlow::PathNodesinknitizeduserdata

CodeQL概述

Demo

SourceCode

+

QL

=

Result

classMyTaintTrackingCon