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

Swift: Fix TODOs in 'FlowSummary.qll'

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-05-03 13:48:17 +01:00
parent b56b843d13
commit af18c98028
1 changed files with 3 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
swift/ql/lib/codeql/swift/dataflow/FlowSummary.qll
View File

@@ -21,25 +21,11 @@ module SummaryComponent {
predicate content = SummaryComponentInternal::content/1;
/** Gets a summary component for parameter `i`. */
SummaryComponent parameter(int i) {
none() // TODO
}
predicate parameter = SummaryComponentInternal::parameter/1;
/** Gets a summary component for argument `i`. */
SummaryComponent argument(int i) {
none() // TODO
}
predicate argument = SummaryComponentInternal::argument/1;
predicate return = SummaryComponentInternal::return/1;
/** Gets a summary component that represents a qualifier. */
SummaryComponent qualifier() {
none() // TODO
}
/** Gets a summary component that represents the return value of a call. */
SummaryComponent return() { result = return(any(DataFlowDispatch::NormalReturnKind rk)) }
}
class SummaryComponentStack = Impl::Public::SummaryComponentStack;
@@ -52,16 +38,9 @@ module SummaryComponentStack {
predicate push = SummaryComponentStackInternal::push/2;
/** Gets a singleton stack for argument `i`. */
SummaryComponentStack argument(int i) { result = singleton(SummaryComponent::argument(i)) }
predicate argument = SummaryComponentStackInternal::argument/1;
predicate return = SummaryComponentStackInternal::return/1;
/** Gets a singleton stack representing a qualifier. */
SummaryComponentStack qualifier() { result = singleton(SummaryComponent::qualifier()) }
/** Gets a singleton stack representing the return value of a call. */
SummaryComponentStack return() { result = singleton(SummaryComponent::return()) }
}
class SummarizedCallable = Impl::Public::SummarizedCallable;