├── .flake8 ├── .gitattributes ├── .github ├── ISSUE_TEMPLATE │ ├── other.md │ ├── pyre-bug.md │ ├── pyre-feature-request.md │ ├── pysa-bug.md │ └── pysa-feature-request.md ├── dependabot.yml ├── pull_request_template.md └── workflows │ ├── publish_website.yml │ ├── pysa.yml │ └── tests.yml ├── .gitignore ├── .ocamlformat ├── .pre-commit-config.yaml ├── .pre-commit-hooks.yaml ├── .pyre_configuration ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.es.md ├── CONTRIBUTING.md ├── INSTALL.md ├── LICENSE ├── README.md ├── ROADMAP.md ├── __init__.py ├── api ├── connection.py ├── query.py └── tests │ ├── connection_test.py │ └── query_test.py ├── client ├── backend_arguments.py ├── background_tasks.py ├── command_arguments.py ├── commands │ ├── __init__.py │ ├── analyze.py │ ├── check.py │ ├── commands.py │ ├── daemon_querier.py │ ├── daemon_query.py │ ├── error_code_to_link_mapper.py │ ├── expression_level_coverage.py │ ├── incremental.py │ ├── infer.py │ ├── info.py │ ├── initialization.py │ ├── initialize.py │ ├── initialize_pysa.py │ ├── kill.py │ ├── launch_and_subscribe_handler.py │ ├── libcst_util.py │ ├── no_daemon_query.py │ ├── persistent.py │ ├── profile.py │ ├── pyre_language_server.py │ ├── pyre_server_options.py │ ├── pysa_server.py │ ├── query.py │ ├── query_response.py │ ├── rage.py │ ├── report.py │ ├── report_any_expressions.py │ ├── restart.py │ ├── server_event.py │ ├── server_state.py │ ├── servers.py │ ├── source_code_context.py │ ├── start.py │ ├── statistics.py │ ├── status_message_handler.py │ ├── stop.py │ ├── subscription.py │ ├── tests │ │ ├── analyze_test.py │ │ ├── check_test.py │ │ ├── daemon_querier_test.py │ │ ├── daemon_query_test.py │ │ ├── expression_level_coverage_test.py │ │ ├── incremental_test.py │ │ ├── infer_test.py │ │ ├── initialize_test.py │ │ ├── language_server_test.py │ │ ├── libcst_util_test.py │ │ ├── profile_test.py │ │ ├── pyre_server_options_test.py │ │ ├── server_event_test.py │ │ ├── server_setup.py │ │ ├── servers_test.py │ │ ├── source_code_context_test.py │ │ ├── start_test.py │ │ ├── statistics_test.py │ │ ├── subscription_test.py │ │ └── validate_models_test.py │ ├── type_error_handler.py │ └── validate_models.py ├── configuration │ ├── __init__.py │ ├── configuration.py │ ├── exceptions.py │ ├── extension.py │ ├── platform_aware.py │ ├── python_version.py │ ├── scheduler_policies.py │ ├── search_path.py │ ├── shared_memory.py │ ├── site_packages.py │ ├── tests │ │ ├── configuration_test.py │ │ ├── extension_test.py │ │ ├── python_version_test.py │ │ ├── scheduler_policies_test.py │ │ ├── search_path_test.py │ │ ├── site_packages_test.py │ │ └── unwatched_test.py │ └── unwatched.py ├── coverage_data.py ├── daemon_socket.py ├── dataclasses_json_extensions.py ├── dataclasses_merge.py ├── error.py ├── filesystem.py ├── find_directories.py ├── frontend_configuration.py ├── identifiers.py ├── json_rpc.py ├── language_server │ ├── __init__.py │ ├── code_navigation_request.py │ ├── connections.py │ ├── daemon_connection.py │ ├── features.py │ ├── protocol.py │ └── tests │ │ ├── connections_test.py │ │ ├── daemon_connection_test.py │ │ └── protocol_test.py ├── libcst_vendored_visitors │ ├── __init__.py │ ├── _apply_type_annotations.py │ └── _gather_global_names.py ├── log │ ├── __init__.py │ ├── log.py │ └── tests │ │ └── log_test.py ├── log_lsp_event.py ├── pyre.py ├── remote_logger.py ├── terminal.py ├── tests │ ├── backend_arguments_test.py │ ├── background_tasks_test.py │ ├── coverage_data_tests.py │ ├── daemon_socket_test.py │ ├── dataclasses_merge_test.py │ ├── error_test.py │ ├── filesystem_test.py │ ├── find_directories_test.py │ ├── frontend_configuration_test.py │ ├── identifiers_test.py │ ├── json_rpc_test.py │ ├── setup.py │ ├── terminal_test.py │ └── timer_test.py ├── timer.py └── version.py ├── documentation ├── deliberately_vulnerable_flask_app │ ├── .gitignore │ ├── README.md │ ├── app.py │ ├── requirements.txt │ ├── result.json │ ├── run_integration_tests.sh │ └── setup.sh ├── examples │ ├── pytorch │ │ ├── .pyre_configuration │ │ ├── sources │ │ │ ├── _torch │ │ │ │ ├── __init__.py │ │ │ │ ├── autograd │ │ │ │ │ └── __init__.py │ │ │ │ └── nn │ │ │ │ │ ├── __init__.py │ │ │ │ │ └── functional.py │ │ │ ├── linear_regression.py │ │ │ └── simple_operations.py │ │ └── stubs │ │ │ └── _torch │ │ │ ├── __init__.pyi │ │ │ ├── autograd │ │ │ └── __init__.pyi │ │ │ └── nn │ │ │ ├── __init__.pyi │ │ │ └── functional.pyi │ └── xlm │ │ ├── .pyre_configuration │ │ ├── sources │ │ ├── _torch │ │ │ ├── __init__.py │ │ │ └── nn │ │ │ │ ├── __init__.py │ │ │ │ └── functional.py │ │ └── main.py │ │ └── stubs │ │ └── _torch │ │ ├── __init__.pyi │ │ └── nn │ │ ├── __init__.pyi │ │ └── functional.pyi ├── pysa_tutorial │ ├── Dockerfile │ ├── README.md │ ├── __init__.py │ ├── exercise1 │ │ ├── .pyre_configuration │ │ ├── README.md │ │ ├── sources_sinks.pysa │ │ ├── taint.config │ │ └── views.py │ ├── exercise2 │ │ ├── .pyre_configuration │ │ ├── README.md │ │ ├── sources_sinks.pysa │ │ ├── taint.config │ │ └── views.py │ ├── exercise3 │ │ ├── .pyre_configuration │ │ ├── README.md │ │ ├── sanitizers.pysa │ │ └── views.py │ ├── exercise4 │ │ ├── .pyre_configuration │ │ ├── README.md │ │ ├── features.pysa │ │ ├── taint.config │ │ └── views.py │ └── exercise5 │ │ ├── .pyre_configuration │ │ ├── README.md │ │ ├── __init__.py │ │ ├── generate_models.py │ │ ├── urls.py │ │ └── views.py └── website │ ├── .gitignore │ ├── core │ └── Footer.js │ ├── docs │ ├── Variadic_Type_Variables_for_Decorators_and_Tensors.pdf │ ├── configuration.md │ ├── editor_integration.md │ ├── errors.md │ ├── features.md │ ├── getting_started.md │ ├── gradual_typing.md │ ├── installation.md │ ├── overview.md │ ├── pyre_faq.md │ ├── pysa_advanced.md │ ├── pysa_basics.md │ ├── pysa_explore.md │ ├── pysa_false_positives_negatives.md │ ├── pysa_features.md │ ├── pysa_filtering.md │ ├── pysa_implementation_details.md │ ├── pysa_increasing_coverage.md │ ├── pysa_model_dsl.md │ ├── pysa_precollectors.md │ ├── pysa_quickstart.md │ ├── pysa_resources.md │ ├── pysa_running.md │ ├── pysa_shipping_rules_models.md │ ├── pysa_tips.md │ ├── querying_pyre.md │ ├── static_analysis_post_processor.md │ └── warning_codes │ │ ├── 5001.md │ │ ├── 6065.md │ │ └── overview.md │ ├── docusaurus.config.js │ ├── i18n │ └── en.json │ ├── package.json │ ├── sidebars.js │ ├── src │ ├── css │ │ └── custom.css │ └── pages │ │ ├── index.js │ │ ├── play.js │ │ ├── pysa-playground.js │ │ └── styles.module.css │ ├── static │ ├── css │ │ └── custom.css │ └── img │ │ ├── docusaurus.svg │ │ ├── edit_this_page.png │ │ ├── example_flame_graph.png │ │ ├── expression_level_coverage_diagram.png │ │ ├── favicon.ico │ │ ├── favicon.png │ │ ├── ig.png │ │ ├── integrated_logo_light.png │ │ ├── issue_visualization.png │ │ ├── meta_open_source_logo.svg │ │ ├── oss_logo.png │ │ ├── pyre.png │ │ ├── pyre.svg │ │ ├── pyre_backend.png │ │ ├── pyre_backend_overview.png │ │ ├── pyre_jobs_releases.png │ │ ├── pyre_type_checker.png │ │ ├── pysa.png │ │ ├── sapp_web_ui.png │ │ ├── sapp_web_ui_filter.png │ │ ├── servicelab_signalbox.png │ │ └── vscode_logging_ui.png │ ├── yarn-with-proxy │ └── yarn.lock ├── logo.png ├── logo.txt ├── pyproject.toml ├── pyre_extensions ├── README.md ├── __init__.py ├── generic.py ├── refinement.py ├── safe_json.py ├── tests │ ├── __init__.py │ ├── basic_test.py │ └── safe_json_test.py └── type_variable_operators.py ├── pysa_tutorial └── README.md ├── requirements-dev.txt ├── requirements.txt ├── scripts ├── analyze_leaks.py ├── build_pypi_sanity_test.py ├── callgraph_utilities.py ├── compare_pysa_models_to_json.py ├── explore_pysa_models.py ├── generate-version-number.sh ├── lint.py ├── pypi │ ├── __main__.py │ ├── build_pypi_package.py │ ├── setup.py │ └── tests │ │ └── build_pypi_package_test.py ├── pysa_fuzzer │ ├── README.md │ ├── forward_code_generator.py │ ├── mutation_based_code_generator.py │ └── run.py ├── run-python-tests.sh ├── run_server_integration_test.py ├── run_server_unsaved_changes_test.py ├── setup.py ├── setup.sh ├── shape_type_coverage.py ├── tests │ ├── analyze_leaks_test.py │ ├── compare_pysa_models_to_json_test.py │ └── shape_type_coverage_test.py └── virtual_environment.py ├── source ├── .ocamlformat ├── .ocamlformat-ignore ├── Makefile ├── alarm.ml ├── alarm.mli ├── algorithms.ml ├── algorithms.mli ├── analysis │ ├── analysis.ml │ ├── analysisError.ml │ ├── analysisError.mli │ ├── annotatedAttribute.ml │ ├── annotatedAttribute.mli │ ├── annotatedCall.ml │ ├── annotatedCall.mli │ ├── annotatedCallable.ml │ ├── annotatedCallable.mli │ ├── annotatedDefine.ml │ ├── annotatedDefine.mli │ ├── annotatedGlobalEnvironment.ml │ ├── annotatedGlobalEnvironment.mli │ ├── artifactPaths.ml │ ├── artifactPaths.mli │ ├── astEnvironment.ml │ ├── astEnvironment.mli │ ├── astProcessing.ml │ ├── astProcessing.mli │ ├── attributeResolution.ml │ ├── attributeResolution.mli │ ├── callgraph.ml │ ├── callgraph.mli │ ├── cfg.ml │ ├── cfg.mli │ ├── classHierarchy.ml │ ├── classHierarchy.mli │ ├── classHierarchyEnvironment.ml │ ├── classHierarchyEnvironment.mli │ ├── classSuccessorMetadataEnvironment.ml │ ├── classSuccessorMetadataEnvironment.mli │ ├── classSummary.ml │ ├── classSummary.mli │ ├── constraintsSet.ml │ ├── constraintsSet.mli │ ├── cycleDetection.ml │ ├── cycleDetection.mli │ ├── dataclassOptions.ml │ ├── dataclassOptions.mli │ ├── decoratorPreprocessing.ml │ ├── decoratorPreprocessing.mli │ ├── dune │ ├── environment.ml │ ├── environment.mli │ ├── environmentControls.ml │ ├── environmentControls.mli │ ├── errorsEnvironment.ml │ ├── errorsEnvironment.mli │ ├── fixpoint.ml │ ├── fixpoint.mli │ ├── functionDefinition.ml │ ├── functionDefinition.mli │ ├── functionDefinitionEnvironment.ml │ ├── functionDefinitionEnvironment.mli │ ├── globalLeakCheck.ml │ ├── globalLeakCheck.mli │ ├── globalModulePathsApi.ml │ ├── globalModulePathsApi.mli │ ├── globalResolution.ml │ ├── globalResolution.mli │ ├── latticeOfMaps.ml │ ├── latticeOfMaps.mli │ ├── locationBasedLookup.ml │ ├── locationBasedLookup.mli │ ├── managedCache.ml │ ├── managedCache.mli │ ├── missingFromStubs.ml │ ├── missingFromStubs.mli │ ├── module.ml │ ├── module.mli │ ├── moduleTracker.ml │ ├── moduleTracker.mli │ ├── namedTuple.ml │ ├── namedTuple.mli │ ├── overlaidEnvironment.ml │ ├── overlaidEnvironment.mli │ ├── parsing.ml │ ├── parsing.mli │ ├── postprocessing.ml │ ├── postprocessing.mli │ ├── preprocessing.ml │ ├── preprocessing.mli │ ├── pyrePysaEnvironment.ml │ ├── pyrePysaEnvironment.mli │ ├── pyrePysaLogic.ml │ ├── resolution.ml │ ├── resolution.mli │ ├── resolvedReference.ml │ ├── resolvedReference.mli │ ├── scope.ml │ ├── scope.mli │ ├── sharedMemoryKeys.ml │ ├── sharedMemoryKeys.mli │ ├── signatureSelection.ml │ ├── signatureSelection.mli │ ├── signatureSelectionTypes.ml │ ├── sourceCodeApi.ml │ ├── sourceCodeApi.mli │ ├── sourceCodeEnvironment.ml │ ├── sourceCodeEnvironment.mli │ ├── sourceCodeIncrementalApi.ml │ ├── sourcePaths.ml │ ├── sourcePaths.mli │ ├── taintAccessPath.ml │ ├── taintAccessPath.mli │ ├── test │ │ ├── analysisErrorTest.ml │ │ ├── analysisErrorTest.mli │ │ ├── annotatedCallTest.ml │ │ ├── annotatedCallableTest.ml │ │ ├── annotatedCallableTest.mli │ │ ├── annotatedDefineTest.ml │ │ ├── annotatedDefineTest.mli │ │ ├── annotatedGlobalEnvironmentTest.ml │ │ ├── annotatedGlobalEnvironmentTest.mli │ │ ├── annotatedSignatureTest.ml │ │ ├── annotatedSignatureTest.mli │ │ ├── astEnvironmentTest.ml │ │ ├── astEnvironmentTest.mli │ │ ├── attrsTest.ml │ │ ├── attrsTest.mli │ │ ├── callgraphTest.ml │ │ ├── callgraphTest.mli │ │ ├── cfgTest.ml │ │ ├── cfgTest.mli │ │ ├── classHierarchyEnvironmentTest.ml │ │ ├── classHierarchyEnvironmentTest.mli │ │ ├── classHierarchyTest.ml │ │ ├── classHierarchyTest.mli │ │ ├── classSuccessorMetadataEnvironmentTest.ml │ │ ├── classSuccessorMetadataEnvironmentTest.mli │ │ ├── classSummaryTest.ml │ │ ├── classSummaryTest.mli │ │ ├── constraintsSetTest.ml │ │ ├── constraintsSetTest.mli │ │ ├── dune │ │ ├── environmentTest.ml │ │ ├── environmentTest.mli │ │ ├── errorsEnvironmentTest.ml │ │ ├── errorsEnvironmentTest.mli │ │ ├── fixpointTest.ml │ │ ├── fixpointTest.mli │ │ ├── functionDefinitionEnvironmentTest.ml │ │ ├── functionDefinitionEnvironmentTest.mli │ │ ├── globalLeakCheckTest.ml │ │ ├── globalLeakCheckTest.mli │ │ ├── globalResolutionTest.ml │ │ ├── globalResolutionTest.mli │ │ ├── integration │ │ │ ├── annotatedTest.ml │ │ │ ├── annotatedTest.mli │ │ │ ├── annotationTest.ml │ │ │ ├── annotationTest.mli │ │ │ ├── anyTest.ml │ │ │ ├── anyTest.mli │ │ │ ├── assertTest.ml │ │ │ ├── assertTest.mli │ │ │ ├── assertTypeTest.ml │ │ │ ├── assertTypeTest.mli │ │ │ ├── assignTest.ml │ │ │ ├── assignTest.mli │ │ │ ├── asyncTest.ml │ │ │ ├── asyncTest.mli │ │ │ ├── attributeTest.ml │ │ │ ├── attributeTest.mli │ │ │ ├── callableTest.ml │ │ │ ├── callableTest.mli │ │ │ ├── classTest.ml │ │ │ ├── classTest.mli │ │ │ ├── constructorTest.ml │ │ │ ├── constructorTest.mli │ │ │ ├── controlFlowTest.ml │ │ │ ├── controlFlowTest.mli │ │ │ ├── dataClassTest.ml │ │ │ ├── dataClassTest.mli │ │ │ ├── decoratorTest.ml │ │ │ ├── decoratorTest.mli │ │ │ ├── deleteTest.ml │ │ │ ├── deleteTest.mli │ │ │ ├── descriptorTest.ml │ │ │ ├── descriptorTest.mli │ │ │ ├── dune │ │ │ ├── enumerationTest.ml │ │ │ ├── enumerationTest.mli │ │ │ ├── errorMessageTest.ml │ │ │ ├── errorMessageTest.mli │ │ │ ├── exceptionTest.ml │ │ │ ├── exceptionTest.mli │ │ │ ├── finalTest.ml │ │ │ ├── finalTest.mli │ │ │ ├── formatStringTest.ml │ │ │ ├── formatStringTest.mli │ │ │ ├── generatorTest.ml │ │ │ ├── generatorTest.mli │ │ │ ├── globalTest.ml │ │ │ ├── globalTest.mli │ │ │ ├── importTest.ml │ │ │ ├── importTest.mli │ │ │ ├── inferTest.ml │ │ │ ├── inferTest.mli │ │ │ ├── integrationTest.ml │ │ │ ├── isinstanceTest.ml │ │ │ ├── isinstanceTest.mli │ │ │ ├── iterableTest.ml │ │ │ ├── iterableTest.mli │ │ │ ├── lambdaTest.ml │ │ │ ├── lambdaTest.mli │ │ │ ├── literalTest.ml │ │ │ ├── literalTest.mli │ │ │ ├── matchTest.ml │ │ │ ├── methodTest.ml │ │ │ ├── methodTest.mli │ │ │ ├── modeTest.ml │ │ │ ├── modeTest.mli │ │ │ ├── namedTupleTest.ml │ │ │ ├── namedTupleTest.mli │ │ │ ├── overloadTest.ml │ │ │ ├── overloadTest.mli │ │ │ ├── overrideTest.ml │ │ │ ├── parseErrorTest.ml │ │ │ ├── protocolTest.ml │ │ │ ├── protocolTest.mli │ │ │ ├── pyreReadOnlyTest.ml │ │ │ ├── pyreReadOnlyTest.mli │ │ │ ├── readOnlyTest.ml │ │ │ ├── readOnlyTest.mli │ │ │ ├── redundantCastTest.ml │ │ │ ├── redundantCastTest.mli │ │ │ ├── returnTest.ml │ │ │ ├── returnTest.mli │ │ │ ├── revealLocalsTest.ml │ │ │ ├── revealLocalsTest.mli │ │ │ ├── revealTypeTest.ml │ │ │ ├── revealTypeTest.mli │ │ │ ├── scopeTest.ml │ │ │ ├── signatureSelectionTest.ml │ │ │ ├── signatureSelectionTest.mli │ │ │ ├── sqlAlchemyTest.ml │ │ │ ├── tupleTest.ml │ │ │ ├── tupleTest.mli │ │ │ ├── typeGuardTest.ml │ │ │ ├── typeGuardTest.mli │ │ │ ├── typeRefinementTest.ml │ │ │ ├── typeRefinementTest.mli │ │ │ ├── typeVariableTest.ml │ │ │ ├── typeVariableTest.mli │ │ │ ├── typedDictionaryTest.ml │ │ │ ├── typedDictionaryTest.mli │ │ │ ├── unawaitedAwaitableCheckTest.ml │ │ │ ├── unawaitedAwaitableCheckTest.mli │ │ │ ├── unionTest.ml │ │ │ ├── unionTest.mli │ │ │ ├── varianceTest.ml │ │ │ ├── varianceTest.mli │ │ │ ├── walrusOperatorTest.ml │ │ │ └── walrusOperatorTest.mli │ │ ├── latticeOfMapsTest.ml │ │ ├── latticeOfMapsTest.mli │ │ ├── locationBasedLookupTest.ml │ │ ├── locationBasedLookupTest.mli │ │ ├── matchTranslateTest.ml │ │ ├── matchTranslateTest.mli │ │ ├── moduleTest.ml │ │ ├── moduleTest.mli │ │ ├── moduleTrackerTest.ml │ │ ├── moduleTrackerTest.mli │ │ ├── namedTupleTest.ml │ │ ├── namedTupleTest.mli │ │ ├── newTypeTest.ml │ │ ├── newTypeTest.mli │ │ ├── overlaidEnvironmentTest.ml │ │ ├── overlaidEnvironmentTest.mli │ │ ├── preprocessingTest.ml │ │ ├── preprocessingTest.mli │ │ ├── pyrePysaEnvironmentTest.ml │ │ ├── pyrePysaEnvironmentTest.mli │ │ ├── resolutionTest.ml │ │ ├── resolutionTest.mli │ │ ├── resolvedCallableTest.ml │ │ ├── resolvedCallableTest.mli │ │ ├── resolvedReferenceTest.ml │ │ ├── resolvedReferenceTest.mli │ │ ├── scopeTest.ml │ │ ├── scopeTest.mli │ │ ├── signatureSelectionTest.ml │ │ ├── signatureSelectionTest.mli │ │ ├── sqlAlchemyTest.ml │ │ ├── sqlAlchemyTest.mli │ │ ├── taintAccessPathTest.ml │ │ ├── taintAccessPathTest.mli │ │ ├── tryFinallyRefinementTest.ml │ │ ├── tryFinallyRefinementTest.mli │ │ ├── typeAliasEnvironmentTest.ml │ │ ├── typeAliasEnvironmentTest.mli │ │ ├── typeCheckTest.ml │ │ ├── typeCheckTest.mli │ │ ├── typeConstraintsTest.ml │ │ ├── typeConstraintsTest.mli │ │ ├── typeInfoTest.ml │ │ ├── typeInfoTest.mli │ │ ├── typeOperationTest.ml │ │ ├── typeOperationTest.mli │ │ ├── typeOrderTest.ml │ │ ├── typeOrderTest.mli │ │ ├── typeTest.ml │ │ ├── typeTest.mli │ │ ├── typedDictionaryAttributeTest.ml │ │ ├── typedDictionaryAttributeTest.mli │ │ ├── unannotatedGlobalEnvironmentTest.ml │ │ ├── unannotatedGlobalEnvironmentTest.mli │ │ ├── uninitializedLocalCheckTest.ml │ │ ├── weakTopologicalOrderTest.ml │ │ ├── weakTopologicalOrderTest.mli │ │ ├── weakenMutableLiteralsTest.ml │ │ └── weakenMutableLiteralsTest.mli │ ├── type.ml │ ├── type.mli │ ├── typeAliasEnvironment.ml │ ├── typeAliasEnvironment.mli │ ├── typeCheck.ml │ ├── typeCheck.mli │ ├── typeConstraints.ml │ ├── typeConstraints.mli │ ├── typeEnvironment.ml │ ├── typeEnvironment.mli │ ├── typeInfo.ml │ ├── typeInfo.mli │ ├── typeOperation.ml │ ├── typeOperation.mli │ ├── typeOrder.ml │ ├── typeOrder.mli │ ├── unannotatedGlobalEnvironment.ml │ ├── unannotatedGlobalEnvironment.mli │ ├── unawaitedAwaitableCheck.ml │ ├── unawaitedAwaitableCheck.mli │ ├── uninitializedLocalCheck.ml │ ├── uninitializedLocalCheck.mli │ ├── weakTopologicalOrder.ml │ ├── weakTopologicalOrder.mli │ ├── weakenMutableLiterals.ml │ └── weakenMutableLiterals.mli ├── artifactPath.ml ├── artifactPath.mli ├── ast │ ├── dune │ ├── expression.ml │ ├── expression.mli │ ├── identifier.ml │ ├── identifier.mli │ ├── ignore.ml │ ├── ignore.mli │ ├── location.ml │ ├── location.mli │ ├── modulePath.ml │ ├── modulePath.mli │ ├── nestingContext.ml │ ├── nestingContext.mli │ ├── node.ml │ ├── node.mli │ ├── reference.ml │ ├── reference.mli │ ├── source.ml │ ├── source.mli │ ├── statement.ml │ ├── statement.mli │ ├── test │ │ ├── dune │ │ ├── expressionTest.ml │ │ ├── expressionTest.mli │ │ ├── identifierTest.ml │ │ ├── identifierTest.mli │ │ ├── modulePathTest.ml │ │ ├── modulePathTest.mli │ │ ├── nodeTest.ml │ │ ├── nodeTest.mli │ │ ├── referenceTest.ml │ │ ├── referenceTest.mli │ │ ├── sourceTest.ml │ │ ├── sourceTest.mli │ │ ├── statementTest.ml │ │ ├── statementTest.mli │ │ ├── transformTest.ml │ │ ├── transformTest.mli │ │ ├── visitTest.ml │ │ └── visitTest.mli │ ├── transform.ml │ ├── transform.mli │ ├── visit.ml │ └── visit.mli ├── buck_command │ ├── buckBasedSourceCodeApi.ml │ ├── buckBasedSourceCodeApi.mli │ ├── buck_commands.ml │ ├── checkCommand.ml │ ├── checkCommandInput.ml │ ├── checkCommandInput.mli │ ├── dune │ ├── fileLoader.ml │ ├── fileLoader.mli │ ├── gleanCommand.ml │ ├── manifest.ml │ ├── manifest.mli │ ├── sourcedb.ml │ ├── sourcedb.mli │ └── test │ │ ├── checkOptionsTest.ml │ │ ├── dune │ │ ├── sourceCodeApiTest.ml │ │ └── testHelper.ml ├── buck_integration │ ├── artifacts.ml │ ├── buck.ml │ ├── buck.mli │ ├── buckTarget.ml │ ├── buildMap.ml │ ├── builder.ml │ ├── dune │ ├── interface.ml │ ├── raw.ml │ └── test │ │ ├── artifactsTest.ml │ │ ├── buildMapTest.ml │ │ ├── builderTest.ml │ │ ├── dune │ │ └── interfaceTest.ml ├── buck_main.ml ├── code_navigation_server │ ├── buildSystem.ml │ ├── codeNavigationServer.ml │ ├── codeNavigationServer.mli │ ├── dune │ ├── lwtInputOutput.ml │ ├── request.ml │ ├── requestHandler.ml │ ├── response.ml │ ├── start.ml │ ├── startOptions.ml │ ├── state.ml │ ├── subscriptions.ml │ ├── test │ │ ├── basicTest.ml │ │ ├── buildSystemTest.ml │ │ ├── criticalFileTest.ml │ │ ├── dune │ │ ├── scratchProject.ml │ │ ├── stateTest.ml │ │ ├── subscriptionTest.ml │ │ └── testHelper.ml │ └── testing.ml ├── command │ ├── analyzeCommand.ml │ ├── analyzeCommand.mli │ ├── checkCommand.ml │ ├── checkCommand.mli │ ├── codeNavigationCommand.ml │ ├── codeNavigationCommand.mli │ ├── commandStartup.ml │ ├── commands.ml │ ├── dune │ ├── inferCommand.ml │ ├── inferCommand.mli │ ├── noDaemonQueryCommand.ml │ ├── noDaemonQueryCommand.mli │ ├── serverCommand.ml │ ├── serverCommand.mli │ └── test │ │ ├── analyzeTest.ml │ │ ├── analyzeTest.mli │ │ ├── baseConfigurationTest.ml │ │ ├── baseConfigurationTest.mli │ │ ├── checkTest.ml │ │ ├── checkTest.mli │ │ ├── codeNavigationTest.ml │ │ ├── codeNavigationTest.mli │ │ ├── dune │ │ ├── inferTest.ml │ │ ├── integration │ │ ├── README │ │ └── fake_repository │ │ │ ├── commit_000 │ │ │ ├── a.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_001 │ │ │ ├── a.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_002 │ │ │ ├── a.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_003 │ │ │ ├── a.py │ │ │ ├── b.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_004 │ │ │ ├── a.py │ │ │ ├── b.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_005 │ │ │ ├── a.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_006_T30944862 │ │ │ ├── a.py │ │ │ ├── b.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_007_T30944862 │ │ │ ├── a.py │ │ │ ├── b.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_008 │ │ │ ├── a.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_009 │ │ │ ├── a.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_010 │ │ │ ├── a.py │ │ │ ├── b.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_011 │ │ │ ├── a.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_012 │ │ │ ├── a.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_013_T35860082 │ │ │ ├── a.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_014_T35860082 │ │ │ ├── a.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_015_T35860082 │ │ │ ├── a.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_016 │ │ │ ├── a.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_017 │ │ │ ├── a.py │ │ │ └── stubs │ │ │ │ └── stub.pyi │ │ │ ├── commit_018 │ │ │ ├── a.py │ │ │ ├── stubs │ │ │ │ └── stub.pyi │ │ │ └── x.py │ │ │ ├── commit_019 │ │ │ ├── a.py │ │ │ ├── stubs │ │ │ │ └── stub.pyi │ │ │ ├── x.py │ │ │ └── y.py │ │ │ ├── commit_020 │ │ │ ├── a.py │ │ │ ├── stubs │ │ │ │ └── stub.pyi │ │ │ ├── x.py │ │ │ └── y.py │ │ │ ├── commit_021 │ │ │ ├── a.py │ │ │ ├── a.pyi │ │ │ ├── stubs │ │ │ │ └── stub.pyi │ │ │ └── x.py │ │ │ ├── commit_022 │ │ │ ├── a.py │ │ │ ├── stubs │ │ │ │ └── stub.pyi │ │ │ └── x.py │ │ │ └── commit_023 │ │ │ ├── a.py │ │ │ ├── b.py │ │ │ ├── stubs │ │ │ └── stub.pyi │ │ │ └── x.py │ │ ├── serverTest.ml │ │ └── serverTest.mli ├── configuration.ml ├── configuration.mli ├── cpython_parser │ ├── dune │ ├── pyreCPythonParser.ml │ ├── pyreCPythonParser.mli │ └── test │ │ ├── dune │ │ ├── expressionTest.ml │ │ ├── locationTest.ml │ │ └── statementTest.ml ├── criticalFile.ml ├── criticalFile.mli ├── data_structures │ ├── bigList.ml │ ├── bigList.mli │ ├── bitSetPatriciaTreeIntSet.ml │ ├── bitSetPatriciaTreeIntSet.mli │ ├── dune │ ├── patriciaTreeSet.ml │ ├── patriciaTreeSet.mli │ ├── serializableMap.ml │ ├── serializableMap.mli │ ├── serializableSet.ml │ ├── serializableSet.mli │ ├── serializableStringMap.ml │ ├── serializableStringSet.ml │ └── test │ │ ├── bigListTest.ml │ │ ├── bitSetPatriciaTreeIntSetTest.ml │ │ ├── dune │ │ └── patriciaTreeSetTest.ml ├── domains │ ├── abstract.ml │ ├── abstractBucketedElementSetDomain.ml │ ├── abstractBucketedElementSetDomain.mli │ ├── abstractDomainCore.ml │ ├── abstractElementSetDomain.ml │ ├── abstractElementSetDomain.mli │ ├── abstractFlatDomain.ml │ ├── abstractFlatDomain.mli │ ├── abstractInvertedSetDomain.ml │ ├── abstractInvertedSetDomain.mli │ ├── abstractMapDomain.ml │ ├── abstractMapDomain.mli │ ├── abstractOverUnderSetDomain.ml │ ├── abstractOverUnderSetDomain.mli │ ├── abstractProductDomain.ml │ ├── abstractProductDomain.mli │ ├── abstractRootedTreeDomain.ml │ ├── abstractRootedTreeDomain.mli │ ├── abstractSetDomain.ml │ ├── abstractSetDomain.mli │ ├── abstractSimpleDomain.ml │ ├── abstractSimpleDomain.mli │ ├── abstractToppedSetDomain.ml │ ├── abstractToppedSetDomain.mli │ ├── abstractTreeDomain.ml │ ├── abstractTreeDomain.mli │ ├── abstractWrapperDomain.ml │ ├── abstractWrapperDomain.mli │ ├── dune │ └── test │ │ ├── abstractDomain.ml │ │ ├── abstractDomainTest.ml │ │ ├── abstractDomainTest.mli │ │ └── dune ├── dune-project ├── dune.in ├── dune.win ├── exception.ml ├── exception.mli ├── external │ ├── decorators.ml │ ├── fetchSavedState.ml │ ├── fetchSavedState.mli │ ├── projectSpecificPreprocessing.mli │ ├── recognized.ml │ ├── recognized.mli │ ├── specialCallResolution.ml │ ├── specialCallResolution.mli │ ├── taintAnalysisFeatureStats.ml │ ├── taintAnalysisFeatureStats.mli │ └── test │ │ ├── decoratorsTest.ml │ │ ├── decoratorsTest.mli │ │ ├── internalTaintIntegrationTest.ml │ │ ├── internalTaintIntegrationTest.mli │ │ ├── projectSpecificPreprocessingTest.ml │ │ ├── projectSpecificPreprocessingTest.mli │ │ ├── specialCallResolutionTest.ml │ │ └── specialCallResolutionTest.mli ├── file.ml ├── file.mli ├── hack_parallel.opam ├── hack_parallel │ ├── .ocamlformat │ ├── dune │ ├── hack_parallel.ml │ └── hack_parallel │ │ ├── hack_collections │ │ ├── dune │ │ ├── iMap.ml │ │ ├── iSet.ml │ │ ├── intKey.ml │ │ ├── myMap.ml │ │ ├── myMap.mli │ │ ├── myMap_sig.ml │ │ ├── sMap.ml │ │ ├── sSet.ml │ │ └── stringKey.ml │ │ ├── heap │ │ ├── .ocamlformat │ │ ├── dictionary_compression_data.c │ │ ├── dictionary_compression_data.h │ │ ├── dune │ │ ├── hh_assert.c │ │ ├── hh_assert.h │ │ ├── hh_shared.c │ │ ├── hh_shared.h │ │ ├── hh_shared_sqlite.c │ │ ├── hh_shared_sqlite.h │ │ ├── prefix.ml │ │ ├── prefix.mli │ │ ├── sharedMemory.ml │ │ ├── sharedMemory.mli │ │ └── tests │ │ │ ├── dune │ │ │ ├── sharedMemoryTest.ml │ │ │ └── sharedMemoryTest.mli │ │ ├── procs │ │ ├── dune │ │ ├── hack_bucket.ml │ │ ├── hack_bucket.mli │ │ ├── multiWorker.ml │ │ ├── multiWorker.mli │ │ ├── worker.ml │ │ └── worker.mli │ │ ├── third-party │ │ ├── lz4 │ │ │ ├── LICENSE │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── VERSION │ │ │ ├── dune │ │ │ ├── liblz4.pc.in │ │ │ ├── lz4.c │ │ │ ├── lz4.h │ │ │ ├── lz4frame.c │ │ │ ├── lz4frame.h │ │ │ ├── lz4frame_static.h │ │ │ ├── lz4hc.c │ │ │ ├── lz4hc.h │ │ │ ├── xxhash.c │ │ │ └── xxhash.h │ │ ├── sqlite3 │ │ │ ├── dune │ │ │ ├── sqlite3.c │ │ │ ├── sqlite3.h │ │ │ └── sqlite3ext.h │ │ └── zstd │ │ │ ├── CHANGELOG │ │ │ ├── CODE_OF_CONDUCT.md │ │ │ ├── CONTRIBUTING.md │ │ │ ├── COPYING │ │ │ ├── LICENSE │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ └── lib │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── common │ │ │ ├── bitstream.h │ │ │ ├── compiler.h │ │ │ ├── cpu.h │ │ │ ├── debug.c │ │ │ ├── debug.h │ │ │ ├── entropy_common.c │ │ │ ├── error_private.c │ │ │ ├── error_private.h │ │ │ ├── fse.h │ │ │ ├── fse_decompress.c │ │ │ ├── huf.h │ │ │ ├── mem.h │ │ │ ├── pool.c │ │ │ ├── pool.h │ │ │ ├── threading.c │ │ │ ├── threading.h │ │ │ ├── xxhash.c │ │ │ ├── xxhash.h │ │ │ ├── zstd_common.c │ │ │ ├── zstd_deps.h │ │ │ ├── zstd_internal.h │ │ │ └── zstd_trace.h │ │ │ ├── compress │ │ │ ├── fse_compress.c │ │ │ ├── hist.c │ │ │ ├── hist.h │ │ │ ├── huf_compress.c │ │ │ ├── zstd_compress.c │ │ │ ├── zstd_compress_internal.h │ │ │ ├── zstd_compress_literals.c │ │ │ ├── zstd_compress_literals.h │ │ │ ├── zstd_compress_sequences.c │ │ │ ├── zstd_compress_sequences.h │ │ │ ├── zstd_compress_superblock.c │ │ │ ├── zstd_compress_superblock.h │ │ │ ├── zstd_cwksp.h │ │ │ ├── zstd_double_fast.c │ │ │ ├── zstd_double_fast.h │ │ │ ├── zstd_fast.c │ │ │ ├── zstd_fast.h │ │ │ ├── zstd_lazy.c │ │ │ ├── zstd_lazy.h │ │ │ ├── zstd_ldm.c │ │ │ ├── zstd_ldm.h │ │ │ ├── zstd_ldm_geartab.h │ │ │ ├── zstd_opt.c │ │ │ ├── zstd_opt.h │ │ │ ├── zstdmt_compress.c │ │ │ └── zstdmt_compress.h │ │ │ ├── decompress │ │ │ ├── huf_decompress.c │ │ │ ├── zstd_ddict.c │ │ │ ├── zstd_ddict.h │ │ │ ├── zstd_decompress.c │ │ │ ├── zstd_decompress_block.c │ │ │ ├── zstd_decompress_block.h │ │ │ └── zstd_decompress_internal.h │ │ │ ├── dictBuilder │ │ │ ├── cover.c │ │ │ ├── cover.h │ │ │ ├── divsufsort.c │ │ │ ├── divsufsort.h │ │ │ ├── fastcover.c │ │ │ └── zdict.c │ │ │ ├── dune │ │ │ ├── zdict.h │ │ │ ├── zstd.h │ │ │ └── zstd_errors.h │ │ └── utils │ │ ├── dune │ │ ├── exit_status.ml │ │ ├── hh_logger.ml │ │ ├── measure.ml │ │ ├── measure.mli │ │ └── printSignal.ml ├── interprocedural │ ├── Error.ml │ ├── Error.mli │ ├── callGraph.ml │ ├── callGraph.mli │ ├── callGraphBuilder.ml │ ├── callGraphBuilder.mli │ ├── callGraphFixpoint.ml │ ├── callGraphFixpoint.mli │ ├── callGraphProfiler.ml │ ├── callResolution.ml │ ├── callResolution.mli │ ├── callableToDecoratorsMap.ml │ ├── callableToDecoratorsMap.mli │ ├── callablesSharedMemory.ml │ ├── callablesSharedMemory.mli │ ├── changedPaths.ml │ ├── changedPaths.mli │ ├── classHierarchyGraph.ml │ ├── classHierarchyGraph.mli │ ├── classInterval.ml │ ├── classInterval.mli │ ├── classIntervalSet.ml │ ├── classIntervalSet.mli │ ├── classIntervalSetGraph.ml │ ├── classIntervalSetGraph.mli │ ├── dependencyGraph.ml │ ├── dependencyGraph.mli │ ├── dune │ ├── expressionIdentifier.ml │ ├── expressionIdentifier.mli │ ├── fetchCallables.ml │ ├── fetchCallables.mli │ ├── fixpointAnalysis.ml │ ├── fixpointAnalysis.mli │ ├── globalConstants.ml │ ├── globalConstants.mli │ ├── interprocedural.ml │ ├── intraproceduralProfiler.ml │ ├── intraproceduralProfiler.mli │ ├── newlineDelimitedJson.ml │ ├── newlineDelimitedJson.mli │ ├── overrideGraph.ml │ ├── overrideGraph.mli │ ├── pyrePysaApi.ml │ ├── pyrePysaApi.mli │ ├── pyreflyApi.ml │ ├── pyreflyApi.mli │ ├── repositoryPath.ml │ ├── repositoryPath.mli │ ├── saveLoadSharedMemory.ml │ ├── saveLoadSharedMemory.mli │ ├── shims.ml │ ├── shims.mli │ ├── target.ml │ ├── target.mli │ ├── targetGraph.ml │ ├── targetGraph.mli │ ├── test │ │ ├── callGraphFixpointTest.ml │ │ ├── callGraphFixpointTest.mli │ │ ├── callGraphTest.ml │ │ ├── callGraphTest.mli │ │ ├── callGraphTestHelper.ml │ │ ├── callResolutionTest.ml │ │ ├── callResolutionTest.mli │ │ ├── changedPathsTest.ml │ │ ├── changedPathsTest.mli │ │ ├── classHierarchyGraphTest.ml │ │ ├── classHierarchyGraphTest.mli │ │ ├── classIntervalSetGraphTest.ml │ │ ├── classIntervalSetTest.ml │ │ ├── classIntervalSetTest.mli │ │ ├── classIntervalTest.ml │ │ ├── classIntervalTest.mli │ │ ├── dependencyGraphTest.ml │ │ ├── dependencyGraphTest.mli │ │ ├── dune │ │ ├── fetchCallablesTest.ml │ │ ├── globalConstantsTest.ml │ │ ├── globalConstantsTest.mli │ │ ├── overrideGraphTest.ml │ │ ├── pyrePysaApiTest.ml │ │ ├── pyreflyApiTest.ml │ │ ├── targetTest.ml │ │ └── targetTest.mli │ ├── typeOfExpressionSharedMemory.ml │ └── typeOfExpressionSharedMemory.mli ├── interprocedural_analyses │ ├── taint │ │ ├── annotationParser.ml │ │ ├── annotationParser.mli │ │ ├── backwardAnalysis.ml │ │ ├── backwardAnalysis.mli │ │ ├── cache.ml │ │ ├── cache.mli │ │ ├── callModel.ml │ │ ├── callModel.mli │ │ ├── classModels.ml │ │ ├── classModels.mli │ │ ├── domains.ml │ │ ├── dune │ │ ├── features.ml │ │ ├── fileCoverage.ml │ │ ├── fileCoverage.mli │ │ ├── forwardAnalysis.ml │ │ ├── forwardAnalysis.mli │ │ ├── globalModel.ml │ │ ├── globalModel.mli │ │ ├── issue.ml │ │ ├── issue.mli │ │ ├── issueHandle.ml │ │ ├── issueHandle.mli │ │ ├── kindCoverage.ml │ │ ├── kindCoverage.mli │ │ ├── missingFlow.ml │ │ ├── missingFlow.mli │ │ ├── model.ml │ │ ├── model.mli │ │ ├── modelParseResult.ml │ │ ├── modelParseResult.mli │ │ ├── modelParser.ml │ │ ├── modelParser.mli │ │ ├── modelQueryExecution.ml │ │ ├── modelQueryExecution.mli │ │ ├── modelVerificationError.ml │ │ ├── modelVerificationError.mli │ │ ├── modelVerifier.ml │ │ ├── modelVerifier.mli │ │ ├── registry.ml │ │ ├── rule.ml │ │ ├── rule.mli │ │ ├── ruleCoverage.ml │ │ ├── ruleCoverage.mli │ │ ├── sanitize.ml │ │ ├── sanitizeTransform.ml │ │ ├── sanitizeTransform.mli │ │ ├── sanitizeTransformSet.ml │ │ ├── sanitizeTransformSet.mli │ │ ├── sharedModels.ml │ │ ├── sinks.ml │ │ ├── sinks.mli │ │ ├── sourceSinkFilter.ml │ │ ├── sourceSinkFilter.mli │ │ ├── sources.ml │ │ ├── sources.mli │ │ ├── stepLogger.ml │ │ ├── stepLogger.mli │ │ ├── taint.ml │ │ ├── taintAnalysis.ml │ │ ├── taintAnalysis.mli │ │ ├── taintConfiguration.ml │ │ ├── taintConfiguration.mli │ │ ├── taintFixpoint.ml │ │ ├── taintProfiler.ml │ │ ├── taintReporting.ml │ │ ├── taintReporting.mli │ │ ├── taintTransform.ml │ │ ├── taintTransform.mli │ │ ├── taintTransformOperation.ml │ │ ├── taintTransformOperation.mli │ │ ├── taintTransforms.ml │ │ ├── taintTransforms.mli │ │ └── test │ │ │ ├── annotationParserTest.ml │ │ │ ├── annotationParserTest.mli │ │ │ ├── backwardAnalysisTest.ml │ │ │ ├── backwardAnalysisTest.mli │ │ │ ├── classModelsTest.ml │ │ │ ├── classModelsTest.mli │ │ │ ├── configurationTest.ml │ │ │ ├── configurationTest.mli │ │ │ ├── domainTest.ml │ │ │ ├── domainTest.mli │ │ │ ├── dumpModelQueryResultsTest.ml │ │ │ ├── dumpModelQueryResultsTest.mli │ │ │ ├── dune.in │ │ │ ├── fixpointTest.ml │ │ │ ├── fixpointTest.mli │ │ │ ├── forwardAnalysisTest.ml │ │ │ ├── forwardAnalysisTest.mli │ │ │ ├── globalVariableModelQueryTest.ml │ │ │ ├── globalVariableModelQueryTest.mli │ │ │ ├── integration │ │ │ ├── .flake8 │ │ │ ├── access_path.py │ │ │ ├── access_path.py.cg │ │ │ ├── access_path.py.hofcg │ │ │ ├── access_path.py.models │ │ │ ├── access_path.py.overrides │ │ │ ├── access_path.py.pyrefly.cg │ │ │ ├── access_path.py.pyrefly.hofcg │ │ │ ├── access_path.py.pyrefly.models │ │ │ ├── access_path.py.pyrefly.overrides │ │ │ ├── access_path.py.pysa │ │ │ ├── add_breadcrumb_to_state.py │ │ │ ├── add_breadcrumb_to_state.py.cg │ │ │ ├── add_breadcrumb_to_state.py.config │ │ │ ├── add_breadcrumb_to_state.py.hofcg │ │ │ ├── add_breadcrumb_to_state.py.models │ │ │ ├── add_breadcrumb_to_state.py.overrides │ │ │ ├── add_breadcrumb_to_state.py.pysa │ │ │ ├── add_feature_to_argument.py │ │ │ ├── add_feature_to_argument.py.cg │ │ │ ├── add_feature_to_argument.py.hofcg │ │ │ ├── add_feature_to_argument.py.models │ │ │ ├── add_feature_to_argument.py.overrides │ │ │ ├── add_feature_to_argument.py.pysa │ │ │ ├── all_static_fields.py │ │ │ ├── all_static_fields.py.cg │ │ │ ├── all_static_fields.py.hofcg │ │ │ ├── all_static_fields.py.models │ │ │ ├── all_static_fields.py.overrides │ │ │ ├── all_static_fields.py.pysa │ │ │ ├── always_in_none.py │ │ │ ├── always_in_none.py.cg │ │ │ ├── always_in_none.py.hofcg │ │ │ ├── always_in_none.py.models │ │ │ ├── always_in_none.py.overrides │ │ │ ├── always_in_none.py.pysa │ │ │ ├── any_index.py │ │ │ ├── any_index.py.cg │ │ │ ├── any_index.py.hofcg │ │ │ ├── any_index.py.models │ │ │ ├── any_index.py.overrides │ │ │ ├── applies_to_index.py │ │ │ ├── applies_to_index.py.cg │ │ │ ├── applies_to_index.py.hofcg │ │ │ ├── applies_to_index.py.models │ │ │ ├── applies_to_index.py.overrides │ │ │ ├── applies_to_index.py.pysa │ │ │ ├── attach_features.py │ │ │ ├── attach_features.py.cg │ │ │ ├── attach_features.py.hofcg │ │ │ ├── attach_features.py.models │ │ │ ├── attach_features.py.overrides │ │ │ ├── attach_features.py.pysa │ │ │ ├── attributes.py │ │ │ ├── attributes.py.cg │ │ │ ├── attributes.py.hofcg │ │ │ ├── attributes.py.models │ │ │ ├── attributes.py.overrides │ │ │ ├── attributes.py.pysa │ │ │ ├── binary_operators.py │ │ │ ├── binary_operators.py.cg │ │ │ ├── binary_operators.py.hofcg │ │ │ ├── binary_operators.py.models │ │ │ ├── binary_operators.py.overrides │ │ │ ├── breadcrumbs.py │ │ │ ├── breadcrumbs.py.cg │ │ │ ├── breadcrumbs.py.hofcg │ │ │ ├── breadcrumbs.py.models │ │ │ ├── breadcrumbs.py.overrides │ │ │ ├── breadcrumbs.py.pysa │ │ │ ├── builder_pattern.py │ │ │ ├── builder_pattern.py.cg │ │ │ ├── builder_pattern.py.hofcg │ │ │ ├── builder_pattern.py.models │ │ │ ├── builder_pattern.py.overrides │ │ │ ├── builder_pattern.py.pysa │ │ │ ├── call_graph.py │ │ │ ├── call_graph.py.cg │ │ │ ├── call_graph.py.hofcg │ │ │ ├── call_graph.py.models │ │ │ ├── call_graph.py.overrides │ │ │ ├── callable_classes.py │ │ │ ├── callable_classes.py.cg │ │ │ ├── callable_classes.py.hofcg │ │ │ ├── callable_classes.py.models │ │ │ ├── callable_classes.py.overrides │ │ │ ├── callable_classes.py.pysa │ │ │ ├── callables.py │ │ │ ├── callables.py.cg │ │ │ ├── callables.py.hofcg │ │ │ ├── callables.py.models │ │ │ ├── callables.py.overrides │ │ │ ├── class_attribute.py │ │ │ ├── class_attribute.py.cg │ │ │ ├── class_attribute.py.hofcg │ │ │ ├── class_attribute.py.models │ │ │ ├── class_attribute.py.overrides │ │ │ ├── class_flows.py │ │ │ ├── class_flows.py.cg │ │ │ ├── class_flows.py.hofcg │ │ │ ├── class_flows.py.models │ │ │ ├── class_flows.py.overrides │ │ │ ├── class_flows.py.pysa │ │ │ ├── class_interval.py │ │ │ ├── class_interval.py.cg │ │ │ ├── class_interval.py.config │ │ │ ├── class_interval.py.hofcg │ │ │ ├── class_interval.py.models │ │ │ ├── class_interval.py.overrides │ │ │ ├── class_interval.py.pysa │ │ │ ├── class_level_taint.py │ │ │ ├── class_level_taint.py.cg │ │ │ ├── class_level_taint.py.hofcg │ │ │ ├── class_level_taint.py.models │ │ │ ├── class_level_taint.py.overrides │ │ │ ├── class_level_taint.py.pysa │ │ │ ├── class_methods.py │ │ │ ├── class_methods.py.cg │ │ │ ├── class_methods.py.hofcg │ │ │ ├── class_methods.py.models │ │ │ ├── class_methods.py.overrides │ │ │ ├── class_methods.py.pysa │ │ │ ├── closure.py │ │ │ ├── closure.py.cg │ │ │ ├── closure.py.config │ │ │ ├── closure.py.hofcg │ │ │ ├── closure.py.models │ │ │ ├── closure.py.overrides │ │ │ ├── closure.py.pysa │ │ │ ├── closure_models.py │ │ │ ├── closure_models.py.cg │ │ │ ├── closure_models.py.config │ │ │ ├── closure_models.py.hofcg │ │ │ ├── closure_models.py.models │ │ │ ├── closure_models.py.overrides │ │ │ ├── closure_models.py.pysa │ │ │ ├── colliding_class_names.py │ │ │ ├── colliding_class_names.py.cg │ │ │ ├── colliding_class_names.py.hofcg │ │ │ ├── colliding_class_names.py.models │ │ │ ├── colliding_class_names.py.overrides │ │ │ ├── combinatory_ports.py │ │ │ ├── combinatory_ports.py.cg │ │ │ ├── combinatory_ports.py.hofcg │ │ │ ├── combinatory_ports.py.models │ │ │ ├── combinatory_ports.py.overrides │ │ │ ├── conditional.py │ │ │ ├── conditional.py.cg │ │ │ ├── conditional.py.config │ │ │ ├── conditional.py.hofcg │ │ │ ├── conditional.py.models │ │ │ ├── conditional.py.overrides │ │ │ ├── conditional.py.pysa │ │ │ ├── constant_fields.py │ │ │ ├── constant_fields.py.cg │ │ │ ├── constant_fields.py.hofcg │ │ │ ├── constant_fields.py.models │ │ │ ├── constant_fields.py.overrides │ │ │ ├── constructor_inheritance.py │ │ │ ├── constructor_inheritance.py.cg │ │ │ ├── constructor_inheritance.py.hofcg │ │ │ ├── constructor_inheritance.py.models │ │ │ ├── constructor_inheritance.py.overrides │ │ │ ├── constructors.py │ │ │ ├── constructors.py.cg │ │ │ ├── constructors.py.hofcg │ │ │ ├── constructors.py.models │ │ │ ├── constructors.py.overrides │ │ │ ├── constructors.py.pysa │ │ │ ├── context_manager.py │ │ │ ├── context_manager.py.cg │ │ │ ├── context_manager.py.hofcg │ │ │ ├── context_manager.py.models │ │ │ ├── context_manager.py.overrides │ │ │ ├── cross_repository.py │ │ │ ├── cross_repository.py.cg │ │ │ ├── cross_repository.py.hofcg │ │ │ ├── cross_repository.py.models │ │ │ ├── cross_repository.py.overrides │ │ │ ├── cross_repository.py.pysa │ │ │ ├── custom_dictionary_model.py │ │ │ ├── custom_dictionary_model.py.cg │ │ │ ├── custom_dictionary_model.py.config │ │ │ ├── custom_dictionary_model.py.hofcg │ │ │ ├── custom_dictionary_model.py.models │ │ │ ├── custom_dictionary_model.py.overrides │ │ │ ├── custom_dictionary_model.py.pysa │ │ │ ├── dataclass_taint.py │ │ │ ├── dataclass_taint.py.cg │ │ │ ├── dataclass_taint.py.hofcg │ │ │ ├── dataclass_taint.py.models │ │ │ ├── dataclass_taint.py.overrides │ │ │ ├── dataclass_taint.py.pysa │ │ │ ├── deadcode.py │ │ │ ├── deadcode.py.cg │ │ │ ├── deadcode.py.hofcg │ │ │ ├── deadcode.py.models │ │ │ ├── deadcode.py.overrides │ │ │ ├── deadcode.py.pysa │ │ │ ├── decorator.py │ │ │ ├── decorator.py.cg │ │ │ ├── decorator.py.hofcg │ │ │ ├── decorator.py.models │ │ │ ├── decorator.py.overrides │ │ │ ├── decorator.py.pysa │ │ │ ├── decorator_location.py │ │ │ ├── decorator_location.py.cg │ │ │ ├── decorator_location.py.hofcg │ │ │ ├── decorator_location.py.models │ │ │ ├── decorator_location.py.overrides │ │ │ ├── decorator_location.py.pysa │ │ │ ├── dictionary.py │ │ │ ├── dictionary.py.cg │ │ │ ├── dictionary.py.hofcg │ │ │ ├── dictionary.py.models │ │ │ ├── dictionary.py.overrides │ │ │ ├── dictionary.py.pysa │ │ │ ├── dictionary_delete.py │ │ │ ├── dictionary_delete.py.cg │ │ │ ├── dictionary_delete.py.hofcg │ │ │ ├── dictionary_delete.py.models │ │ │ ├── dictionary_delete.py.overrides │ │ │ ├── entrypoint.py │ │ │ ├── entrypoint.py.cg │ │ │ ├── entrypoint.py.config │ │ │ ├── entrypoint.py.hofcg │ │ │ ├── entrypoint.py.models │ │ │ ├── entrypoint.py.overrides │ │ │ ├── entrypoint.py.pysa │ │ │ ├── exception_test.py │ │ │ ├── exception_test.py.cg │ │ │ ├── exception_test.py.hofcg │ │ │ ├── exception_test.py.models │ │ │ ├── exception_test.py.overrides │ │ │ ├── exception_test.py.pysa │ │ │ ├── extra_trace.py │ │ │ ├── extra_trace.py.cg │ │ │ ├── extra_trace.py.config │ │ │ ├── extra_trace.py.hofcg │ │ │ ├── extra_trace.py.models │ │ │ ├── extra_trace.py.overrides │ │ │ ├── extra_trace.py.pysa │ │ │ ├── features.py │ │ │ ├── features.py.cg │ │ │ ├── features.py.hofcg │ │ │ ├── features.py.models │ │ │ ├── features.py.overrides │ │ │ ├── features.py.pysa │ │ │ ├── first_index.py │ │ │ ├── first_index.py.cg │ │ │ ├── first_index.py.hofcg │ │ │ ├── first_index.py.models │ │ │ ├── first_index.py.overrides │ │ │ ├── format.py │ │ │ ├── format.py.cg │ │ │ ├── format.py.hofcg │ │ │ ├── format.py.models │ │ │ ├── format.py.overrides │ │ │ ├── function_class.py │ │ │ ├── function_class.py.cg │ │ │ ├── function_class.py.hofcg │ │ │ ├── function_class.py.models │ │ │ ├── function_class.py.overrides │ │ │ ├── functions_as_locals.py │ │ │ ├── functions_as_locals.py.cg │ │ │ ├── functions_as_locals.py.hofcg │ │ │ ├── functions_as_locals.py.models │ │ │ ├── functions_as_locals.py.overrides │ │ │ ├── global.py │ │ │ ├── global.py.cg │ │ │ ├── global.py.hofcg │ │ │ ├── global.py.models │ │ │ ├── global.py.overrides │ │ │ ├── global_flows.py │ │ │ ├── global_flows.py.cg │ │ │ ├── global_flows.py.hofcg │ │ │ ├── global_flows.py.models │ │ │ ├── global_flows.py.overrides │ │ │ ├── global_flows.py.pysa │ │ │ ├── graphql_callees.py │ │ │ ├── graphql_callees.py.cg │ │ │ ├── graphql_callees.py.hofcg │ │ │ ├── graphql_callees.py.models │ │ │ ├── graphql_callees.py.overrides │ │ │ ├── graphql_callees.py.pysa │ │ │ ├── higher_order_functions.py │ │ │ ├── higher_order_functions.py.cg │ │ │ ├── higher_order_functions.py.hofcg │ │ │ ├── higher_order_functions.py.models │ │ │ ├── higher_order_functions.py.overrides │ │ │ ├── http_request.py │ │ │ ├── http_request.py.cg │ │ │ ├── http_request.py.hofcg │ │ │ ├── http_request.py.models │ │ │ ├── http_request.py.overrides │ │ │ ├── http_request.py.pysa │ │ │ ├── if_sinks.py │ │ │ ├── if_sinks.py.cg │ │ │ ├── if_sinks.py.hofcg │ │ │ ├── if_sinks.py.models │ │ │ ├── if_sinks.py.overrides │ │ │ ├── implicit_sinks.py │ │ │ ├── implicit_sinks.py.cg │ │ │ ├── implicit_sinks.py.config │ │ │ ├── implicit_sinks.py.hofcg │ │ │ ├── implicit_sinks.py.models │ │ │ ├── implicit_sinks.py.overrides │ │ │ ├── implicit_sinks.py.pysa │ │ │ ├── implicit_sources.py │ │ │ ├── implicit_sources.py.cg │ │ │ ├── implicit_sources.py.config │ │ │ ├── implicit_sources.py.hofcg │ │ │ ├── implicit_sources.py.models │ │ │ ├── implicit_sources.py.overrides │ │ │ ├── issue_grouping.py │ │ │ ├── issue_grouping.py.cg │ │ │ ├── issue_grouping.py.config │ │ │ ├── issue_grouping.py.hofcg │ │ │ ├── issue_grouping.py.models │ │ │ ├── issue_grouping.py.overrides │ │ │ ├── issue_grouping.py.pysa │ │ │ ├── iterators.py │ │ │ ├── iterators.py.cg │ │ │ ├── iterators.py.hofcg │ │ │ ├── iterators.py.models │ │ │ ├── iterators.py.overrides │ │ │ ├── iterators.py.pysa │ │ │ ├── joined_tito.py │ │ │ ├── joined_tito.py.cg │ │ │ ├── joined_tito.py.hofcg │ │ │ ├── joined_tito.py.models │ │ │ ├── joined_tito.py.overrides │ │ │ ├── kwargs_and_args.py │ │ │ ├── kwargs_and_args.py.cg │ │ │ ├── kwargs_and_args.py.hofcg │ │ │ ├── kwargs_and_args.py.models │ │ │ ├── kwargs_and_args.py.overrides │ │ │ ├── lambda.py │ │ │ ├── lambda.py.cg │ │ │ ├── lambda.py.hofcg │ │ │ ├── lambda.py.models │ │ │ ├── lambda.py.overrides │ │ │ ├── lambda.py.pysa │ │ │ ├── lists.py │ │ │ ├── lists.py.cg │ │ │ ├── lists.py.hofcg │ │ │ ├── lists.py.models │ │ │ ├── lists.py.overrides │ │ │ ├── lists.py.pysa │ │ │ ├── locals.py │ │ │ ├── locals.py.cg │ │ │ ├── locals.py.hofcg │ │ │ ├── locals.py.models │ │ │ ├── locals.py.overrides │ │ │ ├── locals.py.pysa │ │ │ ├── long_access_path_taint.py │ │ │ ├── long_access_path_taint.py.cg │ │ │ ├── long_access_path_taint.py.hofcg │ │ │ ├── long_access_path_taint.py.models │ │ │ ├── long_access_path_taint.py.overrides │ │ │ ├── match.py │ │ │ ├── match.py.cg │ │ │ ├── match.py.hofcg │ │ │ ├── match.py.models │ │ │ ├── match.py.overrides │ │ │ ├── maximum_tito_depth.py │ │ │ ├── maximum_tito_depth.py.cg │ │ │ ├── maximum_tito_depth.py.config │ │ │ ├── maximum_tito_depth.py.hofcg │ │ │ ├── maximum_tito_depth.py.models │ │ │ ├── maximum_tito_depth.py.overrides │ │ │ ├── maximum_tito_depth.py.pysa │ │ │ ├── maximum_trace_length.py │ │ │ ├── maximum_trace_length.py.cg │ │ │ ├── maximum_trace_length.py.config │ │ │ ├── maximum_trace_length.py.hofcg │ │ │ ├── maximum_trace_length.py.models │ │ │ ├── maximum_trace_length.py.overrides │ │ │ ├── maximum_trace_length.py.pysa │ │ │ ├── missing_type.py │ │ │ ├── missing_type.py.cg │ │ │ ├── missing_type.py.hofcg │ │ │ ├── missing_type.py.models │ │ │ ├── missing_type.py.overrides │ │ │ ├── missing_type.py.pysa │ │ │ ├── model_query.py │ │ │ ├── model_query.py.cg │ │ │ ├── model_query.py.config │ │ │ ├── model_query.py.hofcg │ │ │ ├── model_query.py.models │ │ │ ├── model_query.py.overrides │ │ │ ├── model_query.py.pysa │ │ │ ├── model_query_annotated.py │ │ │ ├── model_query_annotated.py.cg │ │ │ ├── model_query_annotated.py.hofcg │ │ │ ├── model_query_annotated.py.models │ │ │ ├── model_query_annotated.py.overrides │ │ │ ├── model_query_annotated.py.pysa │ │ │ ├── model_query_any_decorator.py │ │ │ ├── model_query_any_decorator.py.cg │ │ │ ├── model_query_any_decorator.py.hofcg │ │ │ ├── model_query_any_decorator.py.models │ │ │ ├── model_query_any_decorator.py.overrides │ │ │ ├── model_query_any_decorator.py.pysa │ │ │ ├── model_query_cache.py │ │ │ ├── model_query_cache.py.cg │ │ │ ├── model_query_cache.py.hofcg │ │ │ ├── model_query_cache.py.models │ │ │ ├── model_query_cache.py.overrides │ │ │ ├── model_query_cache.py.pysa │ │ │ ├── model_query_global_variable.py │ │ │ ├── model_query_global_variable.py.cg │ │ │ ├── model_query_global_variable.py.config │ │ │ ├── model_query_global_variable.py.hofcg │ │ │ ├── model_query_global_variable.py.models │ │ │ ├── model_query_global_variable.py.overrides │ │ │ ├── model_query_global_variable.py.pysa │ │ │ ├── model_query_parameters_viatypeof.py │ │ │ ├── model_query_parameters_viatypeof.py.cg │ │ │ ├── model_query_parameters_viatypeof.py.hofcg │ │ │ ├── model_query_parameters_viatypeof.py.models │ │ │ ├── model_query_parameters_viatypeof.py.overrides │ │ │ ├── model_query_parameters_viatypeof.py.pysa │ │ │ ├── model_query_parameters_where.py │ │ │ ├── model_query_parameters_where.py.cg │ │ │ ├── model_query_parameters_where.py.config │ │ │ ├── model_query_parameters_where.py.hofcg │ │ │ ├── model_query_parameters_where.py.models │ │ │ ├── model_query_parameters_where.py.overrides │ │ │ ├── model_query_parameters_where.py.pysa │ │ │ ├── model_query_parent_decorator.py │ │ │ ├── model_query_parent_decorator.py.cg │ │ │ ├── model_query_parent_decorator.py.hofcg │ │ │ ├── model_query_parent_decorator.py.models │ │ │ ├── model_query_parent_decorator.py.overrides │ │ │ ├── model_query_parent_decorator.py.pysa │ │ │ ├── model_query_return_annotation_extends.py │ │ │ ├── model_query_return_annotation_extends.py.cg │ │ │ ├── model_query_return_annotation_extends.py.hofcg │ │ │ ├── model_query_return_annotation_extends.py.models │ │ │ ├── model_query_return_annotation_extends.py.overrides │ │ │ ├── model_query_return_annotation_extends.py.pysa │ │ │ ├── model_query_transitive_extends.py │ │ │ ├── model_query_transitive_extends.py.cg │ │ │ ├── model_query_transitive_extends.py.hofcg │ │ │ ├── model_query_transitive_extends.py.models │ │ │ ├── model_query_transitive_extends.py.overrides │ │ │ ├── model_query_transitive_extends.py.pysa │ │ │ ├── model_query_type_annotation.py │ │ │ ├── model_query_type_annotation.py.cg │ │ │ ├── model_query_type_annotation.py.hofcg │ │ │ ├── model_query_type_annotation.py.models │ │ │ ├── model_query_type_annotation.py.overrides │ │ │ ├── model_query_type_annotation.py.pysa │ │ │ ├── model_shaping.py │ │ │ ├── model_shaping.py.cg │ │ │ ├── model_shaping.py.hofcg │ │ │ ├── model_shaping.py.models │ │ │ ├── model_shaping.py.overrides │ │ │ ├── multi_sink_ports.py │ │ │ ├── multi_sink_ports.py.cg │ │ │ ├── multi_sink_ports.py.config │ │ │ ├── multi_sink_ports.py.hofcg │ │ │ ├── multi_sink_ports.py.models │ │ │ ├── multi_sink_ports.py.overrides │ │ │ ├── multi_sink_ports.py.pysa │ │ │ ├── multi_subkind.py │ │ │ ├── multi_subkind.py.cg │ │ │ ├── multi_subkind.py.config │ │ │ ├── multi_subkind.py.hofcg │ │ │ ├── multi_subkind.py.models │ │ │ ├── multi_subkind.py.overrides │ │ │ ├── multi_subkind.py.pysa │ │ │ ├── multiline.py │ │ │ ├── multiline.py.cg │ │ │ ├── multiline.py.hofcg │ │ │ ├── multiline.py.models │ │ │ ├── multiline.py.overrides │ │ │ ├── multiple_sources.py │ │ │ ├── multiple_sources.py.cg │ │ │ ├── multiple_sources.py.config │ │ │ ├── multiple_sources.py.hofcg │ │ │ ├── multiple_sources.py.models │ │ │ ├── multiple_sources.py.overrides │ │ │ ├── multiple_sources.py.pysa │ │ │ ├── multiple_sources_string_operations.py │ │ │ ├── multiple_sources_string_operations.py.cg │ │ │ ├── multiple_sources_string_operations.py.config │ │ │ ├── multiple_sources_string_operations.py.hofcg │ │ │ ├── multiple_sources_string_operations.py.models │ │ │ ├── multiple_sources_string_operations.py.overrides │ │ │ ├── multiple_sources_string_operations.py.pysa │ │ │ ├── multiple_sources_string_operations_with_filters.py │ │ │ ├── multiple_sources_string_operations_with_filters.py.cg │ │ │ ├── multiple_sources_string_operations_with_filters.py.config │ │ │ ├── multiple_sources_string_operations_with_filters.py.hofcg │ │ │ ├── multiple_sources_string_operations_with_filters.py.models │ │ │ ├── multiple_sources_string_operations_with_filters.py.overrides │ │ │ ├── multiple_sources_string_operations_with_filters.py.pysa │ │ │ ├── multiple_sources_with_filters.py │ │ │ ├── multiple_sources_with_filters.py.cg │ │ │ ├── multiple_sources_with_filters.py.config │ │ │ ├── multiple_sources_with_filters.py.hofcg │ │ │ ├── multiple_sources_with_filters.py.models │ │ │ ├── multiple_sources_with_filters.py.overrides │ │ │ ├── multiple_sources_with_filters.py.pysa │ │ │ ├── mutate_self.py │ │ │ ├── mutate_self.py.cg │ │ │ ├── mutate_self.py.hofcg │ │ │ ├── mutate_self.py.models │ │ │ ├── mutate_self.py.overrides │ │ │ ├── named_tuples.py │ │ │ ├── named_tuples.py.cg │ │ │ ├── named_tuples.py.hofcg │ │ │ ├── named_tuples.py.models │ │ │ ├── named_tuples.py.overrides │ │ │ ├── named_tuples.py.pysa │ │ │ ├── nested_callables.py │ │ │ ├── nested_callables.py.cg │ │ │ ├── nested_callables.py.hofcg │ │ │ ├── nested_callables.py.models │ │ │ ├── nested_callables.py.overrides │ │ │ ├── obscure_models.py │ │ │ ├── obscure_models.py.cg │ │ │ ├── obscure_models.py.config │ │ │ ├── obscure_models.py.hofcg │ │ │ ├── obscure_models.py.models │ │ │ ├── obscure_models.py.overrides │ │ │ ├── obscure_models.py.pysa │ │ │ ├── obscure_tito.py │ │ │ ├── obscure_tito.py.cg │ │ │ ├── obscure_tito.py.hofcg │ │ │ ├── obscure_tito.py.models │ │ │ ├── obscure_tito.py.overrides │ │ │ ├── obscure_tito.py.pysa │ │ │ ├── optionals.py │ │ │ ├── optionals.py.cg │ │ │ ├── optionals.py.hofcg │ │ │ ├── optionals.py.models │ │ │ ├── optionals.py.overrides │ │ │ ├── overloads.py │ │ │ ├── overloads.py.cg │ │ │ ├── overloads.py.hofcg │ │ │ ├── overloads.py.models │ │ │ ├── overloads.py.overrides │ │ │ ├── overmatching.py │ │ │ ├── overmatching.py.cg │ │ │ ├── overmatching.py.hofcg │ │ │ ├── overmatching.py.models │ │ │ ├── overmatching.py.overrides │ │ │ ├── overrides.py │ │ │ ├── overrides.py.cg │ │ │ ├── overrides.py.config │ │ │ ├── overrides.py.hofcg │ │ │ ├── overrides.py.models │ │ │ ├── overrides.py.overrides │ │ │ ├── overrides.py.pysa │ │ │ ├── parameter_name_path.py │ │ │ ├── parameter_name_path.py.cg │ │ │ ├── parameter_name_path.py.hofcg │ │ │ ├── parameter_name_path.py.models │ │ │ ├── parameter_name_path.py.overrides │ │ │ ├── parameter_name_path.py.pysa │ │ │ ├── parameter_path.py │ │ │ ├── parameter_path.py.cg │ │ │ ├── parameter_path.py.hofcg │ │ │ ├── parameter_path.py.models │ │ │ ├── parameter_path.py.overrides │ │ │ ├── parameter_path.py.pysa │ │ │ ├── parametric_models.py │ │ │ ├── parametric_models.py.cg │ │ │ ├── parametric_models.py.config │ │ │ ├── parametric_models.py.hofcg │ │ │ ├── parametric_models.py.models │ │ │ ├── parametric_models.py.overrides │ │ │ ├── parametric_models.py.pysa │ │ │ ├── partial.py │ │ │ ├── partial.py.cg │ │ │ ├── partial.py.hofcg │ │ │ ├── partial.py.models │ │ │ ├── partial.py.overrides │ │ │ ├── partial.py.pysa │ │ │ ├── port.py │ │ │ ├── port.py.cg │ │ │ ├── port.py.hofcg │ │ │ ├── port.py.models │ │ │ ├── port.py.overrides │ │ │ ├── private_variables.py │ │ │ ├── private_variables.py.cg │ │ │ ├── private_variables.py.hofcg │ │ │ ├── private_variables.py.models │ │ │ ├── private_variables.py.overrides │ │ │ ├── private_variables.py.pysa │ │ │ ├── properties.py │ │ │ ├── properties.py.cg │ │ │ ├── properties.py.hofcg │ │ │ ├── properties.py.models │ │ │ ├── properties.py.overrides │ │ │ ├── properties.py.pysa │ │ │ ├── python_test_framework_pytest.py │ │ │ ├── python_test_framework_pytest.py.cg │ │ │ ├── python_test_framework_pytest.py.hofcg │ │ │ ├── python_test_framework_pytest.py.models │ │ │ ├── python_test_framework_pytest.py.overrides │ │ │ ├── python_test_framework_unittest.py │ │ │ ├── python_test_framework_unittest.py.cg │ │ │ ├── python_test_framework_unittest.py.hofcg │ │ │ ├── python_test_framework_unittest.py.models │ │ │ ├── python_test_framework_unittest.py.overrides │ │ │ ├── raise.py │ │ │ ├── raise.py.cg │ │ │ ├── raise.py.hofcg │ │ │ ├── raise.py.models │ │ │ ├── raise.py.overrides │ │ │ ├── readonly.py │ │ │ ├── readonly.py.cg │ │ │ ├── readonly.py.hofcg │ │ │ ├── readonly.py.models │ │ │ ├── readonly.py.overrides │ │ │ ├── readonly.py.pysa │ │ │ ├── recognized_callable_targets.py │ │ │ ├── recognized_callable_targets.py.cg │ │ │ ├── recognized_callable_targets.py.hofcg │ │ │ ├── recognized_callable_targets.py.models │ │ │ ├── recognized_callable_targets.py.overrides │ │ │ ├── remote_code_execution.py │ │ │ ├── remote_code_execution.py.cg │ │ │ ├── remote_code_execution.py.hofcg │ │ │ ├── remote_code_execution.py.models │ │ │ ├── remote_code_execution.py.overrides │ │ │ ├── return_sinks.py │ │ │ ├── return_sinks.py.cg │ │ │ ├── return_sinks.py.hofcg │ │ │ ├── return_sinks.py.models │ │ │ ├── return_sinks.py.overrides │ │ │ ├── return_sinks.py.pysa │ │ │ ├── rule.py │ │ │ ├── rule.py.cg │ │ │ ├── rule.py.config │ │ │ ├── rule.py.hofcg │ │ │ ├── rule.py.models │ │ │ ├── rule.py.overrides │ │ │ ├── rule.py.pysa │ │ │ ├── rule_with_filters.py │ │ │ ├── rule_with_filters.py.cg │ │ │ ├── rule_with_filters.py.config │ │ │ ├── rule_with_filters.py.hofcg │ │ │ ├── rule_with_filters.py.models │ │ │ ├── rule_with_filters.py.overrides │ │ │ ├── rule_with_filters.py.pysa │ │ │ ├── sanitize.py │ │ │ ├── sanitize.py.cg │ │ │ ├── sanitize.py.config │ │ │ ├── sanitize.py.hofcg │ │ │ ├── sanitize.py.models │ │ │ ├── sanitize.py.overrides │ │ │ ├── sanitize.py.pysa │ │ │ ├── sanitize_discard_flows.py │ │ │ ├── sanitize_discard_flows.py.cg │ │ │ ├── sanitize_discard_flows.py.config │ │ │ ├── sanitize_discard_flows.py.hofcg │ │ │ ├── sanitize_discard_flows.py.models │ │ │ ├── sanitize_discard_flows.py.overrides │ │ │ ├── sanitize_discard_flows.py.pysa │ │ │ ├── sanitize_obscure.py │ │ │ ├── sanitize_obscure.py.cg │ │ │ ├── sanitize_obscure.py.config │ │ │ ├── sanitize_obscure.py.hofcg │ │ │ ├── sanitize_obscure.py.models │ │ │ ├── sanitize_obscure.py.overrides │ │ │ ├── sanitize_obscure.py.pysa │ │ │ ├── sanitize_parametric.py │ │ │ ├── sanitize_parametric.py.cg │ │ │ ├── sanitize_parametric.py.config │ │ │ ├── sanitize_parametric.py.hofcg │ │ │ ├── sanitize_parametric.py.models │ │ │ ├── sanitize_parametric.py.overrides │ │ │ ├── sanitize_parametric.py.pysa │ │ │ ├── sanitize_tito_shaping.py │ │ │ ├── sanitize_tito_shaping.py.cg │ │ │ ├── sanitize_tito_shaping.py.config │ │ │ ├── sanitize_tito_shaping.py.hofcg │ │ │ ├── sanitize_tito_shaping.py.models │ │ │ ├── sanitize_tito_shaping.py.overrides │ │ │ ├── sanitize_tito_shaping.py.pysa │ │ │ ├── select.py │ │ │ ├── select.py.cg │ │ │ ├── select.py.hofcg │ │ │ ├── select.py.models │ │ │ ├── select.py.overrides │ │ │ ├── select.py.pysa │ │ │ ├── self.py │ │ │ ├── self.py.cg │ │ │ ├── self.py.hofcg │ │ │ ├── self.py.models │ │ │ ├── self.py.overrides │ │ │ ├── self.py.pysa │ │ │ ├── shims.py │ │ │ ├── shims.py.cg │ │ │ ├── shims.py.hofcg │ │ │ ├── shims.py.models │ │ │ ├── shims.py.overrides │ │ │ ├── side_effects.py │ │ │ ├── side_effects.py.cg │ │ │ ├── side_effects.py.hofcg │ │ │ ├── side_effects.py.models │ │ │ ├── side_effects.py.overrides │ │ │ ├── side_effects.py.pysa │ │ │ ├── skip_analysis.py │ │ │ ├── skip_analysis.py.cg │ │ │ ├── skip_analysis.py.hofcg │ │ │ ├── skip_analysis.py.models │ │ │ ├── skip_analysis.py.overrides │ │ │ ├── skip_analysis.py.pysa │ │ │ ├── source_sink_flow.py │ │ │ ├── source_sink_flow.py.cg │ │ │ ├── source_sink_flow.py.hofcg │ │ │ ├── source_sink_flow.py.models │ │ │ ├── source_sink_flow.py.overrides │ │ │ ├── starred.py │ │ │ ├── starred.py.cg │ │ │ ├── starred.py.hofcg │ │ │ ├── starred.py.models │ │ │ ├── starred.py.overrides │ │ │ ├── static_methods.py │ │ │ ├── static_methods.py.cg │ │ │ ├── static_methods.py.hofcg │ │ │ ├── static_methods.py.models │ │ │ ├── static_methods.py.overrides │ │ │ ├── string_conversion.py │ │ │ ├── string_conversion.py.cg │ │ │ ├── string_conversion.py.hofcg │ │ │ ├── string_conversion.py.models │ │ │ ├── string_conversion.py.overrides │ │ │ ├── string_conversion.py.pysa │ │ │ ├── strings.py │ │ │ ├── strings.py.cg │ │ │ ├── strings.py.hofcg │ │ │ ├── strings.py.models │ │ │ ├── strings.py.overrides │ │ │ ├── strings.py.pysa │ │ │ ├── supers.py │ │ │ ├── supers.py.cg │ │ │ ├── supers.py.hofcg │ │ │ ├── supers.py.models │ │ │ ├── supers.py.overrides │ │ │ ├── taint_broadening.py │ │ │ ├── taint_broadening.py.cg │ │ │ ├── taint_broadening.py.hofcg │ │ │ ├── taint_broadening.py.models │ │ │ ├── taint_broadening.py.overrides │ │ │ ├── taint_broadening.py.pysa │ │ │ ├── taint_in_taint_out.py │ │ │ ├── taint_in_taint_out.py.cg │ │ │ ├── taint_in_taint_out.py.hofcg │ │ │ ├── taint_in_taint_out.py.models │ │ │ ├── taint_in_taint_out.py.overrides │ │ │ ├── taint_in_taint_out.py.pysa │ │ │ ├── taint_transform.py │ │ │ ├── taint_transform.py.cg │ │ │ ├── taint_transform.py.config │ │ │ ├── taint_transform.py.hofcg │ │ │ ├── taint_transform.py.models │ │ │ ├── taint_transform.py.overrides │ │ │ ├── taint_transform.py.pysa │ │ │ ├── top_level.py │ │ │ ├── top_level.py.cg │ │ │ ├── top_level.py.hofcg │ │ │ ├── top_level.py.models │ │ │ ├── top_level.py.overrides │ │ │ ├── typed_dict.py │ │ │ ├── typed_dict.py.cg │ │ │ ├── typed_dict.py.hofcg │ │ │ ├── typed_dict.py.models │ │ │ ├── typed_dict.py.overrides │ │ │ ├── typed_dict.py.pysa │ │ │ ├── typevar.py │ │ │ ├── typevar.py.cg │ │ │ ├── typevar.py.hofcg │ │ │ ├── typevar.py.models │ │ │ ├── typevar.py.overrides │ │ │ ├── typevar.py.pysa │ │ │ ├── unknown_callee.py │ │ │ ├── unknown_callee.py.cg │ │ │ ├── unknown_callee.py.hofcg │ │ │ ├── unknown_callee.py.models │ │ │ ├── unknown_callee.py.overrides │ │ │ ├── via_attribute_name.py │ │ │ ├── via_attribute_name.py.cg │ │ │ ├── via_attribute_name.py.hofcg │ │ │ ├── via_attribute_name.py.models │ │ │ ├── via_attribute_name.py.overrides │ │ │ ├── via_attribute_name.py.pysa │ │ │ ├── via_type_of.py │ │ │ ├── via_type_of.py.cg │ │ │ ├── via_type_of.py.hofcg │ │ │ ├── via_type_of.py.models │ │ │ ├── via_type_of.py.overrides │ │ │ ├── via_type_of.py.pysa │ │ │ ├── via_value_of.py │ │ │ ├── via_value_of.py.cg │ │ │ ├── via_value_of.py.hofcg │ │ │ ├── via_value_of.py.models │ │ │ ├── via_value_of.py.overrides │ │ │ ├── via_value_of.py.pysa │ │ │ ├── walrus_operator.py │ │ │ ├── walrus_operator.py.cg │ │ │ ├── walrus_operator.py.hofcg │ │ │ ├── walrus_operator.py.models │ │ │ └── walrus_operator.py.overrides │ │ │ ├── integrationTest.ml │ │ │ ├── integrationTest.mli │ │ │ ├── issueTest.ml │ │ │ ├── issueTest.mli │ │ │ ├── kindCoverageTest.ml │ │ │ ├── kindCoverageTest.mli │ │ │ ├── missingFlowsTest.ml │ │ │ ├── missingFlowsTest.mli │ │ │ ├── modelInvalidTest.ml │ │ │ ├── modelInvalidTest.mli │ │ │ ├── modelQueryExecutionTest.ml │ │ │ ├── modelQueryExecutionTest.mli │ │ │ ├── modelQueryParsingTest.ml │ │ │ ├── modelQueryParsingTest.mli │ │ │ ├── modelTest.ml │ │ │ ├── modelTest.mli │ │ │ ├── modelVerificationErrorTest.ml │ │ │ ├── modelVerificationErrorTest.mli │ │ │ ├── ruleCoverageTest.ml │ │ │ ├── ruleCoverageTest.mli │ │ │ ├── sanitizeTest.ml │ │ │ ├── sanitizeTest.mli │ │ │ ├── sanitizeTransformSetTest.ml │ │ │ ├── sanitizeTransformSetTest.mli │ │ │ ├── sanitizeTransformTest.ml │ │ │ ├── sanitizeTransformTest.mli │ │ │ └── testHelper.ml │ └── type_inference │ │ ├── dune │ │ ├── service.ml │ │ ├── service.mli │ │ ├── test │ │ ├── dune │ │ ├── typeInferenceDataTest.ml │ │ ├── typeInferenceDataTest.mli │ │ ├── typeInferenceGlobalTest.ml │ │ ├── typeInferenceGlobalTest.mli │ │ ├── typeInferenceLocalTest.ml │ │ ├── typeInferenceLocalTest.mli │ │ ├── typeInferenceServiceTest.ml │ │ └── typeInferenceServiceTest.mli │ │ ├── typeInference.ml │ │ ├── typeInferenceData.ml │ │ ├── typeInferenceData.mli │ │ ├── typeInferenceLocal.ml │ │ └── typeInferenceLocal.mli ├── jsonParsing.ml ├── jsonParsing.mli ├── log.ml ├── log.mli ├── lwtSocketServer.ml ├── lwtSocketServer.mli ├── lwtSubprocess.ml ├── lwtSubprocess.mli ├── main.ml ├── menhir_parser │ ├── dune │ ├── generator.mly │ ├── lexer.mll │ ├── parser.ml │ ├── parser.mli │ ├── parserExpression.ml │ ├── parserStatement.ml │ └── test │ │ ├── dune │ │ ├── generatorTest.ml │ │ ├── generatorTest.mli │ │ ├── locationTest.ml │ │ └── locationTest.mli ├── pyre.ml ├── pyrePath.ml ├── pyrePath.mli ├── pyreProfiling.ml ├── pyreProfiling.mli ├── pyrelib.opam ├── saved_state │ ├── action.ml │ ├── action.mli │ ├── dune │ ├── execution.ml │ ├── execution.mli │ └── test │ │ ├── dune │ │ └── executionTest.ml ├── searchPath.ml ├── searchPath.mli ├── server │ ├── buildSystem.ml │ ├── buildSystem.mli │ ├── checksumMap.ml │ ├── checksumMap.mli │ ├── dune │ ├── exclusiveLock.ml │ ├── exclusiveLock.mli │ ├── locationBasedLookupProcessor.ml │ ├── locationBasedLookupProcessor.mli │ ├── pathLookup.ml │ ├── pathLookup.mli │ ├── query.ml │ ├── query.mli │ ├── request.ml │ ├── requestHandler.ml │ ├── requestHandler.mli │ ├── response.ml │ ├── serverError.ml │ ├── serverProperties.ml │ ├── serverState.ml │ ├── serverState.mli │ ├── start.ml │ ├── start.mli │ ├── startOptions.ml │ ├── startupNotification.ml │ ├── startupNotification.mli │ ├── stop.ml │ ├── stop.mli │ ├── subscription.ml │ ├── subscription.mli │ └── test │ │ ├── basicTest.ml │ │ ├── buildSystemTest.ml │ │ ├── cachedQueryTest.ml │ │ ├── checksumMapTest.ml │ │ ├── dune │ │ ├── lockTest.ml │ │ ├── queryTest.ml │ │ ├── serverTest.ml │ │ ├── serverTest.mli │ │ ├── startupNotificationTest.ml │ │ └── stateTest.ml ├── service │ ├── dependencyTrackedMemory.ml │ ├── dependencyTrackedMemory.mli │ ├── dune │ ├── memory.ml │ ├── memory.mli │ ├── perfProfiler.ml │ ├── perfProfiler.mli │ ├── scheduler.ml │ ├── scheduler.mli │ └── test │ │ ├── dependencyTrackedMemoryTest.ml │ │ ├── dependencyTrackedMemoryTest.mli │ │ ├── dune │ │ ├── ignoreTest.ml │ │ ├── ignoreTest.mli │ │ ├── memoryTest.ml │ │ ├── memoryTest.mli │ │ ├── schedulerTest.ml │ │ └── schedulerTest.mli ├── sourcePath.ml ├── sourcePath.mli ├── statistics.ml ├── statistics.mli ├── test │ ├── algorithmsTest.ml │ ├── algorithmsTest.mli │ ├── configurationTest.ml │ ├── configurationTest.mli │ ├── criticalFileTest.ml │ ├── criticalFileTest.mli │ ├── dune │ ├── fileTest.ml │ ├── fileTest.mli │ ├── jsonParsingTest.ml │ ├── jsonParsingTest.mli │ ├── logTest.ml │ ├── logTest.mli │ ├── profilingTest.ml │ ├── profilingTest.mli │ ├── pyrePathTest.ml │ ├── pyrePathTest.mli │ ├── searchPathTest.ml │ ├── searchPathTest.mli │ ├── statisticsTest.ml │ ├── statisticsTest.mli │ ├── test.ml │ └── watchmanTest.ml ├── timer.ml ├── timer.mli ├── version.mli ├── watchman.ml └── watchman.mli ├── stubs ├── integration_test │ ├── .overridden │ ├── .pyre_configuration │ ├── Makefile │ ├── fixture_source │ │ └── integration_test │ │ │ ├── assignments_to_sinks.py │ │ │ ├── builtin_functions.py │ │ │ ├── cache.py │ │ │ ├── constructor_tito.py │ │ │ ├── containers.py │ │ │ ├── decorator.py │ │ │ ├── exit_flow.py │ │ │ ├── functools.py │ │ │ ├── list_comprehension.py │ │ │ ├── logging_decorator.py │ │ │ ├── overrides.py │ │ │ ├── request_sources.py │ │ │ ├── string_concatenation.py │ │ │ ├── taint.py │ │ │ └── top_level.py │ ├── fixture_stubs │ │ ├── django │ │ │ ├── __init__.pyi │ │ │ ├── apps.pyi │ │ │ ├── conf │ │ │ │ ├── __init__.pyi │ │ │ │ ├── urls.pyi │ │ │ │ └── wsgi.pyi │ │ │ ├── contrib │ │ │ │ ├── __init__.pyi │ │ │ │ ├── admin.pyi │ │ │ │ ├── admindocs │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ └── views.pyi │ │ │ │ ├── auth │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ ├── base_user.pyi │ │ │ │ │ ├── decorators.pyi │ │ │ │ │ ├── hashers.pyi │ │ │ │ │ ├── models.pyi │ │ │ │ │ ├── signals.pyi │ │ │ │ │ ├── tokens.pyi │ │ │ │ │ └── views.pyi │ │ │ │ ├── gis │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ └── geos │ │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ │ └── point.pyi │ │ │ │ ├── messages.pyi │ │ │ │ ├── postgres │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ └── fields │ │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ │ └── citext.pyi │ │ │ │ ├── sessions │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ └── backends │ │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ │ └── base.pyi │ │ │ │ └── sites.pyi │ │ │ ├── core │ │ │ │ ├── __init__.pyi │ │ │ │ ├── cache │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ └── backends │ │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ │ └── base.pyi │ │ │ │ ├── checks.pyi │ │ │ │ ├── context_processors.pyi │ │ │ │ ├── exceptions.pyi │ │ │ │ ├── files │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ ├── base.pyi │ │ │ │ │ ├── storage.pyi │ │ │ │ │ ├── uploadedfile.pyi │ │ │ │ │ └── utils.pyi │ │ │ │ ├── handlers │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ └── wsgi │ │ │ │ │ │ └── __init__.pyi │ │ │ │ ├── mail │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ ├── backends │ │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ │ └── base.pyi │ │ │ │ │ └── message.pyi │ │ │ │ ├── management │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ ├── base.pyi │ │ │ │ │ └── commands │ │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ │ └── test.pyi │ │ │ │ ├── servers │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ └── basehttp.pyi │ │ │ │ ├── signals.pyi │ │ │ │ ├── signing.pyi │ │ │ │ ├── urlresolvers.pyi │ │ │ │ ├── validators.pyi │ │ │ │ └── wsgi.pyi │ │ │ ├── db │ │ │ │ ├── __init__.pyi │ │ │ │ ├── aggregates.pyi │ │ │ │ ├── backends │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ ├── base │ │ │ │ │ │ ├── __init__.py │ │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ │ └── base.pyi │ │ │ │ │ ├── mysql │ │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ │ └── base.pyi │ │ │ │ │ └── utils.pyi │ │ │ │ ├── expressions.pyi │ │ │ │ ├── migrations │ │ │ │ │ └── __init__.pyi │ │ │ │ ├── models │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ ├── deletion.pyi │ │ │ │ │ ├── enums.pyi │ │ │ │ │ ├── fields │ │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ │ ├── related.pyi │ │ │ │ │ │ └── subclassing.pyi │ │ │ │ │ ├── manager.pyi │ │ │ │ │ ├── options.pyi │ │ │ │ │ ├── query.pyi │ │ │ │ │ ├── signals.pyi │ │ │ │ │ └── sql │ │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ │ └── where.pyi │ │ │ │ └── utils.pyi │ │ │ ├── dispatch │ │ │ │ ├── __init__.pyi │ │ │ │ └── dispatcher.pyi │ │ │ ├── forms │ │ │ │ ├── __init__.pyi │ │ │ │ ├── fields.pyi │ │ │ │ ├── forms.pyi │ │ │ │ ├── models.pyi │ │ │ │ ├── utils.pyi │ │ │ │ └── widgets.pyi │ │ │ ├── http │ │ │ │ ├── __init__.pyi │ │ │ │ ├── cookie.pyi │ │ │ │ ├── multipartparser.pyi │ │ │ │ ├── request.pyi │ │ │ │ ├── response.pyi │ │ │ │ └── utils.pyi │ │ │ ├── middleware │ │ │ │ ├── __init__.pyi │ │ │ │ ├── cache.pyi │ │ │ │ ├── csrf.pyi │ │ │ │ └── http.pyi │ │ │ ├── shortcuts.pyi │ │ │ ├── template │ │ │ │ ├── __init__.pyi │ │ │ │ ├── backends │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ └── django.pyi │ │ │ │ ├── base.pyi │ │ │ │ ├── defaultfilters.pyi │ │ │ │ ├── engine.pyi │ │ │ │ ├── loader.pyi │ │ │ │ ├── loaders.pyi │ │ │ │ ├── response.pyi │ │ │ │ └── utils.pyi │ │ │ ├── test │ │ │ │ ├── __init__.pyi │ │ │ │ ├── client.pyi │ │ │ │ └── utils.pyi │ │ │ ├── urls │ │ │ │ ├── __init__.pyi │ │ │ │ ├── base.pyi │ │ │ │ ├── conf.pyi │ │ │ │ ├── converters.pyi │ │ │ │ ├── exceptions.pyi │ │ │ │ ├── resolvers.pyi │ │ │ │ └── utils.pyi │ │ │ ├── utils │ │ │ │ ├── __init__.pyi │ │ │ │ ├── _os.pyi │ │ │ │ ├── cache.pyi │ │ │ │ ├── crypto.pyi │ │ │ │ ├── datastructures.pyi │ │ │ │ ├── dateparse.pyi │ │ │ │ ├── dates.pyi │ │ │ │ ├── decorators.pyi │ │ │ │ ├── deprecation.pyi │ │ │ │ ├── duration.pyi │ │ │ │ ├── encoding.pyi │ │ │ │ ├── formats.pyi │ │ │ │ ├── functional.pyi │ │ │ │ ├── html.pyi │ │ │ │ ├── http.pyi │ │ │ │ ├── importlib.pyi │ │ │ │ ├── ipv6.pyi │ │ │ │ ├── itercompat.pyi │ │ │ │ ├── module_loading.pyi │ │ │ │ ├── safestring.pyi │ │ │ │ ├── six │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ └── moves │ │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ │ └── urllib │ │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ │ └── parse.pyi │ │ │ │ ├── termcolors.pyi │ │ │ │ ├── text.pyi │ │ │ │ ├── timezone.pyi │ │ │ │ └── translation │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ ├── trans_null.pyi │ │ │ │ │ └── trans_real.pyi │ │ │ ├── views.pyi │ │ │ └── views │ │ │ │ ├── __init__.pyi │ │ │ │ └── generic │ │ │ │ ├── __init__.pyi │ │ │ │ └── base.pyi │ │ ├── pyre.pyi │ │ └── rest_framework │ │ │ ├── __init__.py │ │ │ └── request.pyi │ ├── pyproject.toml │ ├── result.json │ ├── run.py │ ├── run_cache_test.py │ └── test_taint │ │ ├── analyze_all_overrides.pysa │ │ ├── attributes.pysa │ │ ├── exit_flow.pysa │ │ ├── globals.pysa │ │ ├── sanitize.pysa │ │ ├── skip_analysis.pysa │ │ ├── skip_overrides.pysa │ │ └── taint.config ├── taint │ ├── common │ │ ├── builtin_functions.pysa │ │ ├── collection_propagation.pysa │ │ ├── functools.pysa │ │ ├── protocols.pysa │ │ ├── skipped_overrides.pysa │ │ └── taint.config │ └── core_privacy_security │ │ ├── django_rest_framework.pysa │ │ ├── django_sources_sinks.pysa │ │ ├── filesystem_other_sinks.pysa │ │ ├── filesystem_sinks.pysa │ │ ├── format_string_sinks.pysa │ │ ├── general.pysa │ │ ├── http_server.pysa │ │ ├── logging_sinks.pysa │ │ ├── mysql_sources.pysa │ │ ├── rce_sinks.pysa │ │ ├── requests_api_sinks.pysa │ │ ├── sanitizers.pysa │ │ ├── server_side_template_injection_sinks.pysa │ │ ├── sqlite3_sinks.pysa │ │ ├── taint.config │ │ ├── user_reach_sinks.pysa │ │ └── wsgi_ref.pysa ├── third_party_taint │ ├── aiohttp_client.pysa │ ├── aiohttp_server.pysa │ ├── authentication_sinks.pysa │ ├── boto3_clients_sources_sinks.pysa │ ├── dill_sinks.pysa │ ├── falcon_server.pysa │ ├── fastapi_models.pysa │ ├── filesystem_sinks.pysa │ ├── flask_sources_sinks.pysa │ ├── furl_features.pysa │ ├── lxml_sinks.pysa │ ├── mysql_connector_sinks.pysa │ ├── mysqldb_sinks.pysa │ ├── numpy_sinks.pysa │ ├── pandas_sinks.pysa │ ├── psycopg2_sinks.pysa │ ├── pymssql_sinks.pysa │ ├── pymysql_sinks.pysa │ ├── rce_sinks.pysa │ ├── server_side_template_injection_sinks.pysa │ ├── sqlalchemy_sinks.pysa │ ├── tornado_sources_sinks.pysa │ ├── wtforms_sources.pysa │ └── xss_sinks.pysa ├── typeshed │ ├── .gitignore │ ├── LICENSE │ ├── README.md │ └── typeshed │ │ ├── source_url │ │ ├── stdlib │ │ ├── VERSIONS │ │ ├── __future__.pyi │ │ ├── __main__.pyi │ │ ├── _ast.pyi │ │ ├── _asyncio.pyi │ │ ├── _bisect.pyi │ │ ├── _blake2.pyi │ │ ├── _bootlocale.pyi │ │ ├── _codecs.pyi │ │ ├── _collections_abc.pyi │ │ ├── _compat_pickle.pyi │ │ ├── _compression.pyi │ │ ├── _csv.pyi │ │ ├── _ctypes.pyi │ │ ├── _curses.pyi │ │ ├── _decimal.pyi │ │ ├── _dummy_thread.pyi │ │ ├── _dummy_threading.pyi │ │ ├── _frozen_importlib.pyi │ │ ├── _frozen_importlib_external.pyi │ │ ├── _heapq.pyi │ │ ├── _imp.pyi │ │ ├── _interpchannels.pyi │ │ ├── _interpqueues.pyi │ │ ├── _interpreters.pyi │ │ ├── _io.pyi │ │ ├── _json.pyi │ │ ├── _locale.pyi │ │ ├── _lsprof.pyi │ │ ├── _markupbase.pyi │ │ ├── _msi.pyi │ │ ├── _operator.pyi │ │ ├── _osx_support.pyi │ │ ├── _posixsubprocess.pyi │ │ ├── _py_abc.pyi │ │ ├── _pydecimal.pyi │ │ ├── _random.pyi │ │ ├── _sitebuiltins.pyi │ │ ├── _socket.pyi │ │ ├── _sqlite3.pyi │ │ ├── _ssl.pyi │ │ ├── _stat.pyi │ │ ├── _thread.pyi │ │ ├── _threading_local.pyi │ │ ├── _tkinter.pyi │ │ ├── _tracemalloc.pyi │ │ ├── _typeshed │ │ │ ├── README.md │ │ │ ├── __init__.pyi │ │ │ ├── dbapi.pyi │ │ │ ├── importlib.pyi │ │ │ ├── wsgi.pyi │ │ │ └── xml.pyi │ │ ├── _warnings.pyi │ │ ├── _weakref.pyi │ │ ├── _weakrefset.pyi │ │ ├── _winapi.pyi │ │ ├── abc.pyi │ │ ├── aifc.pyi │ │ ├── antigravity.pyi │ │ ├── argparse.pyi │ │ ├── array.pyi │ │ ├── ast.pyi │ │ ├── asynchat.pyi │ │ ├── asyncio │ │ │ ├── __init__.pyi │ │ │ ├── base_events.pyi │ │ │ ├── base_futures.pyi │ │ │ ├── base_subprocess.pyi │ │ │ ├── base_tasks.pyi │ │ │ ├── constants.pyi │ │ │ ├── coroutines.pyi │ │ │ ├── events.pyi │ │ │ ├── exceptions.pyi │ │ │ ├── format_helpers.pyi │ │ │ ├── futures.pyi │ │ │ ├── locks.pyi │ │ │ ├── log.pyi │ │ │ ├── mixins.pyi │ │ │ ├── proactor_events.pyi │ │ │ ├── protocols.pyi │ │ │ ├── queues.pyi │ │ │ ├── runners.pyi │ │ │ ├── selector_events.pyi │ │ │ ├── sslproto.pyi │ │ │ ├── staggered.pyi │ │ │ ├── streams.pyi │ │ │ ├── subprocess.pyi │ │ │ ├── taskgroups.pyi │ │ │ ├── tasks.pyi │ │ │ ├── threads.pyi │ │ │ ├── timeouts.pyi │ │ │ ├── transports.pyi │ │ │ ├── trsock.pyi │ │ │ ├── unix_events.pyi │ │ │ ├── windows_events.pyi │ │ │ └── windows_utils.pyi │ │ ├── asyncore.pyi │ │ ├── atexit.pyi │ │ ├── audioop.pyi │ │ ├── base64.pyi │ │ ├── bdb.pyi │ │ ├── binascii.pyi │ │ ├── binhex.pyi │ │ ├── bisect.pyi │ │ ├── builtins.pyi │ │ ├── bz2.pyi │ │ ├── cProfile.pyi │ │ ├── calendar.pyi │ │ ├── cgi.pyi │ │ ├── cgitb.pyi │ │ ├── chunk.pyi │ │ ├── cmath.pyi │ │ ├── cmd.pyi │ │ ├── code.pyi │ │ ├── codecs.pyi │ │ ├── codeop.pyi │ │ ├── collections │ │ │ ├── __init__.pyi │ │ │ └── abc.pyi │ │ ├── colorsys.pyi │ │ ├── compileall.pyi │ │ ├── concurrent │ │ │ ├── __init__.pyi │ │ │ └── futures │ │ │ │ ├── __init__.pyi │ │ │ │ ├── _base.pyi │ │ │ │ ├── process.pyi │ │ │ │ └── thread.pyi │ │ ├── configparser.pyi │ │ ├── contextlib.pyi │ │ ├── contextvars.pyi │ │ ├── copy.pyi │ │ ├── copyreg.pyi │ │ ├── crypt.pyi │ │ ├── csv.pyi │ │ ├── ctypes │ │ │ ├── __init__.pyi │ │ │ ├── _endian.pyi │ │ │ ├── util.pyi │ │ │ └── wintypes.pyi │ │ ├── curses │ │ │ ├── __init__.pyi │ │ │ ├── ascii.pyi │ │ │ ├── has_key.pyi │ │ │ ├── panel.pyi │ │ │ └── textpad.pyi │ │ ├── dataclasses.pyi │ │ ├── datetime.pyi │ │ ├── dbm │ │ │ ├── __init__.pyi │ │ │ ├── dumb.pyi │ │ │ ├── gnu.pyi │ │ │ ├── ndbm.pyi │ │ │ └── sqlite3.pyi │ │ ├── decimal.pyi │ │ ├── difflib.pyi │ │ ├── dis.pyi │ │ ├── distutils │ │ │ ├── __init__.pyi │ │ │ ├── _msvccompiler.pyi │ │ │ ├── archive_util.pyi │ │ │ ├── bcppcompiler.pyi │ │ │ ├── ccompiler.pyi │ │ │ ├── cmd.pyi │ │ │ ├── command │ │ │ │ ├── __init__.pyi │ │ │ │ ├── bdist.pyi │ │ │ │ ├── bdist_dumb.pyi │ │ │ │ ├── bdist_msi.pyi │ │ │ │ ├── bdist_packager.pyi │ │ │ │ ├── bdist_rpm.pyi │ │ │ │ ├── bdist_wininst.pyi │ │ │ │ ├── build.pyi │ │ │ │ ├── build_clib.pyi │ │ │ │ ├── build_ext.pyi │ │ │ │ ├── build_py.pyi │ │ │ │ ├── build_scripts.pyi │ │ │ │ ├── check.pyi │ │ │ │ ├── clean.pyi │ │ │ │ ├── config.pyi │ │ │ │ ├── install.pyi │ │ │ │ ├── install_data.pyi │ │ │ │ ├── install_egg_info.pyi │ │ │ │ ├── install_headers.pyi │ │ │ │ ├── install_lib.pyi │ │ │ │ ├── install_scripts.pyi │ │ │ │ ├── register.pyi │ │ │ │ ├── sdist.pyi │ │ │ │ └── upload.pyi │ │ │ ├── config.pyi │ │ │ ├── core.pyi │ │ │ ├── cygwinccompiler.pyi │ │ │ ├── debug.pyi │ │ │ ├── dep_util.pyi │ │ │ ├── dir_util.pyi │ │ │ ├── dist.pyi │ │ │ ├── errors.pyi │ │ │ ├── extension.pyi │ │ │ ├── fancy_getopt.pyi │ │ │ ├── file_util.pyi │ │ │ ├── filelist.pyi │ │ │ ├── log.pyi │ │ │ ├── msvccompiler.pyi │ │ │ ├── spawn.pyi │ │ │ ├── sysconfig.pyi │ │ │ ├── text_file.pyi │ │ │ ├── unixccompiler.pyi │ │ │ ├── util.pyi │ │ │ └── version.pyi │ │ ├── doctest.pyi │ │ ├── dummy_threading.pyi │ │ ├── email │ │ │ ├── __init__.pyi │ │ │ ├── _header_value_parser.pyi │ │ │ ├── _policybase.pyi │ │ │ ├── base64mime.pyi │ │ │ ├── charset.pyi │ │ │ ├── contentmanager.pyi │ │ │ ├── encoders.pyi │ │ │ ├── errors.pyi │ │ │ ├── feedparser.pyi │ │ │ ├── generator.pyi │ │ │ ├── header.pyi │ │ │ ├── headerregistry.pyi │ │ │ ├── iterators.pyi │ │ │ ├── message.pyi │ │ │ ├── mime │ │ │ │ ├── __init__.pyi │ │ │ │ ├── application.pyi │ │ │ │ ├── audio.pyi │ │ │ │ ├── base.pyi │ │ │ │ ├── image.pyi │ │ │ │ ├── message.pyi │ │ │ │ ├── multipart.pyi │ │ │ │ ├── nonmultipart.pyi │ │ │ │ └── text.pyi │ │ │ ├── parser.pyi │ │ │ ├── policy.pyi │ │ │ ├── quoprimime.pyi │ │ │ └── utils.pyi │ │ ├── encodings │ │ │ ├── __init__.pyi │ │ │ ├── utf_8.pyi │ │ │ └── utf_8_sig.pyi │ │ ├── ensurepip │ │ │ └── __init__.pyi │ │ ├── enum.pyi │ │ ├── errno.pyi │ │ ├── faulthandler.pyi │ │ ├── fcntl.pyi │ │ ├── filecmp.pyi │ │ ├── fileinput.pyi │ │ ├── fnmatch.pyi │ │ ├── formatter.pyi │ │ ├── fractions.pyi │ │ ├── ftplib.pyi │ │ ├── functools.pyi │ │ ├── gc.pyi │ │ ├── genericpath.pyi │ │ ├── getopt.pyi │ │ ├── getpass.pyi │ │ ├── gettext.pyi │ │ ├── glob.pyi │ │ ├── graphlib.pyi │ │ ├── grp.pyi │ │ ├── gzip.pyi │ │ ├── hashlib.pyi │ │ ├── heapq.pyi │ │ ├── hmac.pyi │ │ ├── html │ │ │ ├── __init__.pyi │ │ │ ├── entities.pyi │ │ │ └── parser.pyi │ │ ├── http │ │ │ ├── __init__.pyi │ │ │ ├── client.pyi │ │ │ ├── cookiejar.pyi │ │ │ ├── cookies.pyi │ │ │ └── server.pyi │ │ ├── imaplib.pyi │ │ ├── imghdr.pyi │ │ ├── imp.pyi │ │ ├── importlib │ │ │ ├── __init__.pyi │ │ │ ├── _abc.pyi │ │ │ ├── _bootstrap.pyi │ │ │ ├── _bootstrap_external.pyi │ │ │ ├── abc.pyi │ │ │ ├── machinery.pyi │ │ │ ├── metadata │ │ │ │ ├── __init__.pyi │ │ │ │ ├── _meta.pyi │ │ │ │ └── diagnose.pyi │ │ │ ├── readers.pyi │ │ │ ├── resources │ │ │ │ ├── __init__.pyi │ │ │ │ ├── _common.pyi │ │ │ │ ├── _functional.pyi │ │ │ │ ├── abc.pyi │ │ │ │ ├── readers.pyi │ │ │ │ └── simple.pyi │ │ │ ├── simple.pyi │ │ │ └── util.pyi │ │ ├── inspect.pyi │ │ ├── io.pyi │ │ ├── ipaddress.pyi │ │ ├── itertools.pyi │ │ ├── json │ │ │ ├── __init__.pyi │ │ │ ├── decoder.pyi │ │ │ ├── encoder.pyi │ │ │ └── tool.pyi │ │ ├── keyword.pyi │ │ ├── lib2to3 │ │ │ ├── __init__.pyi │ │ │ ├── btm_matcher.pyi │ │ │ ├── fixer_base.pyi │ │ │ ├── fixes │ │ │ │ ├── __init__.pyi │ │ │ │ ├── fix_apply.pyi │ │ │ │ ├── fix_asserts.pyi │ │ │ │ ├── fix_basestring.pyi │ │ │ │ ├── fix_buffer.pyi │ │ │ │ ├── fix_dict.pyi │ │ │ │ ├── fix_except.pyi │ │ │ │ ├── fix_exec.pyi │ │ │ │ ├── fix_execfile.pyi │ │ │ │ ├── fix_exitfunc.pyi │ │ │ │ ├── fix_filter.pyi │ │ │ │ ├── fix_funcattrs.pyi │ │ │ │ ├── fix_future.pyi │ │ │ │ ├── fix_getcwdu.pyi │ │ │ │ ├── fix_has_key.pyi │ │ │ │ ├── fix_idioms.pyi │ │ │ │ ├── fix_import.pyi │ │ │ │ ├── fix_imports.pyi │ │ │ │ ├── fix_imports2.pyi │ │ │ │ ├── fix_input.pyi │ │ │ │ ├── fix_intern.pyi │ │ │ │ ├── fix_isinstance.pyi │ │ │ │ ├── fix_itertools.pyi │ │ │ │ ├── fix_itertools_imports.pyi │ │ │ │ ├── fix_long.pyi │ │ │ │ ├── fix_map.pyi │ │ │ │ ├── fix_metaclass.pyi │ │ │ │ ├── fix_methodattrs.pyi │ │ │ │ ├── fix_ne.pyi │ │ │ │ ├── fix_next.pyi │ │ │ │ ├── fix_nonzero.pyi │ │ │ │ ├── fix_numliterals.pyi │ │ │ │ ├── fix_operator.pyi │ │ │ │ ├── fix_paren.pyi │ │ │ │ ├── fix_print.pyi │ │ │ │ ├── fix_raise.pyi │ │ │ │ ├── fix_raw_input.pyi │ │ │ │ ├── fix_reduce.pyi │ │ │ │ ├── fix_reload.pyi │ │ │ │ ├── fix_renames.pyi │ │ │ │ ├── fix_repr.pyi │ │ │ │ ├── fix_set_literal.pyi │ │ │ │ ├── fix_standarderror.pyi │ │ │ │ ├── fix_sys_exc.pyi │ │ │ │ ├── fix_throw.pyi │ │ │ │ ├── fix_tuple_params.pyi │ │ │ │ ├── fix_types.pyi │ │ │ │ ├── fix_unicode.pyi │ │ │ │ ├── fix_urllib.pyi │ │ │ │ ├── fix_ws_comma.pyi │ │ │ │ ├── fix_xrange.pyi │ │ │ │ ├── fix_xreadlines.pyi │ │ │ │ └── fix_zip.pyi │ │ │ ├── main.pyi │ │ │ ├── pgen2 │ │ │ │ ├── __init__.pyi │ │ │ │ ├── driver.pyi │ │ │ │ ├── grammar.pyi │ │ │ │ ├── literals.pyi │ │ │ │ ├── parse.pyi │ │ │ │ ├── pgen.pyi │ │ │ │ ├── token.pyi │ │ │ │ └── tokenize.pyi │ │ │ ├── pygram.pyi │ │ │ ├── pytree.pyi │ │ │ └── refactor.pyi │ │ ├── linecache.pyi │ │ ├── locale.pyi │ │ ├── logging │ │ │ ├── __init__.pyi │ │ │ ├── config.pyi │ │ │ └── handlers.pyi │ │ ├── lzma.pyi │ │ ├── mailbox.pyi │ │ ├── mailcap.pyi │ │ ├── marshal.pyi │ │ ├── math.pyi │ │ ├── mimetypes.pyi │ │ ├── mmap.pyi │ │ ├── modulefinder.pyi │ │ ├── msilib │ │ │ ├── __init__.pyi │ │ │ ├── schema.pyi │ │ │ ├── sequence.pyi │ │ │ └── text.pyi │ │ ├── msvcrt.pyi │ │ ├── multiprocessing │ │ │ ├── __init__.pyi │ │ │ ├── connection.pyi │ │ │ ├── context.pyi │ │ │ ├── dummy │ │ │ │ ├── __init__.pyi │ │ │ │ └── connection.pyi │ │ │ ├── forkserver.pyi │ │ │ ├── heap.pyi │ │ │ ├── managers.pyi │ │ │ ├── pool.pyi │ │ │ ├── popen_fork.pyi │ │ │ ├── popen_forkserver.pyi │ │ │ ├── popen_spawn_posix.pyi │ │ │ ├── popen_spawn_win32.pyi │ │ │ ├── process.pyi │ │ │ ├── queues.pyi │ │ │ ├── reduction.pyi │ │ │ ├── resource_sharer.pyi │ │ │ ├── resource_tracker.pyi │ │ │ ├── shared_memory.pyi │ │ │ ├── sharedctypes.pyi │ │ │ ├── spawn.pyi │ │ │ ├── synchronize.pyi │ │ │ └── util.pyi │ │ ├── netrc.pyi │ │ ├── nis.pyi │ │ ├── nntplib.pyi │ │ ├── nt.pyi │ │ ├── ntpath.pyi │ │ ├── nturl2path.pyi │ │ ├── numbers.pyi │ │ ├── opcode.pyi │ │ ├── operator.pyi │ │ ├── optparse.pyi │ │ ├── os │ │ │ ├── __init__.pyi │ │ │ └── path.pyi │ │ ├── ossaudiodev.pyi │ │ ├── parser.pyi │ │ ├── pathlib.pyi │ │ ├── pdb.pyi │ │ ├── pickle.pyi │ │ ├── pickletools.pyi │ │ ├── pipes.pyi │ │ ├── pkgutil.pyi │ │ ├── platform.pyi │ │ ├── plistlib.pyi │ │ ├── poplib.pyi │ │ ├── posix.pyi │ │ ├── posixpath.pyi │ │ ├── pprint.pyi │ │ ├── profile.pyi │ │ ├── pstats.pyi │ │ ├── pty.pyi │ │ ├── pwd.pyi │ │ ├── py_compile.pyi │ │ ├── pyclbr.pyi │ │ ├── pydoc.pyi │ │ ├── pydoc_data │ │ │ ├── __init__.pyi │ │ │ └── topics.pyi │ │ ├── pyexpat │ │ │ ├── __init__.pyi │ │ │ ├── errors.pyi │ │ │ └── model.pyi │ │ ├── queue.pyi │ │ ├── quopri.pyi │ │ ├── random.pyi │ │ ├── re.pyi │ │ ├── readline.pyi │ │ ├── reprlib.pyi │ │ ├── resource.pyi │ │ ├── rlcompleter.pyi │ │ ├── runpy.pyi │ │ ├── sched.pyi │ │ ├── secrets.pyi │ │ ├── select.pyi │ │ ├── selectors.pyi │ │ ├── shelve.pyi │ │ ├── shlex.pyi │ │ ├── shutil.pyi │ │ ├── signal.pyi │ │ ├── site.pyi │ │ ├── smtpd.pyi │ │ ├── smtplib.pyi │ │ ├── sndhdr.pyi │ │ ├── socket.pyi │ │ ├── socketserver.pyi │ │ ├── spwd.pyi │ │ ├── sqlite3 │ │ │ ├── __init__.pyi │ │ │ └── dbapi2.pyi │ │ ├── sre_compile.pyi │ │ ├── sre_constants.pyi │ │ ├── sre_parse.pyi │ │ ├── ssl.pyi │ │ ├── stat.pyi │ │ ├── statistics.pyi │ │ ├── string.pyi │ │ ├── stringprep.pyi │ │ ├── struct.pyi │ │ ├── subprocess.pyi │ │ ├── sunau.pyi │ │ ├── symbol.pyi │ │ ├── symtable.pyi │ │ ├── sys │ │ │ ├── __init__.pyi │ │ │ └── _monitoring.pyi │ │ ├── sysconfig.pyi │ │ ├── syslog.pyi │ │ ├── tabnanny.pyi │ │ ├── tarfile.pyi │ │ ├── telnetlib.pyi │ │ ├── tempfile.pyi │ │ ├── termios.pyi │ │ ├── textwrap.pyi │ │ ├── this.pyi │ │ ├── threading.pyi │ │ ├── time.pyi │ │ ├── timeit.pyi │ │ ├── tkinter │ │ │ ├── __init__.pyi │ │ │ ├── colorchooser.pyi │ │ │ ├── commondialog.pyi │ │ │ ├── constants.pyi │ │ │ ├── dialog.pyi │ │ │ ├── dnd.pyi │ │ │ ├── filedialog.pyi │ │ │ ├── font.pyi │ │ │ ├── messagebox.pyi │ │ │ ├── scrolledtext.pyi │ │ │ ├── simpledialog.pyi │ │ │ ├── tix.pyi │ │ │ └── ttk.pyi │ │ ├── token.pyi │ │ ├── tokenize.pyi │ │ ├── tomllib.pyi │ │ ├── trace.pyi │ │ ├── traceback.pyi │ │ ├── tracemalloc.pyi │ │ ├── tty.pyi │ │ ├── turtle.pyi │ │ ├── types.pyi │ │ ├── typing.pyi │ │ ├── typing_extensions.pyi │ │ ├── unicodedata.pyi │ │ ├── unittest │ │ │ ├── __init__.pyi │ │ │ ├── _log.pyi │ │ │ ├── async_case.pyi │ │ │ ├── case.pyi │ │ │ ├── loader.pyi │ │ │ ├── main.pyi │ │ │ ├── mock.pyi │ │ │ ├── result.pyi │ │ │ ├── runner.pyi │ │ │ ├── signals.pyi │ │ │ ├── suite.pyi │ │ │ └── util.pyi │ │ ├── urllib │ │ │ ├── __init__.pyi │ │ │ ├── error.pyi │ │ │ ├── parse.pyi │ │ │ ├── request.pyi │ │ │ ├── response.pyi │ │ │ └── robotparser.pyi │ │ ├── uu.pyi │ │ ├── uuid.pyi │ │ ├── venv │ │ │ └── __init__.pyi │ │ ├── warnings.pyi │ │ ├── wave.pyi │ │ ├── weakref.pyi │ │ ├── webbrowser.pyi │ │ ├── winreg.pyi │ │ ├── winsound.pyi │ │ ├── wsgiref │ │ │ ├── __init__.pyi │ │ │ ├── handlers.pyi │ │ │ ├── headers.pyi │ │ │ ├── simple_server.pyi │ │ │ ├── types.pyi │ │ │ ├── util.pyi │ │ │ └── validate.pyi │ │ ├── xdrlib.pyi │ │ ├── xml │ │ │ ├── __init__.pyi │ │ │ ├── dom │ │ │ │ ├── NodeFilter.pyi │ │ │ │ ├── __init__.pyi │ │ │ │ ├── domreg.pyi │ │ │ │ ├── expatbuilder.pyi │ │ │ │ ├── minicompat.pyi │ │ │ │ ├── minidom.pyi │ │ │ │ ├── pulldom.pyi │ │ │ │ └── xmlbuilder.pyi │ │ │ ├── etree │ │ │ │ ├── ElementInclude.pyi │ │ │ │ ├── ElementPath.pyi │ │ │ │ ├── ElementTree.pyi │ │ │ │ ├── __init__.pyi │ │ │ │ └── cElementTree.pyi │ │ │ ├── parsers │ │ │ │ ├── __init__.pyi │ │ │ │ └── expat │ │ │ │ │ ├── __init__.pyi │ │ │ │ │ ├── errors.pyi │ │ │ │ │ └── model.pyi │ │ │ └── sax │ │ │ │ ├── __init__.pyi │ │ │ │ ├── _exceptions.pyi │ │ │ │ ├── handler.pyi │ │ │ │ ├── saxutils.pyi │ │ │ │ └── xmlreader.pyi │ │ ├── xmlrpc │ │ │ ├── __init__.pyi │ │ │ ├── client.pyi │ │ │ └── server.pyi │ │ ├── xxlimited.pyi │ │ ├── zipapp.pyi │ │ ├── zipfile │ │ │ ├── __init__.pyi │ │ │ └── _path.pyi │ │ ├── zipimport.pyi │ │ ├── zlib.pyi │ │ └── zoneinfo │ │ │ ├── __init__.pyi │ │ │ ├── _common.pyi │ │ │ └── _tzpath.pyi │ │ └── stubs │ │ ├── ExifRead │ │ └── exifread │ │ │ ├── __init__.pyi │ │ │ ├── _types.pyi │ │ │ ├── classes.pyi │ │ │ ├── exceptions.pyi │ │ │ ├── exif_log.pyi │ │ │ ├── heic.pyi │ │ │ ├── jpeg.pyi │ │ │ ├── tags │ │ │ ├── __init__.pyi │ │ │ ├── exif.pyi │ │ │ └── makernote │ │ │ │ ├── __init__.pyi │ │ │ │ ├── apple.pyi │ │ │ │ ├── canon.pyi │ │ │ │ ├── casio.pyi │ │ │ │ ├── fujifilm.pyi │ │ │ │ ├── nikon.pyi │ │ │ │ └── olympus.pyi │ │ │ └── utils.pyi │ │ ├── PyMySQL │ │ └── pymysql │ │ │ ├── __init__.pyi │ │ │ ├── charset.pyi │ │ │ ├── connections.pyi │ │ │ ├── constants │ │ │ ├── CLIENT.pyi │ │ │ ├── COMMAND.pyi │ │ │ ├── CR.pyi │ │ │ ├── ER.pyi │ │ │ ├── FIELD_TYPE.pyi │ │ │ ├── FLAG.pyi │ │ │ ├── SERVER_STATUS.pyi │ │ │ └── __init__.pyi │ │ │ ├── converters.pyi │ │ │ ├── cursors.pyi │ │ │ ├── err.pyi │ │ │ ├── times.pyi │ │ │ └── util.pyi │ │ ├── PyYAML │ │ └── yaml │ │ │ ├── __init__.pyi │ │ │ ├── _yaml.pyi │ │ │ ├── composer.pyi │ │ │ ├── constructor.pyi │ │ │ ├── cyaml.pyi │ │ │ ├── dumper.pyi │ │ │ ├── emitter.pyi │ │ │ ├── error.pyi │ │ │ ├── events.pyi │ │ │ ├── loader.pyi │ │ │ ├── nodes.pyi │ │ │ ├── parser.pyi │ │ │ ├── reader.pyi │ │ │ ├── representer.pyi │ │ │ ├── resolver.pyi │ │ │ ├── scanner.pyi │ │ │ ├── serializer.pyi │ │ │ └── tokens.pyi │ │ ├── aiofiles │ │ └── aiofiles │ │ │ ├── __init__.pyi │ │ │ ├── base.pyi │ │ │ ├── os.pyi │ │ │ ├── ospath.pyi │ │ │ ├── tempfile │ │ │ ├── __init__.pyi │ │ │ └── temptypes.pyi │ │ │ └── threadpool │ │ │ ├── __init__.pyi │ │ │ ├── binary.pyi │ │ │ ├── text.pyi │ │ │ └── utils.pyi │ │ ├── chevron │ │ └── chevron │ │ │ ├── __init__.pyi │ │ │ ├── main.pyi │ │ │ ├── metadata.pyi │ │ │ ├── renderer.pyi │ │ │ └── tokenizer.pyi │ │ ├── colorama │ │ └── colorama │ │ │ ├── __init__.pyi │ │ │ ├── ansi.pyi │ │ │ ├── ansitowin32.pyi │ │ │ ├── initialise.pyi │ │ │ ├── win32.pyi │ │ │ └── winterm.pyi │ │ ├── ldap3 │ │ └── ldap3 │ │ │ ├── __init__.pyi │ │ │ ├── abstract │ │ │ ├── __init__.pyi │ │ │ ├── attrDef.pyi │ │ │ ├── attribute.pyi │ │ │ ├── cursor.pyi │ │ │ ├── entry.pyi │ │ │ └── objectDef.pyi │ │ │ ├── core │ │ │ ├── __init__.pyi │ │ │ ├── connection.pyi │ │ │ ├── exceptions.pyi │ │ │ ├── pooling.pyi │ │ │ ├── rdns.pyi │ │ │ ├── results.pyi │ │ │ ├── server.pyi │ │ │ ├── timezone.pyi │ │ │ ├── tls.pyi │ │ │ └── usage.pyi │ │ │ ├── extend │ │ │ ├── __init__.pyi │ │ │ ├── microsoft │ │ │ │ ├── __init__.pyi │ │ │ │ ├── addMembersToGroups.pyi │ │ │ │ ├── dirSync.pyi │ │ │ │ ├── modifyPassword.pyi │ │ │ │ ├── persistentSearch.pyi │ │ │ │ ├── removeMembersFromGroups.pyi │ │ │ │ └── unlockAccount.pyi │ │ │ ├── novell │ │ │ │ ├── __init__.pyi │ │ │ │ ├── addMembersToGroups.pyi │ │ │ │ ├── checkGroupsMemberships.pyi │ │ │ │ ├── endTransaction.pyi │ │ │ │ ├── getBindDn.pyi │ │ │ │ ├── listReplicas.pyi │ │ │ │ ├── nmasGetUniversalPassword.pyi │ │ │ │ ├── nmasSetUniversalPassword.pyi │ │ │ │ ├── partition_entry_count.pyi │ │ │ │ ├── removeMembersFromGroups.pyi │ │ │ │ ├── replicaInfo.pyi │ │ │ │ └── startTransaction.pyi │ │ │ ├── operation.pyi │ │ │ └── standard │ │ │ │ ├── PagedSearch.pyi │ │ │ │ ├── PersistentSearch.pyi │ │ │ │ ├── __init__.pyi │ │ │ │ ├── modifyPassword.pyi │ │ │ │ └── whoAmI.pyi │ │ │ ├── operation │ │ │ ├── __init__.pyi │ │ │ ├── abandon.pyi │ │ │ ├── add.pyi │ │ │ ├── bind.pyi │ │ │ ├── compare.pyi │ │ │ ├── delete.pyi │ │ │ ├── extended.pyi │ │ │ ├── modify.pyi │ │ │ ├── modifyDn.pyi │ │ │ ├── search.pyi │ │ │ └── unbind.pyi │ │ │ ├── protocol │ │ │ ├── __init__.pyi │ │ │ ├── controls.pyi │ │ │ ├── convert.pyi │ │ │ ├── formatters │ │ │ │ ├── __init__.pyi │ │ │ │ ├── formatters.pyi │ │ │ │ ├── standard.pyi │ │ │ │ └── validators.pyi │ │ │ ├── microsoft.pyi │ │ │ ├── novell.pyi │ │ │ ├── oid.pyi │ │ │ ├── persistentSearch.pyi │ │ │ ├── rfc2696.pyi │ │ │ ├── rfc2849.pyi │ │ │ ├── rfc3062.pyi │ │ │ ├── rfc4511.pyi │ │ │ ├── rfc4512.pyi │ │ │ ├── rfc4527.pyi │ │ │ ├── sasl │ │ │ │ ├── __init__.pyi │ │ │ │ ├── digestMd5.pyi │ │ │ │ ├── external.pyi │ │ │ │ ├── kerberos.pyi │ │ │ │ ├── plain.pyi │ │ │ │ └── sasl.pyi │ │ │ └── schemas │ │ │ │ ├── __init__.pyi │ │ │ │ ├── ad2012R2.pyi │ │ │ │ ├── ds389.pyi │ │ │ │ ├── edir888.pyi │ │ │ │ ├── edir914.pyi │ │ │ │ └── slapd24.pyi │ │ │ ├── strategy │ │ │ ├── __init__.pyi │ │ │ ├── asyncStream.pyi │ │ │ ├── asynchronous.pyi │ │ │ ├── base.pyi │ │ │ ├── ldifProducer.pyi │ │ │ ├── mockAsync.pyi │ │ │ ├── mockBase.pyi │ │ │ ├── mockSync.pyi │ │ │ ├── restartable.pyi │ │ │ ├── reusable.pyi │ │ │ ├── safeRestartable.pyi │ │ │ ├── safeSync.pyi │ │ │ └── sync.pyi │ │ │ ├── utils │ │ │ ├── __init__.pyi │ │ │ ├── asn1.pyi │ │ │ ├── ciDict.pyi │ │ │ ├── config.pyi │ │ │ ├── conv.pyi │ │ │ ├── dn.pyi │ │ │ ├── hashed.pyi │ │ │ ├── log.pyi │ │ │ ├── ntlm.pyi │ │ │ ├── port_validators.pyi │ │ │ ├── repr.pyi │ │ │ ├── tls_backport.pyi │ │ │ └── uri.pyi │ │ │ └── version.pyi │ │ ├── mysqlclient │ │ └── MySQLdb │ │ │ ├── __init__.pyi │ │ │ ├── _exceptions.pyi │ │ │ ├── _mysql.pyi │ │ │ ├── connections.pyi │ │ │ ├── constants │ │ │ ├── CLIENT.pyi │ │ │ ├── CR.pyi │ │ │ ├── ER.pyi │ │ │ ├── FIELD_TYPE.pyi │ │ │ ├── FLAG.pyi │ │ │ └── __init__.pyi │ │ │ ├── converters.pyi │ │ │ ├── cursors.pyi │ │ │ ├── release.pyi │ │ │ └── times.pyi │ │ ├── paramiko │ │ └── paramiko │ │ │ ├── __init__.pyi │ │ │ ├── _version.pyi │ │ │ ├── _winapi.pyi │ │ │ ├── agent.pyi │ │ │ ├── auth_handler.pyi │ │ │ ├── auth_strategy.pyi │ │ │ ├── ber.pyi │ │ │ ├── buffered_pipe.pyi │ │ │ ├── channel.pyi │ │ │ ├── client.pyi │ │ │ ├── common.pyi │ │ │ ├── compress.pyi │ │ │ ├── config.pyi │ │ │ ├── dsskey.pyi │ │ │ ├── ecdsakey.pyi │ │ │ ├── ed25519key.pyi │ │ │ ├── file.pyi │ │ │ ├── hostkeys.pyi │ │ │ ├── kex_curve25519.pyi │ │ │ ├── kex_ecdh_nist.pyi │ │ │ ├── kex_gex.pyi │ │ │ ├── kex_group1.pyi │ │ │ ├── kex_group14.pyi │ │ │ ├── kex_group16.pyi │ │ │ ├── kex_gss.pyi │ │ │ ├── message.pyi │ │ │ ├── packet.pyi │ │ │ ├── pipe.pyi │ │ │ ├── pkey.pyi │ │ │ ├── primes.pyi │ │ │ ├── proxy.pyi │ │ │ ├── rsakey.pyi │ │ │ ├── server.pyi │ │ │ ├── sftp.pyi │ │ │ ├── sftp_attr.pyi │ │ │ ├── sftp_client.pyi │ │ │ ├── sftp_file.pyi │ │ │ ├── sftp_handle.pyi │ │ │ ├── sftp_server.pyi │ │ │ ├── sftp_si.pyi │ │ │ ├── ssh_exception.pyi │ │ │ ├── ssh_gss.pyi │ │ │ ├── transport.pyi │ │ │ ├── util.pyi │ │ │ ├── win_openssh.pyi │ │ │ └── win_pageant.pyi │ │ ├── psycopg2 │ │ └── psycopg2 │ │ │ ├── __init__.pyi │ │ │ ├── _ipaddress.pyi │ │ │ ├── _json.pyi │ │ │ ├── _psycopg.pyi │ │ │ ├── _range.pyi │ │ │ ├── errorcodes.pyi │ │ │ ├── errors.pyi │ │ │ ├── extensions.pyi │ │ │ ├── extras.pyi │ │ │ ├── pool.pyi │ │ │ ├── sql.pyi │ │ │ └── tz.pyi │ │ ├── pycurl │ │ └── pycurl.pyi │ │ ├── python-dateutil │ │ └── dateutil │ │ │ ├── __init__.pyi │ │ │ ├── _common.pyi │ │ │ ├── easter.pyi │ │ │ ├── parser │ │ │ ├── __init__.pyi │ │ │ └── isoparser.pyi │ │ │ ├── relativedelta.pyi │ │ │ ├── rrule.pyi │ │ │ ├── tz │ │ │ ├── __init__.pyi │ │ │ ├── _common.pyi │ │ │ └── tz.pyi │ │ │ ├── utils.pyi │ │ │ └── zoneinfo │ │ │ ├── __init__.pyi │ │ │ └── rebuild.pyi │ │ ├── pytz │ │ └── pytz │ │ │ ├── __init__.pyi │ │ │ ├── exceptions.pyi │ │ │ ├── lazy.pyi │ │ │ ├── reference.pyi │ │ │ ├── tzfile.pyi │ │ │ └── tzinfo.pyi │ │ ├── regex │ │ └── regex │ │ │ ├── __init__.pyi │ │ │ ├── _regex.pyi │ │ │ ├── _regex_core.pyi │ │ │ └── regex.pyi │ │ ├── requests │ │ └── requests │ │ │ ├── __init__.pyi │ │ │ ├── __version__.pyi │ │ │ ├── adapters.pyi │ │ │ ├── api.pyi │ │ │ ├── auth.pyi │ │ │ ├── certs.pyi │ │ │ ├── compat.pyi │ │ │ ├── cookies.pyi │ │ │ ├── exceptions.pyi │ │ │ ├── help.pyi │ │ │ ├── hooks.pyi │ │ │ ├── models.pyi │ │ │ ├── packages.pyi │ │ │ ├── sessions.pyi │ │ │ ├── status_codes.pyi │ │ │ ├── structures.pyi │ │ │ └── utils.pyi │ │ ├── retry │ │ └── retry │ │ │ ├── __init__.pyi │ │ │ └── api.pyi │ │ ├── tqdm │ │ └── tqdm │ │ │ ├── __init__.pyi │ │ │ ├── _dist_ver.pyi │ │ │ ├── _main.pyi │ │ │ ├── _monitor.pyi │ │ │ ├── _tqdm.pyi │ │ │ ├── _tqdm_gui.pyi │ │ │ ├── _tqdm_notebook.pyi │ │ │ ├── _tqdm_pandas.pyi │ │ │ ├── _utils.pyi │ │ │ ├── asyncio.pyi │ │ │ ├── auto.pyi │ │ │ ├── autonotebook.pyi │ │ │ ├── cli.pyi │ │ │ ├── contrib │ │ │ ├── __init__.pyi │ │ │ ├── bells.pyi │ │ │ ├── concurrent.pyi │ │ │ ├── discord.pyi │ │ │ ├── itertools.pyi │ │ │ ├── logging.pyi │ │ │ ├── slack.pyi │ │ │ ├── telegram.pyi │ │ │ └── utils_worker.pyi │ │ │ ├── dask.pyi │ │ │ ├── gui.pyi │ │ │ ├── keras.pyi │ │ │ ├── notebook.pyi │ │ │ ├── rich.pyi │ │ │ ├── std.pyi │ │ │ ├── tk.pyi │ │ │ ├── utils.pyi │ │ │ └── version.pyi │ │ └── ujson │ │ └── ujson.pyi └── typeshed_patches.toml └── tools ├── generate_taint_models ├── __init__.py ├── annotated_function_generator.py ├── constructor_generator.py ├── decorator_parser.py ├── function_tainter.py ├── generator_specifications.py ├── get_REST_api_sources.py ├── get_annotated_free_functions_with_decorator.py ├── get_class_sources.py ├── get_constructor_initialized_attribute_sources.py ├── get_dynamic_graphql_sources.py ├── get_exit_nodes.py ├── get_filtered_sources.py ├── get_globals.py ├── get_graphql_sources.py ├── get_models_filtered_by_callable.py ├── get_no_op_generator.py ├── get_request_specific_data.py ├── get_undecorated_sources.py ├── inspect_parser.py ├── model.py ├── model_generator.py ├── module_loader.py ├── parameter.py ├── subclass_generator.py ├── tests │ ├── function_tainter_test.py │ ├── get_REST_api_sources_test.py │ ├── get_annotated_free_functions_with_decorator_test.py │ ├── get_class_sources_test.py │ ├── get_constructor_initialized_attribute_sources_test.py │ ├── get_dynamic_graphql_sources_test.py │ ├── get_exit_nodes_test.py │ ├── get_filtered_sources_test.py │ ├── get_globals_test.py │ ├── get_graphql_sources_test.py │ ├── get_models_filtered_by_callable_test.py │ ├── get_request_specific_data_test.py │ ├── get_undecorated_sources_test.py │ ├── init_test.py │ ├── inspect_parser_test.py │ ├── model_generator_test.py │ ├── model_test.py │ ├── module_loader_test.py │ ├── test_functions.py │ └── view_generator_test.py └── view_generator.py ├── ide_plugins ├── pysa-vscode │ ├── .eslintrc.json │ ├── .vscode │ │ ├── extensions.json │ │ ├── launch.json │ │ ├── settings.json │ │ └── tasks.json │ ├── .vscodeignore │ ├── README.md │ ├── config-language-configuration.json │ ├── model-language-configuration.json │ ├── package.json │ ├── src │ │ └── main.ts │ ├── syntaxes │ │ ├── PysaConfig.tmLanguage │ │ └── PysaModel.tmLanguage │ └── tsconfig.json └── vscode │ ├── .gitignore │ ├── .vscode │ ├── launch.json │ ├── settings.json │ └── tasks.json │ ├── LICENSE.md │ ├── README.md │ ├── package.json │ ├── src │ └── main.ts │ └── tsconfig.json ├── incremental_test ├── batch.py ├── environment.py ├── main.py ├── report.py ├── runner.py ├── specification.py └── tests │ ├── batch_tests.py │ ├── runner_tests.py │ ├── specification_tests.py │ └── test_environment.py ├── playground ├── README.md ├── application.py ├── install-in-ubuntu.sh ├── requirements.txt ├── system │ ├── playground.nginx │ └── playground.service └── wsgi.py ├── pysa_integration_tests ├── annotations.py ├── run.py ├── runner_lib.py └── tests │ └── runner_lib_test.py ├── sapp ├── README.md └── pysa_filters │ ├── 5001-code-command-injection.json │ ├── 5005-sql-injection.json │ ├── 5007-xml-external-entities.json │ ├── 5008-cross-site-scripting.json │ ├── 5011-userdata-to-filesystem.json │ ├── 5012-server-side-request-forgery.json │ ├── 5018-open-redirect.json │ ├── 5029-response-headers-user-controlled.json │ ├── 6065-argument-injection.json │ ├── 6066-unsafe-deserialization.json │ └── 6073-server-side-template-injection.json ├── typeshed_patcher ├── buck.py ├── cli.py ├── patch_specs.py ├── patching.py ├── tests │ ├── buck_test.py │ ├── patch_specs_test.py │ ├── transforms_test.py │ └── typeshed_test.py ├── transforms.py ├── typeshed.py └── upstream.py └── upgrade ├── __init__.py ├── ast.py ├── commands ├── codemods.py ├── command.py ├── configurationless.py ├── consolidate_nested_configurations.py ├── expand_target_coverage.py ├── fix_configuration.py ├── fixme.py ├── fixme_all.py ├── fixme_single.py ├── global_strictness.py ├── global_version_update.py ├── pysa_version_update.py ├── strict_default.py ├── support_sqlalchemy.py ├── targets_to_configuration.py └── tests │ ├── command_test.py │ ├── configurationless_test.py │ ├── consolidate_nested_configurations_test.py │ ├── expand_target_coverage_test.py │ ├── fix_configuration_test.py │ ├── fixme_all_test.py │ ├── fixme_single_test.py │ ├── fixme_test.py │ ├── global_version_update_test.py │ ├── pysa_version_update_test.py │ ├── strict_default_test.py │ └── targets_to_configuration_test.py ├── configuration.py ├── errors.py ├── filesystem.py ├── repository.py ├── tests ├── ast_test.py ├── configuration_test.py ├── errors_test.py ├── filesystem_test.py ├── support_sqlalchemy_test.py └── upgrade_test.py └── upgrade.py /.flake8: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/.flake8 -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/other.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/.github/ISSUE_TEMPLATE/other.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/pyre-bug.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/.github/ISSUE_TEMPLATE/pyre-bug.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/pysa-bug.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/.github/ISSUE_TEMPLATE/pysa-bug.md -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.github/workflows/publish_website.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/.github/workflows/publish_website.yml -------------------------------------------------------------------------------- /.github/workflows/pysa.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/.github/workflows/pysa.yml -------------------------------------------------------------------------------- /.github/workflows/tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/.github/workflows/tests.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/.gitignore -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/.ocamlformat -------------------------------------------------------------------------------- /.pre-commit-config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/.pre-commit-config.yaml -------------------------------------------------------------------------------- /.pre-commit-hooks.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/.pre-commit-hooks.yaml -------------------------------------------------------------------------------- /.pyre_configuration: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/.pyre_configuration -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.es.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/CONTRIBUTING.es.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /INSTALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/INSTALL.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/README.md -------------------------------------------------------------------------------- /ROADMAP.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/ROADMAP.md -------------------------------------------------------------------------------- /__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /api/connection.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/api/connection.py -------------------------------------------------------------------------------- /api/query.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/api/query.py -------------------------------------------------------------------------------- /api/tests/connection_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/api/tests/connection_test.py -------------------------------------------------------------------------------- /api/tests/query_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/api/tests/query_test.py -------------------------------------------------------------------------------- /client/backend_arguments.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/backend_arguments.py -------------------------------------------------------------------------------- /client/background_tasks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/background_tasks.py -------------------------------------------------------------------------------- /client/command_arguments.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/command_arguments.py -------------------------------------------------------------------------------- /client/commands/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/__init__.py -------------------------------------------------------------------------------- /client/commands/analyze.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/analyze.py -------------------------------------------------------------------------------- /client/commands/check.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/check.py -------------------------------------------------------------------------------- /client/commands/commands.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/commands.py -------------------------------------------------------------------------------- /client/commands/daemon_querier.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/daemon_querier.py -------------------------------------------------------------------------------- /client/commands/daemon_query.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/daemon_query.py -------------------------------------------------------------------------------- /client/commands/incremental.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/incremental.py -------------------------------------------------------------------------------- /client/commands/infer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/infer.py -------------------------------------------------------------------------------- /client/commands/info.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/info.py -------------------------------------------------------------------------------- /client/commands/initialization.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/initialization.py -------------------------------------------------------------------------------- /client/commands/initialize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/initialize.py -------------------------------------------------------------------------------- /client/commands/initialize_pysa.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/initialize_pysa.py -------------------------------------------------------------------------------- /client/commands/kill.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/kill.py -------------------------------------------------------------------------------- /client/commands/libcst_util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/libcst_util.py -------------------------------------------------------------------------------- /client/commands/no_daemon_query.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/no_daemon_query.py -------------------------------------------------------------------------------- /client/commands/persistent.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/persistent.py -------------------------------------------------------------------------------- /client/commands/profile.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/profile.py -------------------------------------------------------------------------------- /client/commands/pyre_language_server.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/pyre_language_server.py -------------------------------------------------------------------------------- /client/commands/pyre_server_options.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/pyre_server_options.py -------------------------------------------------------------------------------- /client/commands/pysa_server.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/pysa_server.py -------------------------------------------------------------------------------- /client/commands/query.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/query.py -------------------------------------------------------------------------------- /client/commands/query_response.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/query_response.py -------------------------------------------------------------------------------- /client/commands/rage.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/rage.py -------------------------------------------------------------------------------- /client/commands/report.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/report.py -------------------------------------------------------------------------------- /client/commands/report_any_expressions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/report_any_expressions.py -------------------------------------------------------------------------------- /client/commands/restart.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/restart.py -------------------------------------------------------------------------------- /client/commands/server_event.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/server_event.py -------------------------------------------------------------------------------- /client/commands/server_state.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/server_state.py -------------------------------------------------------------------------------- /client/commands/servers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/servers.py -------------------------------------------------------------------------------- /client/commands/source_code_context.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/source_code_context.py -------------------------------------------------------------------------------- /client/commands/start.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/start.py -------------------------------------------------------------------------------- /client/commands/statistics.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/statistics.py -------------------------------------------------------------------------------- /client/commands/status_message_handler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/status_message_handler.py -------------------------------------------------------------------------------- /client/commands/stop.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/stop.py -------------------------------------------------------------------------------- /client/commands/subscription.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/subscription.py -------------------------------------------------------------------------------- /client/commands/tests/analyze_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/tests/analyze_test.py -------------------------------------------------------------------------------- /client/commands/tests/check_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/tests/check_test.py -------------------------------------------------------------------------------- /client/commands/tests/incremental_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/tests/incremental_test.py -------------------------------------------------------------------------------- /client/commands/tests/infer_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/tests/infer_test.py -------------------------------------------------------------------------------- /client/commands/tests/profile_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/tests/profile_test.py -------------------------------------------------------------------------------- /client/commands/tests/server_setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/tests/server_setup.py -------------------------------------------------------------------------------- /client/commands/tests/servers_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/tests/servers_test.py -------------------------------------------------------------------------------- /client/commands/tests/start_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/tests/start_test.py -------------------------------------------------------------------------------- /client/commands/type_error_handler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/type_error_handler.py -------------------------------------------------------------------------------- /client/commands/validate_models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/commands/validate_models.py -------------------------------------------------------------------------------- /client/configuration/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/configuration/__init__.py -------------------------------------------------------------------------------- /client/configuration/configuration.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/configuration/configuration.py -------------------------------------------------------------------------------- /client/configuration/exceptions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/configuration/exceptions.py -------------------------------------------------------------------------------- /client/configuration/extension.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/configuration/extension.py -------------------------------------------------------------------------------- /client/configuration/platform_aware.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/configuration/platform_aware.py -------------------------------------------------------------------------------- /client/configuration/python_version.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/configuration/python_version.py -------------------------------------------------------------------------------- /client/configuration/search_path.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/configuration/search_path.py -------------------------------------------------------------------------------- /client/configuration/shared_memory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/configuration/shared_memory.py -------------------------------------------------------------------------------- /client/configuration/site_packages.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/configuration/site_packages.py -------------------------------------------------------------------------------- /client/configuration/unwatched.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/configuration/unwatched.py -------------------------------------------------------------------------------- /client/coverage_data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/coverage_data.py -------------------------------------------------------------------------------- /client/daemon_socket.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/daemon_socket.py -------------------------------------------------------------------------------- /client/dataclasses_json_extensions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/dataclasses_json_extensions.py -------------------------------------------------------------------------------- /client/dataclasses_merge.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/dataclasses_merge.py -------------------------------------------------------------------------------- /client/error.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/error.py -------------------------------------------------------------------------------- /client/filesystem.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/filesystem.py -------------------------------------------------------------------------------- /client/find_directories.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/find_directories.py -------------------------------------------------------------------------------- /client/frontend_configuration.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/frontend_configuration.py -------------------------------------------------------------------------------- /client/identifiers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/identifiers.py -------------------------------------------------------------------------------- /client/json_rpc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/json_rpc.py -------------------------------------------------------------------------------- /client/language_server/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/language_server/__init__.py -------------------------------------------------------------------------------- /client/language_server/connections.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/language_server/connections.py -------------------------------------------------------------------------------- /client/language_server/features.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/language_server/features.py -------------------------------------------------------------------------------- /client/language_server/protocol.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/language_server/protocol.py -------------------------------------------------------------------------------- /client/log/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/log/__init__.py -------------------------------------------------------------------------------- /client/log/log.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/log/log.py -------------------------------------------------------------------------------- /client/log/tests/log_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/log/tests/log_test.py -------------------------------------------------------------------------------- /client/log_lsp_event.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/log_lsp_event.py -------------------------------------------------------------------------------- /client/pyre.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/pyre.py -------------------------------------------------------------------------------- /client/remote_logger.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/remote_logger.py -------------------------------------------------------------------------------- /client/terminal.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/terminal.py -------------------------------------------------------------------------------- /client/tests/backend_arguments_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/tests/backend_arguments_test.py -------------------------------------------------------------------------------- /client/tests/background_tasks_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/tests/background_tasks_test.py -------------------------------------------------------------------------------- /client/tests/coverage_data_tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/tests/coverage_data_tests.py -------------------------------------------------------------------------------- /client/tests/daemon_socket_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/tests/daemon_socket_test.py -------------------------------------------------------------------------------- /client/tests/dataclasses_merge_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/tests/dataclasses_merge_test.py -------------------------------------------------------------------------------- /client/tests/error_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/tests/error_test.py -------------------------------------------------------------------------------- /client/tests/filesystem_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/tests/filesystem_test.py -------------------------------------------------------------------------------- /client/tests/find_directories_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/tests/find_directories_test.py -------------------------------------------------------------------------------- /client/tests/identifiers_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/tests/identifiers_test.py -------------------------------------------------------------------------------- /client/tests/json_rpc_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/tests/json_rpc_test.py -------------------------------------------------------------------------------- /client/tests/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/tests/setup.py -------------------------------------------------------------------------------- /client/tests/terminal_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/tests/terminal_test.py -------------------------------------------------------------------------------- /client/tests/timer_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/tests/timer_test.py -------------------------------------------------------------------------------- /client/timer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/timer.py -------------------------------------------------------------------------------- /client/version.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/client/version.py -------------------------------------------------------------------------------- /documentation/examples/xlm/sources/_torch/nn/functional.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /documentation/pysa_tutorial/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/documentation/pysa_tutorial/Dockerfile -------------------------------------------------------------------------------- /documentation/pysa_tutorial/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/documentation/pysa_tutorial/README.md -------------------------------------------------------------------------------- /documentation/pysa_tutorial/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /documentation/pysa_tutorial/exercise5/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /documentation/website/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/documentation/website/.gitignore -------------------------------------------------------------------------------- /documentation/website/core/Footer.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/documentation/website/core/Footer.js -------------------------------------------------------------------------------- /documentation/website/docs/errors.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/documentation/website/docs/errors.md -------------------------------------------------------------------------------- /documentation/website/docs/features.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/documentation/website/docs/features.md -------------------------------------------------------------------------------- /documentation/website/docs/overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/documentation/website/docs/overview.md -------------------------------------------------------------------------------- /documentation/website/docs/pyre_faq.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/documentation/website/docs/pyre_faq.md -------------------------------------------------------------------------------- /documentation/website/docs/pysa_filtering.md: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /documentation/website/docs/pysa_tips.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/documentation/website/docs/pysa_tips.md -------------------------------------------------------------------------------- /documentation/website/i18n/en.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/documentation/website/i18n/en.json -------------------------------------------------------------------------------- /documentation/website/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/documentation/website/package.json -------------------------------------------------------------------------------- /documentation/website/sidebars.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/documentation/website/sidebars.js -------------------------------------------------------------------------------- /documentation/website/src/pages/play.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/documentation/website/src/pages/play.js -------------------------------------------------------------------------------- /documentation/website/static/img/ig.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/documentation/website/static/img/ig.png -------------------------------------------------------------------------------- /documentation/website/yarn-with-proxy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/documentation/website/yarn-with-proxy -------------------------------------------------------------------------------- /documentation/website/yarn.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/documentation/website/yarn.lock -------------------------------------------------------------------------------- /logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/logo.png -------------------------------------------------------------------------------- /logo.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/logo.txt -------------------------------------------------------------------------------- /pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/pyproject.toml -------------------------------------------------------------------------------- /pyre_extensions/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/pyre_extensions/README.md -------------------------------------------------------------------------------- /pyre_extensions/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/pyre_extensions/__init__.py -------------------------------------------------------------------------------- /pyre_extensions/generic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/pyre_extensions/generic.py -------------------------------------------------------------------------------- /pyre_extensions/refinement.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/pyre_extensions/refinement.py -------------------------------------------------------------------------------- /pyre_extensions/safe_json.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/pyre_extensions/safe_json.py -------------------------------------------------------------------------------- /pyre_extensions/tests/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/pyre_extensions/tests/__init__.py -------------------------------------------------------------------------------- /pyre_extensions/tests/basic_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/pyre_extensions/tests/basic_test.py -------------------------------------------------------------------------------- /pyre_extensions/tests/safe_json_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/pyre_extensions/tests/safe_json_test.py -------------------------------------------------------------------------------- /pysa_tutorial/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/pysa_tutorial/README.md -------------------------------------------------------------------------------- /requirements-dev.txt: -------------------------------------------------------------------------------- 1 | pre-commit 2 | toml 3 | -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/requirements.txt -------------------------------------------------------------------------------- /scripts/analyze_leaks.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/analyze_leaks.py -------------------------------------------------------------------------------- /scripts/build_pypi_sanity_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/build_pypi_sanity_test.py -------------------------------------------------------------------------------- /scripts/callgraph_utilities.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/callgraph_utilities.py -------------------------------------------------------------------------------- /scripts/compare_pysa_models_to_json.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/compare_pysa_models_to_json.py -------------------------------------------------------------------------------- /scripts/explore_pysa_models.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/explore_pysa_models.py -------------------------------------------------------------------------------- /scripts/generate-version-number.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/generate-version-number.sh -------------------------------------------------------------------------------- /scripts/lint.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/lint.py -------------------------------------------------------------------------------- /scripts/pypi/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/pypi/__main__.py -------------------------------------------------------------------------------- /scripts/pypi/build_pypi_package.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/pypi/build_pypi_package.py -------------------------------------------------------------------------------- /scripts/pypi/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/pypi/setup.py -------------------------------------------------------------------------------- /scripts/pysa_fuzzer/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/pysa_fuzzer/README.md -------------------------------------------------------------------------------- /scripts/pysa_fuzzer/run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/pysa_fuzzer/run.py -------------------------------------------------------------------------------- /scripts/run-python-tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/run-python-tests.sh -------------------------------------------------------------------------------- /scripts/run_server_integration_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/run_server_integration_test.py -------------------------------------------------------------------------------- /scripts/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/setup.py -------------------------------------------------------------------------------- /scripts/setup.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/setup.sh -------------------------------------------------------------------------------- /scripts/shape_type_coverage.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/shape_type_coverage.py -------------------------------------------------------------------------------- /scripts/tests/analyze_leaks_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/tests/analyze_leaks_test.py -------------------------------------------------------------------------------- /scripts/virtual_environment.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/scripts/virtual_environment.py -------------------------------------------------------------------------------- /source/.ocamlformat: -------------------------------------------------------------------------------- 1 | ../.ocamlformat -------------------------------------------------------------------------------- /source/.ocamlformat-ignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/.ocamlformat-ignore -------------------------------------------------------------------------------- /source/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/Makefile -------------------------------------------------------------------------------- /source/alarm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/alarm.ml -------------------------------------------------------------------------------- /source/alarm.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/alarm.mli -------------------------------------------------------------------------------- /source/algorithms.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/algorithms.ml -------------------------------------------------------------------------------- /source/algorithms.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/algorithms.mli -------------------------------------------------------------------------------- /source/analysis/analysis.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/analysis.ml -------------------------------------------------------------------------------- /source/analysis/analysisError.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/analysisError.ml -------------------------------------------------------------------------------- /source/analysis/analysisError.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/analysisError.mli -------------------------------------------------------------------------------- /source/analysis/annotatedAttribute.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/annotatedAttribute.ml -------------------------------------------------------------------------------- /source/analysis/annotatedAttribute.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/annotatedAttribute.mli -------------------------------------------------------------------------------- /source/analysis/annotatedCall.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/annotatedCall.ml -------------------------------------------------------------------------------- /source/analysis/annotatedCall.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/annotatedCall.mli -------------------------------------------------------------------------------- /source/analysis/annotatedCallable.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/annotatedCallable.ml -------------------------------------------------------------------------------- /source/analysis/annotatedCallable.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/annotatedCallable.mli -------------------------------------------------------------------------------- /source/analysis/annotatedDefine.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/annotatedDefine.ml -------------------------------------------------------------------------------- /source/analysis/annotatedDefine.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/annotatedDefine.mli -------------------------------------------------------------------------------- /source/analysis/artifactPaths.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/artifactPaths.ml -------------------------------------------------------------------------------- /source/analysis/artifactPaths.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/artifactPaths.mli -------------------------------------------------------------------------------- /source/analysis/astEnvironment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/astEnvironment.ml -------------------------------------------------------------------------------- /source/analysis/astEnvironment.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/astEnvironment.mli -------------------------------------------------------------------------------- /source/analysis/astProcessing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/astProcessing.ml -------------------------------------------------------------------------------- /source/analysis/astProcessing.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/astProcessing.mli -------------------------------------------------------------------------------- /source/analysis/attributeResolution.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/attributeResolution.ml -------------------------------------------------------------------------------- /source/analysis/attributeResolution.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/attributeResolution.mli -------------------------------------------------------------------------------- /source/analysis/callgraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/callgraph.ml -------------------------------------------------------------------------------- /source/analysis/callgraph.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/callgraph.mli -------------------------------------------------------------------------------- /source/analysis/cfg.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/cfg.ml -------------------------------------------------------------------------------- /source/analysis/cfg.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/cfg.mli -------------------------------------------------------------------------------- /source/analysis/classHierarchy.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/classHierarchy.ml -------------------------------------------------------------------------------- /source/analysis/classHierarchy.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/classHierarchy.mli -------------------------------------------------------------------------------- /source/analysis/classSummary.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/classSummary.ml -------------------------------------------------------------------------------- /source/analysis/classSummary.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/classSummary.mli -------------------------------------------------------------------------------- /source/analysis/constraintsSet.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/constraintsSet.ml -------------------------------------------------------------------------------- /source/analysis/constraintsSet.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/constraintsSet.mli -------------------------------------------------------------------------------- /source/analysis/cycleDetection.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/cycleDetection.ml -------------------------------------------------------------------------------- /source/analysis/cycleDetection.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/cycleDetection.mli -------------------------------------------------------------------------------- /source/analysis/dataclassOptions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/dataclassOptions.ml -------------------------------------------------------------------------------- /source/analysis/dataclassOptions.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/dataclassOptions.mli -------------------------------------------------------------------------------- /source/analysis/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/dune -------------------------------------------------------------------------------- /source/analysis/environment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/environment.ml -------------------------------------------------------------------------------- /source/analysis/environment.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/environment.mli -------------------------------------------------------------------------------- /source/analysis/environmentControls.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/environmentControls.ml -------------------------------------------------------------------------------- /source/analysis/environmentControls.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/environmentControls.mli -------------------------------------------------------------------------------- /source/analysis/errorsEnvironment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/errorsEnvironment.ml -------------------------------------------------------------------------------- /source/analysis/errorsEnvironment.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/errorsEnvironment.mli -------------------------------------------------------------------------------- /source/analysis/fixpoint.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/fixpoint.ml -------------------------------------------------------------------------------- /source/analysis/fixpoint.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/fixpoint.mli -------------------------------------------------------------------------------- /source/analysis/functionDefinition.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/functionDefinition.ml -------------------------------------------------------------------------------- /source/analysis/functionDefinition.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/functionDefinition.mli -------------------------------------------------------------------------------- /source/analysis/globalLeakCheck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/globalLeakCheck.ml -------------------------------------------------------------------------------- /source/analysis/globalLeakCheck.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/globalLeakCheck.mli -------------------------------------------------------------------------------- /source/analysis/globalModulePathsApi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/globalModulePathsApi.ml -------------------------------------------------------------------------------- /source/analysis/globalResolution.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/globalResolution.ml -------------------------------------------------------------------------------- /source/analysis/globalResolution.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/globalResolution.mli -------------------------------------------------------------------------------- /source/analysis/latticeOfMaps.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/latticeOfMaps.ml -------------------------------------------------------------------------------- /source/analysis/latticeOfMaps.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/latticeOfMaps.mli -------------------------------------------------------------------------------- /source/analysis/locationBasedLookup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/locationBasedLookup.ml -------------------------------------------------------------------------------- /source/analysis/locationBasedLookup.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/locationBasedLookup.mli -------------------------------------------------------------------------------- /source/analysis/managedCache.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/managedCache.ml -------------------------------------------------------------------------------- /source/analysis/managedCache.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/managedCache.mli -------------------------------------------------------------------------------- /source/analysis/missingFromStubs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/missingFromStubs.ml -------------------------------------------------------------------------------- /source/analysis/missingFromStubs.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/missingFromStubs.mli -------------------------------------------------------------------------------- /source/analysis/module.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/module.ml -------------------------------------------------------------------------------- /source/analysis/module.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/module.mli -------------------------------------------------------------------------------- /source/analysis/moduleTracker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/moduleTracker.ml -------------------------------------------------------------------------------- /source/analysis/moduleTracker.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/moduleTracker.mli -------------------------------------------------------------------------------- /source/analysis/namedTuple.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/namedTuple.ml -------------------------------------------------------------------------------- /source/analysis/namedTuple.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/namedTuple.mli -------------------------------------------------------------------------------- /source/analysis/overlaidEnvironment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/overlaidEnvironment.ml -------------------------------------------------------------------------------- /source/analysis/overlaidEnvironment.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/overlaidEnvironment.mli -------------------------------------------------------------------------------- /source/analysis/parsing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/parsing.ml -------------------------------------------------------------------------------- /source/analysis/parsing.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/parsing.mli -------------------------------------------------------------------------------- /source/analysis/postprocessing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/postprocessing.ml -------------------------------------------------------------------------------- /source/analysis/postprocessing.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/postprocessing.mli -------------------------------------------------------------------------------- /source/analysis/preprocessing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/preprocessing.ml -------------------------------------------------------------------------------- /source/analysis/preprocessing.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/preprocessing.mli -------------------------------------------------------------------------------- /source/analysis/pyrePysaEnvironment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/pyrePysaEnvironment.ml -------------------------------------------------------------------------------- /source/analysis/pyrePysaEnvironment.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/pyrePysaEnvironment.mli -------------------------------------------------------------------------------- /source/analysis/pyrePysaLogic.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/pyrePysaLogic.ml -------------------------------------------------------------------------------- /source/analysis/resolution.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/resolution.ml -------------------------------------------------------------------------------- /source/analysis/resolution.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/resolution.mli -------------------------------------------------------------------------------- /source/analysis/resolvedReference.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/resolvedReference.ml -------------------------------------------------------------------------------- /source/analysis/resolvedReference.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/resolvedReference.mli -------------------------------------------------------------------------------- /source/analysis/scope.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/scope.ml -------------------------------------------------------------------------------- /source/analysis/scope.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/scope.mli -------------------------------------------------------------------------------- /source/analysis/sharedMemoryKeys.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/sharedMemoryKeys.ml -------------------------------------------------------------------------------- /source/analysis/sharedMemoryKeys.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/sharedMemoryKeys.mli -------------------------------------------------------------------------------- /source/analysis/signatureSelection.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/signatureSelection.ml -------------------------------------------------------------------------------- /source/analysis/signatureSelection.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/signatureSelection.mli -------------------------------------------------------------------------------- /source/analysis/sourceCodeApi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/sourceCodeApi.ml -------------------------------------------------------------------------------- /source/analysis/sourceCodeApi.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/sourceCodeApi.mli -------------------------------------------------------------------------------- /source/analysis/sourcePaths.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/sourcePaths.ml -------------------------------------------------------------------------------- /source/analysis/sourcePaths.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/sourcePaths.mli -------------------------------------------------------------------------------- /source/analysis/taintAccessPath.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/taintAccessPath.ml -------------------------------------------------------------------------------- /source/analysis/taintAccessPath.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/taintAccessPath.mli -------------------------------------------------------------------------------- /source/analysis/test/attrsTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/attrsTest.ml -------------------------------------------------------------------------------- /source/analysis/test/attrsTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/attrsTest.mli -------------------------------------------------------------------------------- /source/analysis/test/callgraphTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/callgraphTest.ml -------------------------------------------------------------------------------- /source/analysis/test/callgraphTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/callgraphTest.mli -------------------------------------------------------------------------------- /source/analysis/test/cfgTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/cfgTest.ml -------------------------------------------------------------------------------- /source/analysis/test/cfgTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/cfgTest.mli -------------------------------------------------------------------------------- /source/analysis/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/dune -------------------------------------------------------------------------------- /source/analysis/test/environmentTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/environmentTest.ml -------------------------------------------------------------------------------- /source/analysis/test/fixpointTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/fixpointTest.ml -------------------------------------------------------------------------------- /source/analysis/test/fixpointTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/fixpointTest.mli -------------------------------------------------------------------------------- /source/analysis/test/integration/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/integration/dune -------------------------------------------------------------------------------- /source/analysis/test/moduleTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/moduleTest.ml -------------------------------------------------------------------------------- /source/analysis/test/moduleTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/moduleTest.mli -------------------------------------------------------------------------------- /source/analysis/test/namedTupleTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/namedTupleTest.ml -------------------------------------------------------------------------------- /source/analysis/test/namedTupleTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/namedTupleTest.mli -------------------------------------------------------------------------------- /source/analysis/test/newTypeTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/newTypeTest.ml -------------------------------------------------------------------------------- /source/analysis/test/newTypeTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/newTypeTest.mli -------------------------------------------------------------------------------- /source/analysis/test/resolutionTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/resolutionTest.ml -------------------------------------------------------------------------------- /source/analysis/test/resolutionTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/resolutionTest.mli -------------------------------------------------------------------------------- /source/analysis/test/scopeTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/scopeTest.ml -------------------------------------------------------------------------------- /source/analysis/test/scopeTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/scopeTest.mli -------------------------------------------------------------------------------- /source/analysis/test/sqlAlchemyTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/sqlAlchemyTest.ml -------------------------------------------------------------------------------- /source/analysis/test/sqlAlchemyTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/sqlAlchemyTest.mli -------------------------------------------------------------------------------- /source/analysis/test/typeCheckTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/typeCheckTest.ml -------------------------------------------------------------------------------- /source/analysis/test/typeCheckTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/typeCheckTest.mli -------------------------------------------------------------------------------- /source/analysis/test/typeInfoTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/typeInfoTest.ml -------------------------------------------------------------------------------- /source/analysis/test/typeInfoTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/typeInfoTest.mli -------------------------------------------------------------------------------- /source/analysis/test/typeOrderTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/typeOrderTest.ml -------------------------------------------------------------------------------- /source/analysis/test/typeOrderTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/typeOrderTest.mli -------------------------------------------------------------------------------- /source/analysis/test/typeTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/typeTest.ml -------------------------------------------------------------------------------- /source/analysis/test/typeTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/test/typeTest.mli -------------------------------------------------------------------------------- /source/analysis/type.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/type.ml -------------------------------------------------------------------------------- /source/analysis/type.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/type.mli -------------------------------------------------------------------------------- /source/analysis/typeAliasEnvironment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/typeAliasEnvironment.ml -------------------------------------------------------------------------------- /source/analysis/typeCheck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/typeCheck.ml -------------------------------------------------------------------------------- /source/analysis/typeCheck.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/typeCheck.mli -------------------------------------------------------------------------------- /source/analysis/typeConstraints.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/typeConstraints.ml -------------------------------------------------------------------------------- /source/analysis/typeConstraints.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/typeConstraints.mli -------------------------------------------------------------------------------- /source/analysis/typeEnvironment.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/typeEnvironment.ml -------------------------------------------------------------------------------- /source/analysis/typeEnvironment.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/typeEnvironment.mli -------------------------------------------------------------------------------- /source/analysis/typeInfo.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/typeInfo.ml -------------------------------------------------------------------------------- /source/analysis/typeInfo.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/typeInfo.mli -------------------------------------------------------------------------------- /source/analysis/typeOperation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/typeOperation.ml -------------------------------------------------------------------------------- /source/analysis/typeOperation.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/typeOperation.mli -------------------------------------------------------------------------------- /source/analysis/typeOrder.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/typeOrder.ml -------------------------------------------------------------------------------- /source/analysis/typeOrder.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/typeOrder.mli -------------------------------------------------------------------------------- /source/analysis/weakTopologicalOrder.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/analysis/weakTopologicalOrder.ml -------------------------------------------------------------------------------- /source/artifactPath.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/artifactPath.ml -------------------------------------------------------------------------------- /source/artifactPath.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/artifactPath.mli -------------------------------------------------------------------------------- /source/ast/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/dune -------------------------------------------------------------------------------- /source/ast/expression.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/expression.ml -------------------------------------------------------------------------------- /source/ast/expression.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/expression.mli -------------------------------------------------------------------------------- /source/ast/identifier.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/identifier.ml -------------------------------------------------------------------------------- /source/ast/identifier.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/identifier.mli -------------------------------------------------------------------------------- /source/ast/ignore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/ignore.ml -------------------------------------------------------------------------------- /source/ast/ignore.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/ignore.mli -------------------------------------------------------------------------------- /source/ast/location.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/location.ml -------------------------------------------------------------------------------- /source/ast/location.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/location.mli -------------------------------------------------------------------------------- /source/ast/modulePath.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/modulePath.ml -------------------------------------------------------------------------------- /source/ast/modulePath.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/modulePath.mli -------------------------------------------------------------------------------- /source/ast/nestingContext.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/nestingContext.ml -------------------------------------------------------------------------------- /source/ast/nestingContext.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/nestingContext.mli -------------------------------------------------------------------------------- /source/ast/node.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/node.ml -------------------------------------------------------------------------------- /source/ast/node.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/node.mli -------------------------------------------------------------------------------- /source/ast/reference.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/reference.ml -------------------------------------------------------------------------------- /source/ast/reference.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/reference.mli -------------------------------------------------------------------------------- /source/ast/source.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/source.ml -------------------------------------------------------------------------------- /source/ast/source.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/source.mli -------------------------------------------------------------------------------- /source/ast/statement.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/statement.ml -------------------------------------------------------------------------------- /source/ast/statement.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/statement.mli -------------------------------------------------------------------------------- /source/ast/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/dune -------------------------------------------------------------------------------- /source/ast/test/expressionTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/expressionTest.ml -------------------------------------------------------------------------------- /source/ast/test/expressionTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/expressionTest.mli -------------------------------------------------------------------------------- /source/ast/test/identifierTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/identifierTest.ml -------------------------------------------------------------------------------- /source/ast/test/identifierTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/identifierTest.mli -------------------------------------------------------------------------------- /source/ast/test/modulePathTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/modulePathTest.ml -------------------------------------------------------------------------------- /source/ast/test/modulePathTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/modulePathTest.mli -------------------------------------------------------------------------------- /source/ast/test/nodeTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/nodeTest.ml -------------------------------------------------------------------------------- /source/ast/test/nodeTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/nodeTest.mli -------------------------------------------------------------------------------- /source/ast/test/referenceTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/referenceTest.ml -------------------------------------------------------------------------------- /source/ast/test/referenceTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/referenceTest.mli -------------------------------------------------------------------------------- /source/ast/test/sourceTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/sourceTest.ml -------------------------------------------------------------------------------- /source/ast/test/sourceTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/sourceTest.mli -------------------------------------------------------------------------------- /source/ast/test/statementTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/statementTest.ml -------------------------------------------------------------------------------- /source/ast/test/statementTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/statementTest.mli -------------------------------------------------------------------------------- /source/ast/test/transformTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/transformTest.ml -------------------------------------------------------------------------------- /source/ast/test/transformTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/transformTest.mli -------------------------------------------------------------------------------- /source/ast/test/visitTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/visitTest.ml -------------------------------------------------------------------------------- /source/ast/test/visitTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/test/visitTest.mli -------------------------------------------------------------------------------- /source/ast/transform.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/transform.ml -------------------------------------------------------------------------------- /source/ast/transform.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/transform.mli -------------------------------------------------------------------------------- /source/ast/visit.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/visit.ml -------------------------------------------------------------------------------- /source/ast/visit.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/ast/visit.mli -------------------------------------------------------------------------------- /source/buck_command/buck_commands.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_command/buck_commands.ml -------------------------------------------------------------------------------- /source/buck_command/checkCommand.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_command/checkCommand.ml -------------------------------------------------------------------------------- /source/buck_command/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_command/dune -------------------------------------------------------------------------------- /source/buck_command/fileLoader.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_command/fileLoader.ml -------------------------------------------------------------------------------- /source/buck_command/fileLoader.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_command/fileLoader.mli -------------------------------------------------------------------------------- /source/buck_command/gleanCommand.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_command/gleanCommand.ml -------------------------------------------------------------------------------- /source/buck_command/manifest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_command/manifest.ml -------------------------------------------------------------------------------- /source/buck_command/manifest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_command/manifest.mli -------------------------------------------------------------------------------- /source/buck_command/sourcedb.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_command/sourcedb.ml -------------------------------------------------------------------------------- /source/buck_command/sourcedb.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_command/sourcedb.mli -------------------------------------------------------------------------------- /source/buck_command/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_command/test/dune -------------------------------------------------------------------------------- /source/buck_command/test/testHelper.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_command/test/testHelper.ml -------------------------------------------------------------------------------- /source/buck_integration/artifacts.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_integration/artifacts.ml -------------------------------------------------------------------------------- /source/buck_integration/buck.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_integration/buck.ml -------------------------------------------------------------------------------- /source/buck_integration/buck.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_integration/buck.mli -------------------------------------------------------------------------------- /source/buck_integration/buckTarget.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_integration/buckTarget.ml -------------------------------------------------------------------------------- /source/buck_integration/buildMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_integration/buildMap.ml -------------------------------------------------------------------------------- /source/buck_integration/builder.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_integration/builder.ml -------------------------------------------------------------------------------- /source/buck_integration/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_integration/dune -------------------------------------------------------------------------------- /source/buck_integration/interface.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_integration/interface.ml -------------------------------------------------------------------------------- /source/buck_integration/raw.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_integration/raw.ml -------------------------------------------------------------------------------- /source/buck_integration/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_integration/test/dune -------------------------------------------------------------------------------- /source/buck_main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/buck_main.ml -------------------------------------------------------------------------------- /source/code_navigation_server/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/code_navigation_server/dune -------------------------------------------------------------------------------- /source/code_navigation_server/start.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/code_navigation_server/start.ml -------------------------------------------------------------------------------- /source/code_navigation_server/state.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/code_navigation_server/state.ml -------------------------------------------------------------------------------- /source/code_navigation_server/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/code_navigation_server/test/dune -------------------------------------------------------------------------------- /source/command/analyzeCommand.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/analyzeCommand.ml -------------------------------------------------------------------------------- /source/command/analyzeCommand.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/analyzeCommand.mli -------------------------------------------------------------------------------- /source/command/checkCommand.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/checkCommand.ml -------------------------------------------------------------------------------- /source/command/checkCommand.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/checkCommand.mli -------------------------------------------------------------------------------- /source/command/codeNavigationCommand.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/codeNavigationCommand.ml -------------------------------------------------------------------------------- /source/command/commandStartup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/commandStartup.ml -------------------------------------------------------------------------------- /source/command/commands.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/commands.ml -------------------------------------------------------------------------------- /source/command/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/dune -------------------------------------------------------------------------------- /source/command/inferCommand.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/inferCommand.ml -------------------------------------------------------------------------------- /source/command/inferCommand.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/inferCommand.mli -------------------------------------------------------------------------------- /source/command/noDaemonQueryCommand.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/noDaemonQueryCommand.ml -------------------------------------------------------------------------------- /source/command/noDaemonQueryCommand.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/noDaemonQueryCommand.mli -------------------------------------------------------------------------------- /source/command/serverCommand.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/serverCommand.ml -------------------------------------------------------------------------------- /source/command/serverCommand.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/serverCommand.mli -------------------------------------------------------------------------------- /source/command/test/analyzeTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/test/analyzeTest.ml -------------------------------------------------------------------------------- /source/command/test/analyzeTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/test/analyzeTest.mli -------------------------------------------------------------------------------- /source/command/test/checkTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/test/checkTest.ml -------------------------------------------------------------------------------- /source/command/test/checkTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/test/checkTest.mli -------------------------------------------------------------------------------- /source/command/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/test/dune -------------------------------------------------------------------------------- /source/command/test/inferTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/test/inferTest.ml -------------------------------------------------------------------------------- /source/command/test/integration/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/test/integration/README -------------------------------------------------------------------------------- /source/command/test/integration/fake_repository/commit_000/stubs/stub.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /source/command/test/integration/fake_repository/commit_001/stubs/stub.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /source/command/test/integration/fake_repository/commit_002/stubs/stub.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /source/command/test/integration/fake_repository/commit_003/stubs/stub.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /source/command/test/integration/fake_repository/commit_004/stubs/stub.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /source/command/test/integration/fake_repository/commit_005/stubs/stub.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /source/command/test/integration/fake_repository/commit_006_T30944862/stubs/stub.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /source/command/test/integration/fake_repository/commit_007_T30944862/stubs/stub.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /source/command/test/integration/fake_repository/commit_008/stubs/stub.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /source/command/test/integration/fake_repository/commit_009/stubs/stub.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /source/command/test/integration/fake_repository/commit_010/stubs/stub.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /source/command/test/integration/fake_repository/commit_011/stubs/stub.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /source/command/test/serverTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/test/serverTest.ml -------------------------------------------------------------------------------- /source/command/test/serverTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/command/test/serverTest.mli -------------------------------------------------------------------------------- /source/configuration.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/configuration.ml -------------------------------------------------------------------------------- /source/configuration.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/configuration.mli -------------------------------------------------------------------------------- /source/cpython_parser/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/cpython_parser/dune -------------------------------------------------------------------------------- /source/cpython_parser/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/cpython_parser/test/dune -------------------------------------------------------------------------------- /source/criticalFile.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/criticalFile.ml -------------------------------------------------------------------------------- /source/criticalFile.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/criticalFile.mli -------------------------------------------------------------------------------- /source/data_structures/bigList.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/data_structures/bigList.ml -------------------------------------------------------------------------------- /source/data_structures/bigList.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/data_structures/bigList.mli -------------------------------------------------------------------------------- /source/data_structures/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/data_structures/dune -------------------------------------------------------------------------------- /source/data_structures/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/data_structures/test/dune -------------------------------------------------------------------------------- /source/domains/abstract.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/abstract.ml -------------------------------------------------------------------------------- /source/domains/abstractDomainCore.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/abstractDomainCore.ml -------------------------------------------------------------------------------- /source/domains/abstractFlatDomain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/abstractFlatDomain.ml -------------------------------------------------------------------------------- /source/domains/abstractFlatDomain.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/abstractFlatDomain.mli -------------------------------------------------------------------------------- /source/domains/abstractMapDomain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/abstractMapDomain.ml -------------------------------------------------------------------------------- /source/domains/abstractMapDomain.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/abstractMapDomain.mli -------------------------------------------------------------------------------- /source/domains/abstractProductDomain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/abstractProductDomain.ml -------------------------------------------------------------------------------- /source/domains/abstractSetDomain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/abstractSetDomain.ml -------------------------------------------------------------------------------- /source/domains/abstractSetDomain.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/abstractSetDomain.mli -------------------------------------------------------------------------------- /source/domains/abstractSimpleDomain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/abstractSimpleDomain.ml -------------------------------------------------------------------------------- /source/domains/abstractSimpleDomain.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/abstractSimpleDomain.mli -------------------------------------------------------------------------------- /source/domains/abstractTreeDomain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/abstractTreeDomain.ml -------------------------------------------------------------------------------- /source/domains/abstractTreeDomain.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/abstractTreeDomain.mli -------------------------------------------------------------------------------- /source/domains/abstractWrapperDomain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/abstractWrapperDomain.ml -------------------------------------------------------------------------------- /source/domains/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/dune -------------------------------------------------------------------------------- /source/domains/test/abstractDomain.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/test/abstractDomain.ml -------------------------------------------------------------------------------- /source/domains/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/domains/test/dune -------------------------------------------------------------------------------- /source/dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/dune-project -------------------------------------------------------------------------------- /source/dune.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/dune.in -------------------------------------------------------------------------------- /source/dune.win: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/dune.win -------------------------------------------------------------------------------- /source/exception.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/exception.ml -------------------------------------------------------------------------------- /source/exception.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/exception.mli -------------------------------------------------------------------------------- /source/external/decorators.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/external/decorators.ml -------------------------------------------------------------------------------- /source/external/fetchSavedState.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/external/fetchSavedState.ml -------------------------------------------------------------------------------- /source/external/fetchSavedState.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/external/fetchSavedState.mli -------------------------------------------------------------------------------- /source/external/recognized.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/external/recognized.ml -------------------------------------------------------------------------------- /source/external/recognized.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/external/recognized.mli -------------------------------------------------------------------------------- /source/external/test/decoratorsTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/external/test/decoratorsTest.ml -------------------------------------------------------------------------------- /source/external/test/decoratorsTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/external/test/decoratorsTest.mli -------------------------------------------------------------------------------- /source/file.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/file.ml -------------------------------------------------------------------------------- /source/file.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/file.mli -------------------------------------------------------------------------------- /source/hack_parallel.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/hack_parallel.opam -------------------------------------------------------------------------------- /source/hack_parallel/.ocamlformat: -------------------------------------------------------------------------------- 1 | disable 2 | -------------------------------------------------------------------------------- /source/hack_parallel/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/hack_parallel/dune -------------------------------------------------------------------------------- /source/hack_parallel/hack_parallel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/hack_parallel/hack_parallel.ml -------------------------------------------------------------------------------- /source/hack_parallel/hack_parallel/heap/.ocamlformat: -------------------------------------------------------------------------------- 1 | enable 2 | -------------------------------------------------------------------------------- /source/hack_parallel/hack_parallel/third-party/lz4/VERSION: -------------------------------------------------------------------------------- 1 | https://github.com/Cyan4973/lz4 @ r131 2 | -------------------------------------------------------------------------------- /source/interprocedural/Error.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/Error.ml -------------------------------------------------------------------------------- /source/interprocedural/Error.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/Error.mli -------------------------------------------------------------------------------- /source/interprocedural/callGraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/callGraph.ml -------------------------------------------------------------------------------- /source/interprocedural/callGraph.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/callGraph.mli -------------------------------------------------------------------------------- /source/interprocedural/changedPaths.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/changedPaths.ml -------------------------------------------------------------------------------- /source/interprocedural/changedPaths.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/changedPaths.mli -------------------------------------------------------------------------------- /source/interprocedural/classInterval.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/classInterval.ml -------------------------------------------------------------------------------- /source/interprocedural/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/dune -------------------------------------------------------------------------------- /source/interprocedural/overrideGraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/overrideGraph.ml -------------------------------------------------------------------------------- /source/interprocedural/pyrePysaApi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/pyrePysaApi.ml -------------------------------------------------------------------------------- /source/interprocedural/pyrePysaApi.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/pyrePysaApi.mli -------------------------------------------------------------------------------- /source/interprocedural/pyreflyApi.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/pyreflyApi.ml -------------------------------------------------------------------------------- /source/interprocedural/pyreflyApi.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/pyreflyApi.mli -------------------------------------------------------------------------------- /source/interprocedural/shims.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/shims.ml -------------------------------------------------------------------------------- /source/interprocedural/shims.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/shims.mli -------------------------------------------------------------------------------- /source/interprocedural/target.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/target.ml -------------------------------------------------------------------------------- /source/interprocedural/target.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/target.mli -------------------------------------------------------------------------------- /source/interprocedural/targetGraph.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/targetGraph.ml -------------------------------------------------------------------------------- /source/interprocedural/targetGraph.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/targetGraph.mli -------------------------------------------------------------------------------- /source/interprocedural/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/interprocedural/test/dune -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/.flake8: -------------------------------------------------------------------------------- 1 | [flake8] 2 | exclude = 3 | *.py 4 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/add_feature_to_argument.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/always_in_none.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/any_index.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/applies_to_index.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/attach_features.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/binary_operators.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/class_flows.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/class_level_taint.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/closure.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/colliding_class_names.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/conditional.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/constant_fields.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/cross_repository.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/custom_dictionary_model.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/dictionary.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/dictionary_delete.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/entrypoint.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/exception_test.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/features.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/first_index.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/format.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/functions_as_locals.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/global.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/global_flows.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/http_request.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/if_sinks.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/implicit_sinks.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/implicit_sources.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/issue_grouping.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/iterators.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/kwargs_and_args.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/lambda.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/locals.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/match.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/maximum_tito_depth.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/maximum_trace_length.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/missing_type.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/model_query_annotated.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/model_query_any_decorator.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/model_query_cache.py.cg: -------------------------------------------------------------------------------- 1 | @generated 2 | Call dependencies 3 | {} -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/model_query_cache.py.hofcg: -------------------------------------------------------------------------------- 1 | @generated 2 | Higher order call graphs 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/model_query_cache.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/model_query_global_variable.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/model_query_parameters_viatypeof.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/model_query_parameters_where.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/model_query_type_annotation.py.cg: -------------------------------------------------------------------------------- 1 | @generated 2 | Call dependencies 3 | {} -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/model_query_type_annotation.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/model_shaping.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/multi_subkind.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/multiline.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/multiple_sources_string_operations.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/multiple_sources_with_filters.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/nested_callables.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/obscure_models.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/optionals.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/overloads.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/overmatching.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/parameter_name_path.py.cg: -------------------------------------------------------------------------------- 1 | @generated 2 | Call dependencies 3 | {} -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/parameter_name_path.py.hofcg: -------------------------------------------------------------------------------- 1 | @generated 2 | Higher order call graphs 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/parameter_name_path.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/parameter_path.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/parametric_models.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/port.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/python_test_framework_pytest.py.cg: -------------------------------------------------------------------------------- 1 | @generated 2 | Call dependencies 3 | {} -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/python_test_framework_pytest.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/python_test_framework_unittest.py.cg: -------------------------------------------------------------------------------- 1 | @generated 2 | Call dependencies 3 | {} -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/python_test_framework_unittest.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/raise.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/recognized_callable_targets.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/remote_code_execution.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/return_sinks.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/rule.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/rule_with_filters.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/sanitize_discard_flows.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/sanitize_obscure.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/sanitize_parametric.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/sanitize_tito_shaping.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/select.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/shims.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/side_effects.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/skip_analysis.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/source_sink_flow.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/starred.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/static_methods.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/strings.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/taint_broadening.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/taint_transform.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/top_level.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/typed_dict.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/unknown_callee.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/via_value_of.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/interprocedural_analyses/taint/test/integration/walrus_operator.py.overrides: -------------------------------------------------------------------------------- 1 | @generated 2 | Overrides 3 | -------------------------------------------------------------------------------- /source/jsonParsing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/jsonParsing.ml -------------------------------------------------------------------------------- /source/jsonParsing.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/jsonParsing.mli -------------------------------------------------------------------------------- /source/log.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/log.ml -------------------------------------------------------------------------------- /source/log.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/log.mli -------------------------------------------------------------------------------- /source/lwtSocketServer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/lwtSocketServer.ml -------------------------------------------------------------------------------- /source/lwtSocketServer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/lwtSocketServer.mli -------------------------------------------------------------------------------- /source/lwtSubprocess.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/lwtSubprocess.ml -------------------------------------------------------------------------------- /source/lwtSubprocess.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/lwtSubprocess.mli -------------------------------------------------------------------------------- /source/main.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/main.ml -------------------------------------------------------------------------------- /source/menhir_parser/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/menhir_parser/dune -------------------------------------------------------------------------------- /source/menhir_parser/generator.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/menhir_parser/generator.mly -------------------------------------------------------------------------------- /source/menhir_parser/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/menhir_parser/lexer.mll -------------------------------------------------------------------------------- /source/menhir_parser/parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/menhir_parser/parser.ml -------------------------------------------------------------------------------- /source/menhir_parser/parser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/menhir_parser/parser.mli -------------------------------------------------------------------------------- /source/menhir_parser/parserStatement.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/menhir_parser/parserStatement.ml -------------------------------------------------------------------------------- /source/menhir_parser/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/menhir_parser/test/dune -------------------------------------------------------------------------------- /source/pyre.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/pyre.ml -------------------------------------------------------------------------------- /source/pyrePath.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/pyrePath.ml -------------------------------------------------------------------------------- /source/pyrePath.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/pyrePath.mli -------------------------------------------------------------------------------- /source/pyreProfiling.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/pyreProfiling.ml -------------------------------------------------------------------------------- /source/pyreProfiling.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/pyreProfiling.mli -------------------------------------------------------------------------------- /source/pyrelib.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/pyrelib.opam -------------------------------------------------------------------------------- /source/saved_state/action.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/saved_state/action.ml -------------------------------------------------------------------------------- /source/saved_state/action.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/saved_state/action.mli -------------------------------------------------------------------------------- /source/saved_state/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/saved_state/dune -------------------------------------------------------------------------------- /source/saved_state/execution.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/saved_state/execution.ml -------------------------------------------------------------------------------- /source/saved_state/execution.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/saved_state/execution.mli -------------------------------------------------------------------------------- /source/saved_state/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/saved_state/test/dune -------------------------------------------------------------------------------- /source/searchPath.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/searchPath.ml -------------------------------------------------------------------------------- /source/searchPath.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/searchPath.mli -------------------------------------------------------------------------------- /source/server/buildSystem.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/buildSystem.ml -------------------------------------------------------------------------------- /source/server/buildSystem.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/buildSystem.mli -------------------------------------------------------------------------------- /source/server/checksumMap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/checksumMap.ml -------------------------------------------------------------------------------- /source/server/checksumMap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/checksumMap.mli -------------------------------------------------------------------------------- /source/server/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/dune -------------------------------------------------------------------------------- /source/server/exclusiveLock.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/exclusiveLock.ml -------------------------------------------------------------------------------- /source/server/exclusiveLock.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/exclusiveLock.mli -------------------------------------------------------------------------------- /source/server/pathLookup.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/pathLookup.ml -------------------------------------------------------------------------------- /source/server/pathLookup.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/pathLookup.mli -------------------------------------------------------------------------------- /source/server/query.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/query.ml -------------------------------------------------------------------------------- /source/server/query.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/query.mli -------------------------------------------------------------------------------- /source/server/request.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/request.ml -------------------------------------------------------------------------------- /source/server/requestHandler.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/requestHandler.ml -------------------------------------------------------------------------------- /source/server/requestHandler.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/requestHandler.mli -------------------------------------------------------------------------------- /source/server/response.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/response.ml -------------------------------------------------------------------------------- /source/server/serverError.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/serverError.ml -------------------------------------------------------------------------------- /source/server/serverProperties.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/serverProperties.ml -------------------------------------------------------------------------------- /source/server/serverState.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/serverState.ml -------------------------------------------------------------------------------- /source/server/serverState.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/serverState.mli -------------------------------------------------------------------------------- /source/server/start.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/start.ml -------------------------------------------------------------------------------- /source/server/start.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/start.mli -------------------------------------------------------------------------------- /source/server/startOptions.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/startOptions.ml -------------------------------------------------------------------------------- /source/server/startupNotification.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/startupNotification.ml -------------------------------------------------------------------------------- /source/server/startupNotification.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/startupNotification.mli -------------------------------------------------------------------------------- /source/server/stop.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/stop.ml -------------------------------------------------------------------------------- /source/server/stop.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/stop.mli -------------------------------------------------------------------------------- /source/server/subscription.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/subscription.ml -------------------------------------------------------------------------------- /source/server/subscription.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/subscription.mli -------------------------------------------------------------------------------- /source/server/test/basicTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/test/basicTest.ml -------------------------------------------------------------------------------- /source/server/test/buildSystemTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/test/buildSystemTest.ml -------------------------------------------------------------------------------- /source/server/test/cachedQueryTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/test/cachedQueryTest.ml -------------------------------------------------------------------------------- /source/server/test/checksumMapTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/test/checksumMapTest.ml -------------------------------------------------------------------------------- /source/server/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/test/dune -------------------------------------------------------------------------------- /source/server/test/lockTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/test/lockTest.ml -------------------------------------------------------------------------------- /source/server/test/queryTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/test/queryTest.ml -------------------------------------------------------------------------------- /source/server/test/serverTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/test/serverTest.ml -------------------------------------------------------------------------------- /source/server/test/serverTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/test/serverTest.mli -------------------------------------------------------------------------------- /source/server/test/stateTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/server/test/stateTest.ml -------------------------------------------------------------------------------- /source/service/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/service/dune -------------------------------------------------------------------------------- /source/service/memory.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/service/memory.ml -------------------------------------------------------------------------------- /source/service/memory.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/service/memory.mli -------------------------------------------------------------------------------- /source/service/perfProfiler.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/service/perfProfiler.ml -------------------------------------------------------------------------------- /source/service/perfProfiler.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/service/perfProfiler.mli -------------------------------------------------------------------------------- /source/service/scheduler.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/service/scheduler.ml -------------------------------------------------------------------------------- /source/service/scheduler.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/service/scheduler.mli -------------------------------------------------------------------------------- /source/service/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/service/test/dune -------------------------------------------------------------------------------- /source/service/test/ignoreTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/service/test/ignoreTest.ml -------------------------------------------------------------------------------- /source/service/test/ignoreTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/service/test/ignoreTest.mli -------------------------------------------------------------------------------- /source/service/test/memoryTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/service/test/memoryTest.ml -------------------------------------------------------------------------------- /source/service/test/memoryTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/service/test/memoryTest.mli -------------------------------------------------------------------------------- /source/service/test/schedulerTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/service/test/schedulerTest.ml -------------------------------------------------------------------------------- /source/service/test/schedulerTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/service/test/schedulerTest.mli -------------------------------------------------------------------------------- /source/sourcePath.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/sourcePath.ml -------------------------------------------------------------------------------- /source/sourcePath.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/sourcePath.mli -------------------------------------------------------------------------------- /source/statistics.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/statistics.ml -------------------------------------------------------------------------------- /source/statistics.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/statistics.mli -------------------------------------------------------------------------------- /source/test/algorithmsTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/algorithmsTest.ml -------------------------------------------------------------------------------- /source/test/algorithmsTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/algorithmsTest.mli -------------------------------------------------------------------------------- /source/test/configurationTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/configurationTest.ml -------------------------------------------------------------------------------- /source/test/configurationTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/configurationTest.mli -------------------------------------------------------------------------------- /source/test/criticalFileTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/criticalFileTest.ml -------------------------------------------------------------------------------- /source/test/criticalFileTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/criticalFileTest.mli -------------------------------------------------------------------------------- /source/test/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/dune -------------------------------------------------------------------------------- /source/test/fileTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/fileTest.ml -------------------------------------------------------------------------------- /source/test/fileTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/fileTest.mli -------------------------------------------------------------------------------- /source/test/jsonParsingTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/jsonParsingTest.ml -------------------------------------------------------------------------------- /source/test/jsonParsingTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/jsonParsingTest.mli -------------------------------------------------------------------------------- /source/test/logTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/logTest.ml -------------------------------------------------------------------------------- /source/test/logTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/logTest.mli -------------------------------------------------------------------------------- /source/test/profilingTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/profilingTest.ml -------------------------------------------------------------------------------- /source/test/profilingTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/profilingTest.mli -------------------------------------------------------------------------------- /source/test/pyrePathTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/pyrePathTest.ml -------------------------------------------------------------------------------- /source/test/pyrePathTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/pyrePathTest.mli -------------------------------------------------------------------------------- /source/test/searchPathTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/searchPathTest.ml -------------------------------------------------------------------------------- /source/test/searchPathTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/searchPathTest.mli -------------------------------------------------------------------------------- /source/test/statisticsTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/statisticsTest.ml -------------------------------------------------------------------------------- /source/test/statisticsTest.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/statisticsTest.mli -------------------------------------------------------------------------------- /source/test/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/test.ml -------------------------------------------------------------------------------- /source/test/watchmanTest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/test/watchmanTest.ml -------------------------------------------------------------------------------- /source/timer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/timer.ml -------------------------------------------------------------------------------- /source/timer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/timer.mli -------------------------------------------------------------------------------- /source/version.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/version.mli -------------------------------------------------------------------------------- /source/watchman.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/watchman.ml -------------------------------------------------------------------------------- /source/watchman.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/source/watchman.mli -------------------------------------------------------------------------------- /stubs/integration_test/.overridden: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/integration_test/Makefile -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/contrib/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/contrib/admindocs/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/contrib/gis/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/contrib/postgres/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/contrib/sessions/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/contrib/sessions/backends/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/core/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/core/cache/backends/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/core/files/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/core/handlers/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/core/mail/backends/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/core/management/commands/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/core/servers/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/db/backends/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/db/backends/base/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/db/backends/base/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/db/backends/mysql/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/db/models/sql/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/middleware/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/template/backends/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/utils/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/utils/six/moves/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/utils/six/moves/urllib/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/views/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/fixture_stubs/django/views/generic/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/pyproject.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/integration_test/pyproject.toml -------------------------------------------------------------------------------- /stubs/integration_test/result.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/integration_test/result.json -------------------------------------------------------------------------------- /stubs/integration_test/run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/integration_test/run.py -------------------------------------------------------------------------------- /stubs/integration_test/test_taint/attributes.pysa: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/integration_test/test_taint/globals.pysa: -------------------------------------------------------------------------------- 1 | pyre._global_sink: TaintSink[RemoteCodeExecution] = ... 2 | -------------------------------------------------------------------------------- /stubs/integration_test/test_taint/skip_overrides.pysa: -------------------------------------------------------------------------------- 1 | @SkipOverrides 2 | def integration_test.cache.Base.method(): ... 3 | -------------------------------------------------------------------------------- /stubs/taint/common/functools.pysa: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/taint/common/functools.pysa -------------------------------------------------------------------------------- /stubs/taint/common/protocols.pysa: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/taint/common/protocols.pysa -------------------------------------------------------------------------------- /stubs/taint/common/taint.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/taint/common/taint.config -------------------------------------------------------------------------------- /stubs/third_party_taint/dill_sinks.pysa: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/third_party_taint/dill_sinks.pysa -------------------------------------------------------------------------------- /stubs/third_party_taint/lxml_sinks.pysa: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/third_party_taint/lxml_sinks.pysa -------------------------------------------------------------------------------- /stubs/third_party_taint/rce_sinks.pysa: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/third_party_taint/rce_sinks.pysa -------------------------------------------------------------------------------- /stubs/third_party_taint/xss_sinks.pysa: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/third_party_taint/xss_sinks.pysa -------------------------------------------------------------------------------- /stubs/typeshed/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/.gitignore -------------------------------------------------------------------------------- /stubs/typeshed/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/LICENSE -------------------------------------------------------------------------------- /stubs/typeshed/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/README.md -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/source_url: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/source_url -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/VERSIONS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/VERSIONS -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/__main__.pyi: -------------------------------------------------------------------------------- 1 | from typing import Any 2 | 3 | def __getattr__(name: str) -> Any: ... 4 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/_ast.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/_ast.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/_bootlocale.pyi: -------------------------------------------------------------------------------- 1 | def getpreferredencoding(do_setlocale: bool = True) -> str: ... 2 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/_csv.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/_csv.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/_imp.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/_imp.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/_io.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/_io.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/_msi.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/_msi.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/_ssl.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/_ssl.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/abc.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/abc.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/aifc.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/aifc.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/ast.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/ast.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/bdb.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/bdb.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/bz2.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/bz2.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/cgi.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/cgi.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/cmd.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/cmd.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/code.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/code.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/concurrent/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/copy.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/copy.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/csv.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/csv.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/curses/has_key.pyi: -------------------------------------------------------------------------------- 1 | def has_key(ch: int | str) -> bool: ... 2 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/dis.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/dis.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/distutils/command/bdist_packager.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/email/mime/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/enum.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/enum.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/gc.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/gc.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/glob.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/glob.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/grp.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/grp.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/gzip.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/gzip.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/hmac.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/hmac.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/imp.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/imp.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/io.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/io.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/json/tool.pyi: -------------------------------------------------------------------------------- 1 | def main() -> None: ... 2 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/lib2to3/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/lib2to3/fixes/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/lzma.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/lzma.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/math.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/math.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/mmap.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/mmap.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/nis.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/nis.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/nt.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/nt.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/pdb.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/pdb.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/pty.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/pty.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/pwd.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/pwd.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/pydoc_data/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/pydoc_data/topics.pyi: -------------------------------------------------------------------------------- 1 | topics: dict[str, str] 2 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/re.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/re.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/site.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/site.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/spwd.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/spwd.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/ssl.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/ssl.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/stat.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/stat.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/this.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/this.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/time.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/time.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/tty.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/tty.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/urllib/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/uu.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/uu.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/uuid.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/uuid.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/wave.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/wave.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/wsgiref/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/xml/etree/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/xml/etree/cElementTree.pyi: -------------------------------------------------------------------------------- 1 | from xml.etree.ElementTree import * 2 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/xml/parsers/expat/errors.pyi: -------------------------------------------------------------------------------- 1 | from pyexpat.errors import * 2 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/xml/parsers/expat/model.pyi: -------------------------------------------------------------------------------- 1 | from pyexpat.model import * 2 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/xmlrpc/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stdlib/zlib.pyi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed/typeshed/stdlib/zlib.pyi -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/ExifRead/exifread/tags/makernote/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/PyMySQL/pymysql/constants/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/chevron/chevron/metadata.pyi: -------------------------------------------------------------------------------- 1 | version: str 2 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/ldap3/ldap3/core/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/ldap3/ldap3/extend/microsoft/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/ldap3/ldap3/extend/novell/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/ldap3/ldap3/extend/standard/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/ldap3/ldap3/operation/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/ldap3/ldap3/operation/unbind.pyi: -------------------------------------------------------------------------------- 1 | def unbind_operation(): ... 2 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/ldap3/ldap3/protocol/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/ldap3/ldap3/protocol/formatters/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/ldap3/ldap3/protocol/sasl/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/ldap3/ldap3/protocol/sasl/external.pyi: -------------------------------------------------------------------------------- 1 | def sasl_external(connection, controls): ... 2 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/ldap3/ldap3/protocol/sasl/plain.pyi: -------------------------------------------------------------------------------- 1 | def sasl_plain(connection, controls): ... 2 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/ldap3/ldap3/protocol/schemas/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/ldap3/ldap3/strategy/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/ldap3/ldap3/utils/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/ldap3/ldap3/utils/uri.pyi: -------------------------------------------------------------------------------- 1 | def parse_uri(uri): ... 2 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/python-dateutil/dateutil/__init__.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/regex/regex/__init__.pyi: -------------------------------------------------------------------------------- 1 | from .regex import * 2 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/requests/requests/certs.pyi: -------------------------------------------------------------------------------- 1 | # no public data 2 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/tqdm/tqdm/_dist_ver.pyi: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/tqdm/tqdm/_main.pyi: -------------------------------------------------------------------------------- 1 | from .cli import * 2 | 3 | # Names in __all__ with no definition: 4 | # main 5 | -------------------------------------------------------------------------------- /stubs/typeshed/typeshed/stubs/tqdm/tqdm/version.pyi: -------------------------------------------------------------------------------- 1 | __version__: str 2 | -------------------------------------------------------------------------------- /stubs/typeshed_patches.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/stubs/typeshed_patches.toml -------------------------------------------------------------------------------- /tools/generate_taint_models/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/generate_taint_models/__init__.py -------------------------------------------------------------------------------- /tools/generate_taint_models/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/generate_taint_models/model.py -------------------------------------------------------------------------------- /tools/ide_plugins/pysa-vscode/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/ide_plugins/pysa-vscode/README.md -------------------------------------------------------------------------------- /tools/ide_plugins/vscode/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/ide_plugins/vscode/.gitignore -------------------------------------------------------------------------------- /tools/ide_plugins/vscode/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/ide_plugins/vscode/LICENSE.md -------------------------------------------------------------------------------- /tools/ide_plugins/vscode/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/ide_plugins/vscode/README.md -------------------------------------------------------------------------------- /tools/ide_plugins/vscode/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/ide_plugins/vscode/package.json -------------------------------------------------------------------------------- /tools/ide_plugins/vscode/src/main.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/ide_plugins/vscode/src/main.ts -------------------------------------------------------------------------------- /tools/ide_plugins/vscode/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/ide_plugins/vscode/tsconfig.json -------------------------------------------------------------------------------- /tools/incremental_test/batch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/incremental_test/batch.py -------------------------------------------------------------------------------- /tools/incremental_test/environment.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/incremental_test/environment.py -------------------------------------------------------------------------------- /tools/incremental_test/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/incremental_test/main.py -------------------------------------------------------------------------------- /tools/incremental_test/report.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/incremental_test/report.py -------------------------------------------------------------------------------- /tools/incremental_test/runner.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/incremental_test/runner.py -------------------------------------------------------------------------------- /tools/incremental_test/specification.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/incremental_test/specification.py -------------------------------------------------------------------------------- /tools/playground/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/playground/README.md -------------------------------------------------------------------------------- /tools/playground/application.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/playground/application.py -------------------------------------------------------------------------------- /tools/playground/install-in-ubuntu.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/playground/install-in-ubuntu.sh -------------------------------------------------------------------------------- /tools/playground/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/playground/requirements.txt -------------------------------------------------------------------------------- /tools/playground/wsgi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/playground/wsgi.py -------------------------------------------------------------------------------- /tools/pysa_integration_tests/run.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/pysa_integration_tests/run.py -------------------------------------------------------------------------------- /tools/sapp/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/sapp/README.md -------------------------------------------------------------------------------- /tools/typeshed_patcher/buck.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/typeshed_patcher/buck.py -------------------------------------------------------------------------------- /tools/typeshed_patcher/cli.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/typeshed_patcher/cli.py -------------------------------------------------------------------------------- /tools/typeshed_patcher/patch_specs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/typeshed_patcher/patch_specs.py -------------------------------------------------------------------------------- /tools/typeshed_patcher/patching.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/typeshed_patcher/patching.py -------------------------------------------------------------------------------- /tools/typeshed_patcher/transforms.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/typeshed_patcher/transforms.py -------------------------------------------------------------------------------- /tools/typeshed_patcher/typeshed.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/typeshed_patcher/typeshed.py -------------------------------------------------------------------------------- /tools/typeshed_patcher/upstream.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/typeshed_patcher/upstream.py -------------------------------------------------------------------------------- /tools/upgrade/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/upgrade/__init__.py -------------------------------------------------------------------------------- /tools/upgrade/ast.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/upgrade/ast.py -------------------------------------------------------------------------------- /tools/upgrade/commands/codemods.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/upgrade/commands/codemods.py -------------------------------------------------------------------------------- /tools/upgrade/commands/command.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/upgrade/commands/command.py -------------------------------------------------------------------------------- /tools/upgrade/commands/fixme.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/upgrade/commands/fixme.py -------------------------------------------------------------------------------- /tools/upgrade/commands/fixme_all.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/upgrade/commands/fixme_all.py -------------------------------------------------------------------------------- /tools/upgrade/commands/fixme_single.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/upgrade/commands/fixme_single.py -------------------------------------------------------------------------------- /tools/upgrade/configuration.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/upgrade/configuration.py -------------------------------------------------------------------------------- /tools/upgrade/errors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/upgrade/errors.py -------------------------------------------------------------------------------- /tools/upgrade/filesystem.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/upgrade/filesystem.py -------------------------------------------------------------------------------- /tools/upgrade/repository.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/upgrade/repository.py -------------------------------------------------------------------------------- /tools/upgrade/tests/ast_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/upgrade/tests/ast_test.py -------------------------------------------------------------------------------- /tools/upgrade/tests/errors_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/upgrade/tests/errors_test.py -------------------------------------------------------------------------------- /tools/upgrade/tests/filesystem_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/upgrade/tests/filesystem_test.py -------------------------------------------------------------------------------- /tools/upgrade/tests/upgrade_test.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/upgrade/tests/upgrade_test.py -------------------------------------------------------------------------------- /tools/upgrade/upgrade.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/facebook/pyre-check/HEAD/tools/upgrade/upgrade.py --------------------------------------------------------------------------------