Repository navigation
Commit c16d913
committed
C++: Re-factor implementation to use the new model generator interface.
1 parent 2535055 commit c16d913
9 files changed
Lines changed: 173 additions & 153 deletions
File tree
- cpp/ql
- src/utils/modelgenerator
- internal
- test/library-tests/dataflow/modelgenerator/dataflow
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -7,6 +7,7 @@ | |||
| 7 | 7 | */ | |
| 8 | 8 | ||
| 9 | 9 | import internal.CaptureModels | |
| 10 | + import SummaryModels | ||
| 10 | 11 | ||
| 11 | 12 | from DataFlowSummaryTargetApi api, string flow | |
| 12 | 13 | where flow = ContentSensitive::captureFlow(api, _) | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -7,6 +7,7 @@ | |||
| 7 | 7 | */ | |
| 8 | 8 | ||
| 9 | 9 | import internal.CaptureModels | |
| 10 | + import SummaryModels | ||
| 10 | 11 | ||
| 11 | 12 | from DataFlowSummaryTargetApi api, string noflow | |
| 12 | 13 | where noflow = captureNeutral(api) | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -7,8 +7,8 @@ | |||
| 7 | 7 | */ | |
| 8 | 8 | ||
| 9 | 9 | import internal.CaptureModels | |
| 10 | - import Heuristic | ||
| 10 | + import SinkModels | ||
| 11 | 11 | ||
| 12 | 12 | from DataFlowSinkTargetApi api, string sink | |
| 13 | - where sink = captureSink(api) | ||
| 13 | + where sink = Heuristic::captureSink(api) | ||
| 14 | 14 | select sink order by sink | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -7,8 +7,8 @@ | |||
| 7 | 7 | */ | |
| 8 | 8 | ||
| 9 | 9 | import internal.CaptureModels | |
| 10 | - import Heuristic | ||
| 10 | + import SourceModels | ||
| 11 | 11 | ||
| 12 | 12 | from DataFlowSourceTargetApi api, string source | |
| 13 | - where source = captureSource(api) | ||
| 13 | + where source = Heuristic::captureSource(api) | ||
| 14 | 14 | select source order by source | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -7,6 +7,7 @@ | |||
| 7 | 7 | */ | |
| 8 | 8 | ||
| 9 | 9 | import internal.CaptureModels | |
| 10 | + import SummaryModels | ||
| 10 | 11 | ||
| 11 | 12 | from DataFlowSummaryTargetApi api, string flow | |
| 12 | 13 | where flow = captureFlow(api, _) | |
0 commit comments