codeql

mirror of https://github.com/github/codeql.git synced 2025-12-28 14:46:33 +01:00

Files

Rasmus Wriedt Larsen 1d25184b32 Python: Add test for type-tracking through decorators

In general, if there is _some_ decorator on a function, it might not be safe to
track content out of it (since the decorator could do anything), but in this
case, we can see what the decorator does, so we should be able to handle it (but
we don't right now).

By my understanding of how type-tracking works, if we track content through
`my_decorator`, then we would also track content to the result of
`unrelated_func()`, which I wanted to make sure our tests would catch.

I found out the core of the problem seems to come from our lack of being able to
track to the inner scope, and added an explicit test for that.

2021-02-09 13:43:10 +01:00