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

C#: Fix dataflow.

Browse Source
This commit is contained in:
calum
2019-01-31 19:46:15 +00:00
parent 92eb857dac
commit 5144f89a5b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/ql/src/semmle/code/csharp/dataflow/LibraryTypeDataFlow.qll
View File

@@ -85,7 +85,7 @@ private module Cached {
exists(LibraryTypeDataFlow ltdf, CallableFlowSource csource, CallableFlowSinkDelegateArg csink |
ltdf.callableFlow(csource, csink, callable, preservesValue) and
call.getTarget().getSourceDeclaration() = callable and
csink = getDelegateFlowSinkArg(callable, i, j) and
csink = getDelegateFlowSinkArg(callable, j, i) and
source = csource.getSource(call)
)
}
@@ -107,7 +107,7 @@ private module Cached {
ltdf.callableFlow(csource, csink, callable, preservesValue) and
call.getTarget().getSourceDeclaration() = callable and
csource = getDelegateFlowSourceArg(callable, i) and
csink = getDelegateFlowSinkArg(callable, j, k)
csink = getDelegateFlowSinkArg(callable, k, j)
)
}
}