hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

ruby/python: make SummaryTypeTracker private

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2023-06-13 11:32:06 +02:00
parent 8cae151883
commit 203f8226cb
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackerSpecific.qll
View File

@@ -179,7 +179,7 @@ private predicate argumentPositionMatch(
)
}
module SummaryTypeTrackerInput implements SummaryTypeTracker::Input {
private module SummaryTypeTrackerInput implements SummaryTypeTracker::Input {
// Dataflow nodes
class Node = DataFlowPublic::Node;
@@ -258,4 +258,4 @@ module SummaryTypeTrackerInput implements SummaryTypeTracker::Input {
Node callTo(SummarizedCallable callable) { result = callable.getACallSimple() }
}
module TypeTrackerSummaryFlow = SummaryTypeTracker::SummaryFlow<SummaryTypeTrackerInput>;
private module TypeTrackerSummaryFlow = SummaryTypeTracker::SummaryFlow<SummaryTypeTrackerInput>;

4
ruby/ql/lib/codeql/ruby/typetracking/TypeTrackerSpecific.qll
View File

@@ -350,7 +350,7 @@ predicate isNonLocal(SummaryComponent component) {
private import SummaryTypeTracker as SummaryTypeTracker
private import codeql.ruby.dataflow.FlowSummary as FlowSummary
module SummaryTypeTrackerInput implements SummaryTypeTracker::Input {
private module SummaryTypeTrackerInput implements SummaryTypeTracker::Input {
// Dataflow nodes
class Node = DataFlow::Node;
@@ -448,4 +448,4 @@ module SummaryTypeTrackerInput implements SummaryTypeTracker::Input {
Node callTo(SummarizedCallable callable) { result.asExpr().getExpr() = callable.getACallSimple() }
}
module TypeTrackerSummaryFlow = SummaryTypeTracker::SummaryFlow<SummaryTypeTrackerInput>;
private module TypeTrackerSummaryFlow = SummaryTypeTracker::SummaryFlow<SummaryTypeTrackerInput>;