From 89131bfcbb4f2d4bf0b04830fe120f5112a5ce9d Mon Sep 17 00:00:00 2001 From: Graham Bleaney Date: Thu, 19 Dec 2019 17:58:59 -0500 Subject: [PATCH] pysa: Add basic .pyre_configuration and taint.config for pysa. This commit adds the initial config files needed to be able to run Pysa on Zulip code. --- .pyre_configuration | 14 ++++++++++++++ stubs/taint/taint.config | 6 ++++++ 2 files changed, 20 insertions(+) create mode 100644 .pyre_configuration create mode 100644 stubs/taint/taint.config 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: [] +}