If you’re talking about magic methods/properties enabled by reflection and macros, then you’re no longer statically analyzing the code.