Coverage Report

Created: 2025-12-14 06:09

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/php-src/Zend/Optimizer/zend_call_graph.c
Line
Count
Source
1
/*
2
   +----------------------------------------------------------------------+
3
   | Zend Engine, Call Graph                                              |
4
   +----------------------------------------------------------------------+
5
   | Copyright (c) The PHP Group                                          |
6
   +----------------------------------------------------------------------+
7
   | This source file is subject to version 3.01 of the PHP license,      |
8
   | that is bundled with this package in the file LICENSE, and is        |
9
   | available through the world-wide-web at the following url:           |
10
   | https://www.php.net/license/3_01.txt                                 |
11
   | If you did not receive a copy of the PHP license and are unable to   |
12
   | obtain it through the world-wide-web, please send a note to          |
13
   | license@php.net so we can mail you a copy immediately.               |
14
   +----------------------------------------------------------------------+
15
   | Authors: Dmitry Stogov <dmitry@php.net>                              |
16
   +----------------------------------------------------------------------+
17
*/
18
19
#include "zend_compile.h"
20
#include "zend_extensions.h"
21
#include "Optimizer/zend_optimizer.h"
22
#include "zend_optimizer_internal.h"
23
#include "zend_inference.h"
24
#include "zend_call_graph.h"
25
#include "zend_func_info.h"
26
#include "zend_inference.h"
27
#include "zend_call_graph.h"
28
29
static void zend_op_array_calc(zend_op_array *op_array, void *context)
30
51.4k
{
31
51.4k
  zend_call_graph *call_graph = context;
32
51.4k
  call_graph->op_arrays_count++;
33
51.4k
}
34
35
static void zend_op_array_collect(zend_op_array *op_array, void *context)
36
51.4k
{
37
51.4k
  zend_call_graph *call_graph = context;
38
51.4k
  zend_func_info *func_info = call_graph->func_infos + call_graph->op_arrays_count;
39
40
51.4k
  ZEND_SET_FUNC_INFO(op_array, func_info);
41
51.4k
  call_graph->op_arrays[call_graph->op_arrays_count] = op_array;
42
51.4k
  func_info->num = call_graph->op_arrays_count;
43
51.4k
  call_graph->op_arrays_count++;
44
51.4k
}
45
46
ZEND_API void zend_analyze_calls(zend_arena **arena, zend_script *script, uint32_t build_flags, zend_op_array *op_array, zend_func_info *func_info)
47
51.4k
{
48
51.4k
  zend_op *opline = op_array->opcodes;
49
51.4k
  zend_op *end = opline + op_array->last;
50
51.4k
  zend_function *func;
51
51.4k
  zend_call_info *call_info;
52
51.4k
  int call = 0;
53
51.4k
  zend_call_info **call_stack;
54
51.4k
  ALLOCA_FLAG(use_heap);
55
51.4k
  bool is_prototype;
56
57
51.4k
  call_stack = do_alloca((op_array->last / 2) * sizeof(zend_call_info*), use_heap);
58
51.4k
  call_info = NULL;
59
1.37M
  while (opline != end) {
60
1.32M
    switch (opline->opcode) {
61
51.8k
      case ZEND_INIT_FCALL:
62
75.2k
      case ZEND_INIT_METHOD_CALL:
63
78.1k
      case ZEND_INIT_STATIC_METHOD_CALL:
64
78.2k
      case ZEND_INIT_PARENT_PROPERTY_HOOK_CALL:
65
78.2k
        call_stack[call] = call_info;
66
78.2k
        func = zend_optimizer_get_called_func(
67
78.2k
          script, op_array, opline, &is_prototype);
68
78.2k
        if (func) {
69
53.7k
          call_info = zend_arena_calloc(arena, 1, sizeof(zend_call_info) + (sizeof(zend_send_arg_info) * ((int)opline->extended_value - 1)));
70
53.7k
          call_info->caller_op_array = op_array;
71
53.7k
          call_info->caller_init_opline = opline;
72
53.7k
          call_info->caller_call_opline = NULL;
73
53.7k
          call_info->callee_func = func;
74
53.7k
          call_info->num_args = opline->extended_value;
75
53.7k
          call_info->next_callee = func_info->callee_info;
76
53.7k
          call_info->is_prototype = is_prototype;
77
53.7k
          call_info->is_frameless = false;
78
53.7k
          func_info->callee_info = call_info;
79
80
53.7k
          if (build_flags & ZEND_CALL_TREE) {
81
0
            call_info->next_caller = NULL;
82
53.7k
          } else if (func->type == ZEND_INTERNAL_FUNCTION
83
42.9k
           || func->op_array.filename != script->filename) {
84
42.9k
            call_info->next_caller = NULL;
85
42.9k
          } else {
86
10.7k
            zend_func_info *callee_func_info = ZEND_FUNC_INFO(&func->op_array);
87
10.7k
            if (callee_func_info) {
88
10.7k
              call_info->next_caller = callee_func_info->caller_info;
89
10.7k
              callee_func_info->caller_info = call_info;
90
10.7k
            } else {
91
14
              call_info->next_caller = NULL;
92
14
            }
93
10.7k
          }
94
53.7k
        } else {
95
24.4k
          call_info = NULL;
96
24.4k
        }
97
78.2k
        call++;
98
78.2k
        break;
99
3.26k
      case ZEND_INIT_FCALL_BY_NAME:
100
4.67k
      case ZEND_INIT_NS_FCALL_BY_NAME:
101
7.16k
      case ZEND_INIT_DYNAMIC_CALL:
102
36.3k
      case ZEND_NEW:
103
36.7k
      case ZEND_INIT_USER_CALL:
104
36.7k
        call_stack[call] = call_info;
105
36.7k
        call_info = NULL;
106
36.7k
        call++;
107
36.7k
        break;
108
0
      case ZEND_FRAMELESS_ICALL_0:
109
0
      case ZEND_FRAMELESS_ICALL_1:
110
0
      case ZEND_FRAMELESS_ICALL_2:
111
0
      case ZEND_FRAMELESS_ICALL_3: {
112
0
        func = ZEND_FLF_FUNC(opline);
113
0
        zend_call_info *call_info = zend_arena_calloc(arena, 1, sizeof(zend_call_info));
114
0
        call_info->caller_op_array = op_array;
115
0
        call_info->caller_init_opline = opline;
116
0
        call_info->caller_call_opline = NULL;
117
0
        call_info->callee_func = func;
118
0
        call_info->num_args = ZEND_FLF_NUM_ARGS(opline->opcode);
119
0
        call_info->next_callee = func_info->callee_info;
120
0
        call_info->is_prototype = false;
121
0
        call_info->is_frameless = true;
122
0
        call_info->next_caller = NULL;
123
0
        func_info->callee_info = call_info;
124
0
        break;
125
0
      }
126
109k
      case ZEND_DO_FCALL:
127
109k
      case ZEND_DO_ICALL:
128
114k
      case ZEND_DO_UCALL:
129
114k
      case ZEND_DO_FCALL_BY_NAME:
130
114k
      case ZEND_CALLABLE_CONVERT:
131
114k
        func_info->flags |= ZEND_FUNC_HAS_CALLS;
132
114k
        if (call_info) {
133
53.7k
          call_info->caller_call_opline = opline;
134
53.7k
        }
135
114k
        call--;
136
114k
        call_info = call_stack[call];
137
114k
        break;
138
40.8k
      case ZEND_SEND_VAL:
139
90.0k
      case ZEND_SEND_VAR:
140
98.0k
      case ZEND_SEND_VAL_EX:
141
103k
      case ZEND_SEND_VAR_EX:
142
104k
      case ZEND_SEND_FUNC_ARG:
143
105k
      case ZEND_SEND_REF:
144
106k
      case ZEND_SEND_VAR_NO_REF:
145
107k
      case ZEND_SEND_VAR_NO_REF_EX:
146
108k
      case ZEND_SEND_USER:
147
108k
        if (call_info) {
148
59.7k
          if (opline->op2_type == IS_CONST) {
149
1.40k
            call_info->named_args = true;
150
1.40k
            break;
151
1.40k
          }
152
153
58.3k
          uint32_t num = opline->op2.num;
154
58.3k
          if (num > 0) {
155
58.3k
            num--;
156
58.3k
          }
157
58.3k
          call_info->arg_info[num].opline = opline;
158
58.3k
        }
159
107k
        break;
160
107k
      case ZEND_SEND_ARRAY:
161
658
      case ZEND_SEND_UNPACK:
162
658
        if (call_info) {
163
416
          call_info->send_unpack = true;
164
416
        }
165
658
        break;
166
1.32M
    }
167
1.32M
    opline++;
168
1.32M
  }
169
51.4k
  free_alloca(call_stack, use_heap);
170
51.4k
}
171
172
static bool zend_is_indirectly_recursive(const zend_op_array *root, const zend_op_array *op_array, zend_bitset visited)
173
11.5k
{
174
11.5k
  const zend_func_info *func_info;
175
11.5k
  zend_call_info *call_info;
176
11.5k
  bool ret = false;
177
178
11.5k
  if (op_array == root) {
179
4
    return true;
180
4
  }
181
182
11.5k
  func_info = ZEND_FUNC_INFO(op_array);
183
11.5k
  if (zend_bitset_in(visited, func_info->num)) {
184
393
    return false;
185
393
  }
186
11.1k
  zend_bitset_incl(visited, func_info->num);
187
11.1k
  call_info = func_info->caller_info;
188
12.1k
  while (call_info) {
189
990
    if (zend_is_indirectly_recursive(root, call_info->caller_op_array, visited)) {
190
4
      call_info->recursive = true;
191
4
      ret = true;
192
4
    }
193
990
    call_info = call_info->next_caller;
194
990
  }
195
11.1k
  return ret;
196
11.5k
}
197
198
static void zend_analyze_recursion(zend_call_graph *call_graph)
199
31.0k
{
200
31.0k
  const zend_op_array *op_array;
201
31.0k
  zend_func_info *func_info;
202
31.0k
  zend_call_info *call_info;
203
31.0k
  uint32_t set_len = zend_bitset_len(call_graph->op_arrays_count);
204
31.0k
  zend_bitset visited;
205
31.0k
  ALLOCA_FLAG(use_heap);
206
207
31.0k
  visited = ZEND_BITSET_ALLOCA(set_len, use_heap);
208
82.4k
  for (uint32_t i = 0; i < call_graph->op_arrays_count; i++) {
209
51.4k
    op_array = call_graph->op_arrays[i];
210
51.4k
    func_info = call_graph->func_infos + i;
211
51.4k
    call_info = func_info->caller_info;
212
62.1k
    for (; call_info; call_info = call_info->next_caller) {
213
10.7k
      if (call_info->is_prototype) {
214
        /* Might be calling an overridden child method and not actually recursive. */
215
163
        continue;
216
163
      }
217
10.6k
      if (call_info->caller_op_array == op_array) {
218
86
        call_info->recursive = true;
219
86
        func_info->flags |= ZEND_FUNC_RECURSIVE | ZEND_FUNC_RECURSIVE_DIRECTLY;
220
10.5k
      } else {
221
10.5k
        memset(visited, 0, sizeof(zend_ulong) * set_len);
222
10.5k
        if (zend_is_indirectly_recursive(op_array, call_info->caller_op_array, visited)) {
223
4
          call_info->recursive = true;
224
4
          func_info->flags |= ZEND_FUNC_RECURSIVE | ZEND_FUNC_RECURSIVE_INDIRECTLY;
225
4
        }
226
10.5k
      }
227
10.6k
    }
228
51.4k
  }
229
230
31.0k
  free_alloca(visited, use_heap);
231
31.0k
}
232
233
static void zend_sort_op_arrays(zend_call_graph *call_graph)
234
31.0k
{
235
31.0k
  (void) call_graph;
236
237
  // TODO: perform topological sort of cyclic call graph
238
31.0k
}
239
240
ZEND_API void zend_build_call_graph(zend_arena **arena, zend_script *script, zend_call_graph *call_graph) /* {{{ */
241
31.0k
{
242
31.0k
  call_graph->op_arrays_count = 0;
243
31.0k
  zend_foreach_op_array(script, zend_op_array_calc, call_graph);
244
245
31.0k
  call_graph->op_arrays = (zend_op_array**)zend_arena_calloc(arena, call_graph->op_arrays_count, sizeof(zend_op_array*));
246
31.0k
  call_graph->func_infos = (zend_func_info*)zend_arena_calloc(arena, call_graph->op_arrays_count, sizeof(zend_func_info));
247
31.0k
  call_graph->op_arrays_count = 0;
248
31.0k
  zend_foreach_op_array(script, zend_op_array_collect, call_graph);
249
31.0k
}
250
/* }}} */
251
252
ZEND_API void zend_analyze_call_graph(zend_arena **arena, zend_script *script, zend_call_graph *call_graph) /* {{{ */
253
31.0k
{
254
82.4k
  for (uint32_t i = 0; i < call_graph->op_arrays_count; i++) {
255
51.4k
    zend_analyze_calls(arena, script, 0, call_graph->op_arrays[i], call_graph->func_infos + i);
256
51.4k
  }
257
31.0k
  zend_analyze_recursion(call_graph);
258
31.0k
  zend_sort_op_arrays(call_graph);
259
31.0k
}
260
/* }}} */
261
262
ZEND_API zend_call_info **zend_build_call_map(zend_arena **arena, const zend_func_info *info, const zend_op_array *op_array) /* {{{ */
263
51.4k
{
264
51.4k
  zend_call_info **map, *call;
265
51.4k
  if (!info->callee_info) {
266
    /* Don't build call map if function contains no calls */
267
31.0k
    return NULL;
268
31.0k
  }
269
270
20.3k
  map = zend_arena_calloc(arena, sizeof(zend_call_info *), op_array->last);
271
74.0k
  for (call = info->callee_info; call; call = call->next_callee) {
272
53.7k
    map[call->caller_init_opline - op_array->opcodes] = call;
273
53.7k
    if (call->caller_call_opline) {
274
53.7k
      map[call->caller_call_opline - op_array->opcodes] = call;
275
53.7k
    }
276
53.7k
    if (!call->is_frameless) {
277
112k
      for (uint32_t i = 0; i < call->num_args; i++) {
278
58.3k
        if (call->arg_info[i].opline) {
279
58.3k
          map[call->arg_info[i].opline - op_array->opcodes] = call;
280
58.3k
        }
281
58.3k
      }
282
53.7k
    }
283
53.7k
  }
284
20.3k
  return map;
285
51.4k
}
286
/* }}} */