Merge pull request #5173 from criemen/bsl-swap

C++: Model bsl functions in Swap.qll.
This commit is contained in:
Geoffrey White
2021-02-16 11:20:41 +00:00
committed by GitHub

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