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

Commit950c719

Browse files
Merge pull request#913 from github/codeql/upgrade-to-2.20.7
Upgrade `github/codeql` dependency to 2.20.7
2 parents3ecaa82 +fe9a48d commit950c719

File tree

41 files changed

+290
-270
lines changed

Some content is hidden

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

41 files changed

+290
-270
lines changed

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

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -2,23 +2,23 @@
22
lockVersion:1.0.0
33
dependencies:
44
codeql/cpp-all:
5-
version:2.1.1
5+
version:4.0.3
66
codeql/dataflow:
7-
version:1.1.6
7+
version:2.0.3
88
codeql/mad:
9-
version:1.0.12
9+
version:1.0.19
1010
codeql/rangeanalysis:
11-
version:1.0.12
11+
version:1.0.19
1212
codeql/ssa:
13-
version:1.0.12
13+
version:1.0.19
1414
codeql/tutorial:
15-
version:1.0.12
15+
version:1.0.19
1616
codeql/typeflow:
17-
version:1.0.12
17+
version:1.0.19
1818
codeql/typetracking:
19-
version:1.0.12
19+
version:2.0.3
2020
codeql/util:
21-
version:1.0.12
21+
version:2.0.6
2222
codeql/xml:
23-
version:1.0.12
23+
version:1.0.19
2424
compiled:false

‎c/cert/src/qlpack.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,4 +6,4 @@ license: MIT
66
default-suite-file:codeql-suites/cert-c-default.qls
77
dependencies:
88
codeql/common-c-coding-standards:'*'
9-
codeql/cpp-all:2.1.1
9+
codeql/cpp-all:4.0.3

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

Lines changed: 15 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -24,28 +24,32 @@ import codingstandards.c.cert
2424
import codingstandards.cpp.types.Compatible
2525
import ExternalIdentifiers
2626

27-
predicateinterestedInFunctions(FunctionDeclarationEntryf1,FunctionDeclarationEntryf2){
27+
predicateinterestedInFunctions(
28+
FunctionDeclarationEntryf1,FunctionDeclarationEntryf2,ExternalIdentifiersd
29+
){
2830
notf1=f2and
29-
f1.getDeclaration()=f2.getDeclaration()and
30-
f1.getName()=f2.getName()
31+
d=f1.getDeclaration()and
32+
d=f2.getDeclaration()
33+
}
34+
35+
predicateinterestedInFunctions(FunctionDeclarationEntryf1,FunctionDeclarationEntryf2){
36+
interestedInFunctions(f1,f2, _)
3137
}
3238

39+
module FuncDeclEquiv=
40+
FunctionDeclarationTypeEquivalence<TypesCompatibleConfig,interestedInFunctions/2>;
41+
3342
fromExternalIdentifiersd,FunctionDeclarationEntryf1,FunctionDeclarationEntryf2
3443
where
3544
notisExcluded(f1, Declarations2Package::incompatibleFunctionDeclarationsQuery())and
3645
notisExcluded(f2, Declarations2Package::incompatibleFunctionDeclarationsQuery())and
37-
notf1=f2and
38-
f1.getDeclaration()=dand
39-
f2.getDeclaration()=dand
40-
f1.getName()=f2.getName()and
46+
interestedInFunctions(f1,f2,d)and
4147
(
4248
//return type check
43-
not FunctionDeclarationTypeEquivalence<TypesCompatibleConfig,interestedInFunctions/2>::equalReturnTypes(f1,
44-
f2)
49+
not FuncDeclEquiv::equalReturnTypes(f1,f2)
4550
or
4651
//parameter type check
47-
not FunctionDeclarationTypeEquivalence<TypesCompatibleConfig,interestedInFunctions/2>::equalParameterTypes(f1,
48-
f2)
52+
not FuncDeclEquiv::equalParameterTypes(f1,f2)
4953
)and
5054
// Apply ordering on start line, trying to avoid the optimiser applying this join too early
5155
// in the pipeline

‎c/cert/src/rules/EXP16-C/DoNotCompareFunctionPointersToConstantValues.ql‎

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -23,13 +23,17 @@ import codingstandards.cpp.types.FunctionType
2323
import codingstandards.cpp.exprs.FunctionExprs
2424
import codingstandards.cpp.exprs.Guards
2525

26-
abstractclassEffectivelyComparisonextendsElement{
26+
finalclassFinalElement=Element;
27+
28+
abstractclassEffectivelyComparisonextendsFinalElement{
2729
abstractstringgetExplanation();
2830

2931
abstractFunctionExprgetFunctionExpr();
3032
}
3133

32-
classExplicitComparisonextendsEffectivelyComparison,ComparisonOperation{
34+
finalclassFinalComparisonOperation=ComparisonOperation;
35+
36+
classExplicitComparisonextendsEffectivelyComparison,FinalComparisonOperation{
3337
ExprconstantExpr;
3438
FunctionExprfuncExpr;
3539

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

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -2,23 +2,23 @@
22
lockVersion:1.0.0
33
dependencies:
44
codeql/cpp-all:
5-
version:2.1.1
5+
version:4.0.3
66
codeql/dataflow:
7-
version:1.1.6
7+
version:2.0.3
88
codeql/mad:
9-
version:1.0.12
9+
version:1.0.19
1010
codeql/rangeanalysis:
11-
version:1.0.12
11+
version:1.0.19
1212
codeql/ssa:
13-
version:1.0.12
13+
version:1.0.19
1414
codeql/tutorial:
15-
version:1.0.12
15+
version:1.0.19
1616
codeql/typeflow:
17-
version:1.0.12
17+
version:1.0.19
1818
codeql/typetracking:
19-
version:1.0.12
19+
version:2.0.3
2020
codeql/util:
21-
version:1.0.12
21+
version:2.0.6
2222
codeql/xml:
23-
version:1.0.12
23+
version:1.0.19
2424
compiled:false

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

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -2,23 +2,23 @@
22
lockVersion:1.0.0
33
dependencies:
44
codeql/cpp-all:
5-
version:2.1.1
5+
version:4.0.3
66
codeql/dataflow:
7-
version:1.1.6
7+
version:2.0.3
88
codeql/mad:
9-
version:1.0.12
9+
version:1.0.19
1010
codeql/rangeanalysis:
11-
version:1.0.12
11+
version:1.0.19
1212
codeql/ssa:
13-
version:1.0.12
13+
version:1.0.19
1414
codeql/tutorial:
15-
version:1.0.12
15+
version:1.0.19
1616
codeql/typeflow:
17-
version:1.0.12
17+
version:1.0.19
1818
codeql/typetracking:
19-
version:1.0.12
19+
version:2.0.3
2020
codeql/util:
21-
version:1.0.12
21+
version:2.0.6
2222
codeql/xml:
23-
version:1.0.12
23+
version:1.0.19
2424
compiled:false

‎c/common/src/qlpack.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,4 +3,4 @@ version: 2.49.0-dev
33
license:MIT
44
dependencies:
55
codeql/common-cpp-coding-standards:'*'
6-
codeql/cpp-all:2.1.1
6+
codeql/cpp-all:4.0.3

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

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -2,23 +2,23 @@
22
lockVersion:1.0.0
33
dependencies:
44
codeql/cpp-all:
5-
version:2.1.1
5+
version:4.0.3
66
codeql/dataflow:
7-
version:1.1.6
7+
version:2.0.3
88
codeql/mad:
9-
version:1.0.12
9+
version:1.0.19
1010
codeql/rangeanalysis:
11-
version:1.0.12
11+
version:1.0.19
1212
codeql/ssa:
13-
version:1.0.12
13+
version:1.0.19
1414
codeql/tutorial:
15-
version:1.0.12
15+
version:1.0.19
1616
codeql/typeflow:
17-
version:1.0.12
17+
version:1.0.19
1818
codeql/typetracking:
19-
version:1.0.12
19+
version:2.0.3
2020
codeql/util:
21-
version:1.0.12
21+
version:2.0.6
2222
codeql/xml:
23-
version:1.0.12
23+
version:1.0.19
2424
compiled:false

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

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -2,23 +2,23 @@
22
lockVersion:1.0.0
33
dependencies:
44
codeql/cpp-all:
5-
version:2.1.1
5+
version:4.0.3
66
codeql/dataflow:
7-
version:1.1.6
7+
version:2.0.3
88
codeql/mad:
9-
version:1.0.12
9+
version:1.0.19
1010
codeql/rangeanalysis:
11-
version:1.0.12
11+
version:1.0.19
1212
codeql/ssa:
13-
version:1.0.12
13+
version:1.0.19
1414
codeql/tutorial:
15-
version:1.0.12
15+
version:1.0.19
1616
codeql/typeflow:
17-
version:1.0.12
17+
version:1.0.19
1818
codeql/typetracking:
19-
version:1.0.12
19+
version:2.0.3
2020
codeql/util:
21-
version:1.0.12
21+
version:2.0.6
2222
codeql/xml:
23-
version:1.0.12
23+
version:1.0.19
2424
compiled:false

‎c/misra/src/qlpack.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,4 +6,4 @@ license: MIT
66
default-suite-file:codeql-suites/misra-c-default.qls
77
dependencies:
88
codeql/common-c-coding-standards:'*'
9-
codeql/cpp-all:2.1.1
9+
codeql/cpp-all:4.0.3

0 commit comments

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