ERROR: Could not resolve module cpp.

[DavidWittman]

👋 Hi, I'm new to CodeQL and I'm having issues running my first query against nginx in this codeql container. I was able to create the database fine with codeql database create /usr/local/codeql-home/nginx --language cpp, but when I try to execute a query I get the following error:

$ codeql query run multiargfunc.ql -o /mnt/nginx/results/multiarg.bqrs -d nginx 
Compiling query plan for /usr/local/codeql-home/multiargfunc.ql.
ERROR: Could not resolve module cpp. There should probably be a qlpack.yml file declaring dependencies in /usr/local/codeql-home or an enclosing directory. (/usr/local/codeql-home/multiargfunc.ql:1,8-11)
ERROR: Could not resolve type Type (/usr/local/codeql-home/multiargfunc.ql:3,1-5)
ERROR: Could not resolve type Parameter (/usr/local/codeql-home/multiargfunc.ql:3,30-39)
ERROR: Could not resolve type PointerType (/usr/local/codeql-home/multiargfunc.ql:6,40-51)
ERROR: Could not resolve type Type (/usr/local/codeql-home/multiargfunc.ql:9,1-5)
ERROR: Could not resolve type Parameter (/usr/local/codeql-home/multiargfunc.ql:9,27-36)
ERROR: Could not resolve type PointerType (/usr/local/codeql-home/multiargfunc.ql:10,65-76)
ERROR: Could not resolve type Function (/usr/local/codeql-home/multiargfunc.ql:13,6-14)
ERROR: Could not resolve type Type (/usr/local/codeql-home/multiargfunc.ql:13,18-22)
ERROR: Could not resolve type Parameter (/usr/local/codeql-home/multiargfunc.ql:14,18-27)
ERROR: Could not resolve type Struct (/usr/local/codeql-home/multiargfunc.ql:14,91-97)
ERROR: 'result' cannot be used in this context (/usr/local/codeql-home/multiargfunc.ql:4,3-9)
ERROR: 'result' cannot be used in this context (/usr/local/codeql-home/multiargfunc.ql:6,3-9)
ERROR: 'result' cannot be used in this context (/usr/local/codeql-home/multiargfunc.ql:10,3-9)
ERROR: 'result' cannot be used in this context (/usr/local/codeql-home/multiargfunc.ql:10,47-53)

It seems like I have cpp things available if I run codeql resolve qlpacks

$ codeql resolve qlpacks | grep cpp
codeql-cpp (/usr/local/codeql-home/codeql-repo/cpp/ql/src)
codeql-cpp-examples (/usr/local/codeql-home/codeql-repo/cpp/ql/examples)
codeql-cpp-tests (/usr/local/codeql-home/codeql-repo/cpp/ql/test)
codeql-cpp-upgrades (/usr/local/codeql-home/codeql-repo/cpp/upgrades)
legacy-libraries-cpp (/usr/local/codeql-home/codeql-repo/misc/legacy-support/cpp)

The query itself looks like this

import cpp

Type getParameterTypeElement(Parameter p) {
  result = p.getUnspecifiedType()
  or
  result = getParameterTypeElement(p).(PointerType).getBaseType().getUnspecifiedType()
}

Type getParameterBaseType(Parameter p) {
  result = getParameterTypeElement(p) and not result instanceof PointerType
}

from Function f, Type t, string g 
where not exists(Parameter p | p = f.getAParameter() | getParameterBaseType(p) instanceof Struct) and
t = f.getAParameter().getType() and
g = f.getType().toString()
select f, t, g

Thanks for the help!

[sauyon]

Is multiargfunc.ql inside a symlink by any chance? If it is, I think there's a known issue that causes query packs not to resolve.

[hmakholm]

Do you have a qlpack.yml next to the multiargfunc.ql (or in an ancestor directory)? What does it contain?

(You'll need to declare a dependency on the codeql-cpp pack which provides the cpp module. The place to do that is with the libraryPathDependencies keyword in the qlpack.yml file).