Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

Commit 2a0097e

Browse filesBrowse files
michaelnebelmichaelnebel
committed
C#/Java/Rust: Use Mixed flow from capture summary models queries and adjust other queries to the re-factored implementation.
1 parent f78be91 commit 2a0097e
Copy full SHA for 2a0097e

24 files changed

+18
-93
lines changed

‎csharp/ql/src/utils/modelgenerator/CaptureMixedNeutralModels.ql

Copy file name to clipboardExpand all lines: csharp/ql/src/utils/modelgenerator/CaptureMixedNeutralModels.ql
-13Lines changed: 0 additions & 13 deletions
This file was deleted.

‎csharp/ql/src/utils/modelgenerator/CaptureMixedSummaryModels.ql

Copy file name to clipboardExpand all lines: csharp/ql/src/utils/modelgenerator/CaptureMixedSummaryModels.ql
-13Lines changed: 0 additions & 13 deletions
This file was deleted.

‎csharp/ql/src/utils/modelgenerator/CaptureNeutralModels.ql

Copy file name to clipboardExpand all lines: csharp/ql/src/utils/modelgenerator/CaptureNeutralModels.ql
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@
99
import internal.CaptureModels
1010

1111
from DataFlowSummaryTargetApi api, string noflow
12-
where noflow = captureNoFlow(api)
12+
where noflow = captureNeutral(api)
1313
select noflow order by noflow

‎csharp/ql/src/utils/modelgenerator/CaptureSinkModels.ql

Copy file name to clipboardExpand all lines: csharp/ql/src/utils/modelgenerator/CaptureSinkModels.ql
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@
99
import internal.CaptureModels
1010

1111
from DataFlowSinkTargetApi api, string sink
12-
where sink = captureSink(api)
12+
where sink = Heuristic::captureSink(api)
1313
select sink order by sink

‎csharp/ql/src/utils/modelgenerator/CaptureSourceModels.ql

Copy file name to clipboardExpand all lines: csharp/ql/src/utils/modelgenerator/CaptureSourceModels.ql
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@
99
import internal.CaptureModels
1010

1111
from DataFlowSourceTargetApi api, string source
12-
where source = captureSource(api)
12+
where source = Heuristic::captureSource(api)
1313
select source order by source

‎csharp/ql/src/utils/modelgenerator/CaptureSummaryModels.ql

Copy file name to clipboardExpand all lines: csharp/ql/src/utils/modelgenerator/CaptureSummaryModels.ql
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@
99
import internal.CaptureModels
1010

1111
from DataFlowSummaryTargetApi api, string flow
12-
where flow = captureFlow(api)
12+
where flow = captureFlow(api, _)
1313
select flow order by flow

‎csharp/ql/src/utils/modelgenerator/debug/CaptureSummaryModelsPartialPath.ql

Copy file name to clipboardExpand all lines: csharp/ql/src/utils/modelgenerator/debug/CaptureSummaryModelsPartialPath.ql
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ import PartialFlow::PartialPathGraph
1414

1515
int explorationLimit() { result = 3 }
1616

17-
module PartialFlow = PropagateFlow::FlowExplorationFwd<explorationLimit/0>;
17+
module PartialFlow = Heuristic::PropagateFlow::FlowExplorationFwd<explorationLimit/0>;
1818

1919
from
2020
PartialFlow::PartialPathNode source, PartialFlow::PartialPathNode sink,

‎csharp/ql/src/utils/modelgenerator/debug/CaptureSummaryModelsPath.ql

Copy file name to clipboardExpand all lines: csharp/ql/src/utils/modelgenerator/debug/CaptureSummaryModelsPath.ql
+1Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@
1010

1111
import csharp
1212
import utils.modelgenerator.internal.CaptureModels
13+
import Heuristic
1314
import PropagateFlow::PathGraph
1415

1516
from

‎java/ql/src/utils/modelgenerator/CaptureMixedNeutralModels.ql

Copy file name to clipboardExpand all lines: java/ql/src/utils/modelgenerator/CaptureMixedNeutralModels.ql
-13Lines changed: 0 additions & 13 deletions
This file was deleted.

‎java/ql/src/utils/modelgenerator/CaptureMixedSummaryModels.ql

Copy file name to clipboardExpand all lines: java/ql/src/utils/modelgenerator/CaptureMixedSummaryModels.ql
-13Lines changed: 0 additions & 13 deletions
This file was deleted.

‎java/ql/src/utils/modelgenerator/CaptureNeutralModels.ql

Copy file name to clipboardExpand all lines: java/ql/src/utils/modelgenerator/CaptureNeutralModels.ql
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@
99
import internal.CaptureModels
1010

1111
from DataFlowSummaryTargetApi api, string noflow
12-
where noflow = captureNoFlow(api)
12+
where noflow = captureNeutral(api)
1313
select noflow order by noflow

‎java/ql/src/utils/modelgenerator/CaptureSinkModels.ql

Copy file name to clipboardExpand all lines: java/ql/src/utils/modelgenerator/CaptureSinkModels.ql
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@
99
import internal.CaptureModels
1010

1111
from DataFlowSinkTargetApi api, string sink
12-
where sink = captureSink(api)
12+
where sink = Heuristic::captureSink(api)
1313
select sink order by sink

‎java/ql/src/utils/modelgenerator/CaptureSourceModels.ql

Copy file name to clipboardExpand all lines: java/ql/src/utils/modelgenerator/CaptureSourceModels.ql
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@
99
import internal.CaptureModels
1010

1111
from DataFlowSourceTargetApi api, string source
12-
where source = captureSource(api)
12+
where source = Heuristic::captureSource(api)
1313
select source order by source

‎java/ql/src/utils/modelgenerator/CaptureSummaryModels.ql

Copy file name to clipboardExpand all lines: java/ql/src/utils/modelgenerator/CaptureSummaryModels.ql
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@
99
import internal.CaptureModels
1010

1111
from DataFlowSummaryTargetApi api, string flow
12-
where flow = captureFlow(api)
12+
where flow = captureFlow(api, _)
1313
select flow order by flow

‎java/ql/src/utils/modelgenerator/debug/CaptureSummaryModelsPartialPath.ql

Copy file name to clipboardExpand all lines: java/ql/src/utils/modelgenerator/debug/CaptureSummaryModelsPartialPath.ql
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ import PartialFlow::PartialPathGraph
1515

1616
int explorationLimit() { result = 3 }
1717

18-
module PartialFlow = PropagateFlow::FlowExplorationFwd<explorationLimit/0>;
18+
module PartialFlow = Heuristic::PropagateFlow::FlowExplorationFwd<explorationLimit/0>;
1919

2020
from
2121
PartialFlow::PartialPathNode source, PartialFlow::PartialPathNode sink,

‎java/ql/src/utils/modelgenerator/debug/CaptureSummaryModelsPath.ql

Copy file name to clipboardExpand all lines: java/ql/src/utils/modelgenerator/debug/CaptureSummaryModelsPath.ql
+1Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,7 @@
1111
import java
1212
import semmle.code.java.dataflow.DataFlow
1313
import utils.modelgenerator.internal.CaptureModels
14+
import Heuristic
1415
import PropagateFlow::PathGraph
1516

1617
from

‎rust/ql/src/utils/modelgenerator/CaptureMixedNeutralModels.ql

Copy file name to clipboardExpand all lines: rust/ql/src/utils/modelgenerator/CaptureMixedNeutralModels.ql
-13Lines changed: 0 additions & 13 deletions
This file was deleted.

‎rust/ql/src/utils/modelgenerator/CaptureMixedSummaryModels.ql

Copy file name to clipboardExpand all lines: rust/ql/src/utils/modelgenerator/CaptureMixedSummaryModels.ql
-13Lines changed: 0 additions & 13 deletions
This file was deleted.

‎rust/ql/src/utils/modelgenerator/CaptureNeutralModels.ql

Copy file name to clipboardExpand all lines: rust/ql/src/utils/modelgenerator/CaptureNeutralModels.ql
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@
99
import internal.CaptureModels
1010

1111
from DataFlowSummaryTargetApi api, string noflow
12-
where noflow = captureNoFlow(api)
12+
where noflow = Heuristic::captureNoFlow(api)
1313
select noflow order by noflow

‎rust/ql/src/utils/modelgenerator/CaptureSinkModels.ql

Copy file name to clipboardExpand all lines: rust/ql/src/utils/modelgenerator/CaptureSinkModels.ql
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@
99
import internal.CaptureModels
1010

1111
from DataFlowSinkTargetApi api, string sink
12-
where sink = captureSink(api)
12+
where sink = Heuristic::captureSink(api)
1313
select sink order by sink

‎rust/ql/src/utils/modelgenerator/CaptureSourceModels.ql

Copy file name to clipboardExpand all lines: rust/ql/src/utils/modelgenerator/CaptureSourceModels.ql
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@
99
import internal.CaptureModels
1010

1111
from DataFlowSourceTargetApi api, string source
12-
where source = captureSource(api)
12+
where source = Heuristic::captureSource(api)
1313
select source order by source

‎rust/ql/src/utils/modelgenerator/CaptureSummaryModels.ql

Copy file name to clipboardExpand all lines: rust/ql/src/utils/modelgenerator/CaptureSummaryModels.ql
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@
99
import internal.CaptureModels
1010

1111
from DataFlowSummaryTargetApi api, string flow
12-
where flow = captureFlow(api)
12+
where flow = captureFlow(api, _)
1313
select flow order by flow

‎rust/ql/src/utils/modelgenerator/debug/CaptureSummaryModelsPartialPath.ql

Copy file name to clipboardExpand all lines: rust/ql/src/utils/modelgenerator/debug/CaptureSummaryModelsPartialPath.ql
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@ import PartialFlow::PartialPathGraph
1414

1515
int explorationLimit() { result = 3 }
1616

17-
module PartialFlow = PropagateFlow::FlowExplorationFwd<explorationLimit/0>;
17+
module PartialFlow = Heuristic::PropagateFlow::FlowExplorationFwd<explorationLimit/0>;
1818

1919
from
2020
PartialFlow::PartialPathNode source, PartialFlow::PartialPathNode sink,

‎rust/ql/src/utils/modelgenerator/debug/CaptureSummaryModelsPath.ql

Copy file name to clipboardExpand all lines: rust/ql/src/utils/modelgenerator/debug/CaptureSummaryModelsPath.ql
+1Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -10,6 +10,7 @@
1010

1111
private import codeql.rust.dataflow.DataFlow
1212
import utils.modelgenerator.internal.CaptureModels
13+
import Heuristic
1314
import PropagateFlow::PathGraph
1415

1516
from

0 commit comments

Comments
0 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.