1620 Commits

Author	SHA1	Message	Date
Tom Hvitved	f2380d3ef1	Merge pull request #20612 from hvitved/rust/type-inference-blanket-non-satisfaction ... Rust: Compute incompatible blanket implementations	2025-10-28 14:00:55 +01:00
Tom Hvitved	409f7fb743	Address review comments	2025-10-28 11:48:45 +01:00
Nora Dimitrijević	462d8c5dc4	Shared: update qldoc	2025-10-28 09:40:48 +01:00
Tom Hvitved	0e885e9297	Rust: Compute incompatible blanket implementations	2025-10-24 11:37:24 +02:00
Anders Schack-Mulligen	72d83cc966	ControlFlowReachability: Align the SSA signature with the one from shared SSA.	2025-10-23 10:57:21 +02:00
Anders Schack-Mulligen	f257c7a570	Guards: Align the SSA signature with the one from shared SSA.	2025-10-23 10:23:22 +02:00
Anders Schack-Mulligen	20147cdd2b	Shared/Java: Rename ControlFlowReachability library.	2025-10-23 09:07:34 +02:00
Anders Schack-Mulligen	8a3f62b9b6	Merge pull request #20558 from aschackmull/csharp/guards3 ... C#: Instantiate shared Guards and shared ControlFlowReachability and replace nullness	2025-10-23 08:43:14 +02:00
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