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 |
|
Anders Schack-Mulligen
|
9acb58e8c2
|
SSA: Add SsaNode predicates that don't mention DefinitionExt.
|
2025-02-21 14:43:51 +01:00 |
|
Anders Schack-Mulligen
|
1c616d10d4
|
Merge pull request #18819 from aschackmull/ssa/refactor-phiread3
Ssa: Refactor shared SSA in preparation for eliminating phi-read definitions
|
2025-02-21 08:56:38 +01:00 |
|
REDMOND\brodes
|
83dc5b9906
|
Fixing type bug
|
2025-02-20 10:45:33 -05:00 |
|
REDMOND\brodes
|
9ee4a7a7b8
|
Adding a sketch for a CipherOperation concept to model encryption/decryption operations.
|
2025-02-20 10:37:40 -05:00 |
|
Anders Schack-Mulligen
|
8c0cc077c8
|
Ssa: Fix qldoc duplicate word.
|
2025-02-20 15:49:23 +01:00 |
|
Tom Hvitved
|
3bf424b07d
|
CFG: Prune ConditionalCompletionSplitting for unnecessary splits
|
2025-02-20 10:18:13 +01:00 |
|
Anders Schack-Mulligen
|
b76e5f55c6
|
SSA: Deprecate unused predicate.
|
2025-02-19 16:41:49 +01:00 |
|
Anders Schack-Mulligen
|
cf2136fbc7
|
SSA: Export simple firstUse and adjacentUseUse predicates.
|
2025-02-19 16:17:22 +01:00 |
|
REDMOND\brodes
|
3871c6a33e
|
Adding support for encryption operation detection.
|
2025-02-18 16:09:00 -05:00 |
|
Nicolas Will
|
8707e4d9a3
|
Continue Artifact data-flow WIP
|
2025-02-18 18:35:49 +01:00 |
|
Anders Schack-Mulligen
|
35f50bac97
|
SSA: Reimplement use-use.
|
2025-02-18 14:01:20 +01:00 |
|
Anders Schack-Mulligen
|
d6dc91d191
|
SSA: Inline predicate to simplify negation.
|
2025-02-18 14:01:20 +01:00 |
|
Anders Schack-Mulligen
|
411aff6748
|
SSA: Refactor ranking into parameterised module.
|
2025-02-18 14:01:19 +01:00 |
|
Anders Schack-Mulligen
|
11166fc42d
|
SSA: Restrict phi-read creation to be based on reachable reads.
|
2025-02-18 14:01:19 +01:00 |
|