C++: Instantiate model generation library #19295
There are no files selected for viewing
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,5 @@ | ||
| extensions: | ||
| - addsTo: | ||
| pack: codeql/cpp-all | ||
| extensible: summaryModel | ||
| data: [] |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,13 @@ | ||
| /** | ||
| * @name Capture content based summary models. | ||
| * @description Finds applicable content based summary models to be used by other queries. | ||
| * @kind diagnostic | ||
| * @id cpp/utils/modelgenerator/contentbased-summary-models | ||
| * @tags modelgenerator | ||
| */ | ||
|
|
||
| import internal.CaptureModels | ||
|
|
||
| from DataFlowSummaryTargetApi api, string flow | ||
| where flow = ContentSensitive::captureFlow(api, _) | ||
| select flow order by flow |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,13 @@ | ||
| /** | ||
| * @name Capture mixed neutral models. | ||
| * @description Finds neutral models to be used by other queries. | ||
| * @kind diagnostic | ||
| * @id cpp/utils/modelgenerator/mixed-neutral-models | ||
| * @tags modelgenerator | ||
| */ | ||
|
|
||
| import internal.CaptureModels | ||
|
|
||
| from DataFlowSummaryTargetApi api, string noflow | ||
| where noflow = captureMixedNeutral(api) | ||
| select noflow order by noflow |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,13 @@ | ||
| /** | ||
| * @name Capture mixed summary models. | ||
| * @description Finds applicable summary models to be used by other queries. | ||
| * @kind diagnostic | ||
| * @id cpp/utils/modelgenerator/mixed-summary-models | ||
| * @tags modelgenerator | ||
| */ | ||
|
|
||
| import internal.CaptureModels | ||
|
|
||
| from DataFlowSummaryTargetApi api, string flow | ||
| where flow = captureMixedFlow(api, _) | ||
| select flow order by flow |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,13 @@ | ||
| /** | ||
| * @name Capture neutral models. | ||
| * @description Finds neutral models to be used by other queries. | ||
| * @kind diagnostic | ||
| * @id cpp/utils/modelgenerator/neutral-models | ||
| * @tags modelgenerator | ||
| */ | ||
|
|
||
| import internal.CaptureModels | ||
|
|
||
| from DataFlowSummaryTargetApi api, string noflow | ||
| where noflow = captureNoFlow(api) | ||
| select noflow order by noflow |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,13 @@ | ||
| /** | ||
| * @name Capture sink models. | ||
| * @description Finds public methods that act as sinks as they flow into a known sink. | ||
| * @kind diagnostic | ||
| * @id cpp/utils/modelgenerator/sink-models | ||
| * @tags modelgenerator | ||
| */ | ||
|
|
||
| import internal.CaptureModels | ||
|
|
||
| from DataFlowSinkTargetApi api, string sink | ||
| where sink = captureSink(api) | ||
| select sink order by sink |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,13 @@ | ||
| /** | ||
| * @name Capture source models. | ||
| * @description Finds APIs that act as sources as they expose already known sources. | ||
| * @kind diagnostic | ||
| * @id cpp/utils/modelgenerator/source-models | ||
| * @tags modelgenerator | ||
| */ | ||
|
|
||
| import internal.CaptureModels | ||
|
|
||
| from DataFlowSourceTargetApi api, string source | ||
| where source = captureSource(api) | ||
| select source order by source |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,13 @@ | ||
| /** | ||
| * @name Capture summary models. | ||
| * @description Finds applicable summary models to be used by other queries. | ||
| * @kind diagnostic | ||
| * @id cpp/utils/modelgenerator/summary-models | ||
| * @tags modelgenerator | ||
| */ | ||
|
|
||
| import internal.CaptureModels | ||
|
|
||
| from DataFlowSummaryTargetApi api, string flow | ||
| where flow = captureFlow(api) | ||
| select flow order by flow |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,15 @@ | ||
| #!/usr/bin/python3 | ||
jketema marked this conversation as resolved.
Show resolved
Hide resolved
|
||
|
|
||
| import sys | ||
| import os.path | ||
| import subprocess | ||
|
|
||
| # Add Model as Data script directory to sys.path. | ||
| gitroot = subprocess.check_output(["git", "rev-parse", "--show-toplevel"]).decode("utf-8").strip() | ||
| madpath = os.path.join(gitroot, "misc/scripts/models-as-data/") | ||
| sys.path.append(madpath) | ||
|
|
||
| import generate_flow_model as model | ||
|
|
||
| language = "cpp" | ||
| model.Generator.make(language).run() | ||
|
There was a problem hiding this comment. It is my intention to change the python script such that There was a problem hiding this comment. Started a PR with this work prior to easter: #19311
MathiasVP marked this conversation as resolved.
Show resolved
Hide resolved
|
||
Oops, something went wrong.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This generates warnings (when running queries/tests) that there are no files matching the
*.model.yml.Consider adding an
empty.model.yml(in the generated folder):There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Uh, well spotted! Fixed in 07d8f8d