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

Rust: Ensure singleton

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-09-22 14:23:50 +02:00
parent 4244a6569c
commit 45b84ffb31
2 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
rust/ql/lib/codeql/rust/dataflow/internal/FlowSummaryImpl.qll
View File

@@ -168,12 +168,12 @@ private module StepsInput implements Impl::Private::StepsInputSig {
or
exists(ArgumentPosition pos, Expr arg |
s.head() = Impl::Private::SummaryComponent::parameter(pos) and
arg = getSourceNodeArgument(source, s.tail().head()) and
arg = getSourceNodeArgument(source, s.tail().headOfSingleton()) and
result.asParameter() = getCallable(arg).getParam(pos.getPosition())
)
or
result.(RustDataFlow::PostUpdateNode).getPreUpdateNode().asExpr().getExpr() =
getSourceNodeArgument(source, s.head())
getSourceNodeArgument(source, s.headOfSingleton())
}
RustDataFlow::Node getSinkNode(Input::SinkBase sink, Impl::Private::SummaryComponent sc) {

3
shared/dataflow/codeql/dataflow/internal/FlowSummaryImpl.qll
View File

@@ -709,6 +709,9 @@ module Make<
this = TConsSummaryComponentStack(result, _)
}
/** Gets the head of this stack if it is a singleton. */
SummaryComponent headOfSingleton() { this = TSingletonSummaryComponentStack(result) }
/** Gets the tail of this stack, if any. */
SummaryComponentStack tail() { this = TConsSummaryComponentStack(_, result) }