Geoffrey White
|
43bca84310
|
CPP: Convert test to use a stub rather than a library include.
|
2025-07-30 11:22:53 +01:00 |
|
Geoffrey White
|
a3110a9091
|
Rust: Implement query.
|
2025-07-29 18:19:52 +01:00 |
|
Simon Friis Vindum
|
5b152cfdec
|
Rust: Fix typo in change note
Co-authored-by: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
|
2025-07-29 18:38:14 +02:00 |
|
Simon Friis Vindum
|
5540b9df71
|
Merge branch 'main' into rust/type-inference-fn
|
2025-07-29 16:43:17 +02:00 |
|
Idriss Riouak
|
6c00ceaec9
|
Merge pull request #20134 from github/idrissrio/java-dca-fix
Java: Move `extractorInformationSkipKey` predicate to library pack
|
2025-07-29 15:32:02 +01:00 |
|
idrissrio
|
ac52a1b123
|
Java: Move extractorInformationSkipKey predicate to library pack
|
2025-07-29 09:45:18 +02:00 |
|
Geoffrey White
|
5c64d4e9b7
|
Rust: Query framework.
|
2025-07-28 16:59:01 +01:00 |
|
Geoffrey White
|
897822dff5
|
Rust: The Cargo.lock file has changed as well.
|
2025-07-28 16:55:43 +01:00 |
|
Geoffrey White
|
9972aaf6a1
|
Rust: Add tests cases for cleartext storage.
|
2025-07-28 16:12:34 +01:00 |
|
Simon Friis Vindum
|
9d72fab287
|
Merge pull request #20119 from paldepind/rust/type-inference-assoc-type-tp
Rust: Type inference for impl trait types with type parameters
|
2025-07-28 11:38:17 +02:00 |
|
Anders Schack-Mulligen
|
3b8234ecec
|
SSA: Update data flow integration and BarrierGuard interface to use GuardValue.
|
2025-07-28 11:29:12 +02:00 |
|
Simon Friis Vindum
|
92bce4e432
|
Rust: Split getFunctionReturnPos into two predicates
|
2025-07-28 10:45:59 +02:00 |
|
Simon Friis Vindum
|
9761580b7e
|
Merge branch 'main' into rust/type-inference-assoc-type-tp
|
2025-07-28 10:39:00 +02:00 |
|
Simon Friis Vindum
|
8e474c946e
|
Rust: Add change note for type inference for closures
|
2025-07-28 10:27:33 +02:00 |
|
Anders Schack-Mulligen
|
37b508bf43
|
Merge pull request #20128 from aschackmull/ccr/del-formatting-instruction
Copilot: Remove the formatting instructions, as they're confusing CCR.
|
2025-07-28 10:24:30 +02:00 |
|
Simon Friis Vindum
|
2c758a9842
|
Rust: Add type inference for closures and calls to first-class functions
|
2025-07-27 21:28:10 +02:00 |
|
Simon Friis Vindum
|
8c6c28d61f
|
Rust: Add type inference tests for closures
|
2025-07-27 21:16:30 +02:00 |
|
codeqlhelper
|
75e545a67f
|
Create 2025-07-27-avoid-reporting-static-global-variable.md
|
2025-07-28 00:00:41 +08:00 |
|
codeqlhelper
|
cf21997c0f
|
Reduce false alarms raised by static variables
Static variables are initialized to zero or null by compiler, no need to get an initializer of them.
See https://stackoverflow.com/questions/13251083/the-initialization-of-static-variables-in-c
See 6.7.8/10 in the C99 Standard.
A relevant PR: https://github.com/github/codeql/pull/16527
|
2025-07-27 23:46:53 +08:00 |
|
codeqlhelper
|
89dcad48f4
|
Create InitialisationNotRun.qlref
|
2025-07-27 23:42:50 +08:00 |
|
codeqlhelper
|
c2d0a12e1e
|
Create test for InitialisationNotRun
|
2025-07-27 23:40:00 +08:00 |
|
Simon Friis Vindum
|
13d9d8ad3f
|
Merge pull request #20122 from paldepind/rust/type-inference-dyn-assoc
Rust: Fix type inference for trait objects for traits with associated types
|
2025-07-26 12:40:09 +02:00 |
|
Geoffrey White
|
4b947db0f8
|
Merge pull request #19804 from geoffw0/dotdot
Rust: Update DotDotCheck to use getCanonicalPath
|
2025-07-25 15:50:29 +01:00 |
|
Geoffrey White
|
2951ae9c7c
|
Merge pull request #20124 from geoffw0/clone
Rust: Replace QL model for Clone with MaD
|
2025-07-25 15:46:44 +01:00 |
|
Simon Friis Vindum
|
b2ee625268
|
Rust: Expand doc and make predicate private
|
2025-07-25 15:22:10 +02:00 |
|
Geoffrey White
|
478f39a967
|
Rust: Accept (trivial) test changes.
|
2025-07-25 14:18:34 +01:00 |
|
Anders Schack-Mulligen
|
6511e21f81
|
Remove the formatting instructions, as they're confusing CCR.
|
2025-07-25 14:59:16 +02:00 |
|
Anders Schack-Mulligen
|
6c8275298b
|
Java: Improve ObjFlow performance.
|
2025-07-25 14:41:06 +02:00 |
|
Joe Farebrother
|
c0da9c407e
|
Fix typo in test dir name + update examples
|
2025-07-25 13:15:46 +01:00 |
|
Anders Schack-Mulligen
|
5ca35afb8c
|
Java: Improve joinorder in getErasedRepr.
|
2025-07-25 13:34:11 +02:00 |
|
Anders Schack-Mulligen
|
e3021f4a65
|
Java: Untangle code a bit to improve join order.
|
2025-07-25 13:33:14 +02:00 |
|
Joe Farebrother
|
958fddb638
|
cleanup order and remove duplicates for arithmetic methods
|
2025-07-25 10:57:19 +01:00 |
|
Joe Farebrother
|
d7b855c4e3
|
qhelp fix
|
2025-07-25 10:24:58 +01:00 |
|
Joe Farebrother
|
9af2ab83dc
|
Cleanups
|
2025-07-25 10:22:51 +01:00 |
|
Joe Farebrother
|
8bdf6801b3
|
Add qldoc
|
2025-07-25 10:05:09 +01:00 |
|
Joe Farebrother
|
3525e83ad2
|
Add changenote + some doc updates
|
2025-07-25 09:52:54 +01:00 |
|
Geoffrey White
|
2192ed04be
|
Rust: Add clone MaD trait model.
|
2025-07-25 09:43:34 +01:00 |
|
Geoffrey White
|
4140579dd6
|
Rust: Remove QL model for clone.
|
2025-07-25 08:17:52 +01:00 |
|
Geoffrey White
|
7f659804e4
|
Rust: Fix the canonical path.
|
2025-07-24 17:24:29 +01:00 |
|
Geoffrey White
|
cfe25593ee
|
Merge branch 'main' into dotdot
|
2025-07-24 16:32:36 +01:00 |
|
Joe Farebrother
|
871688f026
|
Update docs
|
2025-07-24 16:01:57 +01:00 |
|
Geoffrey White
|
67c170ffc1
|
Merge branch 'main' into sqlx
|
2025-07-24 15:25:35 +01:00 |
|
Simon Friis Vindum
|
466bf85a67
|
Rust: Fix type inference for trait objects for traits with associated types
|
2025-07-24 16:07:39 +02:00 |
|
Simon Friis Vindum
|
1b2f160b55
|
Rust: Add type inference tests for associated types
|
2025-07-24 16:07:37 +02:00 |
|
Joe Farebrother
|
362bfba049
|
Update unit tests
|
2025-07-24 14:50:36 +01:00 |
|
Joe Farebrother
|
b9f6657ade
|
Remove use of toString. This does also reduce reaults from cases where the exception is not a simple identifier.
|
2025-07-24 13:50:27 +01:00 |
|
Joe Farebrother
|
b1ee795225
|
Merge pull request #20086 from joefarebrother/python-qual-raise-not-implemented
Python: Modernise raise-not-implemented query
|
2025-07-24 13:18:21 +01:00 |
|
Ian Lynagh
|
621b4833f3
|
Merge pull request #20114 from igfoo/igfoo/kotlin-2.2.20
Kotlin: Add Kotlin 2.2.20 support
|
2025-07-24 11:58:51 +01:00 |
|
Joe Farebrother
|
b9738066de
|
try excluding set methods, add methods, update alert messages
|
2025-07-24 11:18:28 +01:00 |
|
Simon Friis Vindum
|
39f602c032
|
Rust: Create injective ids for impl trait type parameters
|
2025-07-24 12:07:11 +02:00 |
|