Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
88 commits
Select commit Hold shift + click to select a range
dabb678
Cargo: upgrade dependencies
redsun82 Aug 14, 2026
93fd01d
Bazel: regenerate vendored cargo dependencies
redsun82 Aug 14, 2026
1ffe300
Rust: run codegen
redsun82 Aug 14, 2026
bd980d2
Rust: update toolchain to nightly/2026-07-15 and rules_rust 0.73.0
redsun82 Aug 14, 2026
48718e5
Rust: adapt extractor to ra_ap 0.0.347 API
redsun82 Aug 14, 2026
dcc9129
Rust: adapt QL library to ra_ap 0.0.347 schema
redsun82 Aug 14, 2026
f334221
Rust: bump test toolchain to 1.97 and update generated test expectations
redsun82 Aug 14, 2026
85886ee
Rust: add DB upgrade/downgrade scripts and change note for ra_ap 0.0.347
redsun82 Aug 14, 2026
9a40ad1
Update Rust generated translator signature
redsun82 Aug 14, 2026
fb47497
Fix tree-sitter clippy warnings
redsun82 Aug 14, 2026
ee020e5
Rust: scrub deleted-node references in downgrade script
redsun82 Aug 14, 2026
d799a3c
Rust: fix Translator lifetime in codegen template
redsun82 Aug 14, 2026
9fddc44
Bazel: re-vendor cargo dependencies for rules_rust 0.73
redsun82 Aug 14, 2026
5db5bd7
Rust: resolve `rust.ungram` under aggregated vendor repo layout
redsun82 Aug 14, 2026
7f665fc
Rust: document new AST nodes and regenerate
redsun82 Aug 14, 2026
4f6ea2a
Rust: document full re-vendoring after toolchain or rules_rust bump
redsun82 Aug 14, 2026
ae78def
Rust: clarify QLDoc for experimental `DerefPat`, `NotNull`, and `Patt…
redsun82 Aug 14, 2026
8c8d0b6
Rust: add `qltest_edition` option and cap lints in qltest check
redsun82 Aug 14, 2026
e798e21
Rust: accept qltest changes for rust-analyzer 0.0.347
redsun82 Aug 14, 2026
f656e39
Merge branch 'main' into redsun82-rust-analyzer-update
redsun82 Aug 14, 2026
e1b27ae
Rust: pin test toolchain to 1.95 for `use Struct::{self}`
redsun82 Aug 14, 2026
f6e32a3
Rust: add CFG support for `DerefPat` pattern
redsun82 Aug 14, 2026
7faf81f
Rust: reconstruct format-macro expansions on pre-1.94 toolchains
redsun82 Aug 14, 2026
081d762
Merge pull request #22350 from github/redsun82-format-macro-flow-reco…
redsun82 Aug 17, 2026
ef41c1c
Rust: rustfmt extractor sources
redsun82 Aug 17, 2026
90f59bf
Merge origin/main into redsun82-rust-analyzer-update
redsun82 Aug 17, 2026
e51dc86
Update Rust log injection expected
redsun82 Aug 18, 2026
6dfacd0
Merge remote-tracking branch 'origin/main' into redsun82-rust-analyze…
redsun82 Aug 18, 2026
c537c1b
Rust: correct CWE-770 GlobalAlloc MISSING comments
redsun82 Aug 18, 2026
55cc092
Merge branch 'main' into redsun82-rust-analyzer-update
redsun82 Aug 18, 2026
150e30c
Merge commit '55cc0920b2d515d9e976ab196e2c74cc4ab4a3a3' into redsun82…
redsun82 Aug 18, 2026
61ff9d0
Merge remote-tracking branch 'origin/main' into redsun82-rust-analyze…
redsun82 Aug 19, 2026
e082ae8
Rust: Expand the test cases.
geoffw0 Aug 19, 2026
0ce4b7b
Rust: Add models.
geoffw0 Aug 19, 2026
ac0cf1a
Rust: Change note.
geoffw0 Aug 19, 2026
846666e
Rust: Update comment.
geoffw0 Aug 19, 2026
35423c2
Rust: Accept fixes for rust/cleartext-logging.
geoffw0 Aug 19, 2026
7ae9580
Merge branch 'main' into redsun82-rust-analyzer-update
redsun82 Aug 20, 2026
a3c6264
Merge remote-tracking branch 'upstream/redsun82-rust-analyzer-update'…
geoffw0 Aug 24, 2026
8b153a1
Rust: Update format of the new MaD models.
geoffw0 Aug 24, 2026
0195e2e
Rust: Accept changes to .expected from previous commit and merge.
geoffw0 Aug 24, 2026
6ec597f
Merge branch 'main' into redsun82-rust-analyzer-update
redsun82 Aug 24, 2026
217cf52
Rust: address extractor review comments
redsun82 Aug 24, 2026
c1f539f
Rust: rustfmt the reconstruction helper
redsun82 Aug 24, 2026
575ff15
Rust: drop stale lifetime from codegen template
redsun82 Aug 24, 2026
5b67e28
Merge remote-tracking branch 'origin/main' into redsun82-rust-analyze…
redsun82 Aug 26, 2026
8156dc2
CWE-770: correct GlobalAlloc sink MISSING comment
redsun82 Aug 26, 2026
8c0b38a
Merge branch 'redsun82-rust-analyzer-update' into formatflow
geoffw0 Aug 26, 2026
5bcbb8f
Rust: Accept changes to .expected files following merge.
geoffw0 Aug 26, 2026
f2505df
Rust: Refactor `reconstruct` and `split_arguments`
paldepind Aug 27, 2026
aa4875c
Rust: Make the `path` in `Translator` a `PathBuf`
paldepind Aug 27, 2026
e8d8a67
Merge pull request #22440 from github/rust-analyzer-update-tweaks
redsun82 Aug 27, 2026
deafc1b
Merge pull request #22390 from geoffw0/formatflow
redsun82 Aug 27, 2026
15c543e
Merge branch 'main' into redsun82-rust-analyzer-update
redsun82 Aug 31, 2026
8203f08
Merge branch 'main' into redsun82-rust-analyzer-update
redsun82 Aug 31, 2026
485d1d8
Add changed framework coverage reports
github-actions[bot] Sep 1, 2026
5442f38
Unified: Add Callable type
aschackmull Aug 31, 2026
8f3eb6d
Unified: Add BinaryExpr.getAnOperand to FacadeAst.
aschackmull Sep 1, 2026
a2149b2
Unified: Add more logical expressions to AstExtra.
aschackmull Sep 1, 2026
3c873d9
Unified: Add qldoc.
aschackmull Sep 1, 2026
b90f6b7
CFG: Exclude blocks from post-order in case they're Exprs.
aschackmull Aug 31, 2026
83b718b
CFG: Exclude 'try's from post-order in case they're Exprs.
aschackmull Sep 1, 2026
b4c9481
C#: Add NuGet feed list to the unit tests.
michaelnebel Aug 31, 2026
0f11e7c
C#: Move feed prefix logic out of the feed manager.
michaelnebel Aug 31, 2026
043d486
C#: Update unit tests to reflect the new logic.
michaelnebel Aug 31, 2026
b36eff4
C#: Introduce IFileProvider interface.
michaelnebel Aug 31, 2026
3f15f33
C#: Introduce interface for DependabotProxy.
michaelnebel Aug 31, 2026
75c375f
C#: Make FeedManager unit-testable.
michaelnebel Aug 31, 2026
098ad00
C#: Move DotNetStub into its own file.
michaelnebel Aug 31, 2026
752b2ff
C#: Add some Feed manager unit tests.
michaelnebel Aug 31, 2026
264d917
Unified: Add a debug query to view the AST as a graph.
aschackmull Sep 1, 2026
e3da22b
CPP: Disable dynamic reordering for AliasedSSA::isCoveredOffset
kaspersv Sep 1, 2026
e9ba7f4
Unified: Move `extension` workaround into static name binding library
hvitved Sep 1, 2026
02ff376
Unified: Enable on Arm64
jketema Sep 1, 2026
b578f23
Unified: simplify Bazel build
jketema Sep 1, 2026
5a40ac8
Unified: fix formatting
jketema Sep 1, 2026
5147ca6
Rust: Add source/sink/barrier MaD trait tests
hvitved Aug 27, 2026
2cbcf7b
FlowSummaryImpl: Align source/sink/barrier prioriterization with that…
hvitved Aug 27, 2026
4e86a8f
Rust: Derive source/sink/barrier MaD implementation models from trait…
hvitved Aug 27, 2026
905e311
Use HTTPS for Wikimedia query-help links
miachillgood Aug 22, 2026
79bad8b
Fix synchronized query-help file
miachillgood Aug 29, 2026
38b09d3
Ruby: Disable dynamic reordering for select predicate
kaspersv Sep 1, 2026
7f1c872
Unified: Add control flow graph.
aschackmull Aug 28, 2026
04cc576
Apply suggestion from @asgerf
aschackmull Sep 2, 2026
a371a6e
Unified: Make pattern a subtype of expr.
aschackmull Sep 2, 2026
b3a26b5
CFG: Rename ForeachStmt to ForEachStmt.
aschackmull Sep 2, 2026
e76361b
C#: Disable dynamic reordering for Unification::Gvn::unifiableTypeArg…
kaspersv Sep 2, 2026
e5f8808
Rust: Force stable toolchain
paldepind Sep 2, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
1,112 changes: 461 additions & 651 deletions Cargo.lock

Large diffs are not rendered by default.

116 changes: 60 additions & 56 deletions MODULE.bazel
Original file line number Diff line number Diff line change
Expand Up @@ -30,7 +30,7 @@ bazel_dep(name = "rules_kotlin", version = "2.2.2-codeql.1")
bazel_dep(name = "gazelle", version = "0.50.0")
bazel_dep(name = "rules_dotnet", version = "0.21.5-codeql.1")
bazel_dep(name = "googletest", version = "1.17.0.bcr.2")
bazel_dep(name = "rules_rust", version = "0.69.0")
bazel_dep(name = "rules_rust", version = "0.73.0")
bazel_dep(name = "rules_swift", version = "4.0.0-rc5-codeql.2")
bazel_dep(name = "swift-syntax", version = "603.0.2")
bazel_dep(name = "zstd", version = "1.5.7.bcr.1")
Expand All @@ -45,7 +45,7 @@ RUST_EDITION = "2024"
# a nightly toolchain is required to enable experimental_use_cc_common_link, which we require internally
# we prefer to run the same version as internally, even if experimental_use_cc_common_link is not really
# required in this repo
RUST_VERSION = "nightly/2026-01-22"
RUST_VERSION = "nightly/2026-07-15"

rust = use_extension("@rules_rust//rust:extensions.bzl", "rust")
rust.toolchain(
Expand All @@ -57,26 +57,26 @@ rust.toolchain(
],
# generated by buildutils-internal/scripts/fill-rust-sha256s.py (internal repo)
sha256s = {
"2026-01-22/rustc-nightly-x86_64-unknown-linux-gnu.tar.xz": "88db619323cc1321630d124efa51ed02fabc5e020f08cfa0eda2c0ac1afbe69a",
"2026-01-22/rustc-nightly-x86_64-apple-darwin.tar.xz": "08484da3fa38db56f93629aeabdc0ae9ff8ed9704c0792d35259cbc849b3f54c",
"2026-01-22/rustc-nightly-aarch64-apple-darwin.tar.xz": "a39c0b21b7058e364ea1bd43144e42e4bf1efade036b2e82455f2afce194ee81",
"2026-01-22/rustc-nightly-x86_64-pc-windows-msvc.tar.xz": "d00248ee9850dbb6932b2578e32ff74fc7c429854c1aa071066ca31b65385a3b",
"2026-01-22/clippy-nightly-x86_64-unknown-linux-gnu.tar.xz": "70656a0ce994ffff16d5a35a7b170a0acd41e9bb54a589c96ed45bf97b094a4d",
"2026-01-22/clippy-nightly-x86_64-apple-darwin.tar.xz": "fe242519fa961522734733009705aec3c2d9a20cc57291f2aa614e5e6262c88f",
"2026-01-22/clippy-nightly-aarch64-apple-darwin.tar.xz": "38bb226363ec97c9722edf966cd58774a683e19fd2ff2a6030094445d51e06f9",
"2026-01-22/clippy-nightly-x86_64-pc-windows-msvc.tar.xz": "6da9b4470beea67abfebf046f141eee0d2a8db7c7a9e4e2294478734fd477228",
"2026-01-22/cargo-nightly-x86_64-unknown-linux-gnu.tar.xz": "99004e9d10c43a01499642f53bb3184d41137a95d65bfb217098840a9e79e892",
"2026-01-22/cargo-nightly-x86_64-apple-darwin.tar.xz": "6e021394cf8d8400ac6cfdfcef24e4d74f988e91eb8028b36de3a64ce3502990",
"2026-01-22/cargo-nightly-aarch64-apple-darwin.tar.xz": "4b2494cb69ab64132cddbc411a38ea9f1105e54d6f986e43168d54f79510c673",
"2026-01-22/cargo-nightly-x86_64-pc-windows-msvc.tar.xz": "c36613cf57407212d10d37b76e49a60ff42336e953cdff9e177283f530a83fc1",
"2026-01-22/llvm-tools-nightly-x86_64-unknown-linux-gnu.tar.xz": "0b123c5027dbd833aae6845ffe9bd07d309bf798746a7176aadaea68fbcbd05d",
"2026-01-22/llvm-tools-nightly-x86_64-apple-darwin.tar.xz": "a47864491ad5619158c950ab7570fb6e487d5117338585c27334d45824b406d8",
"2026-01-22/llvm-tools-nightly-aarch64-apple-darwin.tar.xz": "db9bc826d6e2e7e914505d50157682e516ceb90357e83d77abddc32c2d962f41",
"2026-01-22/llvm-tools-nightly-x86_64-pc-windows-msvc.tar.xz": "ffaa406932b2fe62e01dad61cf4ed34860a5d2a6f9306ca340d79e630d930039",
"2026-01-22/rust-std-nightly-x86_64-unknown-linux-gnu.tar.xz": "e9c0d5e06e18a4b509391b3088f29293e310cdc8ccc865be8fa3f09733326925",
"2026-01-22/rust-std-nightly-x86_64-apple-darwin.tar.xz": "25d75995cee679a4828ca9fe48c5a31a67c3b0846018440ef912e5a6208f53f6",
"2026-01-22/rust-std-nightly-aarch64-apple-darwin.tar.xz": "e4132bf3f2eed4684c86756a02315bcf481c23e675e3e25630fc604c9cb4594c",
"2026-01-22/rust-std-nightly-x86_64-pc-windows-msvc.tar.xz": "961bb535ef95ae8a5fa4e224cb94aff190f155c45a9bcf7a53e184b024aa41b1",
"2026-07-15/rustc-nightly-x86_64-unknown-linux-gnu.tar.xz": "dad49ece98c6d0e5f3bfd7c532b5111f55319a0e2a880ef1a87379643348cf8e",
"2026-07-15/rustc-nightly-x86_64-apple-darwin.tar.xz": "54fe056dd41fd0ae2e74e8a941ee207af21e9b86700636fa254f11f0f1fa0783",
"2026-07-15/rustc-nightly-aarch64-apple-darwin.tar.xz": "0e8c44436fefd06850a343e244236bf8e2b7eadaee447c53a91bc4e17e6710d1",
"2026-07-15/rustc-nightly-x86_64-pc-windows-msvc.tar.xz": "a55c3933faf617a47a10545a072bae1de03aa3fe7363d0779baad35bed2cf259",
"2026-07-15/clippy-nightly-x86_64-unknown-linux-gnu.tar.xz": "49425e37f45e428b569098174a28985aae3102965dfa7434ca8472d1b3e58b5e",
"2026-07-15/clippy-nightly-x86_64-apple-darwin.tar.xz": "2b1ca2938c8d3d35f9c26badd696d575db876260569900684c766cf8319960a7",
"2026-07-15/clippy-nightly-aarch64-apple-darwin.tar.xz": "7c95556525376e0250dcdfb9c36725e8c0c131c1c6ac3b7e5872279e040852fb",
"2026-07-15/clippy-nightly-x86_64-pc-windows-msvc.tar.xz": "e737590737fdf81e08af55c7cbc3e7f4883d5f68cbec4bd572ccb7af44fc15d8",
"2026-07-15/cargo-nightly-x86_64-unknown-linux-gnu.tar.xz": "4df5b9f2ad9b597d272fa9500d650561f22c8543233485078a13a64693e567c3",
"2026-07-15/cargo-nightly-x86_64-apple-darwin.tar.xz": "e45a0ab75df0e61a3429ab450e35551ca920b138be39dc5cf8af824dd36fcb15",
"2026-07-15/cargo-nightly-aarch64-apple-darwin.tar.xz": "81e1469252cd4630fdf221f9390cdb4604472c0ef6774e6162370864e5adc3e0",
"2026-07-15/cargo-nightly-x86_64-pc-windows-msvc.tar.xz": "077cf2ad9811cba2596faab7b5763f8430791263ab7f3961fa31f23aaa3d741d",
"2026-07-15/llvm-tools-nightly-x86_64-unknown-linux-gnu.tar.xz": "25823477ba51d4aba12beb19cb7d2c46d453357a4b6d1c301102fc06d0c5db28",
"2026-07-15/llvm-tools-nightly-x86_64-apple-darwin.tar.xz": "168f79a128b34c88a8cef03af0ced8986a99c52df4016e5d111cba3c4638e4e3",
"2026-07-15/llvm-tools-nightly-aarch64-apple-darwin.tar.xz": "f95a27de3a30e6ba3d36548663b434e625cd1bbbfb015eadd90f67d80f657c5a",
"2026-07-15/llvm-tools-nightly-x86_64-pc-windows-msvc.tar.xz": "1d48b7b8f511a23f270e9380f729ee414db918abbc88535fe419dd53aa0d5429",
"2026-07-15/rust-std-nightly-x86_64-unknown-linux-gnu.tar.xz": "4c1a2f508b6791a1059924e6369d813b46888215add0a5906af95266b33219b2",
"2026-07-15/rust-std-nightly-x86_64-apple-darwin.tar.xz": "a2438da77f7eb292f80a5cab3de1aa2e8deb718b89c0ba6e26ef5c76299cc048",
"2026-07-15/rust-std-nightly-aarch64-apple-darwin.tar.xz": "02c36fc7728dc17376062e7a0f3bf26439e1317317971ba9339b3a3a34dee2fa",
"2026-07-15/rust-std-nightly-x86_64-pc-windows-msvc.tar.xz": "5e724d34d34ec4ed34161bb890452640ddda11fd9ef64f6a74e47541d5b02583",
},
versions = [RUST_VERSION],
)
Expand All @@ -89,6 +89,7 @@ register_toolchains("@rust_toolchains//:all")
py_deps = use_extension("//misc/bazel/3rdparty:py_deps_extension.bzl", "p")
use_repo(
py_deps,
"vendor_py",
"vendor_py__anyhow-1.0.95",
"vendor_py__cc-1.2.14",
"vendor_py__clap-4.5.30",
Expand All @@ -102,61 +103,62 @@ use_repo(
tree_sitter_extractors_deps = use_extension("//misc/bazel/3rdparty:tree_sitter_extractors_extension.bzl", "r")
use_repo(
tree_sitter_extractors_deps,
"vendor_ts__anyhow-1.0.102",
"vendor_ts",
"vendor_ts__anyhow-1.0.104",
"vendor_ts__argfile-1.0.0",
"vendor_ts__chalk-ir-0.104.0",
"vendor_ts__chrono-0.4.44",
"vendor_ts__clap-4.6.1",
"vendor_ts__chrono-0.4.45",
"vendor_ts__clap-4.6.6",
"vendor_ts__dunce-1.0.5",
"vendor_ts__either-1.16.0",
"vendor_ts__either-1.17.0",
"vendor_ts__encoding-0.2.33",
"vendor_ts__figment-0.10.19",
"vendor_ts__flate2-1.1.9",
"vendor_ts__glob-0.3.3",
"vendor_ts__glob-0.3.4",
"vendor_ts__globset-0.4.18",
"vendor_ts__itertools-0.14.0",
"vendor_ts__itertools-0.15.0",
"vendor_ts__lazy_static-1.5.0",
"vendor_ts__mustache-0.9.0",
"vendor_ts__num-traits-0.2.19",
"vendor_ts__num_cpus-1.17.0",
"vendor_ts__proc-macro2-1.0.106",
"vendor_ts__quote-1.0.45",
"vendor_ts__ra_ap_base_db-0.0.328",
"vendor_ts__ra_ap_cfg-0.0.328",
"vendor_ts__ra_ap_hir-0.0.328",
"vendor_ts__ra_ap_hir_def-0.0.328",
"vendor_ts__ra_ap_hir_expand-0.0.328",
"vendor_ts__ra_ap_hir_ty-0.0.328",
"vendor_ts__ra_ap_ide_db-0.0.328",
"vendor_ts__ra_ap_intern-0.0.328",
"vendor_ts__ra_ap_load-cargo-0.0.328",
"vendor_ts__ra_ap_parser-0.0.328",
"vendor_ts__ra_ap_paths-0.0.328",
"vendor_ts__ra_ap_project_model-0.0.328",
"vendor_ts__ra_ap_span-0.0.328",
"vendor_ts__ra_ap_stdx-0.0.328",
"vendor_ts__ra_ap_syntax-0.0.328",
"vendor_ts__ra_ap_syntax-bridge-0.0.328",
"vendor_ts__ra_ap_vfs-0.0.328",
"vendor_ts__rand-0.10.1",
"vendor_ts__proc-macro2-1.0.107",
"vendor_ts__quote-1.0.47",
"vendor_ts__ra_ap_base_db-0.0.347",
"vendor_ts__ra_ap_cfg-0.0.347",
"vendor_ts__ra_ap_hir-0.0.347",
"vendor_ts__ra_ap_hir_def-0.0.347",
"vendor_ts__ra_ap_hir_expand-0.0.347",
"vendor_ts__ra_ap_hir_ty-0.0.347",
"vendor_ts__ra_ap_ide_db-0.0.347",
"vendor_ts__ra_ap_intern-0.0.347",
"vendor_ts__ra_ap_load-cargo-0.0.347",
"vendor_ts__ra_ap_parser-0.0.347",
"vendor_ts__ra_ap_paths-0.0.347",
"vendor_ts__ra_ap_project_model-0.0.347",
"vendor_ts__ra_ap_span-0.0.347",
"vendor_ts__ra_ap_stdx-0.0.347",
"vendor_ts__ra_ap_syntax-0.0.347",
"vendor_ts__ra_ap_syntax-bridge-0.0.347",
"vendor_ts__ra_ap_vfs-0.0.347",
"vendor_ts__rand-0.10.2",
"vendor_ts__rayon-1.12.0",
"vendor_ts__regex-1.12.3",
"vendor_ts__serde-1.0.228",
"vendor_ts__serde_json-1.0.150",
"vendor_ts__serde_with-3.20.0",
"vendor_ts__regex-1.13.1",
"vendor_ts__serde-1.0.229",
"vendor_ts__serde_json-1.0.151",
"vendor_ts__serde_with-3.22.0",
"vendor_ts__serde_yaml-0.9.34-deprecated",
"vendor_ts__syn-2.0.117",
"vendor_ts__toml-1.1.2-spec-1.1.0",
"vendor_ts__syn-3.0.3",
"vendor_ts__toml-1.1.4-spec-1.1.0",
"vendor_ts__tracing-0.1.44",
"vendor_ts__tracing-flame-0.2.0",
"vendor_ts__tracing-subscriber-0.3.23",
"vendor_ts__tree-sitter-0.26.9",
"vendor_ts__tree-sitter-embedded-template-0.25.0",
"vendor_ts__tree-sitter-json-0.24.8",
"vendor_ts__tree-sitter-python-0.23.6",
"vendor_ts__tree-sitter-python-0.25.0",
"vendor_ts__tree-sitter-ql-0.23.1",
"vendor_ts__tree-sitter-ruby-0.23.1",
"vendor_ts__triomphe-0.1.15",
"vendor_ts__triomphe-0.1.16",
"vendor_ts__ungrammar-1.16.1",
"vendor_ts__zstd-0.13.3",
)
Expand Down Expand Up @@ -237,11 +239,13 @@ use_repo(
swift,
"swift_toolchain",
"swift_toolchain_ubuntu22.04",
"swift_toolchain_ubuntu22.04-aarch64",
"swift_toolchain_xcode",
)

register_toolchains(
"@swift_toolchain//:swift_toolchain_exec_ubuntu22.04",
"@swift_toolchain//:swift_toolchain_exec_ubuntu22.04-aarch64",
"@swift_toolchain//:swift_toolchain_exec_xcode",
dev_dependency = True,
)
Expand Down
20 changes: 10 additions & 10 deletions cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowSummaryImpl.qll
Original file line number Diff line number Diff line change
Expand Up @@ -17,10 +17,6 @@ module Input implements InputSig<Location, DataFlowImplSpecific::CppDataFlow> {

class SummarizedCallableBase = Function;

class SourceBase = Function;

class SinkBase = Function;

class FlowSummaryCallBase = CallInstruction;

predicate callableFromSource(SummarizedCallableBase c) { exists(c.getBlock()) }
Expand Down Expand Up @@ -232,7 +228,7 @@ private module Input2 implements Impl::Private::InputSig2 {

bindingset[source, sc]
SourceSinkReportingElement getASourceReportingElement(
Input::SourceBase source, Impl::Private::SummaryComponent sc
Input::SummarizedCallableBase source, Impl::Private::SummaryComponent sc
) {
exists(Call call | call.getTarget() = source |
sc = Impl::Private::SummaryComponent::return(_) and
Expand Down Expand Up @@ -312,7 +308,7 @@ private module Input2 implements Impl::Private::InputSig2 {

bindingset[sink, sc]
SourceSinkReportingElement getASinkReportingElement(
Input::SinkBase sink, Impl::Private::SummaryComponent sc
Input::SummarizedCallableBase sink, Impl::Private::SummaryComponent sc
) {
exists(Call call, ArgumentPosition pos |
call.getTarget() = sink and
Expand Down Expand Up @@ -525,9 +521,10 @@ private class SourceModelFunction extends Public::SourceElement instanceof Funct
}

override predicate isSource(
string output, string kind, Public::Provenance provenance, string model
string output, string kind, Public::Provenance provenance, boolean isExact, string model
) {
sourceModel(namespace, type, subtypes, name, signature, ext, output, kind, provenance, model)
sourceModel(namespace, type, subtypes, name, signature, ext, output, kind, provenance, model) and
isExact = true
}
}

Expand All @@ -544,7 +541,10 @@ private class SinkModelFunction extends Public::SinkElement instanceof Function
this = interpretElement(namespace, type, subtypes, name, signature, ext)
}

override predicate isSink(string input, string kind, Public::Provenance provenance, string model) {
sinkModel(namespace, type, subtypes, name, signature, ext, input, kind, provenance, model)
override predicate isSink(
string input, string kind, Public::Provenance provenance, boolean isExact, string model
) {
sinkModel(namespace, type, subtypes, name, signature, ext, input, kind, provenance, model) and
isExact = true
}
}
Original file line number Diff line number Diff line change
Expand Up @@ -815,6 +815,7 @@ private predicate isRelatableMemoryLocation(VariableMemoryLocation vml) {
vml.getStartBitOffset() != Ints::unknown()
}

pragma[no_dynamic_join_order]
private predicate isCoveredOffset(Allocation var, int offsetRank, VariableMemoryLocation vml) {
exists(int startRank, int endRank, VirtualVariable vvar |
vml.getStartBitOffset() = rank[startRank](IntValue offset_ | isRelevantOffset(vvar, offset_)) and
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,7 @@ void good() {
<li>C++ FAQ: <a href="https://isocpp.org/wiki/faq/exceptions#what-to-throw">
What should I throw?</a>, <a href="https://isocpp.org/wiki/faq/exceptions#what-to-catch">
What should I catch?</a>.</li>
<li>Wikibooks: <a href="http://en.wikibooks.org/wiki/C%2B%2B_Programming/Exception_Handling#Throwing_objects">
<li>Wikibooks: <a href="https://en.wikibooks.org/wiki/C%2B%2B_Programming/Exception_Handling#Throwing_objects">
Throwing objects</a>.</li>


Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ void good() {
<li>C++ FAQ: <a href="https://isocpp.org/wiki/faq/exceptions#what-to-throw">
What should I throw?</a>, <a href="https://isocpp.org/wiki/faq/exceptions#what-to-catch">
What should I catch?</a>.</li>
<li>Wikibooks: <a href="http://en.wikibooks.org/wiki/C%2B%2B_Programming/Exception_Handling#Throwing_objects">
<li>Wikibooks: <a href="https://en.wikibooks.org/wiki/C%2B%2B_Programming/Exception_Handling#Throwing_objects">
Throwing objects</a>.</li>


Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,7 @@

<li>cplusplus.com: <a href="http://www.cplusplus.com/reference/array/array/">
C++: array</a>.</li>
<li>Wikipedia: <a href="http://en.wikipedia.org/wiki/Bounds_checking">
<li>Wikipedia: <a href="https://en.wikipedia.org/wiki/Bounds_checking">
Bounds checking</a>.</li>


Expand Down
2 changes: 1 addition & 1 deletion cpp/ql/src/Best Practices/Likely Errors/Slicing.qhelp
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ These assignments slice off all the fields added by the derived type, and can ca
<references>

<li>
Wikipedia: <a href="http://en.wikipedia.org/wiki/Object_slicing">Object slicing</a>.
Wikipedia: <a href="https://en.wikipedia.org/wiki/Object_slicing">Object slicing</a>.
</li>
<li>
DevX.com: <a href="http://www.devx.com/tips/Tip/14570">Slicing in C++</a>.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@ then replace all the relevant occurrences in the code.</p>
<references>

<li>
<a href="http://en.wikipedia.org/wiki/Magic_number_%28programming%29#Unnamed_numerical_constants">Magic number (Wikipedia)</a>
<a href="https://en.wikipedia.org/wiki/Magic_number_%28programming%29#Unnamed_numerical_constants">Magic number (Wikipedia)</a>
</li>
<li>
Mats Henricson and Erik Nyquist, <i>Industrial Strength C++</i>, published by Prentice Hall PTR (1997).
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ constant.</p>


<li>
<a href="http://en.wikipedia.org/wiki/Magic_string">Magic string (Wikipedia)</a>
<a href="https://en.wikipedia.org/wiki/Magic_string">Magic string (Wikipedia)</a>
</li>
<li>
Mats Henricson and Erik Nyquist, <i>Industrial Strength C++</i>, published by Prentice Hall PTR (1997).
Expand Down
2 changes: 1 addition & 1 deletion cpp/ql/src/Best Practices/RuleOfThree.qhelp
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,6 @@
</recommendation>

<references>
<li>Wikipedia: <a href="http://en.wikipedia.org/wiki/Rule_of_three_(C%2B%2B_programming)">Rule of three (C++ programming)</a></li>
<li>Wikipedia: <a href="https://en.wikipedia.org/wiki/Rule_of_three_(C%2B%2B_programming)">Rule of three (C++ programming)</a></li>
</references>
</qhelp>
2 changes: 1 addition & 1 deletion cpp/ql/src/Best Practices/RuleOfTwo.qhelp
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ should never be called.
<references>

<li>
<a href="http://en.wikipedia.org/wiki/Rule_of_three_(C%2B%2B_programming)">Rule of Three [Wikipedia]</a>
<a href="https://en.wikipedia.org/wiki/Rule_of_three_(C%2B%2B_programming)">Rule of Three [Wikipedia]</a>
</li>
<li>
<a href="http://www.artima.com/cppsource/bigtwo.html">The Law of The Big Two</a>
Expand Down
4 changes: 2 additions & 2 deletions cpp/ql/src/Documentation/DocumentApi.qhelp
Original file line number Diff line number Diff line change
Expand Up @@ -22,10 +22,10 @@ Add comments to document the purpose of the function. In particular, ensure that
<references>

<li>
C++ Programming Wikibook: <a href="http://en.wikibooks.org/wiki/C%2B%2B_Programming/Programming_Languages/C%2B%2B/Code/Style_Conventions#Comments">Comments</a>
C++ Programming Wikibook: <a href="https://en.wikibooks.org/wiki/C%2B%2B_Programming/Programming_Languages/C%2B%2B/Code/Style_Conventions#Comments">Comments</a>
</li>
<li>
Wikipedia: <a href="http://en.wikipedia.org/wiki/Comment_%28computer_programming%29#Need_for_comments">Need for comments</a>
Wikipedia: <a href="https://en.wikipedia.org/wiki/Comment_%28computer_programming%29#Need_for_comments">Need for comments</a>
</li>


Expand Down
2 changes: 1 addition & 1 deletion cpp/ql/src/Documentation/FixmeComments.qhelp
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ Fix the functionality indicated by the comment. If the comment no longer applies
<references>

<li>
<a href="http://en.wikipedia.org/wiki/Comment_%28computer_programming%29#Tags">Wikipedia: Comment tags</a>
<a href="https://en.wikipedia.org/wiki/Comment_%28computer_programming%29#Tags">Wikipedia: Comment tags</a>
</li>
<li>
<a href="http://wordaligned.org/articles/todo">The case against TODO (and FIXME)</a>
Expand Down
2 changes: 1 addition & 1 deletion cpp/ql/src/Documentation/TodoComments.qhelp
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ Implement the functionality indicated by the comment. If the comment no longer a
<references>

<li>
<a href="http://en.wikipedia.org/wiki/Comment_%28computer_programming%29#Tags">Wikipedia: Comment tags</a>
<a href="https://en.wikipedia.org/wiki/Comment_%28computer_programming%29#Tags">Wikipedia: Comment tags</a>
</li>
<li>
<a href="http://www.approxion.com/?p=39">TODO or not TODO</a>
Expand Down
4 changes: 2 additions & 2 deletions cpp/ql/src/Documentation/UncommentedFunction.qhelp
Original file line number Diff line number Diff line change
Expand Up @@ -23,10 +23,10 @@ cohesive functions.
<references>

<li>
<a href="http://en.wikibooks.org/wiki/C%2B%2B_Programming/Programming_Languages/C%2B%2B/Code/Style_Conventions#Comments">C++ Programming, Coding style conventions</a>
<a href="https://en.wikibooks.org/wiki/C%2B%2B_Programming/Programming_Languages/C%2B%2B/Code/Style_Conventions#Comments">C++ Programming, Coding style conventions</a>
</li>
<li>
<a href="http://en.wikipedia.org/wiki/Comment_%28computer_programming%29#Need_for_comments">Wikipedia: Need for comments</a>
<a href="https://en.wikipedia.org/wiki/Comment_%28computer_programming%29#Need_for_comments">Wikipedia: Need for comments</a>
</li>


Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@ the second file, for example to ANOTHER_HEADER_FILE_H.</p>
<references>

<li>
Wikipedia: <a href="http://en.wikipedia.org/wiki/Include_guard">Include guard</a>
Wikipedia: <a href="https://en.wikipedia.org/wiki/Include_guard">Include guard</a>
</li>

</references>
Expand Down
2 changes: 1 addition & 1 deletion cpp/ql/src/Likely Bugs/Arithmetic/BadCheckOdd.qhelp
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ As a result, this check incorrectly considers all negative numbers as even.
MSDN Library: <a href="https://docs.microsoft.com/en-us/cpp/cpp/multiplicative-operators-and-the-modulus-operator">Multiplicative Operators and the Modulus Operator</a>.
</li>
<li>
Wikipedia: <a href="http://en.wikipedia.org/wiki/Modulo_operation#Common_pitfalls">Modulo Operation - Common pitfalls</a>.
Wikipedia: <a href="https://en.wikipedia.org/wiki/Modulo_operation#Common_pitfalls">Modulo Operation - Common pitfalls</a>.
</li>


Expand Down
Loading
Loading