Как найти необъявленные переменные в коде, не выполняя его?

Question

[Альберт]

есть файл х.py с кодом, например

a
b = 1
class C(D): pass
import e

Здесь мы можем видеть, что на переменные `a` и `D` программа будет ругаться (NameError, name 'a' not defined), т.к они не определены.

Как можно найти такие необъявленные переменные, не исполняя код?
Смотрю в сторону AST, возможно решение может быть где-то там.

Answer 1

[Taus]

Ответ на этот вопрос неоднозначен, потому что Python динамический язык. В общем случае код может производить практически любые действия от простого изменения globals() (например _ из стандартной gettext) до замены следующего кода на другой (например автоматический импорт модулей в библиотеке ipython-autoimport). Поэтому без выполнения кода не получится определить будет ли исключение NameError или нет.

Если вы не используете подобные идиомы в разработке, то помогут любые линтеры (например pyflakes, flake8, pylint), которые выведут отчёт по многим логическим/синтаксическим ошибкам в коде, включая неопределённые переменные. Если требуется программно определять, то возможно достаточно будет pyflakes.

Comments

[Альберт]

Попробую pyflakes. Мне кажется, даже избыточно будет. Мне же просто надо проверить наличие NameError.
Это мой код, с globals и другими вещами не играю.
Вижу, он использует AST. Мне кажется, простой вариант, достаточный для моих нужд, был бы не более 100 строк. Но вот найти не получается пока

[Taus]

Я предложил pyflakes, потому что он легковесный и базовый. Если вам его "много", то можете попробовать написать свои проверки по AST файла, ориентируясь на код из pyflakes.

Answer 2

[Иван Шумов]

Если для разработчика то берем PyCharm и в бой. Если автоматизация с проверкой кода то SonarQube, например