Skip to content

Commit d41c55c

Browse files
committed
Add needed predicates for Ruby and C#
This was done manually.
1 parent 2de6340 commit d41c55c

File tree

2 files changed

+12
-0
lines changed

2 files changed

+12
-0
lines changed

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

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -171,6 +171,12 @@ string getParameterPositionCsv(ParameterPosition pos) { result = pos.toString()
171171
/** Gets the textual representation of an argument position in the format used for flow summaries. */
172172
string getArgumentPositionCsv(ArgumentPosition pos) { result = pos.toString() }
173173

174+
/** Holds if input specification component `c` needs a reference. */
175+
predicate inputNeedsReferenceSpecific(string c) { none() }
176+
177+
/** Holds if output specification component `c` needs a reference. */
178+
predicate outputNeedsReferenceSpecific(string c) { none() }
179+
174180
class SourceOrSinkElement = Element;
175181

176182
/** Gets the return kind corresponding to specification `"ReturnValue"`. */

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

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -99,6 +99,12 @@ string getParameterPositionCsv(ParameterPosition pos) { result = pos.toString()
9999
/** Gets the textual representation of an argument position in the format used for flow summaries. */
100100
string getArgumentPositionCsv(ArgumentPosition pos) { result = pos.toString() }
101101

102+
/** Holds if input specification component `c` needs a reference. */
103+
predicate inputNeedsReferenceSpecific(string c) { none() }
104+
105+
/** Holds if output specification component `c` needs a reference. */
106+
predicate outputNeedsReferenceSpecific(string c) { none() }
107+
102108
/** Gets the return kind corresponding to specification `"ReturnValue"`. */
103109
NormalReturnKind getReturnValueKind() { any() }
104110

0 commit comments

Comments
 (0)