Ben Rodes
|
e16543ab6d
|
Merge branch 'main' into santander-java-crypto-check
|
2025-10-22 11:51:13 -04:00 |
|
REDMOND\brodes
|
dd60cf9395
|
Crypto: Adjust output of bad mac order queries, update associated bad mac order expected results, fix erroneous change to ID for a slicing query, update model to specify elliptic curve type as a property, update associated graph test expected files, update the not_included_in_qls.expected to reflect all queries now under quantum.
|
2025-10-22 10:29:31 -04:00 |
|
Anders Schack-Mulligen
|
7d0e4f58f3
|
C#: Fix join-order issue in ConstantCondition.
|
2025-10-22 15:52:51 +02:00 |
|
Anders Schack-Mulligen
|
c44e6fc3f0
|
C#: Qldoc tweaks.
|
2025-10-22 10:22:26 +02:00 |
|
Tom Hvitved
|
41602d3efa
|
Address review comments
|
2025-10-21 18:44:42 +02:00 |
|
Tom Hvitved
|
4b70d20cd6
|
Rust: Rework call resolution and type inference for calls
|
2025-10-21 17:58:52 +02:00 |
|
Anders Schack-Mulligen
|
414e5ecbce
|
Merge pull request #20646 from aschackmull/ssa/ssa-sig
SSA: Add a shared signature for SSA and a module to implement it.
|
2025-10-21 12:14:08 +02:00 |
|
Anders Schack-Mulligen
|
242f12d4be
|
SSA: Remove variable capture reference from shared class.
|
2025-10-21 10:52:49 +02:00 |
|
Anders Schack-Mulligen
|
be626bf0ce
|
SSA: Address some review comments.
|
2025-10-20 14:02:56 +02:00 |
|
Tom Hvitved
|
f71cfac40a
|
Data flow: Add various debug predicates
|
2025-10-20 09:59:40 +02:00 |
|
Ben Rodes
|
2b683c210f
|
Merge branch 'main' into santander-java-crypto-check
|
2025-10-18 17:56:43 -04:00 |
|
REDMOND\brodes
|
b4ecb91c83
|
Crypto: Add missing cipher algorithms to JCA. Update node tests to account for missing cipher algorithms.
|
2025-10-17 13:38:47 -04:00 |
|
REDMOND\brodes
|
f480d90a68
|
Crypto: Add missing block mode JCA Models, add block mode unit tests
|
2025-10-17 13:13:14 -04:00 |
|
REDMOND\brodes
|
631e482fd6
|
Crytpo: when key encapsulation or cipher operations have multiple modes at a node, the node name must reflect that it may be any mode.
|
2025-10-15 11:01:49 -04:00 |
|
Anders Schack-Mulligen
|
b196714794
|
SSA: Add a shared signature for SSA and a module to implement it.
|
2025-10-15 11:01:58 +02:00 |
|
github-actions[bot]
|
6dd07790ac
|
Post-release preparation for codeql-cli-2.23.3
|
2025-10-14 11:16:33 +00:00 |
|
github-actions[bot]
|
33542f7d40
|
Release preparation for version 2.23.3
|
2025-10-14 09:30:24 +00:00 |
|
REDMOND\brodes
|
55bbcee301
|
Crypto: Make WeakAsymmetricKeyGenSize a path problem.
|
2025-10-13 17:04:29 -04:00 |
|
REDMOND\brodes
|
7847e92670
|
Crypto: Update KDF iteration and count to be path problems
|
2025-10-13 15:30:53 -04:00 |
|
Mathias Vorreiter Pedersen
|
b57243e073
|
Merge pull request #20579 from aschackmull/shared/rangeanalysis-joinorder
Rangeanalysis: Fix a bad join-order in boundedPhiRankStep.
|
2025-10-13 14:46:48 +02:00 |
|
REDMOND\brodes
|
e76ced1513
|
Crypto: Updating weak asymmetric key gen to include key exchange.
|
2025-10-10 15:32:39 -04:00 |
|
REDMOND\brodes
|
ffd191d0e1
|
Crypto: missing new endpoint to get the creating operation for a key if known.
|
2025-10-10 14:50:50 -04:00 |
|
REDMOND\brodes
|
1b1b333e8b
|
Crypto: Modify suggested queries per misc. side conversations on standards. Remove redundant query. Fix QL-for-QL issues.
|
2025-10-08 10:21:06 -04:00 |
|
REDMOND\brodes
|
cf88e3f52d
|
Crypto: Standardize naming where use of "family" and "type" have been used. Prefer 'type'.
|
2025-10-08 09:54:53 -04:00 |
|
Alex Eyers-Taylor
|
193cd46a76
|
DataFlow: Adress comments on overlay informed dataflow
|
2025-10-07 17:52:12 +01:00 |
|
Alex Eyers-Taylor
|
7a8d2392ee
|
Daatflow: Fix bug
|
2025-10-07 17:52:12 +01:00 |
|
Alex Eyers-Taylor
|
3c110f2eb8
|
DataFlow: Add code for merging base with overlay.
|
2025-10-07 17:52:12 +01:00 |
|
Alex Eyers-Taylor
|
c49e2ab2da
|
DataFlow: Add code to do overlay informed dataflow.
|
2025-10-07 17:52:12 +01:00 |
|
Alex Eyers-Taylor
|
82e4fc9f0f
|
AlertFiltering: Expose filtering further.
|
2025-10-07 17:52:12 +01:00 |
|
Alex Eyers-Taylor
|
8c02130bcf
|
DataFlow: Rearrange files to group the parts that can be shared with overlay aware.
|
2025-10-07 17:52:12 +01:00 |
|
Owen Mansel-Chan
|
b0c8fcda35
|
Merge pull request #20591 from owen-mc/shared/update-inline-expectations-qldoc
Shared: Correct comment about empty `.expected` file
|
2025-10-07 12:47:11 +01:00 |
|
Owen Mansel-Chan
|
bf76cab7e0
|
Correct comment about empty .expected file
|
2025-10-07 11:48:25 +01:00 |
|
Nicolas Will
|
378eb18db5
|
Merge branch 'main' into jca_signature_extensions
|
2025-10-06 14:50:15 +02:00 |
|
REDMOND\brodes
|
9c5765a48c
|
Crypto: Add missing string constants for signature algorithms.
|
2025-10-03 17:17:07 -04:00 |
|
REDMOND\brodes
|
f1eb6511a7
|
Crypto: Add modeling for JCA signatures. Make consistent use of "unknown" or "other" for unrecognized types.
|
2025-10-03 12:07:37 -04:00 |
|
Anders Schack-Mulligen
|
64810f6fb5
|
C#: Improve ConstantCondition.ql
|
2025-10-03 15:29:34 +02:00 |
|
Anders Schack-Mulligen
|
b52a9a818c
|
C#: Instantiate shared Guards.
|
2025-10-03 15:29:32 +02:00 |
|
Anders Schack-Mulligen
|
c01ac307b0
|
Guards: Disregard more trivial guards.
|
2025-10-03 15:29:31 +02:00 |
|
Anders Schack-Mulligen
|
ca7d56023a
|
ControlFlow: Rename getAPhiInput to getAnInput.
|
2025-10-03 15:29:31 +02:00 |
|
Anders Schack-Mulligen
|
64caae554a
|
Guards: Refactor representation of false.
|
2025-10-03 15:29:30 +02:00 |
|
Simon Friis Vindum
|
402d58bc3a
|
Merge pull request #20553 from paldepind/rust-ruby/update-cargo-deps
Rust, ruby: Update cargo dependencies
|
2025-10-03 14:50:55 +02:00 |
|
Anders Schack-Mulligen
|
2e9e357d7e
|
Rangeanalysis: Fix a join-order.
|
2025-10-03 10:52:52 +02:00 |
|
REDMOND\brodes
|
507174e44f
|
Crypto: Fix bug in MacOperationNode constructor with detecting if the operation is also used for signatures.
|
2025-10-02 15:20:59 -04:00 |
|
REDMOND\brodes
|
704a06e1fa
|
Crypto: Update JCA PBKDF2 modeling: 1) add further inheritance structures to make the inheritance decomposition and caveats clearer, and 2) use getConsumer to establish the hash and hmac consumer. Update the Model to expect hash node types specifically for HMAC getHashALgorithmOrUnknown.
|
2025-10-02 11:45:13 -04:00 |
|
Ben Rodes
|
d251b3f9f7
|
Merge branch 'main' into signature_model_refactor
|
2025-10-02 09:02:34 -04:00 |
|
Mathias Vorreiter Pedersen
|
6eb2aad7da
|
Merge pull request #20569 from aschackmull/guards/uniquevalue-perf
Guards: Improve performance for phi nodes with many incoming constant values.
|
2025-10-01 17:19:42 +01:00 |
|
Anders Schack-Mulligen
|
a1028d604c
|
Guards: Improve performance for uniqueValue.
|
2025-10-01 14:08:37 +02:00 |
|
Simon Friis Vindum
|
4846cf4791
|
Cargo: upgrade dependencies
|
2025-09-30 10:21:17 +02:00 |
|
github-actions[bot]
|
a7a4e43991
|
Post-release preparation for codeql-cli-2.23.2
|
2025-09-29 15:10:19 +00:00 |
|
github-actions[bot]
|
d2130a589b
|
Release preparation for version 2.23.2
|
2025-09-29 10:28:45 +00:00 |
|