Nicolas Will
|
7e7dfeb40b
|
Merge branch 'main' into openssl_keyagreement_instances_and_consumers
|
2025-06-02 20:02:53 +02:00 |
|
Nicolas Will
|
5a822462ad
|
Merge branch 'main' into openssl_keyagreement_instances_and_consumers
|
2025-06-02 16:54:22 +02:00 |
|
Fredrik Dahlgren
|
d0739b21e5
|
Restricted signature input nodes to verify nodes
|
2025-06-02 15:37:33 +02:00 |
|
REDMOND\brodes
|
cf015d18f1
|
Crypto: Add openssl key agreement instances and consumers (KEM and KEY_EXCH). Fix for raw algorithm names in all current instances. Update constants to include key agreement algorithms, previously missing. Note added in model for the possibility of ESDH.
|
2025-05-30 11:29:34 -04:00 |
|
Fredrik Dahlgren
|
5fe17abe31
|
Added signature input nodes to signature verify operation nodes
|
2025-05-29 13:27:11 +02:00 |
|
Paolo Tranquilli
|
923a2854cb
|
Ruby, Rust: add zstd compression option
|
2025-05-28 16:41:55 +02:00 |
|
Paolo Tranquilli
|
4a9e31ebd8
|
Shared: add zstd crate to tree-sitter-extractor dependencies
|
2025-05-28 16:41:55 +02:00 |
|
Simon Friis Vindum
|
96cba8b8c2
|
Rust: Add inconsistency check for type mentions without a root type
|
2025-05-27 09:33:59 +02:00 |
|
Anders Schack-Mulligen
|
a519eabd4d
|
Merge pull request #19571 from aschackmull/rangeanalysis/guards
Rangeanalysis: Simplify Guards integration.
|
2025-05-26 10:36:22 +02:00 |
|
Tom Hvitved
|
fcfe0a27aa
|
Merge pull request #19570 from hvitved/type-inference/simplify-type-path-repr
Type inference: Simplify internal representation of type paths
|
2025-05-26 10:05:50 +02:00 |
|
Mathias Vorreiter Pedersen
|
0822ded899
|
Merge pull request #19569 from MathiasVP/fix-return-value-surces-in-mad
Shared/C++: Handle non-standard return values in MaD flow sources/sinks
|
2025-05-23 13:58:26 +01:00 |
|
Anders Schack-Mulligen
|
62000319fe
|
Rangeanalysis: Simplify Guards integration.
|
2025-05-23 13:39:53 +02:00 |
|
Tom Hvitved
|
05288d3952
|
Type inference: Simplify internal representation of type paths
|
2025-05-23 13:36:58 +02:00 |
|
Anders Schack-Mulligen
|
f4fb717a34
|
SSA: Add change note.
|
2025-05-23 12:49:01 +02:00 |
|
Mathias Vorreiter Pedersen
|
92e0b64307
|
Shared: Fix QLDoc.
|
2025-05-23 11:43:27 +01:00 |
|
Anders Schack-Mulligen
|
893cb592b5
|
SSA: Elaborate qldoc a bit.
|
2025-05-23 12:35:30 +02:00 |
|
Mathias Vorreiter Pedersen
|
69ea19cb8b
|
Shared: Add a 'getReturnValueKind' predicate and use it in 'interpretOutput' and 'interpretInput' to handle non-standard return value input/output. This is needed to support C++'s ReturnValue[**] notation.
|
2025-05-23 11:16:29 +01:00 |
|
Anders Schack-Mulligen
|
1d30103559
|
SSA: Distinguish between has and controls branch edge.
|
2025-05-23 09:56:22 +02:00 |
|
Tom Hvitved
|
41e4adaf5d
|
Merge pull request #19534 from hvitved/rust/type-inference-performance
Rust: Improve performance of type inference
|
2025-05-21 20:56:52 +02:00 |
|
Nicolas Will
|
7ee1bd61fb
|
Merge pull request #19541 from bdrodes/openssl_ec_key_gen
Openssl ec key gen
|
2025-05-21 16:13:05 +02:00 |
|
Tom Hvitved
|
13861b81a8
|
Address review comments
|
2025-05-21 14:10:32 +02:00 |
|
Anders Schack-Mulligen
|
10efea1075
|
Java/Shared: Address review comments.
|
2025-05-21 09:01:47 +02:00 |
|
Anders Schack-Mulligen
|
db01828717
|
Java: Deprecate redundant basic block predicates.
|
2025-05-21 09:01:46 +02:00 |
|
Anders Schack-Mulligen
|
13c5906e7e
|
Shared: Refactor the shared BasicBlock lib slightly and cache the successor relation.
|
2025-05-21 09:01:45 +02:00 |
|
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 |
|