JS: Prevent join order regression

This commit is contained in:
Kasper Svendsen 2023-05-09 17:01:41 +02:00
Родитель 3d5c8153ca
Коммит c7d72e0d34
1 изменённых файлов: 1 добавлений и 0 удалений

Просмотреть файл

@ -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