Failed to run query: The query depends on an extensional predicate selectedSourceColumn which has not been defined.

[SwiftExtender]

I`am trying to print CFG for my source code by running command:
codeql database analyze testdb C:\sast\codeql-main\csharp\ql\lib\printCfg.ql --format=dot --output=result1.dot

and I`am receiving error

"Failed to run query: The query depends on an extensional predicate selectedSourceColumn which has not been defined."

As i read in the docs, selectedSourceColumn is a predicate which can be used only in IDE (VS Code) but i cant find how to specify file with source code in VS Code (CodeQL plugin GUI doesnt have button like 'select one file for query' or kinda that).

My questions:

1. How to launch printCfg.ql in IDE (VS Code)?
2. Is it possible to change printCfg.ql query (i think about redefining selectedSourceColumn ) to lauch in CLI against source code?

[hvitved]

Hi

• How to launch printCfg.ql in IDE (VS Code)?

I think you may have to opt into Canary Mode in order for this to work. This is done by adding

"codeQL.canary": true,

to your VS Code settings.json file. After that, you should be able to run CodeQL: View CFG on source files inside the loaded DB (just like you can already now run CodeQL: View AST).

• Is it possible to change printCfg.ql query (i think about redefining selectedSourceColumn ) to lauch in CLI against source code?

Yes, as you suggest, you can simply redefine the predicates selectedSourceFile, selectedSourceLine, and selectedSourceColumn in order to restrict it to the methods that you want to print CFG for.

[SwiftExtender]

1. I added "codeQL.canary": true to settings.json file in <project_folder>.vscode\settings.json but i dont see "View CFG" button in CodeQL Extension

2. I cant figure out how to redefine selectedSourceFile and other predicates, i cant find any examples of redefining in GitHub.

[hvitved]

1. i dont see "View CFG" button in CodeQL Extension

Sorry, I wasn't clear: There is no button, so you need to run the command manually using CMD+SHIFT+P (on Mac), and you need to have a source file from the DB open (just like you need in order to be able to click the View AST button).

2. I cant figure out how to redefine selectedSourceFile and other predicates, i cant find any examples of redefining in GitHub.

What I meant was that you need to edit the query file yourself.

[rvermeulen]

Hi @SwiftExtender,

Where able to resolve your issue with @hvitved's suggestions?

[SwiftExtender]

@rvermeulen Unfortunately it didnt help me( Also i cant find information about editing query file for this task, codeql query language is hard for me