pyre-check
pyre-check copied to clipboard
Published
20 hours ago •
facebook
facebook
Cannot analyze ("is not part of the environment")
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)
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?
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 ?
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
exercise1中的pyre analyze命令运行后会出现django.http.request.htpprequest.get is not part of the enviroment ,no moudel django in search path的错误
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.
@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?
