Paolo Tranquilli
6f36ea9188
Merge branch 'main' into rust-experiment
...
Conflicts:
shared/tree-sitter-extractor/src/trap.rs
2024-09-09 14:15:34 +02:00
Paolo Tranquilli
2c472dd5b8
Tree-sitter: fix formatting
2024-09-09 11:59:17 +02:00
Paolo Tranquilli
4454566d8d
Tree-sitter: allow multiple sources per trap file
...
This generalizes the location cache to allow multiple sources to be
extracted in the same trap file, by adding `file_label` to `Location`,
and therefore to location cache keys. This will be used by the Rust
extractor.
2024-09-09 09:17:45 +02:00
Michael Nebel
a5b462292f
Merge pull request #17330 from michaelnebel/java/modelgenfieldbased
...
Java/C#: Field based model generator (Experimental).
2024-09-06 11:11:46 +02:00
Paolo Tranquilli
b23e482ed2
Merge branch 'main' into rust-experiment
2024-09-05 12:29:29 +02:00
Tom Hvitved
ce2df04854
Merge pull request #17350 from hvitved/tree-sitter-0.23
...
Bump `tree-sitter` to `0.23.0`
2024-09-04 13:45:14 +02: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
Tom Hvitved
eb1b2a5594
Bump tree-sitter to 0.23.0
2024-09-04 09:47:59 +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
Michael Nebel
6365e5edff
Java: Initial implementation of content based model generation.
2024-09-03 09:45:11 +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
Paolo Tranquilli
7e1290aa74
Rust: reuse shared rust trap library
2024-08-30 16:08:37 +02: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
