"Fossies" - the Fresh Open Source Software Archive

Contents of pyre-check-0.0.63.tar.gz (5 Mar 20:29, 3462267 Bytes)

About: Pyre is a performant type checker for Python (ships with Pysa, a security focused static analysis tool).



Fossies downloads: /linux/miscpyre-check-0.0.63.tar.gz  (tar.bz2|tar.xz|zip)
Fossies services: Doxygen docs | Diffs report | CLOC analysis
Original URL: https://github.com/facebook/pyre-check/archive/v0.0.63.tar.gz
Home page: https://pyre-check.org/
VirusTotal check: Ok
Member paths+URLs:  Shortened | full
Member sort order:  docs related (infos|docs|other) | original | size (top100) | date | path | name | ext | top-path files

Basic infos (README, FAQ, INSTALL, ChangeLog, ...):
     223 2021-03-05 20:29 INSTALL.md
    1080 2021-03-05 20:29 LICENSE
    2791 2021-03-05 20:29 README.md
    4332 2021-03-05 20:29 ROADMAP.md
     156 2021-03-05 20:29 pysa_tutorial/README.md
    3316 2021-03-05 20:29 pyre_extensions/README.md
     190 2021-03-05 20:29 documentation/deliberately_vulnerable_flask_app/README.md
    2454 2021-03-05 20:29 documentation/pysa_tutorial/README.md
    2497 2021-03-05 20:29 tools/sandbox/README.md
      82 2021-03-05 20:29 tools/sapp/README.md

Basic docs (manual pages, PDF-,HTML-,/doc/-files, ...):
     548 2021-03-05 20:29 documentation/pysa_tutorial/Dockerfile
     853 2021-03-05 20:29 documentation/website/package.json
 1043562 2021-03-05 20:29 documentation/website/package-lock.json
  462825 2021-03-05 20:29 documentation/website/yarn.lock

First 50 (from 1797) other files:
     822 2021-03-05 20:29 source/domains/abstractBucketedElementSetDomain.mli
    4354 2021-03-05 20:29 source/domains/abstractBucketedElementSetDomain.ml
    5407 2021-03-05 20:29 source/domains/abstractDomainCore.ml
     867 2021-03-05 20:29 source/domains/test/abstractDomain.ml
     223 2021-03-05 20:29 source/domains/test/abstractDomainTest.mli
   76972 2021-03-05 20:29 source/domains/test/abstractDomainTest.ml
     811 2021-03-05 20:29 source/domains/abstractElementSetDomain.mli
    4510 2021-03-05 20:29 source/domains/abstractElementSetDomain.ml
     576 2021-03-05 20:29 source/domains/abstractFlatDomain.mli
    3628 2021-03-05 20:29 source/domains/abstractFlatDomain.ml
     768 2021-03-05 20:29 source/domains/abstractInvertedSetDomain.mli
    5327 2021-03-05 20:29 source/domains/abstractInvertedSetDomain.ml
    1318 2021-03-05 20:29 source/domains/abstractMapDomain.mli
   10151 2021-03-05 20:29 source/domains/abstractMapDomain.ml
     739 2021-03-05 20:29 source/domains/abstract.ml
    1176 2021-03-05 20:29 source/domains/abstractOverUnderSetDomain.mli
   11778 2021-03-05 20:29 source/domains/abstractOverUnderSetDomain.ml
    1329 2021-03-05 20:29 source/domains/abstractProductDomain.mli
   10365 2021-03-05 20:29 source/domains/abstractProductDomain.ml
     735 2021-03-05 20:29 source/domains/abstractSetDomain.mli
    4159 2021-03-05 20:29 source/domains/abstractSetDomain.ml
     492 2021-03-05 20:29 source/domains/abstractSimpleDomain.mli
    1948 2021-03-05 20:29 source/domains/abstractSimpleDomain.ml
     761 2021-03-05 20:29 source/domains/abstractToppedSetDomain.mli
    5789 2021-03-05 20:29 source/domains/abstractToppedSetDomain.ml
    2347 2021-03-05 20:29 source/domains/abstractTreeDomain.mli
   39925 2021-03-05 20:29 source/domains/abstractTreeDomain.ml
    1774 2021-03-05 20:29 source/interprocedural_analyses/taint/accessPath.mli
   12205 2021-03-05 20:29 source/interprocedural_analyses/taint/accessPath.ml
     223 2021-03-05 20:29 source/interprocedural_analyses/taint/test/accessPathTest.mli
    7087 2021-03-05 20:29 source/interprocedural_analyses/taint/test/accessPathTest.ml
     850 2021-03-05 20:29 source/interprocedural_analyses/taint/test/integration/add_feature_to_argument.py.cg
    6448 2021-03-05 20:29 source/interprocedural_analyses/taint/test/integration/add_feature_to_argument.py.models
      21 2021-03-05 20:29 source/interprocedural_analyses/taint/test/integration/add_feature_to_argument.py.overrides
     243 2021-03-05 20:29 source/interprocedural_analyses/taint/test/integration/add_feature_to_argument.py.pysa
    1034 2021-03-05 20:29 source/interprocedural_analyses/taint/test/integration/add_feature_to_argument.py
     241 2021-03-05 20:29 stubs/django/contrib/admin.pyi
     437 2021-03-05 20:29 stubs/django/db/aggregates.pyi
    2519 2021-03-05 20:29 stubs/third_party_taint/aiohttp_client.pysa
    8202 2021-03-05 20:29 stubs/third_party_taint/aiohttp_server.pysa
    1263 2021-03-05 20:29 source/analysis/aliasEnvironment.mli
   16670 2021-03-05 20:29 source/analysis/aliasEnvironment.ml
     223 2021-03-05 20:29 source/analysis/test/aliasEnvironmentTest.mli
   13328 2021-03-05 20:29 source/analysis/test/aliasEnvironmentTest.ml
     303 2021-03-05 20:29 source/interprocedural_analyses/taint/test/integration/always_in_none.py.cg
    2950 2021-03-05 20:29 source/interprocedural_analyses/taint/test/integration/always_in_none.py.models
      21 2021-03-05 20:29 source/interprocedural_analyses/taint/test/integration/always_in_none.py.overrides
     176 2021-03-05 20:29 source/interprocedural_analyses/taint/test/integration/always_in_none.py.pysa
     880 2021-03-05 20:29 source/interprocedural_analyses/taint/test/integration/always_in_none.py
   34043 2021-03-05 20:29 client/analysis_directory.py
...

A hint: In order to limit the size of this page, in total 1747 archive member files not "information" or "documentation" related - are omitted here. But all those files can be found in the complete docs-related index file or in the originally, by date, by pathname, by filename or by file extension sorted index files (roughly file size each: 0.5 MB).
   MD5 (pyre-check-0.0.63.tar.gz): b3084f22d3e38033d41ded468a5f6d13
  SHA1 (pyre-check-0.0.63.tar.gz): 898c5e3230c298abae5b14de07a3e12e07ab4d60
SHA256 (pyre-check-0.0.63.tar.gz): 9b17eff74754a58f2e5d65e35bb843fe5a1ccbf3bb3c84da6ce8d9c17b787e21

Home  |  About  |  Features  |  All  |  Newest  |  Dox  |  Diffs  |  Codespell  |  RSS Feeds  |  Screenshots  |  Comments  |  Imprint  |  Privacy  |  HTTP(S)