github-actions[bot]
|
79be301984
|
Post-release preparation for codeql-cli-2.19.0
|
2024-09-16 14:09:32 +00:00 |
|
github-actions[bot]
|
acdafd9646
|
Release preparation for version 2.19.0
|
2024-09-16 10:56:10 +00:00 |
|
Dave Bartolomeo
|
485fc04029
|
Initial merge from main
|
2024-09-15 08:55:31 -04:00 |
|
github-actions[bot]
|
97edff3f70
|
Post-release preparation for codeql-cli-2.18.4
|
2024-09-09 18:45:46 +00:00 |
|
github-actions[bot]
|
91537cdf9a
|
Release preparation for version 2.18.4
|
2024-09-09 16:08:48 +00:00 |
|
Anders Schack-Mulligen
|
7b8e707465
|
Merge pull request #17362 from aschackmull/dataflow/typofix
Dataflow: Fix minor typo.
|
2024-09-04 10:39:31 +02:00 |
|
Anders Schack-Mulligen
|
a0f0854fdb
|
Dataflow: Fix minor typo.
|
2024-09-03 14:26:02 +02:00 |
|
Tom Hvitved
|
26c5e7b2d1
|
Merge pull request #17308 from hvitved/dataflow/flow-through-restriction
Data flow: Reduce non-linear recursion in `fwdFlow0`
|
2024-09-03 11:30:57 +02:00 |
|
Tom Hvitved
|
07fcd81e7e
|
Address review comments
|
2024-09-03 10:13:09 +02:00 |
|
Tom Hvitved
|
1057bb443f
|
Data flow: Simplify FwdFlowIn interface
|
2024-09-02 16:10:34 +02:00 |
|
Henry Mercer
|
4ebfafbec2
|
Merge pull request #17336 from github/henrymercer/rc-3.15-mergeback
Merge `rc/3.15` back into `main`
|
2024-09-02 11:43:19 +01:00 |
|
Michael Nebel
|
89c387cf5c
|
Merge pull request #17326 from michaelnebel/shared/contentflowtaint
DataFlow: Bugfix in content flow state for value preservation.
|
2024-08-30 09:23:50 +02:00 |
|
Henry Mercer
|
3490067316
|
Merge branch 'main' into henrymercer/rc-3.15-mergeback
|
2024-08-29 19:48:01 +01:00 |
|
Michael Nebel
|
ff31aa540c
|
Address review comments.
|
2024-08-29 15:54:04 +02:00 |
|
Tom Hvitved
|
49a4f3a82f
|
Data flow: Reduce non-linear recursion in fwdFlow0
|
2024-08-28 17:29:23 +02:00 |
|
Michael Nebel
|
6d346dbedd
|
DataFlow: Bugfix in flow state for value preservation.
|
2024-08-28 14:40:04 +02:00 |
|
Anders Schack-Mulligen
|
6a9bd0de1d
|
Dataflow: Include FlowState in SummaryCtx.
|
2024-08-28 14:13:28 +02:00 |
|
Tom Hvitved
|
7f8e6bf574
|
Merge pull request #16970 from hvitved/dataflow/local-big-step-stage
Data flow: Compute local big step relation as stage output
|
2024-08-28 12:28:16 +02:00 |
|
Tom Hvitved
|
27bc8ed6af
|
Address review comment
|
2024-08-28 11:38:29 +02:00 |
|
Tom Hvitved
|
b589fcad11
|
Data flow: Tweak join-order in toNormalSinkNodeEx
|
2024-08-27 15:42:24 +02:00 |
|
Tom Hvitved
|
80b6135a64
|
Data flow: Move toNormalSinkNodeEx into PathNodeMid
|
2024-08-27 15:42:13 +02:00 |
|
Michael Nebel
|
287857c5db
|
Merge pull request #17301 from michaelnebel/shared/contentflowbadjoin
Shared: Fix bad join in content flow.
|
2024-08-27 10:17:04 +02:00 |
|
Anders Schack-Mulligen
|
b3fa4f3d9e
|
Merge pull request #17289 from aschackmull/dataflow/summaryctx
Dataflow: Simplify using a SummaryCtx type.
|
2024-08-27 09:32:43 +02:00 |
|
Michael Nebel
|
77bfe39ca7
|
Shared: Address review comments.
|
2024-08-26 15:24:56 +02:00 |
|
Michael Nebel
|
4381bae5d1
|
Shared: Fix bad join.
|
2024-08-26 15:24:54 +02:00 |
|
Anders Schack-Mulligen
|
d8c8bcd386
|
Dataflow: Tweak qldoc.
|
2024-08-26 15:12:37 +02:00 |
|
Anders Schack-Mulligen
|
cbb58d0041
|
Dataflow: Add a getLocation rootdef.
|
2024-08-26 15:05:30 +02:00 |
|
Asger F
|
592e2eafb6
|
Merge pull request #17262 from asgerf/shared/implicit-read
Shared: restrict flow after using implicit read
|
2024-08-26 11:48:50 +02:00 |
|
Tom Hvitved
|
e5d626f907
|
Data flow: Only recompute local big step in stage 6
|
2024-08-26 09:58:29 +02:00 |
|
Tom Hvitved
|
c92c96fa78
|
Data flow: Compute local big step relation per stage
|
2024-08-26 09:15:27 +02:00 |
|
Anders Schack-Mulligen
|
65189e09f5
|
Dataflow: Simplify using a SummaryCtx type.
|
2024-08-23 14:18:46 +02:00 |
|
Asger F
|
c3b36325b2
|
Shared: prevent use-use flow through implicit reads (part 1)
|
2024-08-23 11:02:28 +02:00 |
|
Michael Nebel
|
20d9fd11ac
|
Merge pull request #17288 from michaelnebel/shared/contentflow
Shared: ContentFlow.
|
2024-08-23 09:52:27 +02:00 |
|
Michael Nebel
|
19c2eb17c4
|
C#: Remove redundant imports.
|
2024-08-23 09:04:13 +02:00 |
|
Michael Nebel
|
e6424f0f45
|
Shared: Make ContentDataFlow reusable.
|
2024-08-22 15:45:58 +02:00 |
|
Michael Nebel
|
4cd34531c6
|
Shared: Add a copy of the existing C# Content Dataflow implementation.
|
2024-08-22 15:07:45 +02:00 |
|
github-actions[bot]
|
0724fd7ce2
|
Post-release preparation for codeql-cli-2.18.3
|
2024-08-21 18:25:54 +00:00 |
|
github-actions[bot]
|
17cd9624fb
|
Release preparation for version 2.18.3
|
2024-08-21 17:13:52 +00:00 |
|
Anders Schack-Mulligen
|
5fbdd83a23
|
Dataflow: Rename StagePathNode to PathNode.
|
2024-08-21 10:51:28 +02:00 |
|
Anders Schack-Mulligen
|
273c0bd121
|
Dataflow: Delete dead code.
|
2024-08-21 10:51:28 +02:00 |
|
Anders Schack-Mulligen
|
1787bcb05a
|
Dataflow: Replace PathNode with Stage implementation.
|
2024-08-21 10:51:24 +02:00 |
|
Anders Schack-Mulligen
|
74739bedfc
|
Dataflow: Add Stage 6 instantiation.
|
2024-08-21 10:44:46 +02:00 |
|
Anders Schack-Mulligen
|
831a66d812
|
Dataflow: Add getANonHiddenSuccessor to StagePathNodeImpl.
|
2024-08-21 10:44:45 +02:00 |
|
Anders Schack-Mulligen
|
e594e7283d
|
Dataflow: Check stateful in/out-barriers in each stage.
|
2024-08-21 10:44:45 +02:00 |
|
Anders Schack-Mulligen
|
c2b25c7f2b
|
Dataflow: Check clearsContent on store targets in StagePathGraph.
|
2024-08-21 10:44:44 +02:00 |
|
Anders Schack-Mulligen
|
b8d0b691da
|
Dataflow: Introduce sink projection and add successor as member predicate.
|
2024-08-21 10:44:44 +02:00 |
|
Anders Schack-Mulligen
|
bc1dd45d4f
|
Dataflow: Make private
|
2024-08-21 10:44:43 +02:00 |
|
Anders Schack-Mulligen
|
9429e5ccba
|
Dataflow: Update StagePathNode.toString.
|
2024-08-21 10:44:43 +02:00 |
|
Anders Schack-Mulligen
|
81a815c343
|
Dataflow: Add StagePathNode.getState.
|
2024-08-21 10:44:43 +02:00 |
|
Anders Schack-Mulligen
|
bdcc5e7b67
|
Dataflow: Refactor getLocation
|
2024-08-21 10:44:42 +02:00 |
|