Enrico Steffinlongo
fd0cf876e8
Revert C++ range analysis change note
2025-11-07 17:56:08 +00:00
Enrico Steffinlongo
3c6679c4ab
Revert "Merge pull request #20645 from paldepind/cpp/range-analysis-measure"
...
This reverts commit a0a6f288b5 , reversing
changes made to 32f21d6d49 .
2025-11-07 17:42:21 +00:00
Jeroen Ketema
5eac0f7953
Merge pull request #20759 from jketema/swift-6.2.1
...
Swift: Update to Swift 6.2.1
2025-11-05 16:56:35 +01:00
Jeroen Ketema
a79c383fd5
Swift: update load.bzl
2025-11-05 15:46:42 +01:00
Jeroen Ketema
6476f60cd4
Swift: Add change note
2025-11-05 15:44:20 +01:00
Jeroen Ketema
a19f49b2ac
Swift: Update resources
2025-11-05 15:41:00 +01:00
Michael Nebel
5ec0494467
Merge pull request #20731 from michaelnebel/csharp/updatedependencies
...
C#: Update extractor package dependencies.
2025-11-05 11:58:48 +01:00
Michael B. Gale
046db0419f
Merge pull request #20758 from github/post-release-prep/codeql-cli-2.23.4
...
Post-release preparation for codeql-cli-2.23.4
2025-11-05 10:45:51 +00:00
Owen Mansel-Chan
85175f6d18
Merge pull request #20714 from owen-mc/java/pretty-print-models-quantum-nonce-reuse
...
Java: Pretty print models in nonce reuse test in experimental/quantum
2025-11-05 09:53:21 +00:00
Anders Schack-Mulligen
02fd1dcccd
Merge pull request #20738 from aschackmull/csharp/guards-misc
...
C#: Misc Guards-related cleanup.
2025-11-05 10:22:07 +01:00
Jeroen Ketema
68cd9ab3ab
Swift: Update to Swift 6.2.1
2025-11-05 09:33:06 +01:00
Jeroen Ketema
5d9d6b9a00
Merge pull request #20757 from jketema/swift-doc-update
...
Swift: Update supported versions in the documentation
2025-11-05 09:27:54 +01:00
github-actions[bot]
4014df9a6e
Post-release preparation for codeql-cli-2.23.4
2025-11-04 17:57:52 +00:00
Jeroen Ketema
a29c9af4a7
Update swift/third_party/resources/updating.md
...
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com >
2025-11-04 16:00:23 +01:00
Jeroen Ketema
41bf91072d
Swift: Update supported versions in the documentation
...
Also document that we need to update the supported versions, so we don't forget
it next time around.
2025-11-04 15:56:39 +01:00
Anders Schack-Mulligen
7ab25b593d
C#: Change note.
2025-11-04 15:43:49 +01:00
yoff
f6eabc278a
Merge pull request #20722 from github/tausbn/python-move-points-to-predicates-to-legacy-module
...
Python: Move `ControlFlowNode`, `Expr`, and `Module` points-to to legacy module
2025-11-04 15:40:37 +01:00
Michael B. Gale
da1e93eb0c
Merge pull request #20754 from github/mbg/2.23.4/backport-dont-fail-if-no-js
...
Backport: Merge pull request #20752 from asgerf/actions/dont-fail-if-no-js
2025-11-04 12:51:24 +00:00
Asger F
6790684767
Merge pull request #20752 from asgerf/actions/dont-fail-if-no-js
...
Actions: don't fail if no JS/TS code was found
2025-11-04 12:19:54 +00:00
Asger F
d297dcd9e9
Merge pull request #20752 from asgerf/actions/dont-fail-if-no-js
...
Actions: don't fail if no JS/TS code was found
2025-11-04 13:12:12 +01:00
Asger F
81bb07a7ba
JS: Fix check to account for override in tests
...
The code was written on the assumption that 'seenCode' implies 'seenFiles' but the unit test override 'hasSeenCode()' to always return true. Which meant we would start taking this branch in the unit tests.
2025-11-04 11:46:02 +01:00
Geoffrey White
077bcf6b92
Merge pull request #20740 from geoffw0/rustbarriers
...
Rust: Add numeric type barriers for three queries
2025-11-04 10:08:46 +00:00
Asger F
105213df03
Update javascript/extractor/src/com/semmle/js/extractor/AutoBuild.java
...
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com >
2025-11-04 09:51:56 +01:00
Asger F
c4d23d16ed
Actions: dont fail if no JS/TS code was found
2025-11-04 09:37:33 +01:00
Michael B. Gale
637e12e7a8
Merge pull request #20745 from github/release-prep/2.23.4
...
Release preparation for version 2.23.4
2025-11-03 15:15:25 +00:00
Michael B. Gale
e825a3acf7
C#: Minor changelog improvements
2025-11-03 15:03:46 +00:00
github-actions[bot]
64fcdd1f2f
Release preparation for version 2.23.4
2025-11-03 14:52:23 +00:00
Michael Nebel
c1ede51fe8
C#: Add change note.
2025-11-03 12:52:27 +01:00
Geoffrey White
c381153125
Apply suggestions from code review
...
Co-authored-by: Tom Hvitved <hvitved@github.com >
2025-11-03 09:38:43 +00:00
Jeroen Ketema
d354b0c97e
Merge pull request #20732 from jketema/swift-6.2-elements
...
Swift: Support AST elements new in Swift 6.2
2025-10-31 19:33:13 +01:00
Geoffrey White
8548c167be
Rust: Autoformat.
2025-10-31 17:30:04 +00:00
Geoffrey White
34f75952d0
Rust: Change note.
2025-10-31 16:40:02 +00:00
Geoffrey White
33efed92b8
Rust: Add integral type barrier for Regex injection.
2025-10-31 16:37:10 +00:00
Geoffrey White
2d4369ac6c
Rust: Add numeric type barrier for log injection.
2025-10-31 16:32:32 +00:00
Geoffrey White
52397f0ce0
Rust: Add numeric type barrier for SQL injection.
2025-10-31 16:25:44 +00:00
Geoffrey White
6433bec699
Rust: Add a test for BuiltinTypes.
2025-10-31 16:24:51 +00:00
Geoffrey White
47019f7f24
Rust: Define NumericType, IntegralType and FloatingPointType in Builtins.qll.
2025-10-31 16:24:39 +00:00
Geoffrey White
aaa3b1bcb4
Rust: Add a couple of new test cases.
2025-10-31 16:20:52 +00:00
Ian Lynagh
7ff696bd2d
Merge pull request #20726 from igfoo/igfoo/ClassInstanceStack
...
Kotlin: Avoid infinite recursion when extracting recursive interfaces
2025-10-31 16:18:39 +00:00
Anders Schack-Mulligen
bda6513fc1
Merge pull request #20737 from aschackmull/csharp/deprecate-abstractvalue
...
C#: Deprecate AbstractValue.
2025-10-31 15:20:24 +01:00
Ian Lynagh
06218d8acd
Kotlin: Add a test for recursive interfaces
2025-10-31 13:42:44 +00:00
Ian Lynagh
9182da1d58
Kotlin: Add a test for nested types
2025-10-31 13:42:44 +00:00
Ian Lynagh
1efecc099c
Kotlin: Avoid infinite recursion when extracting recursive interfaces
2025-10-31 13:42:43 +00:00
Anders Schack-Mulligen
fa20075a4d
C#: Review fix and simplification.
2025-10-31 14:41:32 +01:00
Anders Schack-Mulligen
4f6528a9fb
C#: Deprecate AbstractValue.
2025-10-31 14:23:23 +01:00
Anders Schack-Mulligen
eb93e8ed41
C#: Deprecate controlsBlock.
2025-10-31 14:22:11 +01:00
Anders Schack-Mulligen
4de564eb4e
C#: Replace reference to controlsBlock and simplify.
2025-10-31 14:17:35 +01:00
Anders Schack-Mulligen
f6dfcf1ca4
C#: Delete splitting-aware controls implementation.
2025-10-31 14:17:35 +01:00
Anders Schack-Mulligen
ab2c2ef6ae
C#: Update isUnreachableInCall in dataflow to use Guards library.
2025-10-31 14:17:34 +01:00
Anders Schack-Mulligen
e558c0219c
Merge pull request #20734 from aschackmull/csharp/tweak-nullness
...
C#: Allow nullness sources with SSA at entry.
2025-10-31 14:14:43 +01:00