|
| 1 | +import ast |
| 2 | +import functools |
| 3 | +import inspect |
| 4 | +from textwrap import dedent |
| 5 | + |
| 6 | +try: |
| 7 | + # added in hypothesis 6.131.0 |
| 8 | + from hypothesis import is_hypothesis_test |
| 9 | +except ImportError: |
| 10 | + try: |
| 11 | + # hypothesis versions < 6.131.0 |
| 12 | + from hypothesis.internal.detection import is_hypothesis_test |
| 13 | + except ImportError: |
| 14 | + # hypothesis isn't installed |
| 15 | + def is_hypothesis_test(fn): |
| 16 | + return False |
| 17 | + |
| 18 | + |
| 19 | +THREAD_UNSAFE_FIXTURES = { |
| 20 | + "capsys", |
| 21 | + "monkeypatch", |
| 22 | + "recwarn", |
| 23 | +} |
| 24 | + |
| 25 | + |
| 26 | +class ThreadUnsafeNodeVisitor(ast.NodeVisitor): |
| 27 | + def __init__(self, fn, skip_set, level=0): |
| 28 | + self.thread_unsafe = False |
| 29 | + self.thread_unsafe_reason = None |
| 30 | + self.blacklist = { |
| 31 | + ("pytest", "warns"), |
| 32 | + ("pytest", "deprecated_call"), |
| 33 | + ("_pytest.recwarn", "warns"), |
| 34 | + ("_pytest.recwarn", "deprecated_call"), |
| 35 | + ("warnings", "catch_warnings"), |
| 36 | + ("mock", "patch"), # unittest.mock |
| 37 | + } | set(skip_set) |
| 38 | + modules = {mod.split(".")[0] for mod, _ in self.blacklist} |
| 39 | + modules |= {mod for mod, _ in self.blacklist} |
| 40 | + |
| 41 | + self.fn = fn |
| 42 | + self.skip_set = skip_set |
| 43 | + self.level = level |
| 44 | + self.modules_aliases = {} |
| 45 | + self.func_aliases = {} |
| 46 | + for var_name in getattr(fn, "__globals__", {}): |
| 47 | + value = fn.__globals__[var_name] |
| 48 | + if inspect.ismodule(value) and value.__name__ in modules: |
| 49 | + self.modules_aliases[var_name] = value.__name__ |
| 50 | + elif inspect.isfunction(value): |
| 51 | + real_name = value.__name__ |
| 52 | + for mod in modules: |
| 53 | + if mod == value.__module__: |
| 54 | + self.func_aliases[var_name] = (mod, real_name) |
| 55 | + break |
| 56 | + |
| 57 | + super().__init__() |
| 58 | + |
| 59 | + def visit_Call(self, node): |
| 60 | + if self.thread_unsafe: |
| 61 | + return |
| 62 | + |
| 63 | + if isinstance(node.func, ast.Attribute): |
| 64 | + if isinstance(node.func.value, ast.Name): |
| 65 | + real_mod = node.func.value.id |
| 66 | + if real_mod in self.modules_aliases: |
| 67 | + real_mod = self.modules_aliases[real_mod] |
| 68 | + if (real_mod, node.func.attr) in self.blacklist: |
| 69 | + self.thread_unsafe = True |
| 70 | + self.thread_unsafe_reason = ( |
| 71 | + "calls thread-unsafe function: " f"{real_mod}.{node.func.attr}" |
| 72 | + ) |
| 73 | + elif self.level < 2: |
| 74 | + if node.func.value.id in getattr(self.fn, "__globals__", {}): |
| 75 | + mod = self.fn.__globals__[node.func.value.id] |
| 76 | + child_fn = getattr(mod, node.func.attr, None) |
| 77 | + if child_fn is not None: |
| 78 | + self.thread_unsafe, self.thread_unsafe_reason = ( |
| 79 | + identify_thread_unsafe_nodes( |
| 80 | + child_fn, self.skip_set, self.level + 1 |
| 81 | + ) |
| 82 | + ) |
| 83 | + elif isinstance(node.func, ast.Name): |
| 84 | + recurse = True |
| 85 | + if node.func.id in self.func_aliases: |
| 86 | + if self.func_aliases[node.func.id] in self.blacklist: |
| 87 | + self.thread_unsafe = True |
| 88 | + self.thread_unsafe_reason = ( |
| 89 | + f"calls thread-unsafe function: {node.func.id}" |
| 90 | + ) |
| 91 | + recurse = False |
| 92 | + if recurse and self.level < 2: |
| 93 | + if node.func.id in getattr(self.fn, "__globals__", {}): |
| 94 | + child_fn = self.fn.__globals__[node.func.id] |
| 95 | + self.thread_unsafe, self.thread_unsafe_reason = ( |
| 96 | + identify_thread_unsafe_nodes( |
| 97 | + child_fn, self.skip_set, self.level + 1 |
| 98 | + ) |
| 99 | + ) |
| 100 | + |
| 101 | + def visit_Assign(self, node): |
| 102 | + if self.thread_unsafe: |
| 103 | + return |
| 104 | + |
| 105 | + if len(node.targets) == 1: |
| 106 | + name_node = node.targets[0] |
| 107 | + value_node = node.value |
| 108 | + if getattr(name_node, "id", None) == "__thread_safe__": |
| 109 | + self.thread_unsafe = not bool(value_node.value) |
| 110 | + self.thread_unsafe_reason = ( |
| 111 | + f"calls thread-unsafe function: f{name_node} " |
| 112 | + "(inferred via func.__thread_safe__ == False)" |
| 113 | + ) |
| 114 | + else: |
| 115 | + self.generic_visit(node) |
| 116 | + |
| 117 | + |
| 118 | +def _identify_thread_unsafe_nodes(fn, skip_set, level=0): |
| 119 | + if is_hypothesis_test(fn): |
| 120 | + return True, "uses hypothesis" |
| 121 | + try: |
| 122 | + src = inspect.getsource(fn) |
| 123 | + tree = ast.parse(dedent(src)) |
| 124 | + except Exception: |
| 125 | + return False, None |
| 126 | + visitor = ThreadUnsafeNodeVisitor(fn, skip_set, level=level) |
| 127 | + visitor.visit(tree) |
| 128 | + return visitor.thread_unsafe, visitor.thread_unsafe_reason |
| 129 | + |
| 130 | + |
| 131 | +cached_thread_unsafe_identify = functools.lru_cache(_identify_thread_unsafe_nodes) |
| 132 | + |
| 133 | + |
| 134 | +def identify_thread_unsafe_nodes(fn, skip_set, level=0): |
| 135 | + try: |
| 136 | + return cached_thread_unsafe_identify(fn, skip_set, level=level) |
| 137 | + except TypeError: |
| 138 | + return _identify_thread_unsafe_nodes(fn, skip_set, level=level) |
0 commit comments