Skip to content

Commit 2de6340

Browse files
committed
Sync FlowSummaryImpl.qll
Done using sync-files.py
1 parent 83a2569 commit 2de6340

File tree

2 files changed

+8
-4
lines changed

2 files changed

+8
-4
lines changed

csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -921,13 +921,15 @@ module Private {
921921

922922
private predicate inputNeedsReference(string c) {
923923
c = "Argument" or
924-
parseArg(c, _)
924+
parseArg(c, _) or
925+
inputNeedsReferenceSpecific(c)
925926
}
926927

927928
private predicate outputNeedsReference(string c) {
928929
c = "Argument" or
929930
parseArg(c, _) or
930-
c = "ReturnValue"
931+
c = "ReturnValue" or
932+
outputNeedsReferenceSpecific(c)
931933
}
932934

933935
private predicate sourceElementRef(InterpretNode ref, string output, string kind) {

ruby/ql/lib/codeql/ruby/dataflow/internal/FlowSummaryImpl.qll

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -921,13 +921,15 @@ module Private {
921921

922922
private predicate inputNeedsReference(string c) {
923923
c = "Argument" or
924-
parseArg(c, _)
924+
parseArg(c, _) or
925+
inputNeedsReferenceSpecific(c)
925926
}
926927

927928
private predicate outputNeedsReference(string c) {
928929
c = "Argument" or
929930
parseArg(c, _) or
930-
c = "ReturnValue"
931+
c = "ReturnValue" or
932+
outputNeedsReferenceSpecific(c)
931933
}
932934

933935
private predicate sourceElementRef(InterpretNode ref, string output, string kind) {

0 commit comments

Comments
 (0)