Skip to content

Commit be64daf

Browse files
committed
Merge branch 'main' into js/graph-export
2 parents 844b29b + 5c50ed0 commit be64daf

File tree

1,236 files changed

+37400
-42505
lines changed

Some content is hidden

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

1,236 files changed

+37400
-42505
lines changed

.github/workflows/swift.yml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@ on:
66
- "swift/**"
77
- "misc/bazel/**"
88
- "misc/codegen/**"
9+
- "shared/**"
910
- "*.bazel*"
1011
- .github/workflows/swift.yml
1112
- .github/actions/**
@@ -22,10 +23,12 @@ on:
2223
- "swift/**"
2324
- "misc/bazel/**"
2425
- "misc/codegen/**"
26+
- "shared/**"
2527
- "*.bazel*"
2628
- .github/workflows/swift.yml
2729
- .github/actions/**
2830
- codeql-workspace.yml
31+
- .pre-commit-config.yaml
2932
- "!**/*.md"
3033
- "!**/*.qhelp"
3134
branches:

MODULE.bazel

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ local_path_override(
1414
# see https://registry.bazel.build/ for a list of available packages
1515

1616
bazel_dep(name = "platforms", version = "0.0.8")
17-
bazel_dep(name = "rules_pkg", version = "0.9.1")
17+
bazel_dep(name = "rules_pkg", version = "0.10.1")
1818
bazel_dep(name = "rules_nodejs", version = "6.0.3")
1919
bazel_dep(name = "rules_python", version = "0.31.0")
2020
bazel_dep(name = "bazel_skylib", version = "1.5.0")
@@ -31,6 +31,8 @@ pip.parse(
3131
use_repo(pip, "codegen_deps")
3232

3333
swift_deps = use_extension("//swift/third_party:load.bzl", "swift_deps")
34+
35+
# following list can be kept in sync with `bazel mod tidy`
3436
use_repo(
3537
swift_deps,
3638
"binlog",

cpp/BUILD.bazel

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
load("@rules_pkg//:mappings.bzl", "pkg_filegroup")
1+
load("@rules_pkg//pkg:mappings.bzl", "pkg_filegroup")
22

33
package(default_visibility = ["//visibility:public"])
44

cpp/downgrades/BUILD.bazel

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
load("@rules_pkg//:mappings.bzl", "pkg_files", "strip_prefix")
1+
load("@rules_pkg//pkg:mappings.bzl", "pkg_files", "strip_prefix")
22

33
pkg_files(
44
name = "downgrades",

cpp/ql/lib/BUILD.bazel

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
load("@rules_pkg//:mappings.bzl", "pkg_files")
1+
load("@rules_pkg//pkg:mappings.bzl", "pkg_files")
22

33
package(default_visibility = ["//cpp:__pkg__"])
44

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
---
2+
category: minorAnalysis
3+
---
4+
* Source models have been added for the standard library function `getc` (and variations).
Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
---
2+
category: feature
3+
---
4+
* Models-as-Data support has been added for C/C++. This feature allows flow sources, sinks and summaries to be expressed in compact strings as an alternative to modelling each source / sink / summary with explicit QL. See `dataflow/ExternalFlow.qll` for documentation and specification of the model format, and `models/implementations/ZMQ.qll` for a simple example of models. Importing models from `.yml` is not yet supported.
Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
---
2+
category: minorAnalysis
3+
---
4+
* Source, sink and flow models for the ZeroMQ (ZMQ) networking library have been added.

cpp/ql/lib/qlpack.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,10 @@ library: true
77
upgrades: upgrades
88
dependencies:
99
codeql/dataflow: ${workspace}
10+
codeql/mad: ${workspace}
1011
codeql/rangeanalysis: ${workspace}
1112
codeql/ssa: ${workspace}
13+
codeql/typeflow: ${workspace}
1214
codeql/tutorial: ${workspace}
1315
codeql/util: ${workspace}
1416
codeql/xml: ${workspace}

cpp/ql/lib/semmle/code/cpp/PrintAST.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -364,6 +364,8 @@ class ConversionNode extends ExprNode {
364364
childIndex = 0 and
365365
result.getAst() = conv.getExpr() and
366366
conv.getExpr() instanceof Conversion
367+
or
368+
result.getAst() = expr.getImplicitDestructorCall(childIndex - 1)
367369
}
368370
}
369371

0 commit comments

Comments
 (0)