Mirror
/
zulip
mirror of https://github.com/zulip/zulip.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

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.
This commit is contained in:
Graham Bleaney 2019-12-19 17:58:59 -05:00 committed by Tim Abbott
parent 56345f98cb
commit 89131bfcbb
2 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
.pyre_configuration Normal file
View File

@ -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/.*"
]
}

6
stubs/taint/taint.config Normal file
View File

@ -0,0 +1,6 @@
{
sources: [],
sinks: [],
features: [],
rules: []
}