c++ - 如何创建对 CodeQL 的导入

Question

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

我怎样才能创建这样的导入？

我希望我的代码看起来像这样：

import cpp
import Utils

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

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

无法解析模块 Utils

我试图Utils在我的代码查询 ( code.ql) 附近创建一个名为的文件夹，但它不起作用。

score 1 · Accepted Answer

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

这是它的代码：

import cpp

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

1 回答 1