[ ] Statically check if __gettatr__, __setattr__ and other special attributes are accessed or overloaded in the code
[ ] check for metaclasses in inheritance
[ ] Instrumentalize classes the code with our own __setattr__ in order to find if attributes are dynamically added via the usual syntax (like using o.x = 1 in case when object o does not have an attribute x)
__gettatr__
,__setattr__
and other special attributes are accessed or overloaded in the code__setattr__
in order to find if attributes are dynamically added via the usual syntax (like usingo.x = 1
in case when objecto
does not have an attributex
)