"Fossies" - the Fresh Open Source Software Archive

Contents of pyre-check-0.0.57.tar.gz (16 Oct 03:23, 3261298 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.57.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.57.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, ...):
-rw-rw-r--       223 2020-10-16 03:23 INSTALL.md
-rw-rw-r--      1080 2020-10-16 03:23 LICENSE
-rw-rw-r--      2332 2020-10-16 03:23 README.md
-rw-rw-r--      4332 2020-10-16 03:23 ROADMAP.md
-rw-rw-r--     15822 2020-10-16 03:23 hack_parallel/install.txt
-rw-rw-r--      1727 2020-10-16 03:23 pyre_extensions/README.md
-rw-rw-r--      2398 2020-10-16 03:23 pysa_tutorial/README.md
-rw-rw-r--       147 2020-10-16 03:23 tools/sapp/README.md
-rw-rw-r--      2009 2020-10-16 03:23 pysa_tutorial/exercise1/README.md
-rw-rw-r--      2839 2020-10-16 03:23 pysa_tutorial/exercise3/README.md
-rw-rw-r--      3271 2020-10-16 03:23 pysa_tutorial/exercise2/README.md
-rw-rw-r--      3563 2020-10-16 03:23 pysa_tutorial/exercise5/README.md
-rw-rw-r--       388 2020-10-16 03:23 ide_plugins/vscode/README.md
-rw-rw-r--      4912 2020-10-16 03:23 pysa_tutorial/exercise4/README.md

Basic docs (manual pages, PDF-,HTML-,/doc/-files, ...):
-rw-rw-r--       548 2020-10-16 03:23 pysa_tutorial/Dockerfile
-rw-rw-r--      6767 2020-10-16 03:23 website/docs/configuration.md
-rw-rw-r--     16412 2020-10-16 03:23 website/docs/errors.md
-rw-rw-r--        77 2020-10-16 03:23 pysa_tutorial/exercise4/features.pysa
-rw-rw-r--      1736 2020-10-16 03:23 website/docs/getting_started.md
-rw-rw-r--      5342 2020-10-16 03:23 website/docs/gradual_typing.md
-rw-rw-r--      3518 2020-10-16 03:23 website/docs/installation.md
-rw-rw-r--      7858 2020-10-16 03:23 website/docs/pysa_advanced.md
-rw-rw-r--     14793 2020-10-16 03:23 website/docs/pysa_basics.md
-rw-rw-r--      8494 2020-10-16 03:23 website/docs/pysa_features.md
-rw-rw-r--      2414 2020-10-16 03:23 website/docs/pysa_increasing_coverage.md
-rw-rw-r--       930 2020-10-16 03:23 website/docs/pysa_model_dsl.md
-rw-rw-r--      5632 2020-10-16 03:23 website/docs/pysa_precollectors.md
-rw-rw-r--       993 2020-10-16 03:23 website/docs/pysa_resources.md
-rw-rw-r--      4510 2020-10-16 03:23 website/docs/pysa_running.md
-rw-rw-r--     11516 2020-10-16 03:23 website/docs/pysa_tips.md
-rw-rw-r--     14061 2020-10-16 03:23 website/docs/querying_pyre.md
-rw-rw-r--        45 2020-10-16 03:23 pysa_tutorial/exercise3/sanitizers.pysa
-rw-rw-r--       149 2020-10-16 03:23 pysa_tutorial/exercise1/sources_sinks.pysa
-rw-rw-r--       212 2020-10-16 03:23 pysa_tutorial/exercise2/sources_sinks.pysa
-rw-rw-r--      5835 2020-10-16 03:23 website/docs/static_analysis_post_processor.md
-rw-rw-r--       215 2020-10-16 03:23 pysa_tutorial/exercise4/taint.config
-rw-rw-r--       501 2020-10-16 03:23 pysa_tutorial/exercise1/taint.config
-rw-rw-r--       608 2020-10-16 03:23 pysa_tutorial/exercise2/taint.config
-rw-rw-r--    354842 2020-10-16 03:23 website/docs/Variadic_Type_Variables_for_Decorators_and_Tensors.pdf

First 50 (from 1744) other files:
-rw-rw-r--       822 2020-10-16 03:23 domains/abstractBucketedElementSetDomain.mli
-rw-rw-r--      4354 2020-10-16 03:23 domains/abstractBucketedElementSetDomain.ml
-rw-rw-r--      5332 2020-10-16 03:23 domains/abstractDomainCore.ml
-rw-rw-r--       867 2020-10-16 03:23 domains/test/abstractDomain.ml
-rw-rw-r--       223 2020-10-16 03:23 domains/test/abstractDomainTest.mli
-rw-rw-r--     76388 2020-10-16 03:23 domains/test/abstractDomainTest.ml
-rw-rw-r--       811 2020-10-16 03:23 domains/abstractElementSetDomain.mli
-rw-rw-r--      4510 2020-10-16 03:23 domains/abstractElementSetDomain.ml
-rw-rw-r--       567 2020-10-16 03:23 domains/abstractFlatDomain.mli
-rw-rw-r--      3619 2020-10-16 03:23 domains/abstractFlatDomain.ml
-rw-rw-r--       768 2020-10-16 03:23 domains/abstractInvertedSetDomain.mli
-rw-rw-r--      5327 2020-10-16 03:23 domains/abstractInvertedSetDomain.ml
-rw-rw-r--      1318 2020-10-16 03:23 domains/abstractMapDomain.mli
-rw-rw-r--     10151 2020-10-16 03:23 domains/abstractMapDomain.ml
-rw-rw-r--       739 2020-10-16 03:23 domains/abstract.ml
-rw-rw-r--      1176 2020-10-16 03:23 domains/abstractOverUnderSetDomain.mli
-rw-rw-r--     11745 2020-10-16 03:23 domains/abstractOverUnderSetDomain.ml
-rw-rw-r--      1329 2020-10-16 03:23 domains/abstractProductDomain.mli
-rw-rw-r--     10365 2020-10-16 03:23 domains/abstractProductDomain.ml
-rw-rw-r--       735 2020-10-16 03:23 domains/abstractSetDomain.mli
-rw-rw-r--      4159 2020-10-16 03:23 domains/abstractSetDomain.ml
-rw-rw-r--       492 2020-10-16 03:23 domains/abstractSimpleDomain.mli
-rw-rw-r--      1948 2020-10-16 03:23 domains/abstractSimpleDomain.ml
-rw-rw-r--       761 2020-10-16 03:23 domains/abstractToppedSetDomain.mli
-rw-rw-r--      5789 2020-10-16 03:23 domains/abstractToppedSetDomain.ml
-rw-rw-r--      2347 2020-10-16 03:23 domains/abstractTreeDomain.mli
-rw-rw-r--     39846 2020-10-16 03:23 domains/abstractTreeDomain.ml
-rw-rw-r--      1774 2020-10-16 03:23 interprocedural_analyses/taint/accessPath.mli
-rw-rw-r--     12051 2020-10-16 03:23 interprocedural_analyses/taint/accessPath.ml
-rw-rw-r--       223 2020-10-16 03:23 interprocedural_analyses/taint/test/accessPathTest.mli
-rw-rw-r--      7087 2020-10-16 03:23 interprocedural_analyses/taint/test/accessPathTest.ml
-rw-rw-r--       850 2020-10-16 03:23 interprocedural_analyses/taint/test/integration/add_feature_to_argument.py.cg
-rw-rw-r--      7036 2020-10-16 03:23 interprocedural_analyses/taint/test/integration/add_feature_to_argument.py.models
-rw-rw-r--        21 2020-10-16 03:23 interprocedural_analyses/taint/test/integration/add_feature_to_argument.py.overrides
-rw-rw-r--       243 2020-10-16 03:23 interprocedural_analyses/taint/test/integration/add_feature_to_argument.py.pysa
-rw-rw-r--      1034 2020-10-16 03:23 interprocedural_analyses/taint/test/integration/add_feature_to_argument.py
-rw-rw-r--      3479 2020-10-16 03:23 tools/sapp/sapp/pipeline/add_issue_instance_leaves.py
-rw-rw-r--       241 2020-10-16 03:23 stubs/django/contrib/admin.pyi
-rw-rw-r--       437 2020-10-16 03:23 stubs/django/db/aggregates.pyi
-rw-rw-r--      1646 2020-10-16 03:23 stubs/third_party_taint/aiohttp_sinks.pysa
-rw-rw-r--      1365 2020-10-16 03:23 analysis/aliasEnvironment.mli
-rw-rw-r--     15439 2020-10-16 03:23 analysis/aliasEnvironment.ml
-rw-rw-r--       223 2020-10-16 03:23 analysis/test/aliasEnvironmentTest.mli
-rw-rw-r--      9152 2020-10-16 03:23 analysis/test/aliasEnvironmentTest.ml
-rw-rw-r--       303 2020-10-16 03:23 interprocedural_analyses/taint/test/integration/always_in_none.py.cg
-rw-rw-r--      3122 2020-10-16 03:23 interprocedural_analyses/taint/test/integration/always_in_none.py.models
-rw-rw-r--        21 2020-10-16 03:23 interprocedural_analyses/taint/test/integration/always_in_none.py.overrides
-rw-rw-r--       176 2020-10-16 03:23 interprocedural_analyses/taint/test/integration/always_in_none.py.pysa
-rw-rw-r--       880 2020-10-16 03:23 interprocedural_analyses/taint/test/integration/always_in_none.py
-rw-rw-r--         0 2020-10-16 03:23 tools/sapp/sapp/tests/sharded_files/ambiguous@00000-of-00001.ext
...

A hint: In order to limit the size of this page, in total 1694 archive member files - probably 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.4 MB).
   MD5 (pyre-check-0.0.57.tar.gz): f067858a23e276c9e155ce067ff63545
  SHA1 (pyre-check-0.0.57.tar.gz): 19a93e8040ac0a01986b94118dc58158ac342548
SHA256 (pyre-check-0.0.57.tar.gz): dcea2e89ea6af6265c8eebd7523c479b37d0a54d0394c061a490dbf7da1c3ece

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