C++: Model bsl functions in Swap.qll.

This commit is contained in:
Cornelius Riemenschneider
2021-02-15 15:40:17 +00:00
committed by GitHub
parent 9b8d94d76e
commit 3afe934a05

View File

@@ -9,7 +9,7 @@ import semmle.code.cpp.models.interfaces.Alias
* ```
*/
private class Swap extends DataFlowFunction {
Swap() { this.hasQualifiedName("std", "swap") }
Swap() { this.hasQualifiedName(["std", "bsl"], "swap") }
override predicate hasDataFlow(FunctionInput input, FunctionOutput output) {
input.isParameterDeref(0) and