自定义CodeQL查询配置报错求助

我最近在Linux环境里尝试搭建下面这段CodeQL查询，用来检测潜在的Spectre V1漏洞gadgets，但过程中一直不顺利，有没有熟悉CodeQL的朋友能帮忙看看问题出在哪呀？

/** 
 * @name SpectreV1 
 * @description Finds potential spectre v1 gadgets 
 * @kind path-problem 
 * @problem.severity warning 
 * @id cpp/linux-spectre-v1 
 */  

import cpp 
import semmle.code.cpp.ir.IR 
import semmle.code.cpp.ir.dataflow.TaintTracking 
import semmle.code.cpp.ir.dataflow.DataFlow 
import semmle.code.cpp.controlflow.Guards 
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtil 
import semmle.code.cp

备注：内容来源于stack exchange，提问作者LambTheBamb