alt Hacker NewsIf you’re talking about magic methods/properties enabled by reflection and macros, then you’re no longer statically analyzing the code.
If you’re talking about magic methods/properties enabled by reflection and macros, then you’re no longer statically analyzing the code.
Static analysis just requires that you don't actually execute the code. It's possible (sometimes) to infer what methods/properties would be create without actually statically analyzing the code.
E.g. mypy has a plugin to read the methods and return types of SQLAlchemy records, I believe without actually executing them.
Obviously not globally true, but in limited domains/scenarios you can see what would exist without actually executing the code.