Anders Schack-Mulligen
|
36532bc58c
|
SSA: Skip identity steps.
|
2025-03-25 12:31:02 +01:00 |
|
Anders Schack-Mulligen
|
4e2ad9712c
|
SSA: Skip phi nodes with unique successor.
|
2025-03-25 12:31:02 +01:00 |
|
Anders Schack-Mulligen
|
669f9261f1
|
SSA: Skip irrelevant phi input nodes.
|
2025-03-25 12:31:01 +01:00 |
|
Anders Schack-Mulligen
|
c778bf6343
|
SSA: Rename SsaInputDefinitionExt
|
2025-03-25 12:31:01 +01:00 |
|
Anders Schack-Mulligen
|
5aa7029934
|
SSA: Add support for skipping WriteDefinitions in use-use.
|
2025-03-25 12:31:00 +01:00 |
|
Simon Friis Vindum
|
06c8963f70
|
Shared: Infer types for type parameters with contraints
|
2025-03-25 09:03:44 +01:00 |
|
Simon Friis Vindum
|
ba9edf8d25
|
Shared: Refactor type inference
|
2025-03-25 06:32:36 +01:00 |
|
Simon Friis Vindum
|
7dc49da6b0
|
Shared: Fix path in qldoc
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2025-03-24 11:38:15 +01:00 |
|
Nicolas Will
|
e9c3e14fab
|
Merge branch 'brodes/cipher_operation' of https://github.com/nicolaswill/codeql into brodes/cipher_operation
|
2025-03-22 08:01:06 +01:00 |
|
Nicolas Will
|
fb7c003398
|
Add initial MAC support for JCA, refactor hashes
|
2025-03-22 08:01:03 +01:00 |
|
Simon Friis Vindum
|
e0ef24154a
|
Rust: Small tweaks to doc comments based on PR feedback
|
2025-03-21 08:30:14 +01:00 |
|
REDMOND\brodes
|
9278a41578
|
Merge branch 'brodes/cipher_operation' of https://github.com/nicolaswill/codeql into brodes/cipher_operation
|
2025-03-20 16:28:43 -04:00 |
|
REDMOND\brodes
|
b695641362
|
Add signature to cipher operation
|
2025-03-20 16:27:20 -04:00 |
|
Nicolas Will
|
d18dac0c8e
|
Add JCA key (generation) modelling
|
2025-03-20 21:26:18 +01:00 |
|
Paolo Tranquilli
|
13370200cc
|
Cargo: upgrade dependencies
|
2025-03-20 16:48:29 +01:00 |
|
Simon Friis Vindum
|
b2fc4f80fb
|
Rust: Adjustments to type inference
|
2025-03-20 16:38:06 +01:00 |
|
Simon Friis Vindum
|
659077769b
|
Merge pull request #19062 from paldepind/rust-ti-1
Rust: Improve handling of trait bounds
|
2025-03-20 14:38:03 +01:00 |
|
REDMOND\brodes
|
63aaebbea6
|
.
|
2025-03-19 18:30:06 -04:00 |
|
Chris Smowton
|
9a2a13ed55
|
Merge remote-tracking branch 'origin/main' into smowton/admin/merge-rc317-into-main
|
2025-03-19 16:01:29 +00:00 |
|
Simon Friis Vindum
|
0d770c8c91
|
Rust: Improve handling of type parameters with trait bounds
|
2025-03-19 16:34:23 +01:00 |
|
Nicolas Will
|
95607c5f31
|
Refactor instances and consumers + add JCA hashes
|
2025-03-18 22:05:00 +01:00 |
|
github-actions[bot]
|
51cdeefafb
|
Post-release preparation for codeql-cli-2.20.7
|
2025-03-17 13:00:41 +00:00 |
|
Simon Friis Vindum
|
81b28df089
|
Merge branch 'main' into rust-type-inference-tweaks
|
2025-03-17 13:18:45 +01:00 |
|
github-actions[bot]
|
2d64a618e6
|
Release preparation for version 2.20.7
|
2025-03-17 12:15:54 +00:00 |
|
Simon Friis Vindum
|
75355e9e53
|
Rust: Revert conjunct reorder
|
2025-03-17 07:46:54 +01:00 |
|
Tom Hvitved
|
dfc39272b4
|
Rust: Limit TypePaths to at most length 10
|
2025-03-16 20:35:16 +01:00 |
|
Simon Friis Vindum
|
4c3768f771
|
Rust: Add comments for type inference
|
2025-03-15 13:51:15 +01:00 |
|
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 |
|