Skip to content

Commit 34e5c5c

Browse files
committed
Start edits on using extension
1 parent 7be0b2e commit 34e5c5c

File tree

1 file changed

+8
-7
lines changed

1 file changed

+8
-7
lines changed

docs/codeql/codeql-for-visual-studio-code/using-the-codeql-model-editor.rst

Lines changed: 8 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ Explain how to find the data extension files that you've created and test them.
1616
About the CodeQL model editor
1717
-----------------------------
1818

19-
The CodeQL model editor is a new feature in CodeQL for VS Code to support GitHub staff creating CodeQL models for libraries and frameworks written in Java and C#.
19+
The CodeQL model editor guides you through the process of creating CodeQL models for libraries and frameworks that you rely on that are not supported by the standard CodeQL Libraries.
2020

2121
The editor takes a CodeQL database and runs some telemetry queries to identify uses of APIs that can be used to reason about the dataflow through the codebase. There are two modes of operation:
2222

@@ -26,21 +26,22 @@ The editor takes a CodeQL database and runs some telemetry queries to identify u
2626
Setting up the CodeQL model editor
2727
----------------------------------
2828

29-
To set up the CodeQL model editor, you need to be using CodeQL for VS Code 1.8.7 or later with the following settings:
29+
To set up the CodeQL model editor, you need to be using CodeQL for VS Code 1.8.12 or later with the following settings:
3030

3131
.. code-block:: json
3232
33-
"codeQL.canary": true,
33+
{
34+
"codeQL.canary": true,
3435
"codeQL.model.editor": true,
36+
"codeQL.runningQueries.useModelPacks": true,
37+
}
3538

36-
CHECK THIS ^^^
39+
CHECK THIS ^^^ - is canary still needed?
3740

3841
Open the user settings editor (JSON) using the command palette (Ctrl/Cmd+Shift+P) and using the command “Preferences: Open User Settings (JSON)”, add these two settings to the file.
3942

4043
If you want to test the CodeQL model packs you generate in VS Code then this setting is also required:
41-
``"codeQL.runningQueries.useExtensionPacks": true`` CHECK THIS
42-
43-
WHAT DOES ``"codeQL.model.llmGeneration": true,`` do?
44+
``"codeQL.runningQueries.useExtensionPacks": true`` CHECK THIS - should it be ``"codeQL.runningQueries.useModelPacks": true``
4445

4546
Using the CodeQL model editor
4647
-----------------------------

0 commit comments

Comments
 (0)