Anders Schack-Mulligen
|
4d2c67857f
|
Merge pull request #19573 from aschackmull/guardslib
Shared/Java: Add shared Guards library and switch Java to use it.
|
2025-06-26 09:28:32 +02:00 |
|
Michael Nebel
|
cfadd30f98
|
C#: Add change-note.
|
2025-06-26 08:52:18 +02:00 |
|
Michael Nebel
|
becd46a47e
|
C#: Add MaD models for Microsoft.Data.SqlClient.
|
2025-06-26 08:51:10 +02:00 |
|
Michael Nebel
|
f3eafd33ff
|
C#: Exclude Microsoft.Data.SqlClient.SqlCommand from the best effort SqlSink creation.
|
2025-06-26 08:46:49 +02:00 |
|
Michael Nebel
|
ed7f68279f
|
C#: Add cs/sql-injection tests for APIs in Microsoft.Data.SqlClient.
|
2025-06-26 08:44:50 +02:00 |
|
Anders Schack-Mulligen
|
6f4adb8892
|
Shared: address review comments.
|
2025-06-26 07:17:37 +02:00 |
|
Anders Schack-Mulligen
|
5ddddaecdc
|
Java: Add change note.
|
2025-06-26 07:17:36 +02:00 |
|
Anders Schack-Mulligen
|
4645856f09
|
Java: document FP
|
2025-06-26 07:17:36 +02:00 |
|
Anders Schack-Mulligen
|
73810a6d85
|
Java: Fix perf issue.
|
2025-06-26 07:17:35 +02:00 |
|
Anders Schack-Mulligen
|
5a34a1a51b
|
Shared: Try caching.
|
2025-06-26 07:17:35 +02:00 |
|
Anders Schack-Mulligen
|
d4c897f8e2
|
Java: Fix perf issue.
|
2025-06-26 07:17:35 +02:00 |
|
Anders Schack-Mulligen
|
42b1b12aa1
|
Java: Fix qltests
|
2025-06-26 07:17:34 +02:00 |
|
Anders Schack-Mulligen
|
5c0dcd980d
|
Java: Switch to the shared Guards library.
|
2025-06-26 07:17:34 +02:00 |
|
Anders Schack-Mulligen
|
cc13193cb6
|
Java: Replace some references to basicNullGuard.
|
2025-06-26 07:17:33 +02:00 |
|
Anders Schack-Mulligen
|
0607fefc57
|
Java: Refactor integerGuard.
|
2025-06-26 07:17:33 +02:00 |
|
Anders Schack-Mulligen
|
a2778eee75
|
Java: Refactor clearlyNotNullExpr into a base case that does not rely on SSA.
|
2025-06-26 07:17:32 +02:00 |
|
Anders Schack-Mulligen
|
22d5dc999a
|
Shared: Bugfix for unique value implication.
|
2025-06-26 07:17:32 +02:00 |
|
Anders Schack-Mulligen
|
378209a6ad
|
Shared: Simplify and improve joins.
|
2025-06-26 07:17:31 +02:00 |
|
Anders Schack-Mulligen
|
b19bff9a4e
|
Shared: Switch case guards to be the case statements.
|
2025-06-26 07:17:31 +02:00 |
|
Anders Schack-Mulligen
|
f772493f4c
|
Shared: Elaborate qldoc.
|
2025-06-26 07:17:31 +02:00 |
|
Anders Schack-Mulligen
|
73ae613b7a
|
Shared: Many tweaks to Guards.
|
2025-06-26 07:17:30 +02:00 |
|
Anders Schack-Mulligen
|
c212d0ac8f
|
Shared: Improve shared guards lib.
|
2025-06-26 07:17:30 +02:00 |
|
Anders Schack-Mulligen
|
16c5b57953
|
Shared: Extend the shared Guards library with support for exception branch points.
|
2025-06-26 07:17:29 +02:00 |
|
Anders Schack-Mulligen
|
14b87f97b9
|
Shared: Extend the shared Guards library with support for custom wrappers.
|
2025-06-26 07:17:29 +02:00 |
|
Anders Schack-Mulligen
|
1d75008eba
|
Shared: Add a shared Guards library inspired by the Java and C# versions.
|
2025-06-26 07:17:28 +02:00 |
|
Anders Schack-Mulligen
|
994c1f6427
|
Java: Add hasInputFromBlock predicate in BaseSSA.
|
2025-06-26 07:17:28 +02:00 |
|
Anders Schack-Mulligen
|
a0c849139c
|
Java: Add guards-logic qltest with inline expectation.
|
2025-06-26 07:17:28 +02:00 |
|
Jami
|
aa65f54b1d
|
Merge pull request #19882 from owen-mc/go/avoid-deprecated-class
Go: Avoid using deprecated class
|
2025-06-25 21:16:08 -04:00 |
|
Owen Mansel-Chan
|
9663ecad21
|
Avoid using deprecated class
|
2025-06-26 01:46:14 +01:00 |
|
Owen Mansel-Chan
|
0f07ab58cf
|
Merge pull request #19654 from owen-mc/go/fix-definedtype-getbasetype
Go: fix `DefinedType.getBaseType`
|
2025-06-26 00:19:19 +01:00 |
|
Owen Mansel-Chan
|
d7b1d7bef4
|
Merge pull request #19677 from owen-mc/go/better-class-names-and-helpers
Go: Improve two class names and add some helper predicates
|
2025-06-26 00:17:32 +01:00 |
|
Chris Smowton
|
2291e10ce6
|
Fix typo
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-06-25 21:38:22 +02:00 |
|
Tom Hvitved
|
8c240399c1
|
Rust: Apply MaD trait models to implementations
|
2025-06-25 21:32:24 +02:00 |
|
Tom Hvitved
|
3e54c61f52
|
Rust: Add MaD trait tests
|
2025-06-25 21:32:22 +02:00 |
|
Tom Hvitved
|
5e265b10c7
|
Rust: Trait call dispatch in dataflow
|
2025-06-25 21:32:21 +02:00 |
|
Tom Hvitved
|
a4ed5da50b
|
Rust: Add data flow tests involving traits
|
2025-06-25 21:32:19 +02:00 |
|
REDMOND\brodes
|
7559c06fdb
|
Merge branch 'operation_step_refactor' of https://github.com/bdrodes/codeql into operation_step_refactor
|
2025-06-25 15:26:21 -04:00 |
|
REDMOND\brodes
|
7477471bc5
|
Crypto: Bug fix in output model
|
2025-06-25 15:25:51 -04:00 |
|
Nicolas Will
|
6571c11eb7
|
Merge branch 'main' into operation_step_refactor
|
2025-06-25 20:38:11 +02:00 |
|
Nicolas Will
|
98479ff6c3
|
Crypto: Update queries to use new type names
|
2025-06-25 20:34:33 +02:00 |
|
Nicolas Will
|
ad7358ac4f
|
Crypto: Deduplicate "GCM" mapping from OpenSSL modeling
|
2025-06-25 20:26:38 +02:00 |
|
Nicolas Will
|
8e6031df14
|
Crypto: Fix further acronym casing and remove unused field
|
2025-06-25 20:25:33 +02:00 |
|
Nicolas Will
|
b8097501b6
|
Update cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmInstances/KnownAlgorithmConstants.qll
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-06-25 20:12:51 +02:00 |
|
Nicolas Will
|
14472bf744
|
Crypto: Refactor type name mapping and fix QL-for-QL alerts
|
2025-06-25 20:08:14 +02:00 |
|
REDMOND\brodes
|
8280cbcaa1
|
Crypto: Update JCA model to include new model.qll updates.
|
2025-06-25 13:55:47 -04:00 |
|
Paolo Tranquilli
|
6803bf3861
|
Merge pull request #19851 from github/redsun82/rust-emission-trait
Rust: refactor `pre_emit!` and `post_emit!` to a trait
|
2025-06-25 19:22:29 +02:00 |
|
REDMOND\brodes
|
f9147cfb2b
|
Crypto: Remove experimental qll file
|
2025-06-25 12:26:41 -04:00 |
|
REDMOND\brodes
|
9cd2241bf6
|
Crypto: Remove accidentally uploaded temporary file.
|
2025-06-25 11:36:40 -04:00 |
|
REDMOND\brodes
|
072765abca
|
Crypto: Code scanning warning corrections.
|
2025-06-25 11:16:49 -04:00 |
|
REDMOND\brodes
|
93bad3c799
|
Crypto: Misc bug fixes and updated expected files.
|
2025-06-25 11:02:30 -04:00 |
|