Access Control Checks¶

This pass checks that all property accesses, and method calls are allowed from the context they are performed in:

class A
{
    private $a;
}

$a = new A();
$a->a; // not permitted