如何解决如何创建对 CodeQL 的导入
我想为我的 CodeQL 查询创建一个导入。
我希望此导入将命名为 Utils
,并且我将在其中创建一个名为 isNumber
的谓词。
如何创建这样的导入?
我希望我的代码看起来像这样:
import cpp
import Utils
where
if exists(...)
then isNumber(size.(VariableAccess).getTarget())
else ...
select ...
我不知道如何创建 Utils
导入,它写道:
无法解析模块实用程序
我尝试在我的代码查询 (Utils
) 附近创建一个名为 code.ql
的文件夹,但没有成功。
解决方法
我找到了方法。
需要在 CodeQL 查询的同一文件夹中创建一个名为 Utils.qll
的文件。
这是它的代码:
import cpp
predicate isNumber(Variable v){
v.getUnspecifiedType() instanceof IntegralType
}
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。