hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-22 03:36:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update python/ql/lib/semmle/python/dataflow/new/internal/TypeTrackerSpecific.qll

Browse Source 
Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
This commit is contained in:
yoff
2023-06-14 20:57:14 +02:00
committed by GitHub
parent 2ae5dae474
commit af72509ce6
1 changed files with 6 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -200,24 +200,18 @@ private module SummaryTypeTrackerInput implements SummaryTypeTracker::Input {
class SummaryComponentStack = FlowSummary::SummaryComponentStack;
SummaryComponentStack singleton(SummaryComponent component) {
result = FlowSummary::SummaryComponentStack::singleton(component)
}
predicate singleton = FlowSummary::SummaryComponentStack::singleton/1;
SummaryComponentStack push(SummaryComponent component, SummaryComponentStack stack) {
result = FlowSummary::SummaryComponentStack::push(component, stack)
}
predicate push = FlowSummary::SummaryComponentStack::push/2;
// Relating content to summaries
SummaryComponent content(TypeTrackerContent contents) {
result = FlowSummary::SummaryComponent::content(contents)
}
predicate content = FlowSummary::SummaryComponent::content/1;
SummaryComponent withoutContent(TypeTrackerContent contents) { none() }
predicate withoutContent = FlowSummary::SummaryComponent::withoutContent/1;
SummaryComponent withContent(TypeTrackerContent contents) { none() }
predicate withContent = FlowSummary::SummaryComponent::withContent/1;
SummaryComponent return() { result = FlowSummary::SummaryComponent::return() }
predicate return = FlowSummary::SummaryComponent::return/0;
// Relating nodes to summaries
Node argumentOf(Node call, SummaryComponent arg) {