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 |
|
Paolo Tranquilli
|
83e442a266
|
Rust/Ruby: run cargo upgrade --incompatible --pinned
|
2025-02-25 13:31:16 +01:00 |
|
Paolo Tranquilli
|
d2105a7528
|
Shared: format code again
|
2025-02-25 13:31:06 +01:00 |
|
Paolo Tranquilli
|
1bcc6ddb32
|
Rust/Ruby/Python: apply clippy lints
|
2025-02-25 13:21:28 +01:00 |
|
Paolo Tranquilli
|
6089a75262
|
Rust/Ruby/Python: format code
|
2025-02-25 13:19:03 +01:00 |
|
Paolo Tranquilli
|
eff87d24fa
|
Rust/Ruby/Python: update rustc and edition
|
2025-02-25 13:15:19 +01:00 |
|
Asger F
|
694f01ab78
|
Fix column count and add clarifying comment
|
2025-02-25 11:57:01 +01:00 |
|
Anders Schack-Mulligen
|
b1b72b73ed
|
SSA: Add qldoc.
|
2025-02-25 10:35:57 +01:00 |
|
Anders Schack-Mulligen
|
f00f2c6f47
|
SSA: Deprecate public SsaDefinitionExtNode and SsaInputNode.
|
2025-02-25 10:03:43 +01:00 |
|
Anders Schack-Mulligen
|
57c4fd6f25
|
JS: Combine phi reads and ssa input nodes into SynthReadNode class.
|
2025-02-25 09:23:53 +01:00 |
|
Nicolas Will
|
eb91ecf1fb
|
Add generic artifact data-flow
The relation between RNG and other artifacts has been added
Nonce has been completed to report its source
|
2025-02-25 02:53:13 +01:00 |
|
Nicolas Will
|
2b0b927b0b
|
Add Nonce association to Operation, update graph
|
2025-02-24 17:37:41 +01:00 |
|
Geoffrey White
|
24411b61e9
|
Fix typo.
|
2025-02-24 13:59:22 +00:00 |
|
Anders Schack-Mulligen
|
0583d85f20
|
C#: Remove getDefinitionExt references.
|
2025-02-24 14:22:59 +01:00 |
|
Anders Schack-Mulligen
|
09454f9f14
|
SSA: Remove unused.
|
2025-02-24 13:02:03 +01:00 |
|
Anders Schack-Mulligen
|
782b6cfb9a
|
SSA: Fix bug in guards for ssa input nodes.
|
2025-02-24 13:00:06 +01:00 |
|
Anders Schack-Mulligen
|
88fe4faf9d
|
SSA: Remove nodes that are no longer used.
|
2025-02-24 11:00:48 +01:00 |
|
Anders Schack-Mulligen
|
09b2aeb53a
|
SSA: Replace use-use step implementation in data-flow integration.
|
2025-02-24 10:58:14 +01:00 |
|
REDMOND\brodes
|
86cab46b8d
|
Misc. updates to support all JCA cipher operations, including wrap, unwrap and doFinal calls. Corrected pathing for init tracing to detect what mode is being set along a path. Added support for tracing the init operation mode argument to source. Since this involved creating an Operation Mode, changes were also made to make cipher block modes (CBC) more explicit (previously just called mode, but now that term is used for various purposes).
|
2025-02-21 12:53:35 -05:00 |
|
Asger F
|
e2fe74ccd6
|
JS: Add support for RelatedLocation tags
|
2025-02-21 14:44:45 +01:00 |
|