本文介绍如何使用CodeQL库对Java程序进行数据流分析，涵盖本地数据流、全局数据流和污点跟踪。本地数据流分析单个方法内的数据传递，全局数据流追踪整个程序，污点跟踪扩展了非保值步骤。文章提供了配置类、谓词定义及示例查询，并附有练习题及答案，帮助用户编写自定义数据流查询。