/src/php-src/Zend/Optimizer/zend_call_graph.c

Source
/*
   +----------------------------------------------------------------------+
   | Zend Engine, Call Graph                                              |
   +----------------------------------------------------------------------+
   | Copyright (c) The PHP Group                                          |
   +----------------------------------------------------------------------+
   | This source file is subject to version 3.01 of the PHP license,      |
   | that is bundled with this package in the file LICENSE, and is        |
   | available through the world-wide-web at the following url:           |
   | https://www.php.net/license/3_01.txt                                 |
   | If you did not receive a copy of the PHP license and are unable to   |
   | obtain it through the world-wide-web, please send a note to          |
   | license@php.net so we can mail you a copy immediately.               |
   +----------------------------------------------------------------------+
   | Authors: Dmitry Stogov <dmitry@php.net>                              |
   +----------------------------------------------------------------------+
*/

#include "zend_compile.h"
#include "zend_extensions.h"
#include "Optimizer/zend_optimizer.h"
#include "zend_optimizer_internal.h"
#include "zend_inference.h"
#include "zend_call_graph.h"
#include "zend_func_info.h"
#include "zend_inference.h"
#include "zend_call_graph.h"

static void zend_op_array_calc(zend_op_array *op_array, void *context)
{
  zend_call_graph *call_graph = context;
  call_graph->op_arrays_count++;
}

static void zend_op_array_collect(zend_op_array *op_array, void *context)
{
  zend_call_graph *call_graph = context;
  zend_func_info *func_info = call_graph->func_infos + call_graph->op_arrays_count;

  ZEND_SET_FUNC_INFO(op_array, func_info);
  call_graph->op_arrays[call_graph->op_arrays_count] = op_array;
  func_info->num = call_graph->op_arrays_count;
  call_graph->op_arrays_count++;
}

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)
{
  zend_op *opline = op_array->opcodes;
  zend_op *end = opline + op_array->last;
  zend_function *func;
  zend_call_info *call_info;
  int call = 0;
  zend_call_info **call_stack;
  ALLOCA_FLAG(use_heap);
  bool is_prototype;

  call_stack = do_alloca((op_array->last / 2) * sizeof(zend_call_info*), use_heap);
  call_info = NULL;
  while (opline != end) {
    switch (opline->opcode) {
      case ZEND_INIT_FCALL:
      case ZEND_INIT_METHOD_CALL:
      case ZEND_INIT_STATIC_METHOD_CALL:
      case ZEND_INIT_PARENT_PROPERTY_HOOK_CALL:
        call_stack[call] = call_info;
        func = zend_optimizer_get_called_func(
          script, op_array, opline, &is_prototype);
        if (func) {
          call_info = zend_arena_calloc(arena, 1, sizeof(zend_call_info) + (sizeof(zend_send_arg_info) * ((int)opline->extended_value - 1)));
          call_info->caller_op_array = op_array;
          call_info->caller_init_opline = opline;
          call_info->caller_call_opline = NULL;
          call_info->callee_func = func;
          call_info->num_args = opline->extended_value;
          call_info->next_callee = func_info->callee_info;
          call_info->is_prototype = is_prototype;
          call_info->is_frameless = false;
          func_info->callee_info = call_info;

          if (build_flags & ZEND_CALL_TREE) {
            call_info->next_caller = NULL;
          } else if (func->type == ZEND_INTERNAL_FUNCTION
           || func->op_array.filename != script->filename) {
            call_info->next_caller = NULL;
          } else {
            zend_func_info *callee_func_info = ZEND_FUNC_INFO(&func->op_array);
            if (callee_func_info) {
              call_info->next_caller = callee_func_info->caller_info;
              callee_func_info->caller_info = call_info;
            } else {
              call_info->next_caller = NULL;
            }
          }
        } else {
          call_info = NULL;
        }
        call++;
        break;
      case ZEND_INIT_FCALL_BY_NAME:
      case ZEND_INIT_NS_FCALL_BY_NAME:
      case ZEND_INIT_DYNAMIC_CALL:
      case ZEND_NEW:
      case ZEND_INIT_USER_CALL:
        call_stack[call] = call_info;
        call_info = NULL;
        call++;
        break;
      case ZEND_FRAMELESS_ICALL_0:
      case ZEND_FRAMELESS_ICALL_1:
      case ZEND_FRAMELESS_ICALL_2:
      case ZEND_FRAMELESS_ICALL_3: {
        func = ZEND_FLF_FUNC(opline);
        zend_call_info *call_info = zend_arena_calloc(arena, 1, sizeof(zend_call_info));
        call_info->caller_op_array = op_array;
        call_info->caller_init_opline = opline;
        call_info->caller_call_opline = NULL;
        call_info->callee_func = func;
        call_info->num_args = ZEND_FLF_NUM_ARGS(opline->opcode);
        call_info->next_callee = func_info->callee_info;
        call_info->is_prototype = false;
        call_info->is_frameless = true;
        call_info->next_caller = NULL;
        func_info->callee_info = call_info;
        break;
      }
      case ZEND_DO_FCALL:
      case ZEND_DO_ICALL:
      case ZEND_DO_UCALL:
      case ZEND_DO_FCALL_BY_NAME:
      case ZEND_CALLABLE_CONVERT:
        func_info->flags |= ZEND_FUNC_HAS_CALLS;
        if (call_info) {
          call_info->caller_call_opline = opline;
        }
        call--;
        call_info = call_stack[call];
        break;
      case ZEND_SEND_VAL:
      case ZEND_SEND_VAR:
      case ZEND_SEND_VAL_EX:
      case ZEND_SEND_VAR_EX:
      case ZEND_SEND_FUNC_ARG:
      case ZEND_SEND_REF:
      case ZEND_SEND_VAR_NO_REF:
      case ZEND_SEND_VAR_NO_REF_EX:
      case ZEND_SEND_USER:
        if (call_info) {
          if (opline->op2_type == IS_CONST) {
            call_info->named_args = true;
            break;
          }

          uint32_t num = opline->op2.num;
          if (num > 0) {
            num--;
          }
          call_info->arg_info[num].opline = opline;
        }
        break;
      case ZEND_SEND_ARRAY:
      case ZEND_SEND_UNPACK:
        if (call_info) {
          call_info->send_unpack = true;
        }
        break;
    }
    opline++;
  }
  free_alloca(call_stack, use_heap);
}

static bool zend_is_indirectly_recursive(zend_op_array *root, zend_op_array *op_array, zend_bitset visited)
{
  zend_func_info *func_info;
  zend_call_info *call_info;
  bool ret = false;

  if (op_array == root) {
    return true;
  }

  func_info = ZEND_FUNC_INFO(op_array);
  if (zend_bitset_in(visited, func_info->num)) {
    return false;
  }
  zend_bitset_incl(visited, func_info->num);
  call_info = func_info->caller_info;
  while (call_info) {
    if (zend_is_indirectly_recursive(root, call_info->caller_op_array, visited)) {
      call_info->recursive = true;
      ret = true;
    }
    call_info = call_info->next_caller;
  }
  return ret;
}

static void zend_analyze_recursion(zend_call_graph *call_graph)
{
  zend_op_array *op_array;
  zend_func_info *func_info;
  zend_call_info *call_info;
  int i;
  int set_len = zend_bitset_len(call_graph->op_arrays_count);
  zend_bitset visited;
  ALLOCA_FLAG(use_heap);

  visited = ZEND_BITSET_ALLOCA(set_len, use_heap);
  for (i = 0; i < call_graph->op_arrays_count; i++) {
    op_array = call_graph->op_arrays[i];
    func_info = call_graph->func_infos + i;
    call_info = func_info->caller_info;
    for (; call_info; call_info = call_info->next_caller) {
      if (call_info->is_prototype) {
        /* Might be calling an overridden child method and not actually recursive. */
        continue;
      }
      if (call_info->caller_op_array == op_array) {
        call_info->recursive = true;
        func_info->flags |= ZEND_FUNC_RECURSIVE | ZEND_FUNC_RECURSIVE_DIRECTLY;
      } else {
        memset(visited, 0, sizeof(zend_ulong) * set_len);
        if (zend_is_indirectly_recursive(op_array, call_info->caller_op_array, visited)) {
          call_info->recursive = true;
          func_info->flags |= ZEND_FUNC_RECURSIVE | ZEND_FUNC_RECURSIVE_INDIRECTLY;
        }
      }
    }
  }

  free_alloca(visited, use_heap);
}

static void zend_sort_op_arrays(zend_call_graph *call_graph)
{
  (void) call_graph;

  // TODO: perform topological sort of cyclic call graph
}

ZEND_API void zend_build_call_graph(zend_arena **arena, zend_script *script, zend_call_graph *call_graph) /* {{{ */
{
  call_graph->op_arrays_count = 0;
  zend_foreach_op_array(script, zend_op_array_calc, call_graph);

  call_graph->op_arrays = (zend_op_array**)zend_arena_calloc(arena, call_graph->op_arrays_count, sizeof(zend_op_array*));
  call_graph->func_infos = (zend_func_info*)zend_arena_calloc(arena, call_graph->op_arrays_count, sizeof(zend_func_info));
  call_graph->op_arrays_count = 0;
  zend_foreach_op_array(script, zend_op_array_collect, call_graph);
}
/* }}} */

ZEND_API void zend_analyze_call_graph(zend_arena **arena, zend_script *script, zend_call_graph *call_graph) /* {{{ */
{
  int i;

  for (i = 0; i < call_graph->op_arrays_count; i++) {
    zend_analyze_calls(arena, script, 0, call_graph->op_arrays[i], call_graph->func_infos + i);
  }
  zend_analyze_recursion(call_graph);
  zend_sort_op_arrays(call_graph);
}
/* }}} */

ZEND_API zend_call_info **zend_build_call_map(zend_arena **arena, zend_func_info *info, const zend_op_array *op_array) /* {{{ */
{
  zend_call_info **map, *call;
  if (!info->callee_info) {
    /* Don't build call map if function contains no calls */
    return NULL;
  }

  map = zend_arena_calloc(arena, sizeof(zend_call_info *), op_array->last);
  for (call = info->callee_info; call; call = call->next_callee) {
    int i;
    map[call->caller_init_opline - op_array->opcodes] = call;
    if (call->caller_call_opline) {
      map[call->caller_call_opline - op_array->opcodes] = call;
    }
    if (!call->is_frameless) {
      for (i = 0; i < call->num_args; i++) {
        if (call->arg_info[i].opline) {
          map[call->arg_info[i].opline - op_array->opcodes] = call;
        }
      }
    }
  }
  return map;
}
/* }}} */

Coverage Report

Created: 2025-09-27 06:26

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	102k	{
31	102k	zend_call_graph *call_graph = context;
32	102k	call_graph->op_arrays_count++;
33	102k	}
34
35		static void zend_op_array_collect(zend_op_array op_array, void context)
36	102k	{
37	102k	zend_call_graph *call_graph = context;
38	102k	zend_func_info *func_info = call_graph->func_infos + call_graph->op_arrays_count;
39
40	102k	ZEND_SET_FUNC_INFO(op_array, func_info);
41	102k	call_graph->op_arrays[call_graph->op_arrays_count] = op_array;
42	102k	func_info->num = call_graph->op_arrays_count;
43	102k	call_graph->op_arrays_count++;
44	102k	}
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	102k	{
48	102k	zend_op *opline = op_array->opcodes;
49	102k	zend_op *end = opline + op_array->last;
50	102k	zend_function *func;
51	102k	zend_call_info *call_info;
52	102k	int call = 0;
53	102k	zend_call_info **call_stack;
54	102k	ALLOCA_FLAG(use_heap);
55	102k	bool is_prototype;
56
57	102k	call_stack = do_alloca((op_array->last / 2) * sizeof(zend_call_info*), use_heap);
58	102k	call_info = NULL;
59	2.64M	while (opline != end) {
60	2.54M	switch (opline->opcode) {
61	105k	case ZEND_INIT_FCALL:
62	148k	case ZEND_INIT_METHOD_CALL:
63	154k	case ZEND_INIT_STATIC_METHOD_CALL:
64	155k	case ZEND_INIT_PARENT_PROPERTY_HOOK_CALL:
65	155k	call_stack[call] = call_info;
66	155k	func = zend_optimizer_get_called_func(
67	155k	script, op_array, opline, &is_prototype);
68	155k	if (func) {
69	110k	call_info = zend_arena_calloc(arena, 1, sizeof(zend_call_info) + (sizeof(zend_send_arg_info) * ((int)opline->extended_value - 1)));
70	110k	call_info->caller_op_array = op_array;
71	110k	call_info->caller_init_opline = opline;
72	110k	call_info->caller_call_opline = NULL;
73	110k	call_info->callee_func = func;
74	110k	call_info->num_args = opline->extended_value;
75	110k	call_info->next_callee = func_info->callee_info;
76	110k	call_info->is_prototype = is_prototype;
77	110k	call_info->is_frameless = false;
78	110k	func_info->callee_info = call_info;
79
80	110k	if (build_flags & ZEND_CALL_TREE) {
81	0	call_info->next_caller = NULL;
82	110k	} else if (func->type == ZEND_INTERNAL_FUNCTION
83	87.4k	\|\| func->op_array.filename != script->filename) {
84	87.4k	call_info->next_caller = NULL;
85	87.4k	} else {
86	22.5k	zend_func_info *callee_func_info = ZEND_FUNC_INFO(&func->op_array);
87	22.5k	if (callee_func_info) {
88	22.5k	call_info->next_caller = callee_func_info->caller_info;
89	22.5k	callee_func_info->caller_info = call_info;
90	22.5k	} else {
91	20	call_info->next_caller = NULL;
92	20	}
93	22.5k	}
94	110k	} else {
95	45.1k	call_info = NULL;
96	45.1k	}
97	155k	call++;
98	155k	break;
99	7.60k	case ZEND_INIT_FCALL_BY_NAME:
100	10.1k	case ZEND_INIT_NS_FCALL_BY_NAME:
101	15.2k	case ZEND_INIT_DYNAMIC_CALL:
102	76.6k	case ZEND_NEW:
103	77.4k	case ZEND_INIT_USER_CALL:
104	77.4k	call_stack[call] = call_info;
105	77.4k	call_info = NULL;
106	77.4k	call++;
107	77.4k	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	221k	case ZEND_DO_FCALL:
127	221k	case ZEND_DO_ICALL:
128	231k	case ZEND_DO_UCALL:
129	232k	case ZEND_DO_FCALL_BY_NAME:
130	232k	case ZEND_CALLABLE_CONVERT:
131	232k	func_info->flags \|= ZEND_FUNC_HAS_CALLS;
132	232k	if (call_info) {
133	110k	call_info->caller_call_opline = opline;
134	110k	}
135	232k	call--;
136	232k	call_info = call_stack[call];
137	232k	break;
138	69.6k	case ZEND_SEND_VAL:
139	118k	case ZEND_SEND_VAR:
140	148k	case ZEND_SEND_VAL_EX:
141	209k	case ZEND_SEND_VAR_EX:
142	210k	case ZEND_SEND_FUNC_ARG:
143	213k	case ZEND_SEND_REF:
144	213k	case ZEND_SEND_VAR_NO_REF:
145	217k	case ZEND_SEND_VAR_NO_REF_EX:
146	219k	case ZEND_SEND_USER:
147	219k	if (call_info) {
148	121k	if (opline->op2_type == IS_CONST) {
149	1.90k	call_info->named_args = true;
150	1.90k	break;
151	1.90k	}
152
153	119k	uint32_t num = opline->op2.num;
154	119k	if (num > 0) {
155	119k	num--;
156	119k	}
157	119k	call_info->arg_info[num].opline = opline;
158	119k	}
159	217k	break;
160	217k	case ZEND_SEND_ARRAY:
161	1.34k	case ZEND_SEND_UNPACK:
162	1.34k	if (call_info) {
163	883	call_info->send_unpack = true;
164	883	}
165	1.34k	break;
166	2.54M	}
167	2.54M	opline++;
168	2.54M	}
169	102k	free_alloca(call_stack, use_heap);
170	102k	}
171
172		static bool zend_is_indirectly_recursive(zend_op_array root, zend_op_array op_array, zend_bitset visited)
173	24.8k	{
174	24.8k	zend_func_info *func_info;
175	24.8k	zend_call_info *call_info;
176	24.8k	bool ret = false;
177
178	24.8k	if (op_array == root) {
179	4	return true;
180	4	}
181
182	24.8k	func_info = ZEND_FUNC_INFO(op_array);
183	24.8k	if (zend_bitset_in(visited, func_info->num)) {
184	1.55k	return false;
185	1.55k	}
186	23.2k	zend_bitset_incl(visited, func_info->num);
187	23.2k	call_info = func_info->caller_info;
188	26.0k	while (call_info) {
189	2.81k	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	2.81k	call_info = call_info->next_caller;
194	2.81k	}
195	23.2k	return ret;
196	24.8k	}
197
198		static void zend_analyze_recursion(zend_call_graph *call_graph)
199	60.4k	{
200	60.4k	zend_op_array *op_array;
201	60.4k	zend_func_info *func_info;
202	60.4k	zend_call_info *call_info;
203	60.4k	int i;
204	60.4k	int set_len = zend_bitset_len(call_graph->op_arrays_count);
205	60.4k	zend_bitset visited;
206	60.4k	ALLOCA_FLAG(use_heap);
207
208	60.4k	visited = ZEND_BITSET_ALLOCA(set_len, use_heap);
209	163k	for (i = 0; i < call_graph->op_arrays_count; i++) {
210	102k	op_array = call_graph->op_arrays[i];
211	102k	func_info = call_graph->func_infos + i;
212	102k	call_info = func_info->caller_info;
213	125k	for (; call_info; call_info = call_info->next_caller) {
214	22.5k	if (call_info->is_prototype) {
215		/* Might be calling an overridden child method and not actually recursive. */
216	328	continue;
217	328	}
218	22.2k	if (call_info->caller_op_array == op_array) {
219	199	call_info->recursive = true;
220	199	func_info->flags \|= ZEND_FUNC_RECURSIVE \| ZEND_FUNC_RECURSIVE_DIRECTLY;
221	22.0k	} else {
222	22.0k	memset(visited, 0, sizeof(zend_ulong) * set_len);
223	22.0k	if (zend_is_indirectly_recursive(op_array, call_info->caller_op_array, visited)) {
224	4	call_info->recursive = true;
225	4	func_info->flags \|= ZEND_FUNC_RECURSIVE \| ZEND_FUNC_RECURSIVE_INDIRECTLY;
226	4	}
227	22.0k	}
228	22.2k	}
229	102k	}
230
231	60.4k	free_alloca(visited, use_heap);
232	60.4k	}
233
234		static void zend_sort_op_arrays(zend_call_graph *call_graph)
235	60.4k	{
236	60.4k	(void) call_graph;
237
238		// TODO: perform topological sort of cyclic call graph
239	60.4k	}
240
241		ZEND_API void zend_build_call_graph(zend_arena *arena, zend_script script, zend_call_graph call_graph) / {{{ */
242	60.4k	{
243	60.4k	call_graph->op_arrays_count = 0;
244	60.4k	zend_foreach_op_array(script, zend_op_array_calc, call_graph);
245
246	60.4k	call_graph->op_arrays = (zend_op_array*)zend_arena_calloc(arena, call_graph->op_arrays_count, sizeof(zend_op_array));
247	60.4k	call_graph->func_infos = (zend_func_info*)zend_arena_calloc(arena, call_graph->op_arrays_count, sizeof(zend_func_info));
248	60.4k	call_graph->op_arrays_count = 0;
249	60.4k	zend_foreach_op_array(script, zend_op_array_collect, call_graph);
250	60.4k	}
251		/* }}} */
252
253		ZEND_API void zend_analyze_call_graph(zend_arena *arena, zend_script script, zend_call_graph call_graph) / {{{ */
254	60.4k	{
255	60.4k	int i;
256
257	163k	for (i = 0; i < call_graph->op_arrays_count; i++) {
258	102k	zend_analyze_calls(arena, script, 0, call_graph->op_arrays[i], call_graph->func_infos + i);
259	102k	}
260	60.4k	zend_analyze_recursion(call_graph);
261	60.4k	zend_sort_op_arrays(call_graph);
262	60.4k	}
263		/* }}} */
264
265		ZEND_API zend_call_info zend_build_call_map(zend_arena arena, zend_func_info info, const zend_op_array op_array) /* {{{ */
266	102k	{
267	102k	zend_call_info *map, call;
268	102k	if (!info->callee_info) {
269		/* Don't build call map if function contains no calls */
270	61.8k	return NULL;
271	61.8k	}
272
273	40.9k	map = zend_arena_calloc(arena, sizeof(zend_call_info *), op_array->last);
274	151k	for (call = info->callee_info; call; call = call->next_callee) {
275	110k	int i;
276	110k	map[call->caller_init_opline - op_array->opcodes] = call;
277	110k	if (call->caller_call_opline) {
278	110k	map[call->caller_call_opline - op_array->opcodes] = call;
279	110k	}
280	110k	if (!call->is_frameless) {
281	229k	for (i = 0; i < call->num_args; i++) {
282	119k	if (call->arg_info[i].opline) {
283	119k	map[call->arg_info[i].opline - op_array->opcodes] = call;
284	119k	}
285	119k	}
286	110k	}
287	110k	}
288	40.9k	return map;
289	102k	}
290		/* }}} */