1

Facebook 的 Pysa 工具看起来很有用，在 Pysa 教程练习中，它们使用相对路径引用 pyre-check 存储库中提供的文件，以包含练习目录之外的路径。

https://github.com/facebook/pyre-check/blob/master/pysa_tutorial/exercise1/.pyre_configuration

{
    "source_directories": ["."],
    "taint_models_path": ["."],
    "search_path": [
        "../../stubs/"
    ],
    "exclude": [
        ".*/integration_test/.*"
    ]
}

在 pyre-check 存储库中为 Django 提供了存根，如果我知道安装 pyre check 的路径，我可以在我的文件中进行硬编码.pyre_configuration并得到一些工作，但另一个开发人员可能会以不同的方式安装 pyre-check。

有没有更好的方法来引用这些提供的存根，或者我应该将它们复制到我正在处理的存储库中？

4

2 回答 2

2

许多项目都有标准的开发环境，允许.pyre_configuration文件中的硬编码路径。这些通常会指向venv或其他一些标准的依赖安装位置。

对于没有标准开发环境的项目，您可以尝试将其合并pyre init到您的设置脚本中。pyre init将设置一个新.pyre_configuration文件，其路径与当前安装的pyre. 对于要在生成的.pyre_configuration文件之上添加的其他配置（例如指向本地污点模型的指针），您可以手写 a .pyre_configuration.local，它将充当覆盖并覆盖/添加到.pyre_configuration.

于 2021-02-08T23:03:40.077 回答
1

Pyre-checktypeshed在配置文件中的指令指定的目录中查找存根。

最简单的方法是将 pyre-check 存储库中为 Django 提供的存根移动到typeshedpyre-check 目录中的目录。

例如，如果您已将 pyre-check 安装到该~/.local/lib目录，请将django目录从移动~/.local/lib/pyre_check/stubs到~/.local/lib/pyre_check/typeshed/third_party/2and3/并确保您的 .pyre_configuration 文件如下所示：

{
  "source_directories": ["~/myproject"],
  "taint_models_path": "~/myproject/taint",
  "typeshed": "~/.local/lib/pyre_check/typeshed"
}

在这种情况下，您的 Django 存根目录将是 ~/.local/lib/pyre_check/typeshed/third_parth/2and3/django

Pyre-check 使用以下算法遍历typeshed目录：

  1. 如果它包含third_party子目录，它使用传统方法：只输入两个子目录：stdlibandthird_party查找除名称以2but not开头的子目录之外的任何子目录2and3，并在这些子目录中查找模块2and3，例如，在third_party/2and3/
  2. 否则，它会进入子目录stubs和stdlib，并在那里寻找模块，例如 in stubs/，而不是 in stubs/2and3/。

这就是为什么指定多个路径可能会令人困惑和困惑，最简单的方法是将typeshed目录设置为~/.local/lib/pyre_check/typeshed/并移动django到third_parth/2and3，因此它将是~/.local/lib/pyre_check/typeshed/third_parth/2and3/django.

也不要忘记将.pysa您需要的文件复制到taint_models_path目录中。不要将其设置到 Pyre-check 的目录，创建您自己的新目录并仅复制与您相关的那些文件。

于 2021-04-27T13:12:19.527 回答