Anders Schack-Mulligen
|
d95114fb1d
|
SSA: Extend consistency queries.
|
2025-03-06 12:47:37 +01: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 |
|
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 |
|
Geoffrey White
|
1b35c0b7c9
|
Data flow: Improve doc for defaultImplicitTaintRead.
|
2025-02-28 09:43:57 +00:00 |
|
Paolo Tranquilli
|
0f91323100
|
Merge branch 'main' into redsun82/cargo-upgrade
|
2025-02-27 10:05:57 +01:00 |
|
Asger F
|
6e53ebed47
|
Ensure total ranking order to avoid ambiguous results
|
2025-02-26 09:34:06 +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 |
|
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 |
|
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 |
|
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 |
|
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 |
|
Anders Schack-Mulligen
|
d5ac5b4654
|
SSA: Replace uncertainWriteDefinitionInput implementation.
This yields a tiny bit of additional tuples consistent with the prior
Java implementation.
|
2025-02-18 14:01:18 +01:00 |
|
Anders Schack-Mulligen
|
a4fee2e299
|
SSA: Minor perf tweak to reduce tuple duplication.
|
2025-02-18 14:01:18 +01:00 |
|
Anders Schack-Mulligen
|
7e441d9eca
|
SSA: Fold getImmediateBasicBlockDominator into loop-invariant predicate.
|
2025-02-18 14:01:17 +01:00 |
|