Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings

Commite7c4766

Browse files
authored
Merge branch 'main' into typo-script-help-message
2 parentsb94ab82 +041150a commite7c4766

File tree

129 files changed

+1827
-744
lines changed

Some content is hidden

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

129 files changed

+1827
-744
lines changed

‎.github/workflows/code-scanning-pack-gen.yml

Lines changed: 25 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,6 @@ on:
88
-main
99
-next
1010
-"rc/**"
11-
1211
push:
1312
branches:
1413
-main
@@ -98,15 +97,36 @@ jobs:
9897
CODEQL_HOME:${{ github.workspace }}/codeql_home
9998
run:|
10099
PATH=$PATH:$CODEQL_HOME/codeql
101-
102-
codeql query compile --precompile --threads 0 cpp
103-
codeql query compile --precompile --threads 0 c
100+
# Precompile all queries, and use a compilation cache larger than default
101+
# to ensure we cache all the queries for later steps
102+
codeql query compile --precompile --threads 0--compilation-cache-size=1024 cppc
104103
105104
cd ..
106105
zip -r codeql-coding-standards/code-scanning-cpp-query-pack.zip codeql-coding-standards/c/ codeql-coding-standards/cpp/ codeql-coding-standards/.codeqlmanifest.json codeql-coding-standards/supported_codeql_configs.json codeql-coding-standards/scripts/configuration codeql-coding-standards/scripts/reports codeql-coding-standards/scripts/shared codeql-coding-standards/scripts/guideline_recategorization codeql-coding-standards/schemas
107106
108107
-name:Upload GHAS Query Pack
109-
uses:actions/upload-artifact@v3
108+
uses:actions/upload-artifact@v4
110109
with:
111110
name:code-scanning-cpp-query-pack.zip
112111
path:code-scanning-cpp-query-pack.zip
112+
113+
-name:Create qlpack bundles
114+
env:
115+
CODEQL_HOME:${{ github.workspace }}/codeql_home
116+
run:|
117+
PATH=$PATH:$CODEQL_HOME/codeql
118+
119+
codeql pack bundle --output=common-cpp-coding-standards.tgz cpp/common/src
120+
codeql pack bundle --output=common-c-coding-standards.tgz c/common/src
121+
codeql pack bundle --output=misra-c-coding-standards.tgz c/misra/src
122+
codeql pack bundle --output=cert-c-coding-standards.tgz c/cert/src
123+
codeql pack bundle --output=cert-cpp-coding-standards.tgz cpp/cert/src
124+
codeql pack bundle --output=autosar-cpp-coding-standards.tgz cpp/autosar/src
125+
codeql pack bundle --output=misra-cpp-coding-standards.tgz cpp/misra/src
126+
codeql pack bundle --output=report-coding-standards.tgz cpp/report/src
127+
128+
-name:Upload qlpack bundles
129+
uses:actions/upload-artifact@v4
130+
with:
131+
name:coding-standards-codeql-packs
132+
path:'*-coding-standards.tgz'

‎apply-configuration/action.yml

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
name:Applies Coding Standard configuration files in the repository
2+
description:|
3+
Installs Python and indexes the CodeQL Coding Standard configuration files in the repository
4+
5+
runs:
6+
using:composite
7+
steps:
8+
-name:Install Python
9+
id:cs-install-python
10+
uses:actions/setup-python@v5
11+
with:
12+
python-version:3.9
13+
update-environment:false
14+
-name:Install dependencies and process files
15+
shell:bash
16+
run:|
17+
install_dir=$(dirname $(dirname "${{ steps.cs-install-python.outputs.python-path }}"))
18+
if [[ -z "$LD_LIBRARY_PATH" ]]; then
19+
export LD_LIBRARY_PATH="$install_dir/lib"
20+
else
21+
export LD_LIBRARY_PATH="$LD_LIBRARY_PATH:$install_dir/lib"
22+
fi
23+
${{ steps.cs-install-python.outputs.python-path }} -m pip install -r ${GITHUB_ACTION_PATH}/../scripts/configuration/requirements.txt
24+
${{ steps.cs-install-python.outputs.python-path }} ${GITHUB_ACTION_PATH}/../scripts/configuration/process_coding_standards_config.py

‎c/cert/src/codeql-pack.lock.yml

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2,17 +2,17 @@
22
lockVersion:1.0.0
33
dependencies:
44
codeql/cpp-all:
5-
version:0.12.2
5+
version:0.12.9
66
codeql/dataflow:
7-
version:0.1.5
7+
version:0.2.3
88
codeql/rangeanalysis:
9-
version:0.0.4
9+
version:0.0.11
1010
codeql/ssa:
11-
version:0.2.5
11+
version:0.2.12
1212
codeql/tutorial:
13-
version:0.2.5
13+
version:0.2.12
1414
codeql/typetracking:
15-
version:0.2.5
15+
version:0.2.12
1616
codeql/util:
17-
version:0.2.5
17+
version:0.2.12
1818
compiled:false

‎c/cert/src/qlpack.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
name:codeql/cert-c-coding-standards
2-
version:2.36.0-dev
2+
version:2.38.0-dev
33
description:CERT C 2016
44
suites:codeql-suites
55
license:MIT
66
dependencies:
77
codeql/common-c-coding-standards:'*'
8-
codeql/cpp-all:0.12.2
8+
codeql/cpp-all:0.12.9

‎c/cert/src/rules/DCL40-C/IncompatibleFunctionDeclarations.ql

Lines changed: 19 additions & 17 deletions
Original file line numberDiff line numberDiff line change
@@ -16,30 +16,32 @@
1616

1717
import cpp
1818
import codingstandards.c.cert
19+
import codingstandards.cpp.Compatible
1920
import ExternalIdentifiers
2021

21-
//checks if they are incompatible based on return type, number of parameters and parameter types
22-
predicatecheckMatchingFunction(FunctionDeclarationEntryd,FunctionDeclarationEntryd2){
23-
notd.getType()=d2.getType()
24-
or
25-
notd.getNumberOfParameters()=d2.getNumberOfParameters()
26-
or
27-
exists(ParameterDeclarationEntryp,ParameterDeclarationEntryp2,inti|
28-
d.getParameterDeclarationEntry(i)=pand
29-
d2.getParameterDeclarationEntry(i)=p2and
30-
notp.getType()=p2.getType()
31-
)
32-
}
33-
3422
fromExternalIdentifiersd,FunctionDeclarationEntryf1,FunctionDeclarationEntryf2
3523
where
3624
notisExcluded(f1, Declarations2Package::incompatibleFunctionDeclarationsQuery())and
3725
notisExcluded(f2, Declarations2Package::incompatibleFunctionDeclarationsQuery())and
38-
f1=d.getADeclarationEntry()and
39-
f2=d.getADeclarationEntry()and
4026
notf1=f2and
41-
f1.getLocation().getStartLine()>=f2.getLocation().getStartLine()and
27+
f1.getDeclaration()=dand
28+
f2.getDeclaration()=dand
4229
f1.getName()=f2.getName()and
43-
checkMatchingFunction(f1,f2)
30+
(
31+
//return type check
32+
nottypesCompatible(f1.getType(),f2.getType())
33+
or
34+
//parameter type check
35+
parameterTypesIncompatible(f1,f2)
36+
or
37+
notf1.getNumberOfParameters()=f2.getNumberOfParameters()
38+
)and
39+
// Apply ordering on start line, trying to avoid the optimiser applying this join too early
40+
// in the pipeline
41+
exists(intf1Line,intf2Line|
42+
f1.getLocation().hasLocationInfo(_,f1Line, _, _, _)and
43+
f2.getLocation().hasLocationInfo(_,f2Line, _, _, _)and
44+
f1Line>=f2Line
45+
)
4446
selectf1,"The object $@ is not compatible with re-declaration $@",f1,f1.getName(),f2,
4547
f2.getName()

‎c/cert/src/rules/MSC39-C/DoNotCallVaArgOnAVaListThatHasAnIndeterminateValue.ql

Lines changed: 10 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -71,12 +71,19 @@ predicate sameSource(VaAccess e1, VaAccess e2) {
7171
)
7272
}
7373

74+
/**
75+
* Extracted to avoid poor magic join ordering on the `isExcluded` predicate.
76+
*/
77+
predicatequery(VaAccessva_acc,VaArgArgva_arg,FunctionCallfc){
78+
sameSource(va_acc,va_arg)and
79+
fc=preceedsFC(va_acc)and
80+
fc.getTarget().calls*(va_arg.getEnclosingFunction())
81+
}
82+
7483
fromVaAccessva_acc,VaArgArgva_arg,FunctionCallfc
7584
where
7685
notisExcluded(va_acc,
7786
Contracts7Package::doNotCallVaArgOnAVaListThatHasAnIndeterminateValueQuery())and
78-
sameSource(va_acc,va_arg)and
79-
fc=preceedsFC(va_acc)and
80-
fc.getTarget().calls*(va_arg.getEnclosingFunction())
87+
query(va_acc,va_arg,fc)
8188
selectva_acc,"The value of "+va_acc.toString()+" is indeterminate after the $@.",fc,
8289
fc.toString()

‎c/cert/test/codeql-pack.lock.yml

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -2,17 +2,17 @@
22
lockVersion:1.0.0
33
dependencies:
44
codeql/cpp-all:
5-
version:0.12.2
5+
version:0.12.9
66
codeql/dataflow:
7-
version:0.1.5
7+
version:0.2.3
88
codeql/rangeanalysis:
9-
version:0.0.4
9+
version:0.0.11
1010
codeql/ssa:
11-
version:0.2.5
11+
version:0.2.12
1212
codeql/tutorial:
13-
version:0.2.5
13+
version:0.2.12
1414
codeql/typetracking:
15-
version:0.2.5
15+
version:0.2.12
1616
codeql/util:
17-
version:0.2.5
17+
version:0.2.12
1818
compiled:false

‎c/cert/test/qlpack.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
name:codeql/cert-c-coding-standards-tests
2-
version:2.36.0-dev
2+
version:2.38.0-dev
33
extractor:cpp
44
license:MIT
55
dependencies:

‎c/cert/test/rules/ARR37-C/DoNotUsePointerArithmeticOnNonArrayObjectPointers.expected

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,13 @@
11
edges
2-
| test.c:14:38:14:39 | p1 | test.c:18:10:18:11 | v1 |
3-
| test.c:14:38:14:39 | p1 | test.c:19:10:19:11 | v2 |
4-
| test.c:14:38:14:39 | p1 | test.c:20:10:20:11 | p1 |
5-
| test.c:14:38:14:39 | p1 | test.c:21:10:21:11 | p1 |
6-
| test.c:14:38:14:39 | p1 | test.c:22:9:22:10 | p1 |
7-
| test.c:14:38:14:39 | p1 | test.c:23:13:23:14 | p1 |
8-
| test.c:14:38:14:39 | p1 | test.c:24:9:24:10 | p1 |
9-
| test.c:14:38:14:39 | p1 | test.c:25:9:25:10 | p1 |
10-
| test.c:51:30:51:38 | & ... | test.c:14:38:14:39 | p1 |
2+
| test.c:14:38:14:39 | p1 | test.c:18:10:18:11 | v1 | provenance | |
3+
| test.c:14:38:14:39 | p1 | test.c:19:10:19:11 | v2 | provenance | |
4+
| test.c:14:38:14:39 | p1 | test.c:20:10:20:11 | p1 | provenance | |
5+
| test.c:14:38:14:39 | p1 | test.c:21:10:21:11 | p1 | provenance | |
6+
| test.c:14:38:14:39 | p1 | test.c:22:9:22:10 | p1 | provenance | |
7+
| test.c:14:38:14:39 | p1 | test.c:23:13:23:14 | p1 | provenance | |
8+
| test.c:14:38:14:39 | p1 | test.c:24:9:24:10 | p1 | provenance | |
9+
| test.c:14:38:14:39 | p1 | test.c:25:9:25:10 | p1 | provenance | |
10+
| test.c:51:30:51:38 | & ... | test.c:14:38:14:39 | p1 | provenance | |
1111
nodes
1212
| test.c:14:38:14:39 | p1 | semmle.label | p1 |
1313
| test.c:18:10:18:11 | v1 | semmle.label | v1 |

‎c/cert/test/rules/ARR39-C/DoNotAddOrSubtractAScaledIntegerToAPointer.expected

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
edges
2-
| test.c:7:13:7:14 | p1 | test.c:9:9:9:10 | p1 |
3-
| test.c:16:19:16:41 | ... - ... | test.c:18:26:18:31 | offset |
4-
| test.c:16:19:16:41 | ... - ... | test.c:29:6:29:11 | offset |
5-
| test.c:17:17:17:26 | sizeof(<expr>) | test.c:23:9:23:12 | size |
6-
| test.c:29:6:29:11 | offset | test.c:7:13:7:14 | p1 |
2+
| test.c:7:13:7:14 | p1 | test.c:9:9:9:10 | p1 | provenance | |
3+
| test.c:16:19:16:41 | ... - ... | test.c:18:26:18:31 | offset | provenance | |
4+
| test.c:16:19:16:41 | ... - ... | test.c:29:6:29:11 | offset | provenance | |
5+
| test.c:17:17:17:26 | sizeof(<expr>) | test.c:23:9:23:12 | size | provenance | |
6+
| test.c:29:6:29:11 | offset | test.c:7:13:7:14 | p1 | provenance | |
77
nodes
88
| test.c:7:13:7:14 | p1 | semmle.label | p1 |
99
| test.c:9:9:9:10 | p1 | semmle.label | p1 |

‎c/cert/test/rules/EXP36-C/DoNotCastPointerToMoreStrictlyAlignedPointerType.expected

Lines changed: 63 additions & 63 deletions
Original file line numberDiff line numberDiff line change
@@ -1,67 +1,67 @@
11
edges
2-
| test.c:75:14:75:16 | & ... | test.c:76:11:76:12 | v1 |
3-
| test.c:75:14:75:16 | & ... | test.c:77:12:77:13 | v1 |
4-
| test.c:75:14:75:16 | & ... | test.c:78:10:78:11 | v1 |
5-
| test.c:75:14:75:16 | & ... | test.c:79:12:79:13 | v1 |
6-
| test.c:75:14:75:16 | & ... | test.c:80:11:80:12 | v1 |
7-
| test.c:75:14:75:16 | & ... | test.c:81:13:81:14 | v1 |
8-
| test.c:84:14:84:16 | & ... | test.c:85:11:85:12 | v2 |
9-
| test.c:84:14:84:16 | & ... | test.c:86:12:86:13 | v2 |
10-
| test.c:84:14:84:16 | & ... | test.c:87:10:87:11 | v2 |
11-
| test.c:84:14:84:16 | & ... | test.c:88:12:88:13 | v2 |
12-
| test.c:84:14:84:16 | & ... | test.c:89:11:89:12 | v2 |
13-
| test.c:84:14:84:16 | & ... | test.c:90:13:90:14 | v2 |
14-
| test.c:93:14:93:16 | & ... | test.c:94:11:94:12 | v3 |
15-
| test.c:93:14:93:16 | & ... | test.c:95:12:95:13 | v3 |
16-
| test.c:93:14:93:16 | & ... | test.c:96:10:96:11 | v3 |
17-
| test.c:93:14:93:16 | & ... | test.c:97:12:97:13 | v3 |
18-
| test.c:93:14:93:16 | & ... | test.c:98:11:98:12 | v3 |
19-
| test.c:93:14:93:16 | & ... | test.c:99:13:99:14 | v3 |
20-
| test.c:102:14:102:16 | & ... | test.c:103:11:103:12 | v4 |
21-
| test.c:102:14:102:16 | & ... | test.c:104:12:104:13 | v4 |
22-
| test.c:102:14:102:16 | & ... | test.c:105:10:105:11 | v4 |
23-
| test.c:102:14:102:16 | & ... | test.c:106:12:106:13 | v4 |
24-
| test.c:102:14:102:16 | & ... | test.c:107:11:107:12 | v4 |
25-
| test.c:102:14:102:16 | & ... | test.c:108:13:108:14 | v4 |
26-
| test.c:111:14:111:16 | & ... | test.c:112:11:112:12 | v5 |
27-
| test.c:111:14:111:16 | & ... | test.c:113:12:113:13 | v5 |
28-
| test.c:111:14:111:16 | & ... | test.c:114:10:114:11 | v5 |
29-
| test.c:111:14:111:16 | & ... | test.c:115:12:115:13 | v5 |
30-
| test.c:111:14:111:16 | & ... | test.c:116:11:116:12 | v5 |
31-
| test.c:111:14:111:16 | & ... | test.c:117:13:117:14 | v5 |
32-
| test.c:120:14:120:16 | & ... | test.c:121:11:121:12 | v6 |
33-
| test.c:120:14:120:16 | & ... | test.c:122:12:122:13 | v6 |
34-
| test.c:120:14:120:16 | & ... | test.c:123:10:123:11 | v6 |
35-
| test.c:120:14:120:16 | & ... | test.c:124:12:124:13 | v6 |
36-
| test.c:120:14:120:16 | & ... | test.c:125:11:125:12 | v6 |
37-
| test.c:120:14:120:16 | & ... | test.c:126:13:126:14 | v6 |
38-
| test.c:129:22:129:22 | v | test.c:130:17:130:17 | v |
39-
| test.c:135:21:135:23 | & ... | test.c:129:22:129:22 | v |
40-
| test.c:138:21:138:23 | & ... | test.c:129:22:129:22 | v |
41-
| test.c:166:24:166:29 | call to malloc | test.c:167:13:167:15 | & ... |
42-
| test.c:166:24:166:29 | call to malloc | test.c:168:16:168:17 | s1 |
43-
| test.c:166:24:166:29 | call to malloc | test.c:169:13:169:14 | s1 |
44-
| test.c:166:24:166:29 | call to malloc | test.c:169:13:169:14 | s1 |
45-
| test.c:169:13:169:14 | s1 | test.c:129:22:129:22 | v |
46-
| test.c:174:13:174:14 | s2 | test.c:129:22:129:22 | v |
47-
| test.c:179:13:179:14 | s3 | test.c:129:22:129:22 | v |
48-
| test.c:183:14:183:26 | call to aligned_alloc | test.c:184:11:184:12 | v1 |
49-
| test.c:183:14:183:26 | call to aligned_alloc | test.c:185:10:185:11 | v1 |
50-
| test.c:183:14:183:26 | call to aligned_alloc | test.c:186:13:186:14 | v1 |
51-
| test.c:183:14:183:26 | call to aligned_alloc | test.c:187:13:187:14 | v1 |
52-
| test.c:187:13:187:14 | v1 | test.c:129:22:129:22 | v |
53-
| test.c:189:14:189:26 | call to aligned_alloc | test.c:190:13:190:14 | v2 |
54-
| test.c:190:13:190:14 | v2 | test.c:129:22:129:22 | v |
55-
| test.c:222:8:222:9 | p2 | test.c:223:11:223:12 | v1 |
56-
| test.c:222:8:222:9 | p2 | test.c:224:12:224:13 | v1 |
57-
| test.c:222:8:222:9 | p2 | test.c:225:10:225:11 | v1 |
58-
| test.c:222:8:222:9 | p2 | test.c:226:12:226:13 | v1 |
59-
| test.c:222:8:222:9 | p2 | test.c:227:11:227:12 | v1 |
60-
| test.c:222:8:222:9 | p2 | test.c:228:13:228:14 | v1 |
61-
| test.c:238:13:238:14 | & ... | test.c:244:12:244:13 | ip |
62-
| test.c:241:15:241:18 | & ... | test.c:247:9:247:12 | & ... |
63-
| test.c:252:16:252:18 | & ... | test.c:254:11:254:13 | ps1 |
64-
| test.c:252:16:252:18 | & ... | test.c:256:10:256:12 | ps1 |
2+
| test.c:75:14:75:16 | & ... | test.c:76:11:76:12 | v1 | provenance | |
3+
| test.c:75:14:75:16 | & ... | test.c:77:12:77:13 | v1 | provenance | |
4+
| test.c:75:14:75:16 | & ... | test.c:78:10:78:11 | v1 | provenance | |
5+
| test.c:75:14:75:16 | & ... | test.c:79:12:79:13 | v1 | provenance | |
6+
| test.c:75:14:75:16 | & ... | test.c:80:11:80:12 | v1 | provenance | |
7+
| test.c:75:14:75:16 | & ... | test.c:81:13:81:14 | v1 | provenance | |
8+
| test.c:84:14:84:16 | & ... | test.c:85:11:85:12 | v2 | provenance | |
9+
| test.c:84:14:84:16 | & ... | test.c:86:12:86:13 | v2 | provenance | |
10+
| test.c:84:14:84:16 | & ... | test.c:87:10:87:11 | v2 | provenance | |
11+
| test.c:84:14:84:16 | & ... | test.c:88:12:88:13 | v2 | provenance | |
12+
| test.c:84:14:84:16 | & ... | test.c:89:11:89:12 | v2 | provenance | |
13+
| test.c:84:14:84:16 | & ... | test.c:90:13:90:14 | v2 | provenance | |
14+
| test.c:93:14:93:16 | & ... | test.c:94:11:94:12 | v3 | provenance | |
15+
| test.c:93:14:93:16 | & ... | test.c:95:12:95:13 | v3 | provenance | |
16+
| test.c:93:14:93:16 | & ... | test.c:96:10:96:11 | v3 | provenance | |
17+
| test.c:93:14:93:16 | & ... | test.c:97:12:97:13 | v3 | provenance | |
18+
| test.c:93:14:93:16 | & ... | test.c:98:11:98:12 | v3 | provenance | |
19+
| test.c:93:14:93:16 | & ... | test.c:99:13:99:14 | v3 | provenance | |
20+
| test.c:102:14:102:16 | & ... | test.c:103:11:103:12 | v4 | provenance | |
21+
| test.c:102:14:102:16 | & ... | test.c:104:12:104:13 | v4 | provenance | |
22+
| test.c:102:14:102:16 | & ... | test.c:105:10:105:11 | v4 | provenance | |
23+
| test.c:102:14:102:16 | & ... | test.c:106:12:106:13 | v4 | provenance | |
24+
| test.c:102:14:102:16 | & ... | test.c:107:11:107:12 | v4 | provenance | |
25+
| test.c:102:14:102:16 | & ... | test.c:108:13:108:14 | v4 | provenance | |
26+
| test.c:111:14:111:16 | & ... | test.c:112:11:112:12 | v5 | provenance | |
27+
| test.c:111:14:111:16 | & ... | test.c:113:12:113:13 | v5 | provenance | |
28+
| test.c:111:14:111:16 | & ... | test.c:114:10:114:11 | v5 | provenance | |
29+
| test.c:111:14:111:16 | & ... | test.c:115:12:115:13 | v5 | provenance | |
30+
| test.c:111:14:111:16 | & ... | test.c:116:11:116:12 | v5 | provenance | |
31+
| test.c:111:14:111:16 | & ... | test.c:117:13:117:14 | v5 | provenance | |
32+
| test.c:120:14:120:16 | & ... | test.c:121:11:121:12 | v6 | provenance | |
33+
| test.c:120:14:120:16 | & ... | test.c:122:12:122:13 | v6 | provenance | |
34+
| test.c:120:14:120:16 | & ... | test.c:123:10:123:11 | v6 | provenance | |
35+
| test.c:120:14:120:16 | & ... | test.c:124:12:124:13 | v6 | provenance | |
36+
| test.c:120:14:120:16 | & ... | test.c:125:11:125:12 | v6 | provenance | |
37+
| test.c:120:14:120:16 | & ... | test.c:126:13:126:14 | v6 | provenance | |
38+
| test.c:129:22:129:22 | v | test.c:130:17:130:17 | v | provenance | |
39+
| test.c:135:21:135:23 | & ... | test.c:129:22:129:22 | v | provenance | |
40+
| test.c:138:21:138:23 | & ... | test.c:129:22:129:22 | v | provenance | |
41+
| test.c:166:24:166:29 | call to malloc | test.c:167:13:167:15 | & ... | provenance | |
42+
| test.c:166:24:166:29 | call to malloc | test.c:168:16:168:17 | s1 | provenance | |
43+
| test.c:166:24:166:29 | call to malloc | test.c:169:13:169:14 | s1 | provenance | |
44+
| test.c:166:24:166:29 | call to malloc | test.c:169:13:169:14 | s1 | provenance | |
45+
| test.c:169:13:169:14 | s1 | test.c:129:22:129:22 | v | provenance | |
46+
| test.c:174:13:174:14 | s2 | test.c:129:22:129:22 | v | provenance | |
47+
| test.c:179:13:179:14 | s3 | test.c:129:22:129:22 | v | provenance | |
48+
| test.c:183:14:183:26 | call to aligned_alloc | test.c:184:11:184:12 | v1 | provenance | |
49+
| test.c:183:14:183:26 | call to aligned_alloc | test.c:185:10:185:11 | v1 | provenance | |
50+
| test.c:183:14:183:26 | call to aligned_alloc | test.c:186:13:186:14 | v1 | provenance | |
51+
| test.c:183:14:183:26 | call to aligned_alloc | test.c:187:13:187:14 | v1 | provenance | |
52+
| test.c:187:13:187:14 | v1 | test.c:129:22:129:22 | v | provenance | |
53+
| test.c:189:14:189:26 | call to aligned_alloc | test.c:190:13:190:14 | v2 | provenance | |
54+
| test.c:190:13:190:14 | v2 | test.c:129:22:129:22 | v | provenance | |
55+
| test.c:222:8:222:9 | p2 | test.c:223:11:223:12 | v1 | provenance | |
56+
| test.c:222:8:222:9 | p2 | test.c:224:12:224:13 | v1 | provenance | |
57+
| test.c:222:8:222:9 | p2 | test.c:225:10:225:11 | v1 | provenance | |
58+
| test.c:222:8:222:9 | p2 | test.c:226:12:226:13 | v1 | provenance | |
59+
| test.c:222:8:222:9 | p2 | test.c:227:11:227:12 | v1 | provenance | |
60+
| test.c:222:8:222:9 | p2 | test.c:228:13:228:14 | v1 | provenance | |
61+
| test.c:238:13:238:14 | & ... | test.c:244:12:244:13 | ip | provenance | |
62+
| test.c:241:15:241:18 | & ... | test.c:247:9:247:12 | & ... | provenance | |
63+
| test.c:252:16:252:18 | & ... | test.c:254:11:254:13 | ps1 | provenance | |
64+
| test.c:252:16:252:18 | & ... | test.c:256:10:256:12 | ps1 | provenance | |
6565
nodes
6666
| test.c:7:11:7:13 | & ... | semmle.label | & ... |
6767
| test.c:8:12:8:14 | & ... | semmle.label | & ... |

0 commit comments

Comments
 (0)
[8]ページ先頭
©2009-2025 Movatter.jp