1547 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	422d9e1f93	Rust: Minor refactoring of type inference	2025-03-15 13:47:08 +01:00
Simon Friis Vindum	210b4db908	Rust: Encapsulate type parameter decoding/encoding	2025-03-15 13:41:46 +01:00
Anders Schack-Mulligen	ecb5e7ad07	C++: Fix spurious ExprNode fanout in DataFlowIntegration.	2025-03-14 10:51:26 +01:00
Anders Schack-Mulligen	9375e571b1	C++: Use SSA data flow integration module.	2025-03-14 10:51:24 +01:00
Tom Hvitved	af91152f5c	Address review comments	2025-03-13 15:04:59 +01:00
Tom Hvitved	78280af570	Rust: Use 'infer' instead of 'resolve' in type inference library	2025-03-13 13:34:43 +01:00
Tom Hvitved	3a58611271	Shared: Add shared type inference library	2025-03-13 13:23:09 +01:00
REDMOND\brodes	71eae39feb	Adding missing block modes.	2025-03-11 15:19:42 -04:00
REDMOND\brodes	44b1e921d6	commenting out hash size for now, TODO	2025-03-11 14:10:04 -04:00
REDMOND\brodes	085e8d40fd	Hash nodes have instances.	2025-03-11 14:06:36 -04:00
REDMOND\brodes	fe52351aed	Stubbing out hash operation node, borrowing from cipher operaiton node	2025-03-10 14:10:55 -04:00
REDMOND\brodes	0672027822	Tracing new notion of known getters, which now includes direct getters for cipher and hash. Removed a redundant hash qll, and fixed misplacement of has type in model.	2025-03-10 11:46:26 -04:00
REDMOND\brodes	d99812a10d	Adding GOSTHash to THashType.	2025-03-10 09:59:28 -04:00
Asger F	d84368eb54	Merge pull request #18858 from Napalys/js/react-relay ... JS: React-relay support	2025-03-10 14:33:23 +01:00
REDMOND\brodes	64241caf1d	Merge branch 'brodes/cipher_operation' of https://github.com/nicolaswill/codeql into brodes/cipher_operation	2025-03-07 14:25:13 -05:00
REDMOND\brodes	bac0a635f9	Initial hash models for openssl.	2025-03-07 14:24:01 -05:00
Nicolas Will	47affa0fed	Restore location output for nodes	2025-03-07 18:30:58 +01:00
REDMOND\brodes	cf72fde911	Fixing cross product in getPropertyAsGraphString (parameter root not bound in all cases, fixing using a bindingetset)	2025-03-07 12:11:12 -05:00
REDMOND\brodes	32d29ffde3	Changed casing on TCipherType, Added some initial fixes for hash support, started developing openssl hashing modeling.	2025-03-07 10:02:36 -05:00
Anders Schack-Mulligen	d075466958	Merge pull request #18941 from aschackmull/ssa/refactor4 ... Ssa: Extend consistency checks and reduce phi read nodes	2025-03-07 15:18:02 +01:00
Napalys	89040d0d06	Added missing response and request MaD source kinds.	2025-03-06 18:10:25 +01:00
Anders Schack-Mulligen	9e6bdbbcbb	SSA: Don't add phi-reads for frontiers of uncertain reads.	2025-03-06 12:47:38 +01:00
Anders Schack-Mulligen	d95114fb1d	SSA: Extend consistency queries.	2025-03-06 12:47:37 +01:00
REDMOND\brodes	de3ff45cba	Misc updates for OpenSSL modeling to trace algorithm literals to known alg getters, and converting the literal to a TCipherType.	2025-03-05 15:17:52 -05:00
Anders Schack-Mulligen	c6761db2fc	SSA: Replace the Guards interface in the SSA data flow integration.	2025-03-05 13:29:31 +01:00
Anders Schack-Mulligen	709d36b502	Merge pull request #18869 from aschackmull/ssa/refactor3 ... Ssa: Update qltests including consistency checks	2025-03-05 11:40:27 +01:00
Anders Schack-Mulligen	6c89602691	SSA: Add some qldoc.	2025-03-04 12:24:25 +01:00
Anders Schack-Mulligen	f5eb2d94bc	SSA: Use Definition.getLocation in DefinitionExt.	2025-03-04 12:24:25 +01:00
Anders Schack-Mulligen	00b8c80c24	SSA/C#/Ruby/Rust: Clean up SSA consistency queries. ... The RelevantDefinition class is no longer needed since the introduction of LocationSig.	2025-03-04 12:24:23 +01:00
Anders Schack-Mulligen	2f744ce3ec	SSA: Expose module for qltesting adjacent references.	2025-03-04 12:24:22 +01:00
Anders Schack-Mulligen	9e03b12ba0	C#/Java/Ruby/Rust/SSA: Replace DefinitionExt with SourceVariable in data flow integration predicates.	2025-03-04 12:24:21 +01:00
Anders Schack-Mulligen	39bba7f5c2	SSA: Change a few DefinitionExt uses that are actually just Definitions.	2025-03-04 12:24:21 +01:00
Anders Schack-Mulligen	42eef9e4b7	SSA: Deprecate getDefinitionExt.	2025-03-04 12:24:20 +01:00
github-actions[bot]	58f355ae5a	Post-release preparation for codeql-cli-2.20.6	2025-03-03 18:18:15 +00:00
Nicolas Will	627790f98b	Clean up consumer and instance interfaces	2025-03-03 19:06:53 +01:00
github-actions[bot]	fa850cccb1	Release preparation for version 2.20.6	2025-03-03 17:13:19 +00:00
Paolo Tranquilli	9740232df8	Merge branch 'main' into redsun82/cargo-upgrade	2025-03-03 10:15:17 +01:00
Nicolas Will	cf33cf7653	Add input and output nodes and fix cross product	2025-02-28 15:21:46 +01:00
Geoffrey White	1b35c0b7c9	Data flow: Improve doc for defaultImplicitTaintRead.	2025-02-28 09:43:57 +00:00
Nicolas Will	0354afc365	Make ArtifactConsumers instances of some Artifacts ... TODO: refactor the interfaces	2025-02-27 15:54:38 +01:00
Paolo Tranquilli	0f91323100	Merge branch 'main' into redsun82/cargo-upgrade	2025-02-27 10:05:57 +01:00
Nicolas Will	ef0614ad45	Restore removed node location output	2025-02-27 05:45:27 +01:00
Nicolas Will	04f4683399	Rewrite handling of known unknowns and data-flow	2025-02-27 05:42:02 +01:00
Asger F	6e53ebed47	Ensure total ranking order to avoid ambiguous results	2025-02-26 09:34:06 +01:00
Nicolas Will	f55f27b0d9	Expand handling of generic artifact sources	2025-02-25 18:22:38 +01:00
Paolo Tranquilli	2585c2f908	Merge branch 'main' into redsun82/cargo-upgrade	2025-02-25 17:03:25 +01:00
Asger F	ff36d1916f	Merge pull request #18810 from asgerf/js/test-related-locations ... Test: Add support for RelatedLocation tag and use in a JS query	2025-02-25 16:40:41 +01:00
Anders Schack-Mulligen	994a8eea39	Merge pull request #18857 from aschackmull/ssa/refactor-df-integr ... Ssa: Refactor the data flow integration module	2025-02-25 15:04:11 +01:00
Asger F	bb8f4529bf	Fix bug when RelatedLocation was used with a query ID	2025-02-25 14:52:32 +01:00
Paolo Tranquilli	d9ecb6255e	Shared: fix clippy warning	2025-02-25 13:41:34 +01:00