如何创建导入到CodeQL

Question

我想要创建一个导入到我的CodeQL查询。

我希望这个导入名为Utils，并在其中创建一个名为isNumber的谓词。

我怎么能创造出这样的进口？

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

import cpp
import Utils

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

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

无法解析模块Utils

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

Answer 1

我找到了怎么做的。

需要在您的Utils.qll查询的同一个文件夹中创建名为CodeQL的文件。

这是它的代码：

import cpp

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