diff --git a/.pyre_configuration b/.pyre_configuration new file mode 100644 index 0000000000..42304c219b --- /dev/null +++ b/.pyre_configuration @@ -0,0 +1,14 @@ +{ + "source_directories": ["."], + "taint_models_path": [ + "stubs/taint", + "zulip-py3-venv/lib/pyre_check/taint/" + ], + "search_path": [ + "stubs/", + "zulip-py3-venv/lib/pyre_check/stubs/" + ], + "exclude": [ + "/srv/zulip/zulip-py3-venv/.*" + ] +} diff --git a/stubs/taint/taint.config b/stubs/taint/taint.config new file mode 100644 index 0000000000..6daefa82d6 --- /dev/null +++ b/stubs/taint/taint.config @@ -0,0 +1,6 @@ +{ + sources: [], + sinks: [], + features: [], + rules: [] +}