Skip to content

Commit 15bc6fc

Browse files
author
Paolo Tranquilli
committed
Merge branch 'main' into redsun82/rules_rust
2 parents 87f29ad + b096696 commit 15bc6fc

File tree

583 files changed

+12539
-13807
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

583 files changed

+12539
-13807
lines changed

‎.devcontainer/Dockerfile.codespaces

+7
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
FROM mcr.microsoft.com/devcontainers/base:ubuntu-24.04
2+
3+
USER root
4+
# Install needed packages according to https://codeql.github.com/docs/codeql-overview/system-requirements/
5+
# most come from the base image, but we need to install some additional ones
6+
RUN DEBIAN_FRONTEND=noninteractive apt update && apt install -y sudo man-db python3.12 npm unminimize
7+
RUN yes | unminimize

‎.devcontainer/devcontainer.json

+4-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,4 @@
11
{
2-
"image": "mcr.microsoft.com/devcontainers/base:ubuntu-24.04",
32
"extensions": [
43
"rust-lang.rust-analyzer",
54
"bungcip.better-toml",
@@ -8,6 +7,10 @@
87
"ms-vscode.test-adapter-converter",
98
"slevesque.vscode-zipexplorer"
109
],
10+
"build": {
11+
// Path is relative to the devcontainer.json file.
12+
"dockerfile": "Dockerfile.codespaces"
13+
},
1114
"settings": {
1215
"files.watcherExclude": {
1316
"**/target/**": true

‎.github/codeql/codeql-config.yml

+1
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ queries:
44
- uses: security-and-quality
55

66
paths-ignore:
7+
- '/actions/ql/test'
78
- '/cpp/'
89
- '/java/'
910
- '/python/'

‎.github/workflows/codegen.yml

+34
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
name: Codegen
2+
3+
on:
4+
pull_request:
5+
paths:
6+
- "misc/bazel/**"
7+
- "misc/codegen/**"
8+
- "*.bazel*"
9+
- .github/workflows/codegen.yml
10+
- .pre-commit-config.yaml
11+
branches:
12+
- main
13+
- rc/*
14+
- codeql-cli-*
15+
16+
permissions:
17+
contents: read
18+
19+
jobs:
20+
codegen:
21+
runs-on: ubuntu-latest
22+
steps:
23+
- uses: actions/checkout@v4
24+
- uses: actions/setup-python@v4
25+
with:
26+
python-version-file: 'misc/codegen/.python-version'
27+
- uses: pre-commit/action@646c83fcd040023954eafda54b4db0192ce70507
28+
name: Check that python code is properly formatted
29+
with:
30+
extra_args: autopep8 --all-files
31+
- name: Run codegen tests
32+
shell: bash
33+
run: |
34+
bazel test //misc/codegen/...

‎.github/workflows/swift.yml

+27-50
Original file line numberDiff line numberDiff line change
@@ -18,45 +18,39 @@ on:
1818
- main
1919
- rc/*
2020
- codeql-cli-*
21-
push:
22-
paths:
23-
- "swift/**"
24-
- "misc/bazel/**"
25-
- "misc/codegen/**"
26-
- "shared/**"
27-
- "*.bazel*"
28-
- .github/workflows/swift.yml
29-
- .github/actions/**
30-
- codeql-workspace.yml
31-
- .pre-commit-config.yaml
32-
- "!**/*.md"
33-
- "!**/*.qhelp"
34-
branches:
35-
- main
36-
- rc/*
37-
- codeql-cli-*
3821

3922
permissions:
4023
contents: read
4124

25+
defaults:
26+
run:
27+
shell: bash
28+
working-directory: swift
29+
4230
jobs:
43-
# not using a matrix as you cannot depend on a specific job in a matrix, and we want to start linux checks
44-
# without waiting for the macOS build
45-
build-and-test-macos:
31+
build-and-test:
4632
if: github.repository_owner == 'github'
47-
runs-on: macos-13-xlarge
48-
steps:
49-
- uses: actions/checkout@v4
50-
- uses: ./swift/actions/build-and-test
51-
qltests-macos:
52-
if: ${{ github.repository_owner == 'github' && github.event_name == 'pull_request' }}
53-
needs: build-and-test-macos
54-
runs-on: macos-13-xlarge
33+
strategy:
34+
matrix:
35+
runner: [ubuntu-latest, macos-13-xlarge]
36+
fail-fast: false
37+
runs-on: ${{ matrix.runner }}
5538
steps:
5639
- uses: actions/checkout@v4
57-
- uses: ./swift/actions/run-ql-tests
40+
- name: Setup (Linux)
41+
if: runner.os == 'Linux'
42+
run: |
43+
sudo apt-get update
44+
sudo apt-get install -y uuid-dev zlib1g-dev
45+
- name: Build Swift extractor
46+
shell: bash
47+
run: |
48+
bazel run :install
49+
- name: Run Swift tests
50+
shell: bash
51+
run: |
52+
bazel test ... --test_tag_filters=-override --test_output=errors
5853
clang-format:
59-
if : ${{ github.event_name == 'pull_request' }}
6054
runs-on: ubuntu-latest
6155
steps:
6256
- uses: actions/checkout@v4
@@ -65,41 +59,24 @@ jobs:
6559
with:
6660
extra_args: clang-format --all-files
6761
codegen:
68-
if : ${{ github.event_name == 'pull_request' }}
6962
runs-on: ubuntu-latest
7063
steps:
7164
- uses: actions/checkout@v4
72-
- uses: bazelbuild/setup-bazelisk@v2
73-
- uses: actions/setup-python@v4
74-
with:
75-
python-version-file: 'swift/.python-version'
76-
- uses: pre-commit/action@646c83fcd040023954eafda54b4db0192ce70507
77-
name: Check that python code is properly formatted
78-
with:
79-
extra_args: autopep8 --all-files
8065
- uses: ./.github/actions/fetch-codeql
8166
- uses: pre-commit/action@646c83fcd040023954eafda54b4db0192ce70507
8267
name: Check that QL generated code was checked in
8368
with:
8469
extra_args: swift-codegen --all-files
8570
- name: Generate C++ files
8671
run: |
87-
bazel run //swift/codegen:codegen -- --generate=trap,cpp --cpp-output=$PWD/generated-cpp-files
72+
bazel run codegen -- --generate=trap,cpp --cpp-output=$PWD/generated-cpp-files
8873
- uses: actions/upload-artifact@v4
8974
with:
9075
name: swift-generated-cpp-files
9176
path: generated-cpp-files/**
92-
database-upgrade-scripts:
93-
if : ${{ github.event_name == 'pull_request' }}
94-
runs-on: ubuntu-latest
95-
steps:
96-
- uses: actions/checkout@v4
97-
- uses: ./.github/actions/fetch-codeql
98-
- uses: ./swift/actions/database-upgrade-scripts
9977
check-no-override:
100-
if : github.event_name == 'pull_request'
10178
runs-on: ubuntu-latest
10279
steps:
10380
- uses: actions/checkout@v4
104-
- shell: bash
105-
run: bazel test //swift/... --test_tag_filters=override --test_output=errors
81+
- name: Check that no override is present in load.bzl
82+
run: bazel test ... --test_tag_filters=override --test_output=errors

‎actions/ql/src/Security/CWE-077/EnvPathInjectionCritical.ql

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/**
2-
* @name PATH Enviroment Variable built from user-controlled sources
2+
* @name PATH environment variable built from user-controlled sources
33
* @description Building the PATH environment variable from user-controlled sources may alter the execution of following system commands
44
* @kind path-problem
55
* @problem.severity error

‎actions/ql/src/Security/CWE-077/EnvPathInjectionMedium.ql

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/**
2-
* @name PATH Enviroment Variable built from user-controlled sources
2+
* @name PATH environment variable built from user-controlled sources
33
* @description Building the PATH environment variable from user-controlled sources may alter the execution of following system commands
44
* @kind path-problem
55
* @problem.severity error

‎actions/ql/src/Security/CWE-077/EnvVarInjectionCritical.ql

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/**
2-
* @name Enviroment Variable built from user-controlled sources
2+
* @name Environment variable built from user-controlled sources
33
* @description Building an environment variable from user-controlled sources may alter the execution of following system commands
44
* @kind path-problem
55
* @problem.severity error

‎actions/ql/src/Security/CWE-077/EnvVarInjectionMedium.ql

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/**
2-
* @name Enviroment Variable built from user-controlled sources
2+
* @name Environment variable built from user-controlled sources
33
* @description Building an environment variable from user-controlled sources may alter the execution of following system commands
44
* @kind path-problem
55
* @problem.severity error

‎actions/ql/src/change-notes/2025-03-13-environment-query-names.md

+6
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
---
2+
category: fix
3+
---
4+
* Fixed typos in the query and alert titles for the queries
5+
`actions/envpath-injection/critical`, `actions/envpath-injection/medium`,
6+
`actions/envvar-injection/critical`, and `actions/envvar-injection/medium`.

‎cpp/ql/lib/ext/CA2CAEX.model.yml

+13-13
Original file line numberDiff line numberDiff line change
@@ -3,16 +3,16 @@ extensions:
33
pack: codeql/cpp-all
44
extensible: summaryModel
55
data: # namespace, type, subtypes, name, signature, ext, input, output, kind, provenance
6-
- ["", "_U_STRINGorID", True, "_U_STRINGorID", "(UINT)", "", "Argument[0]", "Argument[-1].Field[*m_lpstr]", "value", "manual"]
7-
- ["", "_U_STRINGorID", True, "_U_STRINGorID", "(LPCTSTR)", "", "Argument[*0]", "Argument[-1].Field[*m_lpstr]", "value", "manual"]
8-
- ["", "CA2AEX", True, "CA2AEX", "", "", "Argument[*0]", "Argument[-1].Field[*m_psz]", "value", "manual"]
9-
- ["", "CA2AEX", True, "CA2AEX", "", "", "Argument[*0]", "Argument[-1].Field[m_szBuffer]", "value", "manual"]
10-
- ["", "CA2AEX", True, "operator LPSTR", "", "", "Argument[-1].Field[*m_psz]", "ReturnValue[*]", "value", "manual"]
11-
- ["", "CA2AEX", True, "CA2AEX", "", "", "Argument[*0]", "Argument[-1].Field[m_szBuffer]", "value", "manual"]
12-
- ["", "CA2AEX", True, "operator LPSTR", "", "", "Argument[-1].Field[m_szBuffer]", "ReturnValue[*]", "value", "manual"]
13-
- ["", "CA2CAEX", True, "CA2CAEX", "", "", "Argument[*0]", "Argument[-1].Field[*m_psz]", "value", "manual"]
14-
- ["", "CA2CAEX", True, "operator LPCSTR", "", "", "Argument[-1].Field[*m_psz]", "ReturnValue[*]", "value", "manual"]
15-
- ["", "CA2WEX", True, "CA2WEX", "", "", "Argument[*0]", "Argument[-1].Field[*m_psz]", "value", "manual"]
16-
- ["", "CA2WEX", True, "operator LPWSTR", "", "", "Argument[-1].Field[*m_psz]", "ReturnValue[*]", "value", "manual"]
17-
- ["", "CA2WEX", True, "CA2WEX", "", "", "Argument[*0]", "Argument[-1].Field[m_szBuffer]", "value", "manual"]
18-
- ["", "CA2WEX", True, "operator LPWSTR", "", "", "Argument[-1].Field[m_szBuffer]", "ReturnValue[*]", "value", "manual"]
6+
- ["ATL", "_U_STRINGorID", True, "_U_STRINGorID", "(UINT)", "", "Argument[0]", "Argument[-1].Field[*m_lpstr]", "value", "manual"]
7+
- ["ATL", "_U_STRINGorID", True, "_U_STRINGorID", "(LPCTSTR)", "", "Argument[*0]", "Argument[-1].Field[*m_lpstr]", "value", "manual"]
8+
- ["ATL", "CA2AEX", True, "CA2AEX", "", "", "Argument[*0]", "Argument[-1].Field[*m_psz]", "value", "manual"]
9+
- ["ATL", "CA2AEX", True, "CA2AEX", "", "", "Argument[*0]", "Argument[-1].Field[m_szBuffer]", "value", "manual"]
10+
- ["ATL", "CA2AEX", True, "operator LPSTR", "", "", "Argument[-1].Field[*m_psz]", "ReturnValue[*]", "value", "manual"]
11+
- ["ATL", "CA2AEX", True, "CA2AEX", "", "", "Argument[*0]", "Argument[-1].Field[m_szBuffer]", "value", "manual"]
12+
- ["ATL", "CA2AEX", True, "operator LPSTR", "", "", "Argument[-1].Field[m_szBuffer]", "ReturnValue[*]", "value", "manual"]
13+
- ["ATL", "CA2CAEX", True, "CA2CAEX", "", "", "Argument[*0]", "Argument[-1].Field[*m_psz]", "value", "manual"]
14+
- ["ATL", "CA2CAEX", True, "operator LPCSTR", "", "", "Argument[-1].Field[*m_psz]", "ReturnValue[*]", "value", "manual"]
15+
- ["ATL", "CA2WEX", True, "CA2WEX", "", "", "Argument[*0]", "Argument[-1].Field[*m_psz]", "value", "manual"]
16+
- ["ATL", "CA2WEX", True, "operator LPWSTR", "", "", "Argument[-1].Field[*m_psz]", "ReturnValue[*]", "value", "manual"]
17+
- ["ATL", "CA2WEX", True, "CA2WEX", "", "", "Argument[*0]", "Argument[-1].Field[m_szBuffer]", "value", "manual"]
18+
- ["ATL", "CA2WEX", True, "operator LPWSTR", "", "", "Argument[-1].Field[m_szBuffer]", "ReturnValue[*]", "value", "manual"]

‎cpp/ql/lib/ext/CAtlArray.model.yml

+10-10
Original file line numberDiff line numberDiff line change
@@ -3,13 +3,13 @@ extensions:
33
pack: codeql/cpp-all
44
extensible: summaryModel
55
data: # namespace, type, subtypes, name, signature, ext, input, output, kind, provenance
6-
- ["", "CAtlArray", True, "Add", "", "", "Argument[*@0]", "Argument[-1].Element[@]", "value", "manual"]
7-
- ["", "CAtlArray", True, "Append", "", "", "Argument[*0].Element[@]", "Argument[-1].Element[@]", "value", "manual"]
8-
- ["", "CAtlArray", True, "Copy", "", "", "Argument[*0].Element[@]", "Argument[-1].Element[@]", "value", "manual"]
9-
- ["", "CAtlArray", True, "GetAt", "", "", "Argument[-1].Element[@]", "ReturnValue[*@]", "value", "manual"]
10-
- ["", "CAtlArray", True, "GetData", "", "", "Argument[-1].Element[@]", "ReturnValue[*@]", "value", "manual"]
11-
- ["", "CAtlArray", True, "InsertArrayAt", "", "", "Argument[*1].Element[@]", "Argument[-1].Element[@]", "value", "manual"]
12-
- ["", "CAtlArray", True, "InsertAt", "", "", "Argument[@1]", "Argument[-1].Element[@]", "value", "manual"]
13-
- ["", "CAtlArray", True, "SetAt", "", "", "Argument[@1]", "Argument[-1].Element[@]", "value", "manual"]
14-
- ["", "CAtlArray", True, "SetAtGrow", "", "", "Argument[@1]", "Argument[-1].Element[@]", "value", "manual"]
15-
- ["", "CAtlArray", True, "operator[]", "", "", "Argument[-1].Element[@]", "ReturnValue[*]", "value", "manual"]
6+
- ["ATL", "CAtlArray", True, "Add", "", "", "Argument[*@0]", "Argument[-1].Element[@]", "value", "manual"]
7+
- ["ATL", "CAtlArray", True, "Append", "", "", "Argument[*0].Element[@]", "Argument[-1].Element[@]", "value", "manual"]
8+
- ["ATL", "CAtlArray", True, "Copy", "", "", "Argument[*0].Element[@]", "Argument[-1].Element[@]", "value", "manual"]
9+
- ["ATL", "CAtlArray", True, "GetAt", "", "", "Argument[-1].Element[@]", "ReturnValue[*@]", "value", "manual"]
10+
- ["ATL", "CAtlArray", True, "GetData", "", "", "Argument[-1].Element[@]", "ReturnValue[*@]", "value", "manual"]
11+
- ["ATL", "CAtlArray", True, "InsertArrayAt", "", "", "Argument[*1].Element[@]", "Argument[-1].Element[@]", "value", "manual"]
12+
- ["ATL", "CAtlArray", True, "InsertAt", "", "", "Argument[@1]", "Argument[-1].Element[@]", "value", "manual"]
13+
- ["ATL", "CAtlArray", True, "SetAt", "", "", "Argument[@1]", "Argument[-1].Element[@]", "value", "manual"]
14+
- ["ATL", "CAtlArray", True, "SetAtGrow", "", "", "Argument[@1]", "Argument[-1].Element[@]", "value", "manual"]
15+
- ["ATL", "CAtlArray", True, "operator[]", "", "", "Argument[-1].Element[@]", "ReturnValue[*]", "value", "manual"]

‎cpp/ql/lib/ext/CAtlFile.model.yml

+4-4
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ extensions:
33
pack: codeql/cpp-all
44
extensible: summaryModel
55
data: # namespace, type, subtypes, name, signature, ext, input, output, kind, provenance
6-
- ["", "CAtlFile", True, "CAtlFile", "(CAtlFile &)", "", "Argument[*0]", "Argument[-1]", "value", "manual"]
7-
- ["", "CAtlFile", True, "CAtlFile", "(HANDLE)", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
8-
- ["", "CAtlFile", True, "Create", "", "", "Argument[*0]", "Argument[-1]", "taint", "manual"]
9-
- ["", "CAtlFile", True, "Read", "", "", "Argument[-1]", "Argument[*0]", "taint", "manual"]
6+
- ["ATL", "CAtlFile", True, "CAtlFile", "(CAtlFile &)", "", "Argument[*0]", "Argument[-1]", "value", "manual"]
7+
- ["ATL", "CAtlFile", True, "CAtlFile", "(HANDLE)", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
8+
- ["ATL", "CAtlFile", True, "Create", "", "", "Argument[*0]", "Argument[-1]", "taint", "manual"]
9+
- ["ATL", "CAtlFile", True, "Read", "", "", "Argument[-1]", "Argument[*0]", "taint", "manual"]

‎cpp/ql/lib/ext/CAtlFileMappingBase.model.yml

+9-9
Original file line numberDiff line numberDiff line change
@@ -3,12 +3,12 @@ extensions:
33
pack: codeql/cpp-all
44
extensible: summaryModel
55
data: # namespace, type, subtypes, name, signature, ext, input, output, kind, provenance
6-
- ["", "CAtlFileMappingBase", True, "CAtlFileMappingBase", "", "", "Argument[*0]", "Argument[-1]", "value", "manual"]
7-
- ["", "CAtlFileMappingBase", True, "CopyFrom", "", "", "Argument[*0]", "Argument[-1]", "taint", "manual"]
8-
- ["", "CAtlFileMappingBase", True, "GetData", "", "", "Argument[-1]", "ReturnValue[*]", "taint", "manual"]
9-
- ["", "CAtlFileMappingBase", True, "GetHandle", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
10-
- ["", "CAtlFileMappingBase", True, "MapFile", "", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
11-
- ["", "CAtlFileMappingBase", True, "MapSharedMem", "", "", "Argument[*1]", "Argument[-1]", "taint", "manual"]
12-
- ["", "CAtlFileMappingBase", True, "OpenMapping", "", "", "Argument[*0]", "Argument[-1]", "taint", "manual"]
13-
- ["", "CAtlFileMappingBase", True, "operator=", "", "", "Argument[*0]", "Argument[-1]", "value", "manual"]
14-
- ["", "CAtlFileMappingBase", True, "operator=", "", "", "Argument[*0]", "ReturnValue[*]", "value", "manual"]
6+
- ["ATL", "CAtlFileMappingBase", True, "CAtlFileMappingBase", "", "", "Argument[*0]", "Argument[-1]", "value", "manual"]
7+
- ["ATL", "CAtlFileMappingBase", True, "CopyFrom", "", "", "Argument[*0]", "Argument[-1]", "taint", "manual"]
8+
- ["ATL", "CAtlFileMappingBase", True, "GetData", "", "", "Argument[-1]", "ReturnValue[*]", "taint", "manual"]
9+
- ["ATL", "CAtlFileMappingBase", True, "GetHandle", "", "", "Argument[-1]", "ReturnValue", "taint", "manual"]
10+
- ["ATL", "CAtlFileMappingBase", True, "MapFile", "", "", "Argument[0]", "Argument[-1]", "taint", "manual"]
11+
- ["ATL", "CAtlFileMappingBase", True, "MapSharedMem", "", "", "Argument[*1]", "Argument[-1]", "taint", "manual"]
12+
- ["ATL", "CAtlFileMappingBase", True, "OpenMapping", "", "", "Argument[*0]", "Argument[-1]", "taint", "manual"]
13+
- ["ATL", "CAtlFileMappingBase", True, "operator=", "", "", "Argument[*0]", "Argument[-1]", "value", "manual"]
14+
- ["ATL", "CAtlFileMappingBase", True, "operator=", "", "", "Argument[*0]", "ReturnValue[*]", "value", "manual"]

‎cpp/ql/lib/ext/CAtlList.model.yml

+10-10
Original file line numberDiff line numberDiff line change
@@ -3,13 +3,13 @@ extensions:
33
pack: codeql/cpp-all
44
extensible: summaryModel
55
data: # namespace, type, subtypes, name, signature, ext, input, output, kind, provenance
6-
- ["", "CAtlList", True, "AddHead", "", "", "Argument[*@0]", "Argument[-1].Element[@]", "value", "manual"]
7-
- ["", "CAtlList", True, "AddHeadList", "", "", "Argument[*0].Element[@]", "Argument[-1].Element[@]", "value", "manual"]
8-
- ["", "CAtlList", True, "AddTail", "", "", "Argument[*@0]", "Argument[-1].Element[@]", "value", "manual"]
9-
- ["", "CAtlList", True, "AddTailList", "", "", "Argument[*0].Element[@]", "Argument[-1].Element[@]", "value", "manual"]
10-
- ["", "CAtlList", True, "GetAt", "", "", "Argument[-1].Element[@]", "ReturnValue[*@]", "value", "manual"]
11-
- ["", "CAtlList", True, "GetHead", "", "", "Argument[-1].Element[@]", "ReturnValue[*@]", "value", "manual"]
12-
- ["", "CAtlList", True, "GetTail", "", "", "Argument[-1].Element[@]", "ReturnValue[*@]", "value", "manual"]
13-
- ["", "CAtlList", True, "InsertAfter", "", "", "Argument[*@1]", "Argument[-1].Element[@]", "value", "manual"]
14-
- ["", "CAtlList", True, "InsertBefore", "", "", "Argument[*@1]", "Argument[-1].Element[@]", "value", "manual"]
15-
- ["", "CAtlList", True, "SetAt", "", "", "Argument[*@1]", "Argument[-1].Element[@]", "value", "manual"]
6+
- ["ATL", "CAtlList", True, "AddHead", "", "", "Argument[*@0]", "Argument[-1].Element[@]", "value", "manual"]
7+
- ["ATL", "CAtlList", True, "AddHeadList", "", "", "Argument[*0].Element[@]", "Argument[-1].Element[@]", "value", "manual"]
8+
- ["ATL", "CAtlList", True, "AddTail", "", "", "Argument[*@0]", "Argument[-1].Element[@]", "value", "manual"]
9+
- ["ATL", "CAtlList", True, "AddTailList", "", "", "Argument[*0].Element[@]", "Argument[-1].Element[@]", "value", "manual"]
10+
- ["ATL", "CAtlList", True, "GetAt", "", "", "Argument[-1].Element[@]", "ReturnValue[*@]", "value", "manual"]
11+
- ["ATL", "CAtlList", True, "GetHead", "", "", "Argument[-1].Element[@]", "ReturnValue[*@]", "value", "manual"]
12+
- ["ATL", "CAtlList", True, "GetTail", "", "", "Argument[-1].Element[@]", "ReturnValue[*@]", "value", "manual"]
13+
- ["ATL", "CAtlList", True, "InsertAfter", "", "", "Argument[*@1]", "Argument[-1].Element[@]", "value", "manual"]
14+
- ["ATL", "CAtlList", True, "InsertBefore", "", "", "Argument[*@1]", "Argument[-1].Element[@]", "value", "manual"]
15+
- ["ATL", "CAtlList", True, "SetAt", "", "", "Argument[*@1]", "Argument[-1].Element[@]", "value", "manual"]

‎cpp/ql/lib/ext/CAtlTemporaryFile.model.yml

+3-3
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,6 @@ extensions:
33
pack: codeql/cpp-all
44
extensible: summaryModel
55
data: # namespace, type, subtypes, name, signature, ext, input, output, kind, provenance
6-
- ["", "CAtlTemporaryFile", True, "Create", "", "", "Argument[*0]", "Argument[-1]", "taint", "manual"]
7-
- ["", "CAtlTemporaryFile", True, "Read", "", "", "Argument[-1]", "Argument[*0]", "taint", "manual"]
8-
- ["", "CAtlTemporaryFile", True, "Write", "", "", "Argument[*0]", "Argument[-1]", "taint", "manual"]
6+
- ["ATL", "CAtlTemporaryFile", True, "Create", "", "", "Argument[*0]", "Argument[-1]", "taint", "manual"]
7+
- ["ATL", "CAtlTemporaryFile", True, "Read", "", "", "Argument[-1]", "Argument[*0]", "taint", "manual"]
8+
- ["ATL", "CAtlTemporaryFile", True, "Write", "", "", "Argument[*0]", "Argument[-1]", "taint", "manual"]

0 commit comments

Comments
 (0)