hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 09:45:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#/Ruby/Java: Fix pragmas.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2022-05-19 11:26:38 +02:00
parent af7df79289
commit 0e830f6052
3 changed files with 9 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImpl.qll
View File

@@ -785,7 +785,7 @@ module Private {
private ParamNode summaryArgParam(ArgNode arg, ReturnNodeExt ret, OutNodeExt out) {
exists(DataFlowCall call, ReturnKindExt rk |
result = summaryArgParam0(call, arg) and
pragma[only_bind_out](ret).getKind() = pragma[only_bind_into](rk) and
ret.getKind() = pragma[only_bind_into](rk) and
out = pragma[only_bind_into](rk).getAnOutNode(call)
)
}
@@ -800,8 +800,8 @@ module Private {
predicate summaryThroughStepValue(ArgNode arg, Node out) {
exists(ReturnKind rk, ReturnNode ret, DataFlowCall call |
summaryLocalStep(summaryArgParam0(call, arg), ret, true) and
ret.getKind() = rk and
out = getAnOutNode(call, rk)
ret.getKind() = pragma[only_bind_into](rk) and
out = getAnOutNode(call, pragma[only_bind_into](rk))
)
}