如何创建对 CodeQL 的导入

Question

我想为我的 CodeQL 查询创建一个导入。
我希望这个导入将被命名为 Utils 并且我将在其中创建一个名为 isNumber.

的谓词

如何创建这样的导入？

这是我希望我的代码的样子：

import cpp
import Utils

where
    if exists(...)
    then isNumber(size.(VariableAccess).getTarget())
    else ...
select ...

我不知道如何创建 Utils 导入，它写道：

Could not resolve module Utils

我试图在我的代码查询 (code.ql) 附近创建一个名为 Utils 的文件夹，但没有成功。

Answer 1

我找到了方法。
需要在您的 CodeQL 查询的同一文件夹中创建一个名为 Utils.qll 的文件。

这是它的代码：

import cpp

predicate isNumber(Variable v){
    v.getUnspecifiedType() instanceof IntegralType
}

How to create import to CodeQL