search

facebook / pyre-check

Performant type-checking for python.
https://pyre-check.org/
MIT License
6.86k stars 437 forks source link

Cannot analyze ("is not part of the environment") #466

Open cosad3s opened 3 years ago

cosad3s commented 3 years ago

Pysa Bug

Pre-submission checklist [+] I've checked the list of common issues and mine does not appear

Bug description

The analyzis only gives error about the environment.

Reproduction steps

pip install pyre-check
pyre analyze

Expected behavior Analyzis done.

Logs

> pyre analyze
ƛ Found 230 model verification errors!
/home/seb/.local/lib/pyre_check/taint/aiohttp_client.pysa:1:0 `aiohttp.client.ClientSession.get` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_client.pysa:10:0 `aiohttp.client.ClientSession.options` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_client.pysa:19:0 `aiohttp.client.ClientSession.head` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_client.pysa:28:0 `aiohttp.client.ClientSession.post` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_client.pysa:36:0 `aiohttp.client.ClientSession.put` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_client.pysa:44:0 `aiohttp.client.ClientSession.patch` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_client.pysa:52:0 `aiohttp.client.ClientSession.delete` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_client.pysa:60:0 `aiohttp.client.ClientSession.ws_connect` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_client.pysa:81:0 `aiohttp.client.ClientSession.request` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:3:0 `aiohttp.web_request.BaseRequest.rel_url` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:4:0 `aiohttp.web_request.BaseRequest.__getitem__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:5:0 `aiohttp.web_request.BaseRequest.__iter__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:6:0 `aiohttp.web_request.BaseRequest.forwarded` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:7:0 `aiohttp.web_request.BaseRequest.url` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:8:0 `aiohttp.web_request.BaseRequest.path` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:9:0 `aiohttp.web_request.BaseRequest.path_qs` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:10:0 `aiohttp.web_request.BaseRequest.raw_path` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:11:0 `aiohttp.web_request.BaseRequest.query` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:12:0 `aiohttp.web_request.BaseRequest.query_string` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:13:0 `aiohttp.web_request.BaseRequest.headers` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:14:0 `aiohttp.web_request.BaseRequest.raw_headers` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:15:0 `aiohttp.web_request.BaseRequest.cookies` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:16:0 `aiohttp.web_request.BaseRequest.http_range` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:17:0 `aiohttp.web_request.BaseRequest.content` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:18:0 `aiohttp.web_request.BaseRequest.read` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:19:0 `aiohttp.web_request.BaseRequest.text` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:20:0 `aiohttp.web_request.BaseRequest.json` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:21:0 `aiohttp.web_request.BaseRequest.multipart` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:22:0 `aiohttp.web_request.BaseRequest.post` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:23:0 `aiohttp.web_request.BaseRequest.__repr__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:25:0 `aiohttp.web_request.Request.match_info` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:26:1 `aiohttp.web_request.Request.app` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:28:1 `aiohttp.web_request.Request.config_dict` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:32:0 `aiohttp.web_exceptions._HTTPMove.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:41:0 `aiohttp.web_exceptions.HTTPException.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:49:0 `aiohttp.web_exceptions.HTTPMethodNotAllowed.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:59:0 `aiohttp.web_exceptions.HTTPUnavailableForLegalReasons.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:69:0 `aiohttp.web_response.StreamResponse.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:76:1 `aiohttp.web_response.StreamResponse.headers` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:78:1 `aiohttp.web_response.StreamResponse.cookies` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:80:0 `aiohttp.web_response.StreamResponse.write_eof` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:82:0 `aiohttp.web_response.Response.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:95:1 `aiohttp.web_response.Response.body` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:100:1 `aiohttp.web_response.Response.text` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:103:0 `aiohttp.web_response.json_response` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:115:0 `aiohttp.web_ws.WebSocketResponse.ping` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:116:0 `aiohttp.web_ws.WebSocketResponse.pong` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:117:0 `aiohttp.web_ws.WebSocketResponse.send_str` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:118:0 `aiohttp.web_ws.WebSocketResponse.send_bytes` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:119:0 `aiohttp.web_ws.WebSocketResponse.send_json` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:120:0 `aiohttp.web_ws.WebSocketResponse.close` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:121:0 `aiohttp.web_ws.WebSocketResponse.receive` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:122:0 `aiohttp.web_ws.WebSocketResponse.receive_str` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:123:0 `aiohttp.web_ws.WebSocketResponse.receive_bytes` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:124:0 `aiohttp.web_ws.WebSocketResponse.receive_json` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:125:0 `aiohttp.web_ws.WebSocketResponse.write` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:126:0 `aiohttp.web_ws.WebSocketResponse.__aiter__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/aiohttp_server.pysa:127:0 `aiohttp.web_ws.WebSocketResponse.__anext__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/authentication_sinks.pysa:6:0 `boto3.client` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/authentication_sinks.pysa:13:0 `s3fs.core.S3FileSystem.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/authentication_sinks.pysa:18:0 `amazon.api.AmazonAPI.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/dill_sinks.pysa:1:0 `dill._dill.load` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/dill_sinks.pysa:2:0 `dill._dill.loads` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/dill_sinks.pysa:3:0 `dill._dill.load_session` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/dill_sinks.pysa:4:0 `dill._dill.Unpickler.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_rest_framework.pysa:1:1 `rest_framework.request.Request.POST` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_rest_framework.pysa:3:1 `rest_framework.request.Request.FILES` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_rest_framework.pysa:5:1 `rest_framework.request.Request.DATA` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_rest_framework.pysa:7:1 `rest_framework.request.Request.QUERY_PARAMS` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_rest_framework.pysa:9:1 `rest_framework.request.Request.data` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_rest_framework.pysa:11:1 `rest_framework.request.Request.query_params` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_rest_framework.pysa:13:1 `rest_framework.request.Request.content_type` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_rest_framework.pysa:15:1 `rest_framework.request.Request.stream` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:3:0 `django.http.request.HttpRequest.COOKIES` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:4:0 `django.http.request.HttpRequest.META` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:5:0 `django.http.request.HttpRequest.user_agent_string` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:6:0 `django.http.request.HttpRequest.user_agent` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:8:0 `django.http.request.HttpRequest.FILES` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:9:0 `django.http.request.HttpRequest.GET` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:10:0 `django.http.request.HttpRequest.POST` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:11:0 `django.http.request.HttpRequest.REQUEST` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:12:0 `django.http.request.HttpRequest.body` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:14:0 `django.http.request.HttpRequest.GET` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:15:0 `django.http.request.HttpRequest.POST` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:17:0 `django.http.request.HttpRequest.COOKIES` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:18:0 `django.http.request.HttpRequest.get_signed_cookie` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:19:0 `django.http.response.HttpResponseBase.cookies` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:22:0 `django.http.request.HttpRequest.META` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:23:0 `django.http.request.HttpRequest.__repr__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:24:0 `django.core.handlers.wsgi.WSGIRequest.environ` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:25:0 `django.http.request.build_request_repr` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:33:0 `django.http.request.HttpRequest.get_full_path` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:34:0 `django.http.request.HttpRequest.build_absolute_uri` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:42:0 `django.http.response.HttpResponse.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:51:0 `django.http.response.HttpResponse.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:58:0 `django.http.response.HttpResponseBase.__setitem__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:59:0 `django.http.response.HttpResponseBase.setdefault` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:62:0 `django.http.response.HttpResponseBase._headers` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:63:0 `django.http.response.HttpResponseBase._headers` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:64:0 `django.http.response.HttpResponseBase.serialize_headers` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:65:0 `django.http.response.HttpResponseBase.__bytes__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:66:0 `django.http.response.HttpResponseBase.items` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:67:0 `django.http.response.HttpResponseBase.get` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:68:0 `django.http.response.HttpResponseBase.__getitem__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:71:0 `django.http.response.HttpResponse.serialize` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:72:0 `django.http.response.HttpResponse.__bytes__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:73:1 `django.http.response.HttpResponse.content` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:75:0 `django.http.response.HttpResponse.__iter__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:76:0 `django.http.response.HttpResponse.getvalue` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:79:0 `django.http.response.HttpResponseRedirect.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:81:0 `django.shortcuts.redirect` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:82:0 `django.shortcuts.render` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:83:0 `django.shortcuts.render` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:87:0 `django.core.cache.backends.base.BaseCache.get` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:88:0 `django.core.cache.backends.base.BaseCache.get_many` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:89:0 `django.core.cache.backends.base.BaseCache.set` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:90:0 `django.core.cache.backends.base.BaseCache.set_many` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:95:0 `django.db.models.manager.Manager.raw` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:98:0 `django.db.backends.utils.CursorWrapper.execute` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:99:0 `django.db.backends.utils.CursorWrapper.executemany` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:100:0 `django.db.backends.mysql.base.CursorWrapper.execute` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:101:0 `django.db.backends.mysql.base.CursorWrapper.executemany` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:114:0 `django.utils.html.format_html` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:115:0 `django.utils.html.format_html_join` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:122:1 `django.http.response.HttpResponse.content` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:127:0 `django.utils.html.escape` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:128:0 `django.utils.html.conditional_escape` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:131:0 `django.contrib.sessions.backends.base.SessionBase.session_key` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:132:0 `django.contrib.sessions.backends.base.SessionBase._session_key` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/django_sources_sinks.pysa:135:0 `django.db.models.manager.Manager.get` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:2:1 `falcon.request.Request.app` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:7:0 `falcon.request.Request.path` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:10:0 `falcon.request.Request.url` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:11:0 `falcon.util.uri.decode` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:14:0 `falcon.request.Request.query_string` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:15:1 `falcon.request.Request.params` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:17:0 `falcon.request.Request._params` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:18:0 `falcon.request.Request.stream` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:19:0 `falcon.request.Request.env` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:20:0 `falcon.util.uri.parse_query_string` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:21:1 `falcon.request.Request.get_param_as_bool` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:23:1 `falcon.request.Request.get_param_as_bool` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:27:1 `falcon.request.Request.cookies` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:29:0 `falcon.request.Request._cookies` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:33:1 `falcon.request.Request.forwarded_host` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:35:1 `falcon.request.Request.headers` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:37:1 `falcon.request.Request.access_route` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:39:0 `falcon.request.Request.get_header` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:40:0 `falcon.request.Request.user_agent` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:41:0 `falcon.request.Request.referer` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:42:0 `falcon.request.Request.auth` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:45:0 `falcon.response.Response._media` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:46:0 `falcon.response.Response._media` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:47:0 `falcon.response.Response.body` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:48:0 `falcon.response.Response.body` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:49:0 `falcon.response.Response._data` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:50:0 `falcon.response.Response._data` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:51:0 `falcon.response.Response.stream` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:52:0 `falcon.response.Response.stream` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:56:0 `falcon.response.Response._headers` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:60:0 `falcon.redirects.HTTPMovedPermanently.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:64:0 `falcon.redirects.HTTPFound.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:68:0 `falcon.redirects.HTTPSeeOther.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:72:0 `falcon.redirects.HTTPTemporaryRedirect.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/falcon_server.pysa:76:0 `falcon.redirects.HTTPPermanentRedirect.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/filesystem_sinks.pysa:1:0 `PIL.Image.open` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/filesystem_sinks.pysa:2:0 `PIL.Image.Image.save` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:1:0 `furl.PathCompositionInterface.__setattr__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:2:0 `furl.QueryCompositionInterface.__setattr__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:3:0 `furl.FragmentCompositionInterface.__setattr__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:5:0 `furl.omdict1D.add` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:6:0 `furl.omdict1D.set` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:7:0 `furl.omdict1D.__setitem__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:9:0 `furl.furl.__init__` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:10:0 `furl.furl.load` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:14:0 `furl.furl.add` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:22:0 `furl.furl.set` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:41:1 `furl.furl.scheme` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:43:1 `furl.furl.host` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:45:1 `furl.furl.port` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:47:1 `furl.furl.netloc` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:49:1 `furl.furl.origin` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:51:1 `furl.furl.url` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:53:1 `furl.QueryCompositionInterface.query` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:55:1 `furl.QueryCompositionInterface.args` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/furl_features.pysa:57:1 `furl.PathCompositionInterface.path` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/lxml_sinks.pysa:1:0 `lxml.etree.fromstring` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/lxml_sinks.pysa:2:0 `lxml.etree.parse` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/mysql_connector_sinks.pysa:1:0 `mysql.connector.abstracts.MySQLCursorAbstract.execute` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/mysql_connector_sinks.pysa:2:0 `mysql.connector.abstracts.MySQLCursorAbstract.executemany` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/mysql_connector_sinks.pysa:4:0 `mysql.connector.abstracts.MySQLConnectionAbstract.cmd_query` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/mysql_connector_sinks.pysa:5:0 `mysql.connector.abstracts.MySQLConnectionAbstract.cmd_query_iter` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/mysql_connector_sinks.pysa:6:0 `mysql.connector.abstracts.MySQLConnectionAbstract.info_query` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/mysql_connector_sinks.pysa:7:0 `mysql.connector.abstracts.MySQLConnectionAbstract.cmd_stmt_prepare` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/mysql_connector_sinks.pysa:9:0 `mysql.connector.connection.MySQLConnection.cmd_query` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/mysql_connector_sinks.pysa:10:0 `mysql.connector.connection.MySQLConnection.cmd_query_iter` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/mysql_connector_sinks.pysa:11:0 `mysql.connector.connection.MySQLConnection.info_query` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/mysql_connector_sinks.pysa:12:0 `mysql.connector.connection.MySQLConnection.cmd_stmt_prepare` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/mysql_connector_sinks.pysa:14:0 `mysql.connector.connection_cext.CMySQLConnection.cmd_query` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/mysql_connector_sinks.pysa:15:0 `mysql.connector.connection_cext.CMySQLConnection.info_query` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/mysqldb_sinks.pysa:1:0 `MySQLdb.cursors.BaseCursor.execute` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/mysqldb_sinks.pysa:2:0 `MySQLdb.cursors.BaseCursor.executemany` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/mysqldb_sinks.pysa:3:0 `MySQLdb.cursors.BaseCursor.callproc` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:1:0 `pandas.core.computation.eval.eval` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:2:0 `pandas.io.pickle.read_pickle` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:4:0 `pandas.io.sql.read_sql` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:5:0 `pandas.io.sql.read_sql_query` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:7:0 `pandas.io.parsers.read_csv` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:8:0 `pandas.io.json._json.read_json` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:9:0 `pandas.io.html.read_html` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:10:0 `pandas.io.excel._base.read_excel` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:11:0 `pandas.io.pytables.read_hdf` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:12:0 `pandas.io.parquet.read_parquet` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:13:0 `pandas.io.feather_format.read_feather` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:14:0 `pandas.io.orc.read_orc` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:15:0 `pandas.io.spss.read_spss` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:17:0 `pandas.core.generic.NDFrame.to_csv` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:18:0 `pandas.core.generic.NDFrame.to_hdf` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:19:0 `pandas.core.generic.NDFrame.to_latex` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/pandas_sinks.pysa:20:0 `pandas.core.generic.NDFrame.to_sql` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/sqlalchemy_sinks.pysa:1:0 `sqlalchemy.engine.base.Engine.execute` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/sqlalchemy_sinks.pysa:2:0 `sqlalchemy.engine.base.Engine.run_callable` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/sqlalchemy_sinks.pysa:3:0 `sqlalchemy.engine.base.Engine.scalar` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/sqlalchemy_sinks.pysa:4:0 `sqlalchemy.engine.base.Connection.execute` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/sqlalchemy_sinks.pysa:5:0 `sqlalchemy.engine.base.Connection.run_callable` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/sqlalchemy_sinks.pysa:6:0 `sqlalchemy.engine.base.Connection.scalar` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/sqlalchemy_sinks.pysa:7:0 `sqlalchemy.engine.interfaces.Connectable.execute` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/sqlalchemy_sinks.pysa:8:0 `sqlalchemy.engine.interfaces.Connectable.scalar` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/user_reach_sinks.pysa:9:0 `django.core.mail.send_mail` is not part of the environment!
/home/seb/.local/lib/pyre_check/taint/user_reach_sinks.pysa:16:0 `django.core.mail.message.EmailMessage.__init__` is not part of the environment!

Additional context

> uname -a
Linux kali 5.10.0-kali5-amd64 #1 SMP Debian 5.10.24-1kali1 (2021-03-23) x86_64 GNU/Linux
> python --version
Python 2.7.18
> pip install -r requirements.txt 
Defaulting to user installation because normal site-packages is not writeable
Requirement already satisfied: async-generator in /home/seb/.local/lib/python3.9/site-packages (from -r requirements.txt (line 1)) (1.10)
Requirement already satisfied: click in /home/seb/.local/lib/python3.9/site-packages (from -r requirements.txt (line 2)) (8.0.1)
Requirement already satisfied: dataclasses-json in /home/seb/.local/lib/python3.9/site-packages (from -r requirements.txt (line 3)) (0.5.4)
Requirement already satisfied: libcst in /usr/local/lib/python3.9/dist-packages (from -r requirements.txt (line 4)) (0.3.15)
Requirement already satisfied: psutil in /usr/lib/python3/dist-packages (from -r requirements.txt (line 5)) (5.8.0)
Requirement already satisfied: pyre-extensions in /home/seb/.local/lib/python3.9/site-packages (from -r requirements.txt (line 6)) (0.0.21)
Requirement already satisfied: pywatchman in /home/seb/.local/lib/python3.9/site-packages (from -r requirements.txt (line 7)) (1.4.1)
Requirement already satisfied: tabulate in /usr/lib/python3/dist-packages (from -r requirements.txt (line 8)) (0.8.7)
Requirement already satisfied: testslide in /home/seb/.local/lib/python3.9/site-packages (from -r requirements.txt (line 9)) (2.6.3)
Requirement already satisfied: typing_extensions in /usr/lib/python3/dist-packages (from -r requirements.txt (line 10)) (3.7.4.3)
Requirement already satisfied: marshmallow<4.0.0,>=3.3.0 in /home/seb/.local/lib/python3.9/site-packages (from dataclasses-json->-r requirements.txt (line 3)) (3.13.0)
Requirement already satisfied: typing-inspect>=0.4.0 in /usr/local/lib/python3.9/dist-packages (from dataclasses-json->-r requirements.txt (line 3)) (0.6.0)
Requirement already satisfied: stringcase<2.0.0,==1.2.0 in /home/seb/.local/lib/python3.9/site-packages (from dataclasses-json->-r requirements.txt (line 3)) (1.2.0)
Requirement already satisfied: marshmallow-enum<2.0.0,>=1.5.1 in /home/seb/.local/lib/python3.9/site-packages (from dataclasses-json->-r requirements.txt (line 3)) (1.5.1)
Requirement already satisfied: mypy-extensions>=0.3.0 in /usr/local/lib/python3.9/dist-packages (from typing-inspect>=0.4.0->dataclasses-json->-r requirements.txt (line 3)) (0.4.3)
Requirement already satisfied: pyyaml>=5.2 in /usr/lib/python3/dist-packages (from libcst->-r requirements.txt (line 4)) (5.3.1)
Requirement already satisfied: Pygments>=2.6.1 in /usr/lib/python3/dist-packages (from testslide->-r requirements.txt (line 9)) (2.7.1)
Requirement already satisfied: typeguard>=2.10.0 in /home/seb/.local/lib/python3.9/site-packages (from testslide->-r requirements.txt (line 9)) (2.12.1)
0xedward commented 3 years ago

Hey @cactuschibre , you can run pyre analyze --no-verify to run Pysa despite having model verification errors

Does that solve the issue you are running into?

cosad3s commented 3 years ago

Ok thanks, it is better ...

(...)
ƛ No cached overrides loaded, computing overrides...
ƛ `google.protobuf.message.Message.ClearField` has 57 overrides, this might slow down the analysis considerably.
ƛ `google.protobuf.message.Message.__init__` has 58 overrides, this might slow down the analysis considerably.
ƛ `typing.GenericMeta.__getitem__` has 55 overrides, this might slow down the analysis considerably.
[]

Nothing else in the output. So nothing found ?

0xedward commented 3 years ago

Nothing else in the output. So nothing found ?

@cactuschibre so there could be many reasons why you aren't getting any results (e.g. repo you are running pysa on is missing critical type annotations, your pyre configuration file, the repo you are running pysa on doesn't have any issues pysa can detect with existing models, etc)

I noticed you are running Python 2.7.18 and aren't using a virtual environment. Both of which aren't well-supported. Would you mind trying to run Pysa again by following the Pysa related steps for Ubuntu in the quickstart guide? It would really help with narrowing down what could be happening here to help you debug

Peteling commented 2 years ago

have you solve the problem？ @cosad3s

kongbaizl commented 1 year ago

exercise1中的pyre analyze命令运行后会出现django.http.request.htpprequest.get is not part of the enviroment ,no moudel django in search path的错误

DrVoyager commented 1 year ago

exercise1中的pyre analyze命令运行后会出现django.http.request.htpprequest.get is not part of the enviroment ,no moudel django in search path的错误

Same here. Any updates? When running "pyre analyze" command in exercise 1, I will get "django.http.request.htpprequest.get is not part of the enviroment ,no moudel django in search path".

UPDATE: was able to solve the issue: I install Django using command "pip3 install Django", then find out the Django package path using python code "os.path.abspath(django.__file__)"; finally, add the path of the Django module to the search_path of the .pyre_configuration file. Rerun the pyre analyze command, Bingo! It works! I am wondering if this is a necessary step. Why do I have to manually add the path given "../../../stub" has already added to the search_path.

liyuanlintcl commented 8 months ago

@DrVoyager os.path.abspath(django.file) returns "/home/usr/.venvs/pysa/lib/python3.10/site-packages/django/init.py" , so I write the .pyre_configuration file as follows: { "site_package_search_strategy": "pep561", "source_directories": [ "." ], "taint_models_path": [ "./stubs/taint" ], "search_path": [ "/home/usr/.venvs/pysa/lib/pyre_check/taint", "/home/usr/.venvs/pysa/lib/python3.10/site-packages/django" ], "exclude": [ "/home/usr/.local" ] } But it still doesn't work, what's wrong with it?