We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0267b32 commit 4fded84Copy full SHA for 4fded84
python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackerSpecific.qll
@@ -207,9 +207,9 @@ private module SummaryTypeTrackerInput implements SummaryTypeTracker::Input {
207
// Relating content to summaries
208
predicate content = FlowSummary::SummaryComponent::content/1;
209
210
- predicate withoutContent = FlowSummary::SummaryComponent::withoutContent/1;
+ SummaryComponent withoutContent(TypeTrackerContent contents) { none() }
211
212
- predicate withContent = FlowSummary::SummaryComponent::withContent/1;
+ SummaryComponent withContent(TypeTrackerContent contents) { none() }
213
214
predicate return = FlowSummary::SummaryComponent::return/0;
215
0 commit comments