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 |
|
Anders Schack-Mulligen
|
77ccff6be8
|
SSA: Replace exported def-reaches predicates (behaviour-preserving).
|
2025-02-18 14:01:17 +01:00 |
|
Anders Schack-Mulligen
|
6e272d07af
|
SSA: Ignore phi-reads in the new def-reaches module.
|
2025-02-18 14:01:16 +01:00 |
|
Anders Schack-Mulligen
|
ea08c60326
|
SSA: Copy 3 predicates from the outer scope verbatim into the new Reaches module.
|
2025-02-18 14:01:16 +01:00 |
|
Anders Schack-Mulligen
|
613323ee3a
|
SSA: Copy parts of SsaDefReaches verbatim to new module.
|
2025-02-18 14:01:15 +01:00 |
|
Anders Schack-Mulligen
|
81b3035160
|
SSA: Inline predicate
|
2025-02-18 14:01:15 +01:00 |
|
Anders Schack-Mulligen
|
f80cd97232
|
SSA: Factor out phi-read construction in its own predicate.
|
2025-02-18 14:01:14 +01:00 |
|
Anders Schack-Mulligen
|
5723d27428
|
SSA: Make inReadDominanceFrontier a bit smaller without affecting phi-read creation.
|
2025-02-18 14:01:14 +01:00 |
|
Anders Schack-Mulligen
|
c5e28842fb
|
SSA: Remove superfluous column from liveAtRank.
|
2025-02-18 14:01:13 +01:00 |
|
Anders Schack-Mulligen
|
b62432fc80
|
SSA: Remove superfluous boolean.
|
2025-02-18 14:01:13 +01:00 |
|
Anders Schack-Mulligen
|
36613e150b
|
SSA: Remove superfluous conjunct (implied by refRank).
|
2025-02-18 14:01:13 +01:00 |
|
Anders Schack-Mulligen
|
3822d149af
|
SSA: Elaborate qldoc.
|
2025-02-18 14:01:12 +01:00 |
|
github-actions[bot]
|
ad24f94a77
|
Post-release preparation for codeql-cli-2.20.5
|
2025-02-17 17:58:24 +00:00 |
|