Commit Graph

86439 Commits

Author SHA1 Message Date
Mathias Vorreiter Pedersen
0836f0b413 C++: Cache and fix join order in 'hasIncompleteSsa'. 2025-05-13 13:41:15 +01:00
Tom Hvitved
7494eac35c Address review comments 2025-05-13 14:26:09 +02:00
Michael Nebel
3449a34018 C#: Address review comments. 2025-05-13 14:20:06 +02:00
Geoffrey White
20a012d5f1 Merge pull request #19454 from geoffw0/deref
Rust: Add Operation class
2025-05-13 13:17:14 +01:00
yoff
1c863b1bd4 Merge pull request #19476 from yoff/ruby/DeadStoreOfLocal-precision-high
ruby: adjust precision of `rb/useless-assignment-to-local`
2025-05-13 13:56:22 +02:00
Mathias Vorreiter Pedersen
c3c18bdbd2 C++: Add change note. 2025-05-13 11:28:25 +01:00
Mathias Vorreiter Pedersen
9d2eb3d9b8 C++: Filter out instructions with incomplete SSA in range analysis. 2025-05-13 10:54:22 +01:00
Mathias Vorreiter Pedersen
510df38da2 C++: Add an 'hasIncompleteSsa' predicate to check whether a function has correctly modelled SSA information. 2025-05-13 10:54:20 +01:00
Simon Friis Vindum
4cc9c24940 Merge pull request #19452 from paldepind/shared-model-generator-script
Shared: Remove the language-specific model generator scripts
2025-05-13 10:17:37 +02:00
Geoffrey White
b3dc7a21b3 Apply suggestions from code review
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
2025-05-13 09:06:25 +01:00
Geoffrey White
2b6e428c37 Merge pull request #19466 from geoffw0/web
Rust: Add tests for web frameworks as taint sources
2025-05-13 09:02:46 +01:00
Simon Friis Vindum
014e7dc4bc Shared: Remove change note for internal MaD generator 2025-05-13 09:50:07 +02:00
Simon Friis Vindum
14bdc1ab22 Shared: Minor tweaks to model generator script
Co-authored-by: Michael Nebel <michaelnebel@github.com>
2025-05-13 09:31:50 +02:00
Michael Nebel
0c0e1d0c46 Merge pull request #19456 from 5idg5/5idg5-update-cs-stubs
Add new stubs definitions to System.Web
2025-05-13 08:56:06 +02:00
Sid Gawri
eb4711e884 Merge branch '5idg5-update-cs-stubs' of https://github.com/5idg5/codeql into 5idg5-update-cs-stubs 2025-05-12 17:41:32 -04:00
5idg5
6a5ce39930 Merge branch 'github:main' into 5idg5-update-cs-stubs 2025-05-12 17:39:33 -04:00
Michael Nebel
5faaa4f0f3 C#: Cleanup test options files. 2025-05-12 17:36:52 -04:00
Michael Nebel
05dc9b6d34 C#: Remove dependency to ASP.NET in the System.Web.cs stub file. 2025-05-12 17:36:10 -04:00
Michael Nebel
60d26e522e C#: Cleanup test options files. 2025-05-12 17:36:08 -04:00
Michael Nebel
82cf472f8a C#: Fix ASP tests. 2025-05-12 17:33:22 -04:00
Michael Nebel
ffd6b2677c C#: Cleanup test options files. 2025-05-12 17:33:21 -04:00
yoff
a50167812d ruby: adjust precision of rb/useless-assignment-to-local
from `medium` to `high`
2025-05-12 23:26:21 +02:00
Owen Mansel-Chan
c933ab4ae2 Apply suggestions from code review
Co-authored-by: Chris Smowton <smowton@github.com>
2025-05-12 16:24:56 -04:00
Mathias Vorreiter Pedersen
f1b4e05579 C++: Expose 'isBusyDef'. 2025-05-12 19:45:19 +01:00
Mathias Vorreiter Pedersen
e51cb478af C++: Expose 'MemoryLocation0'. 2025-05-12 19:43:19 +01:00
Tom Hvitved
cd01bd0e07 Rust: Add LiteralExpr sub classes 2025-05-12 20:35:00 +02:00
Nicolas Will
d3282a9470 Merge pull request #19469 from nicolaswill/quantum-experimental
Add CodeQL Quantum models and queries (Java, C++) to experimental
2025-05-12 19:25:34 +02:00
Geoffrey White
f04d6fd8c8 Rust: Accept minor test changes for the cleartext logging query. 2025-05-12 17:45:00 +01:00
Geoffrey White
a2944cdb61 Rust: Make usage of Impl more consistent with other Impl modules. 2025-05-12 16:48:06 +01:00
Geoffrey White
9160036e41 Rust: Rename OperationImpl -> Impl. 2025-05-12 16:45:41 +01:00
Geoffrey White
7c98fa87da Rust: One more bit of cleanup. 2025-05-12 16:34:08 +01:00
Geoffrey White
402a84f755 Update rust/ql/test/library-tests/dataflow/sources/web_frameworks.rs
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
2025-05-12 16:17:26 +01:00
Geoffrey White
bf8cdffffa Update rust/ql/test/library-tests/dataflow/sources/web_frameworks.rs
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
2025-05-12 16:06:33 +01:00
Geoffrey White
08fcf6114f Apply suggestions from code review
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
2025-05-12 16:01:52 +01:00
Geoffrey White
6678dc490a Merge pull request #19449 from geoffw0/alloc-size-sev
Rust: Update query severities
2025-05-12 15:57:02 +01:00
Geoffrey White
a69a56122f Merge pull request #19455 from geoffw0/quality
Rust: Use the new 'quality' tag.
2025-05-12 15:56:12 +01:00
Michael Nebel
a7ddfe2e89 C#: Address review comments. 2025-05-12 16:06:02 +02:00
Michael Nebel
6cc3c820b4 C#: Add change note. 2025-05-12 15:45:03 +02:00
Michael Nebel
c96003f265 C#: Update test expected output. 2025-05-12 15:45:01 +02:00
Michael Nebel
133e8d4897 C#: Include CompositeFormat.Parse as Format like method. 2025-05-12 15:44:59 +02:00
Michael Nebel
3838a7b0d6 C#: Add a testcase for CompositeFormat.Parse for cs/uncontrolled-format-string. 2025-05-12 15:44:58 +02:00
Michael Nebel
c16be43f15 C#: Convert cs/uncontrolled-format-string tests to use test inline expectations. 2025-05-12 15:44:56 +02:00
Nicolas Will
5334e90717 Make FlowAwareElement private 2025-05-12 14:58:04 +02:00
Nicolas Will
c66ec63333 Fix query compilation errors 2025-05-12 14:48:58 +02:00
Nicolas Will
8f36624171 Add AsymmetricAlgorithmNode, refactor and address feedback 2025-05-12 14:37:44 +02:00
Nicolas Will
ab3f62eed1 Add missing tags to PrintCBOMGraph.ql queries 2025-05-12 14:34:16 +02:00
Geoffrey White
682f59fc11 Rust: Make helper predicate private + autoformat. 2025-05-12 12:49:58 +01:00
Geoffrey White
ac5ec06736 Rust: Constrain SensitiveFieldAccess to avoid including unwanted parents. 2025-05-12 12:47:31 +01:00
Geoffrey White
b907cfe468 Rust: Add a few more test cases involving 'map'. 2025-05-12 12:31:01 +01:00
Geoffrey White
0a3275e0b3 Rust: One more test case. 2025-05-12 11:50:57 +01:00