pyre-check
pyre-check copied to clipboard
Published
20 hours ago •
facebook
facebook
pyre analyse --no-verify crashes with "Worker interrupted with signal: sigpipe"
Pysa Bug
Bug description I've been trying to get pysa to run on the example flask app in the repo but the process gets killed everytime (sometimes with sigpipe, sometimes with sigkill)
OS: popOS python version: Python 3.8.6 .pyre_configuration file:
{
"source_directories": [
"."
],
"taint_models_path": "/home/pulkit/.venvs/pysa/lib"
}
Reproduction steps
$ python3.8 -m venv ~/.venvs/pysa
$ source ~/.venvs/pysa/bin/activate
$ pip install pyre-check fb-sapp
$ pip install flask
$ cd /path/to/app
$ pyre init
$ pyre analyze --no-verify
Expected behavior The process should not die and I should get the three rce vulnerabilities returned,
Logs
For the same code I sometimes get:
2021-06-25 21:34:27,679 [PID 4752] WARNING Using virtual environment site-packages in search path...
2021-06-25 21:34:27,679 [PID 4752] WARNING Path does not exist: /home/pulkit/.venvs/pysa/local/lib/python3.8/dist-packages
2021-06-25 21:34:27,680 [PID 4752] WARNING Path does not exist: /home/pulkit/.venvs/pysa/lib/python3/dist-packages
2021-06-25 21:34:27,680 [PID 4752] WARNING Path does not exist: /home/pulkit/.venvs/pysa/lib/python3.8/dist-packages
2021-06-25 21:34:27,680 [PID 4752] INFO No typeshed specified, looking for it...
2021-06-25 21:34:27,680 [PID 4752] INFO Found: `/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed`
2021-06-25 21:34:27,681 [PID 4752] DEBUG Running cli command `/home/pulkit/.venvs/pysa/bin/pyre -n analyze --no-verify`...
2021-06-25 21:34:27,682 [PID 4752] INFO No binary specified, looking for `pyre.bin` in PATH
2021-06-25 21:34:27,682 [PID 4752] INFO Could not determine the number of Pyre workers from configuration. Auto-set the value to 12.
2021-06-25 21:34:27,682 [PID 4752] WARNING Path does not exist: /home/pulkit/.venvs/pysa/local/lib/python3.8/dist-packages
2021-06-25 21:34:27,682 [PID 4752] WARNING Path does not exist: /home/pulkit/.venvs/pysa/lib/python3/dist-packages
2021-06-25 21:34:27,682 [PID 4752] WARNING Path does not exist: /home/pulkit/.venvs/pysa/lib/python3.8/dist-packages
2021-06-25 21:34:27,682 [PID 4752] INFO No typeshed specified, looking for it...
2021-06-25 21:34:27,683 [PID 4752] INFO Found: `/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed`
2021-06-25 21:34:27,684 [PID 4752] DEBUG Running `/home/pulkit/.venvs/pysa/bin/pyre.bin analyze -logging-sections -progress -project-root /home/pulkit/Desktop/mlh/1 -log-directory /home/pulkit/Desktop/mlh/1/.pyre -python-major-version 3 -python-minor-version 8 -python-micro-version 6 -filter-directories /home/pulkit/Desktop/mlh/1 -workers 12 -search-path /home/pulkit/.venvs/pysa/lib/python3.8/site-packages,/home/pulkit/.local/lib/python3.8/site-packages,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stdlib,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/DateTimeRange,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/Deprecated,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/Flask,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/JACK-Client,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/Jinja2,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/Markdown,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/MarkupSafe,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/PyMySQL,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/PyYAML,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/Routes,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/Werkzeug,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/aiofiles,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/atomicwrites,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/attrs,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/backports,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/backports_abc,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/bleach,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/boto,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/cachetools,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/certifi,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/characteristic,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/chardet,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/click,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/click-spinner,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/contextvars,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/croniter,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/cryptography,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/dataclasses,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/dateparser,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/decorator,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/docutils,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/emoji,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/enum34,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/fb303,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/filelock,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/first,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/freezegun,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/frozendict,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/futures,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/geoip2,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/ipaddress,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/itsdangerous,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/jwt,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/kazoo,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/maxminddb,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/mock,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/mypy-extensions,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/nmap,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/openssl-python,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/orjson,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/paramiko,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/pathlib2,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/pkg_resources,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/polib,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/protobuf,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/pyRFC3339,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/pycurl,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/pymssql,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/python-dateutil,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/python-gflags,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/python-slugify,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/pytz,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/pyvmomi,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/redis,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/requests,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/retry,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/scribe,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/simplejson,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/singledispatch,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/six,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/tabulate,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/termcolor,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/toml,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/tornado,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/typed-ast,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/typing-extensions,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/tzlocal,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/ujson,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/waitress,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/xxhash -analysis taint -taint-models /home/pulkit/.venvs/pysa/lib -no-verify /home/pulkit/Desktop/mlh/1`
2021-06-25 21:34:27,688 [PID 4752] DEBUG Registering process with pid 4754 in pid file `/home/pulkit/Desktop/mlh/1/.pyre/pid_files/analyze-4754.pid`
2021-06-25 21:34:27,723 [PID 4752] INFO Verifying model syntax and configuration.
2021-06-25 21:34:27,759 [PID 4752] INFO Finding taint models in `/home/pulkit/.venvs/pysa/lib`.
2021-06-25 21:34:27,824 [PID 4752] INFO No cached type environment loaded, starting a clean run.
2021-06-25 21:34:28,145 [PID 4752] PERFORMANCE Module tracker built: 0.32s
2021-06-25 21:34:28,145 [PID 4752] INFO Building type environment...
2021-06-25 21:34:28,465 [PID 4752] INFO Parsing 5159 stubs and sources...
2021-06-25 21:34:35,149 [PID 4752] PERFORMANCE Sources parsed: 6.68s
2021-06-25 21:34:40,094 [PID 4752] PERFORMANCE Full environment built: 11.95s
2021-06-25 21:34:40,622 [PID 4752] INFO Checking 96875 functions...
2021-06-25 21:35:48,781 [PID 4752] PERFORMANCE Check_TypeCheck: 68.14s
2021-06-25 21:35:48,782 [PID 4752] MEMORY Shared memory size post-typecheck (size: 269)
2021-06-25 21:35:50,009 [PID 4752] INFO No cached initial callables loaded, fetching initial callables to analyze...
2021-06-25 21:35:52,187 [PID 4752] DEBUG Removing pid file: `/home/pulkit/Desktop/mlh/1/.pyre/pid_files/analyze-4754.pid`
2021-06-25 21:35:55,946 [PID 4752] ERROR Client exited with error code -9:
Worker interrupted with signal: sigpipe
Worker interrupted with signal: sigpipe
Worker interrupted with signal: sigpipe
Worker interrupted with signal: sigpipe
Worker interrupted with signal: sigpipe
Worker interrupted with signal: sigpipe
Worker interrupted with signal: sigpipe
Worker interrupted with signal: sigpipe
Worker interrupted with signal: sigpipe
Worker interrupted with signal: sigpipe
Worker interrupted with signal: sigpipe
Worker interrupted with signal: sigpipe
and someyimes I get
2021-06-25 23:36:35,031 [PID 10052] WARNING Using virtual environment site-packages in search path...
2021-06-25 23:36:35,032 [PID 10052] WARNING Path does not exist: /home/pulkit/.venvs/pysa/local/lib/python3.8/dist-packages
2021-06-25 23:36:35,032 [PID 10052] WARNING Path does not exist: /home/pulkit/.venvs/pysa/lib/python3/dist-packages
2021-06-25 23:36:35,032 [PID 10052] WARNING Path does not exist: /home/pulkit/.venvs/pysa/lib/python3.8/dist-packages
2021-06-25 23:36:35,033 [PID 10052] INFO No typeshed specified, looking for it...
2021-06-25 23:36:35,033 [PID 10052] INFO Found: `/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed`
2021-06-25 23:36:35,035 [PID 10052] DEBUG Running cli command `/home/pulkit/.venvs/pysa/bin/pyre -n analyze --no-verify`...
2021-06-25 23:36:35,035 [PID 10052] INFO No binary specified, looking for `pyre.bin` in PATH
2021-06-25 23:36:35,035 [PID 10052] WARNING Path does not exist: /home/pulkit/.venvs/pysa/local/lib/python3.8/dist-packages
2021-06-25 23:36:35,036 [PID 10052] WARNING Path does not exist: /home/pulkit/.venvs/pysa/lib/python3/dist-packages
2021-06-25 23:36:35,036 [PID 10052] WARNING Path does not exist: /home/pulkit/.venvs/pysa/lib/python3.8/dist-packages
2021-06-25 23:36:35,036 [PID 10052] INFO No typeshed specified, looking for it...
2021-06-25 23:36:35,036 [PID 10052] INFO Found: `/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed`
2021-06-25 23:36:35,037 [PID 10052] DEBUG Running `/home/pulkit/.venvs/pysa/bin/pyre.bin analyze -logging-sections -progress -project-root /home/pulkit/Desktop/mlh/1 -log-directory /home/pulkit/Desktop/mlh/1/.pyre -python-major-version 3 -python-minor-version 8 -python-micro-version 6 -filter-directories /home/pulkit/Desktop/mlh/1 -workers 2 -search-path /home/pulkit/.venvs/pysa/lib/python3.8/site-packages,/home/pulkit/.local/lib/python3.8/site-packages,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stdlib,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/DateTimeRange,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/Deprecated,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/Flask,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/JACK-Client,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/Jinja2,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/Markdown,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/MarkupSafe,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/PyMySQL,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/PyYAML,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/Routes,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/Werkzeug,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/aiofiles,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/atomicwrites,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/attrs,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/backports,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/backports_abc,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/bleach,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/boto,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/cachetools,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/certifi,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/characteristic,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/chardet,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/click,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/click-spinner,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/contextvars,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/croniter,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/cryptography,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/dataclasses,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/dateparser,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/decorator,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/docutils,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/emoji,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/enum34,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/fb303,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/filelock,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/first,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/freezegun,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/frozendict,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/futures,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/geoip2,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/ipaddress,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/itsdangerous,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/jwt,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/kazoo,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/maxminddb,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/mock,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/mypy-extensions,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/nmap,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/openssl-python,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/orjson,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/paramiko,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/pathlib2,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/pkg_resources,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/polib,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/protobuf,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/pyRFC3339,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/pycurl,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/pymssql,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/python-dateutil,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/python-gflags,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/python-slugify,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/pytz,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/pyvmomi,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/redis,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/requests,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/retry,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/scribe,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/simplejson,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/singledispatch,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/six,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/tabulate,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/termcolor,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/toml,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/tornado,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/typed-ast,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/typing-extensions,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/tzlocal,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/ujson,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/waitress,/home/pulkit/.venvs/pysa/lib/pyre_check/typeshed/stubs/xxhash -analysis taint -taint-models /home/pulkit/.venvs/pysa/lib -no-verify /home/pulkit/Desktop/mlh/1`
2021-06-25 23:36:35,042 [PID 10052] DEBUG Registering process with pid 10054 in pid file `/home/pulkit/Desktop/mlh/1/.pyre/pid_files/analyze-10054.pid`
2021-06-25 23:36:35,110 [PID 10052] INFO Verifying model syntax and configuration.
2021-06-25 23:36:35,214 [PID 10052] INFO Finding taint models in `/home/pulkit/.venvs/pysa/lib`.
2021-06-25 23:36:35,252 [PID 10052] INFO No cached type environment loaded, starting a clean run.
2021-06-25 23:36:35,463 [PID 10052] PERFORMANCE Module tracker built: 0.21s
2021-06-25 23:36:35,463 [PID 10052] INFO Building type environment...
2021-06-25 23:36:35,613 [PID 10052] INFO Parsing 5159 stubs and sources...
2021-06-25 23:36:42,234 [PID 10052] PERFORMANCE Sources parsed: 6.62s
2021-06-25 23:36:48,045 [PID 10052] PERFORMANCE Full environment built: 12.58s
2021-06-25 23:36:48,408 [PID 10052] INFO Checking 96875 functions...
2021-06-25 23:37:33,230 [PID 10052] ERROR Uncaught exception: (exn.ml.Finally ("Worker.Worker_exited_abnormally(10058, _)")
2021-06-25 23:37:33,240 [PID 10052] ERROR (Unix.Unix_error "No such process" kill ""))
2021-06-25 23:37:33,241 [PID 10052] ERROR Uncaught exception:
2021-06-25 23:37:33,241 [PID 10052] ERROR
2021-06-25 23:37:33,241 [PID 10052] ERROR (exn.ml.Finally ("Worker.Worker_exited_abnormally(10058, _)")
2021-06-25 23:37:33,241 [PID 10052] ERROR (Unix.Unix_error "No such process" kill ""))
2021-06-25 23:37:33,241 [PID 10052] ERROR
2021-06-25 23:37:33,241 [PID 10052] ERROR Raised at file "string.ml", line 115, characters 19-34
2021-06-25 23:37:33,241 [PID 10052] ERROR Called from file "src/sexp.ml", line 113, characters 13-47
2021-06-25 23:37:33,253 [PID 10052] DEBUG Removing pid file: `/home/pulkit/Desktop/mlh/1/.pyre/pid_files/analyze-10054.pid`
2021-06-25 23:37:34,330 [PID 10052] ERROR Client exited with error code 1:
Worker interrupted with signal: sigkill
Worker interrupted with signal: sigpipe
Additional context
When I set "workers": 4, in the config file then it works sometimes and fails sometimes(yes randomly)
I have met with similar problem. And I fixed it by giving 6GB memory to docker.
