0

我有以下文件夹结构：

└── 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导入中使用的文件夹。

4

1 回答 1

0

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

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

于 2021-05-14T12:33:57.650 回答