Merge pull request #13090 from kaspersv/kaspersv/js-prevent-regression

JS: Prevent join order regression
This commit is contained in:
Erik Krogh Kristensen
2023-05-10 08:25:26 +02:00
committed by GitHub

View File

@@ -117,6 +117,7 @@ module SecondOrderCommandInjection {
int cmdIndex;
int argIndex;
pragma[assume_small_delta]
IndirectCmdFunc() {
exists(CommandExecutingCall call |
this.getParameter(cmdIndex).flowsTo(call.getCommandArg()) and