1 === IFC analysis results
for higher_order_functions.php
2 File
"higher_order_functions.php", line 46, characters 3-20:
3 Context-implicit policy leaks into `PUBLIC` via `pc`.
(Typing
[4380])
4 File
"higher_order_functions.php", line 9, characters 14-23:
6 File
"higher_order_functions.php", line 46, characters 3-20:
7 Context-implicit policy leaks into `PUBLIC` via `Exception`.
(Typing
[4380])
8 File
"higher_order_functions.php", line 9, characters 14-23:
10 File
"higher_order_functions.php", line 46, characters 3-20:
11 Context-implicit policy leaks into `PUBLIC` via `C`.
(Typing
[4380])
12 File
"higher_order_functions.php", line 9, characters 14-23:
14 File
"higher_order_functions.php", line 46, characters 3-20:
15 Context-implicit policy leaks into `PUBLIC` via `$f
'2`. (Typing[4380])
16 File "higher_order_functions.php", line 9, characters 14-23:
18 File "higher_order_functions.php", line 46, characters 3-20:
19 Context-implicit policy leaks into `PUBLIC` via `$f`. (Typing[4380])
20 File "higher_order_functions.php", line 9, characters 14-23:
22 File "higher_order_functions.php", line 52, characters 5-9:
23 Context-implicit policy leaks into `pc'1` via `FOO`.
(Typing
[4380])
24 File
"higher_order_functions.php", line 51, characters 7-13:
25 Another
program point contributing to the leakage
26 File
"higher_order_functions.php", line 12, characters 15-26:
28 File
"higher_order_functions.php", line 52, characters 5-9:
29 Context-implicit policy leaks into `exn` via `FOO`.
(Typing
[4380])
30 File
"higher_order_functions.php", line 51, characters 7-13:
31 Another
program point contributing to the leakage
32 File
"higher_order_functions.php", line 12, characters 15-26:
34 File
"higher_order_functions.php", line 59, characters 3-12:
35 Context-implicit policy leaks into `PUBLIC` via `A_lump`.
(Typing
[4380])
36 File
"higher_order_functions.php", line 15, characters 12-13: