iframe-proxy | Sunbelt Computer Software

34 lines (31 loc) · 1.07 KB

 * @name Mutation of descriptor in `__get__` or `__set__` method
 * @description Descriptor objects can be shared across many instances. Mutating them can cause strange side effects or race conditions.
 * @kind problem
 * @tags quality
 *       reliability
 *       correctness
 * @problem.severity error
 * @sub-severity low
 * @precision very-high
 * @id py/mutable-descriptor
import python
private import LegacyPointsTo
predicate mutates_descriptor(ClassObject cls, SelfAttributeStore s) {
  cls.isDescriptorType() and
  exists(PyFunctionObject f, PyFunctionObject get_set |
    exists(string name | cls.lookupAttribute(name) = get_set |
      name = "__get__" or name = "__set__" or name = "__delete__"
    cls.lookupAttribute(_) = f and
    get_set.getACallee*() = f and
    not f.getName() = "__init__" and
    s.getScope() = f.getFunction()
from ClassObject cls, SelfAttributeStore s
where mutates_descriptor(cls, s)
  "Mutation of descriptor $@ object may lead to action-at-a-distance effects or race conditions for properties.",
  cls, cls.getName()

Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

MutatingDescriptor.ql

Latest commit

History

MutatingDescriptor.ql

File metadata and controls