1585 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	f202586f5e	Java: Use the shared BasicBlocks library.	2025-05-21 09:01:45 +02:00
REDMOND\brodes	b56472436e	Crypto: Alterations to OpenSSL cipher algorithms to use new fixed keysize predicate.	2025-05-20 10:36:56 -04:00
Tom Hvitved	3fa4ea4da3	Rust: Improve performance of type inference	2025-05-20 10:23:18 +02:00
Simon Friis Vindum	eb5d4efb26	Merge branch 'main' into rust-ti-implementing-type-method	2025-05-20 09:53:51 +02:00
Simon Friis Vindum	98c6783ed9	Rust: Rename predicate and inline predicate only used once	2025-05-20 09:20:35 +02:00
REDMOND\brodes	e7535b3eff	Crypto: Updating JCA to use new key size predicate returning int for elliptic curve.	2025-05-19 13:09:33 -04:00
Simon Friis Vindum	654d410485	Rust: Address PR feedback	2025-05-19 15:50:29 +02:00
Mathias Vorreiter Pedersen	e903d76fa0	Merge pull request #19443 from MathiasVP/generate-more-value-preserving-summaries-2 ... Shared: Generate more value-preserving flow summaries	2025-05-14 09:12:28 +01:00
github-actions[bot]	5f9dd75d7d	Post-release preparation for codeql-cli-2.21.3	2025-05-13 21:49:43 +00:00
github-actions[bot]	2de4a01c86	Release preparation for version 2.21.3	2025-05-13 21:14:27 +00:00
Asger F	169ae19015	Merge pull request #19391 from asgerf/js/typescript-path-resolution ... JS: Overhaul import resolution	2025-05-13 15:46:38 +02:00
Asger F	aea676df3c	Merge pull request #19445 from asgerf/js/summaries-with-fallback ... JS: Generate flow summaries from summaryModels; only generate steps as a fallback	2025-05-13 14:49:38 +02:00
Michael Nebel	a94cffa27e	Shared: Adjust the printing of heuristic value summaries (and fix a minor issue with output printing in captureSink).	2025-05-13 13:44:39 +01:00
Michael Nebel	6c9f248fdb	Shared: Avoid generating taint based heuristic summaries when a content sensitive summary can be generated.	2025-05-13 13:44:38 +01: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
Simon Friis Vindum	bc8580159c	Merge branch 'main' into rust-ti-implementing-type-method	2025-05-12 11:35:48 +02:00
Simon Friis Vindum	0cf60c4e2d	Rust: Address comments on documentation	2025-05-12 11:07:46 +02:00
Asger F	891b2b8335	DataFlow: Support a bare Argument[n] as a valid output stack	2025-05-12 09:42:45 +02:00
Asger F	8fab235d66	DataFlow: Fix typo in a comment	2025-05-12 09:41:49 +02:00
Nicolas Will	cd59ce5b04	Rename shared pack to quantum from experimental	2025-05-09 14:36:12 +02:00
Mathias Vorreiter Pedersen	64371688d7	Shared: Fix QLDoc to make QL4QL happy.	2025-05-08 10:16:09 -04:00
Nicolas Will	d0510bc672	Merge branch 'main' into quantum-experimental	2025-05-08 04:37:37 +02:00
Nicolas Will	ac72abd3a6	Refactor directory structure (shared experimental)	2025-05-08 02:35:09 +02:00
Nicolas Will	c19291be88	Refactor 'cryptography' and 'Quantum' to 'quantum'	2025-05-08 01:38:53 +02:00
Simon Friis Vindum	06cfa9a89c	Rust: Address format fixes suggested in review	2025-05-05 15:21:50 -04:00
REDMOND\brodes	0a0be41527	Intermediate progress towards getting hashing upgraded. Still need to handle the final and update mechanics, matching the JCA. Similarly need to update cipher to follow the JCA for update/final as well.	2025-05-02 16:33:52 -04:00
REDMOND\brodes	7481de75cb	Updating the model to infer implicit cipher key sizes.	2025-05-02 14:07:38 -04:00
Mathias Vorreiter Pedersen	37bc2bf5b3	Shared: Deduplicate flow summaries.	2025-05-02 16:51:15 +01:00
Mathias Vorreiter Pedersen	4d2f2b89e7	Shared/Java/C#/Rust/C++: Rename 'captureHeuristicFlow' to 'captureFlow'.	2025-05-02 14:02:41 +01:00
Mathias Vorreiter Pedersen	54f0eed2c6	Shared: Rename 'asLiftedTaintModel' to 'asLiftedModel'.	2025-05-02 13:54:58 +01:00
Mathias Vorreiter Pedersen	d5bc95daeb	Merge branch 'main' into generate-more-value-preserving-summaries-2	2025-05-02 10:51:11 +01:00
Asger F	0fc1ae272e	DataFlow: expose from FlowSummaries whether a summary is supported	2025-05-01 15:22:12 +02:00
Simon Friis Vindum	e45b5c557d	Rust: Implement type inference support for non-universal impl blocks	2025-05-01 11:59:15 +02:00
Mathias Vorreiter Pedersen	607a1e46da	Shared: Generate value-preserving summaries when possible.	2025-04-30 20:34:27 +01:00
Nicolas Will	83617e099f	Merge pull request #2 from nicolaswill/knewbury01/JCA-sample ... Implement first stage cryptography modelling and queries	2025-04-30 16:39:56 +02:00
Nicolas Will	27c7bf3047	Merge branch 'github:main' into crypto-test	2025-04-30 16:35:26 +02:00
Nicolas Will	9c87ad8293	Merge branch 'brodes/key_agreement' of https://github.com/nicolaswill/codeql into brodes/key_agreement	2025-04-30 16:28:35 +02:00
Nicolas Will	7f24a2557d	Add modelling for JCA key gen cipher algorithm	2025-04-30 16:28:31 +02:00
Michael Nebel	c9d01bc607	Shared: Sprinkle some predicate defaults and clean up.	2025-04-29 15:22:13 +02:00
Michael Nebel	bb6530fcf8	Shared: Make the summary, source and sink model generation a parameterized module.	2025-04-29 15:22:03 +02:00
Michael Nebel	b5c596b2ce	Shared: Split model printing of summaries and sources/sinks into separate param modules.	2025-04-29 15:21:59 +02:00
Mathias Vorreiter Pedersen	daf953fabe	Merge pull request #19404 from MathiasVP/cleanup-PropagateFlowConfig ... Shared: Use `isSink/1` in `PropagateFlowConfig`	2025-04-29 10:30:01 +01:00
Asger F	2ce01bfb9a	Add Folder::Resolve as a generalisation of Folder::Append	2025-04-29 09:42:23 +02:00
Asger F	eb059969e3	Move getAChildContainer one scope up	2025-04-29 09:42:22 +02:00
REDMOND\brodes	ac798f2bc6	Cipher Algorithm Slices	2025-04-28 16:03:41 -04:00
REDMOND\brodes	ce3eabf05a	Updating model to support slicing.	2025-04-28 14:56:28 -04:00
Mathias Vorreiter Pedersen	b91a2cc159	Shared: Use 'isSink/1' in 'PropagateFlowConfig'.	2025-04-28 17:36:37 +01:00
REDMOND\brodes	28ccc83346	Adding a means to distinguish asymmetric algorithms.	2025-04-28 11:33:37 -04:00