未能从不同的网络文件夹添加CodeQL库：“无法解析模块<xxx>”

Question

我有以下文件夹结构：

└── MyProj
    ├── Dangerous_Memcopy
    │   ├── Config.qll
    │   └── ...
    ├── MemMangementLibraries
    │   ├── FFmpegMemory
    │   └── ...

这是Config.qll的开始

import cpp
import Utils
// Change here the memory library if wrappers exists in project
import MemMangementLibraries.FFmpegMemory
import semmle.code.cpp.dataflow.TaintTracking



class MyConfig extends TaintTracking::Configuration{
    MyConfig() {this = "MyConfig"}

    override predicate isSource(DataFlow::Node node){
        exists(
            CallAllocationExpr alloc_foo | 
            (
                node.asExpr() = alloc_foo
                and not alloc_foo.getFile().toString().matches("%mem.c%")
            )
        )
    }

...

我在四行上有一个错误：import MemMangementLibraries.FFmpegMemory

无法解析模块MemMangementLibraries.FFmpegMemory

我不明白为什么。我按照库的名称给出了带有文件夹名称的导入：

import MemMangementLibraries.FFmpegMemory

知道有什么问题吗？

如果我将库FFmpegMemory.qll移动到文件夹Dangerous_Memcopy下面，并将Config.qll中的第四行更改为import FFmpegMemory，它将接受它。

它似乎不识别导入中使用的文件夹MemMangementLibraries。

Answer 1

QL中的导入相对于"QL包根“进行解析，该根是包含qlpack.yml文件的最近的封闭目录。(它们也会相对于包含import语句的文件进行解析，这就是如果您将库移到导入文件旁边的原因。)

在这种情况下，您的MyProj目录是否不包含qlpack.yml？如果它本身在QL包中(即它的父程序包包含一个qlpack.yml)，那么您应该能够将它作为MyProj. MemMangementLibraries.FFmpegMemory导入。或者，您可以在其中添加一个最小的qlpack.yml，以使导入工作。