Geoffrey White
|
91ced7ea0c
|
Merge pull request #20109 from github/copilot/fix-20108
Rust: Remove sourceModelDeprecated, summaryModelDeprecated and sinkModelDeprecated
|
2025-07-23 14:33:22 +01:00 |
|
Joe Farebrother
|
73d257e538
|
Port unexpected raise away from pointsto
|
2025-07-23 14:13:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
cbe5561eb6
|
C++: Accept test changes.
|
2025-07-23 14:05:42 +01:00 |
|
Nora Dimitrijević
|
83fe9e0d51
|
[DIFF-INFORMED] Rust: AccessInvalidPointer
|
2025-07-23 14:52:44 +02:00 |
|
Nora Dimitrijević
|
31a73d466b
|
[DIFF-INFORMED] Rust: AccessAfterLifetime
|
2025-07-23 14:52:32 +02:00 |
|
Nora Dimitrijević
|
56ae8684e1
|
[DIFF-INFORMED] Rust: UncontrolledAllocationSize
|
2025-07-23 14:52:14 +02:00 |
|
Nora Dimitrijević
|
fcc3800756
|
[DIFF-INFORMED] Rust: CleartextLogging
|
2025-07-23 14:52:07 +02:00 |
|
Nora Dimitrijević
|
091163bf8e
|
[DIFF-INFORMED] Rust: CleartextTransmission
|
2025-07-23 14:52:00 +02:00 |
|
Nora Dimitrijević
|
78c40e209b
|
[DIFF-INFORMED] Rust: SqlInjection
|
2025-07-23 14:51:52 +02:00 |
|
Nora Dimitrijević
|
574bb871e0
|
[DIFF-INFORMED] Rust: TaintedPath
|
2025-07-23 14:51:45 +02:00 |
|
Nora Dimitrijević
|
329fd803e2
|
[DIFF-INFORMED] Rust: RegexInjection
|
2025-07-23 14:51:33 +02:00 |
|
Mathias Vorreiter Pedersen
|
9d736723fb
|
C++: Add more Windows specific models for memcpy-like tings.
|
2025-07-23 13:45:20 +01:00 |
|
Mathias Vorreiter Pedersen
|
50785f7f21
|
C++: Add tests with missing flow.
|
2025-07-23 13:37:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
63e5c52d7e
|
Merge pull request #20107 from MathiasVP/add-overrun-write-barriers
C++: Add more barriers to `cpp/overrun-write`
|
2025-07-23 13:30:07 +01:00 |
|
Simon Friis Vindum
|
f5605c94c5
|
Rust: Add change note for type inference of trait objects
|
2025-07-23 14:08:22 +02:00 |
|
Simon Friis Vindum
|
12942667bf
|
Rust: Add type inference for dyn types
|
2025-07-23 14:08:15 +02:00 |
|
Simon Friis Vindum
|
605c8e201e
|
Rust: Add type inference tests for dyn types
|
2025-07-23 14:03:53 +02:00 |
|
Ian Lynagh
|
604af65b02
|
Kotlin: Opt in to DeprecatedForRemovalCompilerApi
We'll need a proper fix for this, but this will keep things working in
the meantime.
|
2025-07-23 12:51:12 +01:00 |
|
Ian Lynagh
|
709c111522
|
Kotlin: Add getJvmModuleNameForDeserializedDescriptor wrapper
It has been removed in 2.2.20.
|
2025-07-23 12:51:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
3a977b86d4
|
Update cpp/ql/lib/semmle/code/cpp/security/ProductFlowUtils/ProductFlowUtils.qll
Co-authored-by: Idriss Riouak <idrissrio@github.com>
|
2025-07-23 12:27:38 +01:00 |
|
Matt Schwager
|
d8b9d4d17a
|
Add change-note
|
2025-07-23 07:03:26 -04:00 |
|
Mathias Vorreiter Pedersen
|
5d6c4a63bb
|
Update cpp/ql/lib/semmle/code/cpp/security/ProductFlowUtils/ProductFlowUtils.qll
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-07-23 11:53:55 +01:00 |
|
Simon Friis Vindum
|
49ecc60c0f
|
Merge pull request #20076 from paldepind/rust/type-inference-cleanup-join
Rust: Type inference refactor and improve join orders
|
2025-07-23 12:53:43 +02:00 |
|
Ian Lynagh
|
d1da041fcf
|
Kotlin: Regenerate
Ran "../tools/bazel mod tidy"
|
2025-07-23 11:53:06 +01:00 |
|
Ian Lynagh
|
8432f6e42e
|
Kotlin: Add 2.2.20-Beta1 version
|
2025-07-23 11:52:48 +01:00 |
|
Ian Lynagh
|
965f1fc547
|
Kotlin: Add 2.2.20 deps
|
2025-07-23 11:51:45 +01:00 |
|
Ian Lynagh
|
f148f434e1
|
Kotlin: Add a changenote for the addition of 2.2.2x support
|
2025-07-23 11:49:38 +01:00 |
|
Mathias Vorreiter Pedersen
|
019447b681
|
C++: Add change note.
|
2025-07-23 11:49:07 +01:00 |
|
Ian Lynagh
|
ad391df03f
|
Kotlin: Support 2.2.20
|
2025-07-23 11:47:52 +01:00 |
|
copilot-swe-agent[bot]
|
defd4a1d08
|
Add change note for removal of deprecated dataflow predicates
Co-authored-by: geoffw0 <40627776+geoffw0@users.noreply.github.com>
|
2025-07-23 10:41:31 +00:00 |
|
copilot-swe-agent[bot]
|
f1df63657b
|
Add CodeQL autoformatter instructions to copilot-instructions.md
Co-authored-by: geoffw0 <40627776+geoffw0@users.noreply.github.com>
|
2025-07-23 10:08:51 +00:00 |
|
Nick Rolfe
|
28d3a6b404
|
Merge pull request #20113 from github/post-release-prep/codeql-cli-2.22.2
Post-release preparation for codeql-cli-2.22.2
|
2025-07-23 06:05:34 -04:00 |
|
Nora Dimitrijević
|
766b0bf773
|
Merge pull request #20082 from d10c/d10c/diff-informed-phase-3-swift
Swift: Diff-informed queries: phase 3 (non-trivial locations)
|
2025-07-23 11:56:04 +02:00 |
|
github-actions[bot]
|
68a96a44d8
|
Post-release preparation for codeql-cli-2.22.2
|
2025-07-23 09:53:25 +00:00 |
|
Nick Rolfe
|
ff54dfe8aa
|
Merge pull request #20112 from github/release-prep/2.22.2
Release preparation for version 2.22.2
codeql-cli/v2.22.2
|
2025-07-23 05:40:18 -04:00 |
|
Nick Rolfe
|
2c03d1f14a
|
Tweak changenotes
|
2025-07-23 10:38:57 +01:00 |
|
copilot-swe-agent[bot]
|
2cc732e235
|
Apply QL autoformatter to ModelsAsData.qll
Co-authored-by: geoffw0 <40627776+geoffw0@users.noreply.github.com>
|
2025-07-23 09:38:10 +00:00 |
|
github-actions[bot]
|
26296c44d3
|
Release preparation for version 2.22.2
|
2025-07-23 09:32:53 +00:00 |
|
Nick Rolfe
|
a883db0935
|
Merge pull request #20110 from github/revert-20105-release-prep/2.22.2
Revert "Release preparation for version 2.22.2"
|
2025-07-23 05:30:33 -04:00 |
|
Nick Rolfe
|
12ebf717eb
|
Revert "Release preparation for version 2.22.2"
|
2025-07-23 10:09:23 +01:00 |
|
copilot-swe-agent[bot]
|
0245cd872c
|
Remove deprecated Rust dataflow predicates and associated classes
Co-authored-by: geoffw0 <40627776+geoffw0@users.noreply.github.com>
|
2025-07-23 08:49:24 +00:00 |
|
copilot-swe-agent[bot]
|
69d50e103f
|
Initial plan
|
2025-07-23 08:41:24 +00:00 |
|
Geoffrey White
|
68f0dfe046
|
Shared: Fix after merge.
|
2025-07-23 08:55:44 +01:00 |
|
Geoffrey White
|
4f6b698ca3
|
Merge branch 'main' into moresensitive2
|
2025-07-23 08:50:25 +01:00 |
|
Simon Friis Vindum
|
f432cf9c4d
|
Merge pull request #20041 from paldepind/rust/type-inference-tuples
Rust: Type inference for tuples
|
2025-07-23 08:21:27 +02:00 |
|
Ian Lynagh
|
09dd708086
|
Merge pull request #20031 from igfoo/igfoo/kotlin-tests-2.2.0
Kotlin: Run the tests with 2.2.0
|
2025-07-22 22:20:40 +01:00 |
|
Mathias Vorreiter Pedersen
|
1189665970
|
C++: Add barriers to 'cpp/overrun-write'.
|
2025-07-22 18:35:56 +01:00 |
|
Mathias Vorreiter Pedersen
|
a502bb1ac2
|
C++: Add a copy of 'isSinkPairImpl' (named 'isSinkPairImpl0') with a few more columns that we'll need.
|
2025-07-22 18:35:50 +01:00 |
|
Mathias Vorreiter Pedersen
|
e0eadc75dd
|
C++: Remove the ad-hoc code for keeping track of increments/decrements on pointers in the 'cpp/overrun-write' query.
|
2025-07-22 18:35:31 +01:00 |
|
Mathias Vorreiter Pedersen
|
a1f4246c5f
|
C++: Extract the barriers from 'cpp/invalid-pointer-deref' into a library.
|
2025-07-22 18:35:29 +01:00 |
|