Skip to content

Commit 7654144

Browse files
author
AndreiDiaconu1
committed
More PR fixes
1 parent 9ecbb4a commit 7654144

File tree

2 files changed

+6
-251
lines changed

2 files changed

+6
-251
lines changed

csharp/ql/src/semmle/code/csharp/ir/internal/IRCSharpLanguage.qll

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -72,6 +72,12 @@ predicate hasCaseEdge(string minValue, string maxValue) {
7272

7373
predicate hasPositionalArgIndex(int argIndex) {
7474
exists(CSharp::MethodCall call | exists(call.getArgument(argIndex)))
75+
or
76+
// Quick fix so that generated calls (`Invoke` etc) will have the
77+
// correct number of parameters; it is an overestimation,
78+
// since we don't care about all the callables, so it
79+
// should be restricted more
80+
exists(CSharp::Callable callable | callable.getNumberOfParameters() = argIndex)
7581
}
7682

7783
predicate hasAsmOperandIndex(int operandIndex) { none() }

csharp/ql/src/semmle/code/csharp/ir/internal/OperandTag.qll

Lines changed: 0 additions & 251 deletions
This file was deleted.

0 commit comments

Comments
 (0)