pyre-check-nightly 0.0.101737980055__py3-none-macosx_10_11_x86_64.whl → 0.0.101738066378__py3-none-macosx_10_11_x86_64.whl

pyre_check/__init__.py

@@ -3,4 +3,4 @@
 # This source code is licensed under the MIT license found in the
 # LICENSE file in the root directory of this source tree.
 
-__version__ = "0.0.101737980055"
+__version__ = "0.0.101738066378"

pyre_check/client/command_arguments.py

@@ -118,6 +118,7 @@ class CommandArguments:
     shared_memory_dependency_table_power: Optional[int] = None
     shared_memory_hash_table_power: Optional[int] = None
     number_of_workers: Optional[int] = None
+    max_number_of_workers: Optional[int] = None
     use_buck2: Optional[bool] = None
     enable_unawaited_awaitable_analysis: Optional[bool] = None
     include_suppressed_errors: Optional[bool] = None

pyre_check/client/configuration/configuration.py

@@ -132,6 +132,7 @@ class PartialConfiguration:
     isolation_prefix: Optional[str] = None
     logger: Optional[str] = None
     number_of_workers: Optional[int] = None
+    max_number_of_workers: Optional[int] = None
     oncall: Optional[str] = None
     other_critical_files: Sequence[str] = field(
         default_factory=list,
@@ -216,6 +217,7 @@ class PartialConfiguration:
             isolation_prefix=arguments.isolation_prefix,
             logger=arguments.logger,
             number_of_workers=arguments.number_of_workers,
+            max_number_of_workers=arguments.max_number_of_workers,
             oncall=None,
             other_critical_files=[],
             pysa_version_hash=None,
@@ -459,6 +461,9 @@ class PartialConfiguration:
                 number_of_workers=ensure_option_type(
                     configuration_json, "workers", int
                 ),
+                max_number_of_workers=ensure_option_type(
+                    configuration_json, "max_workers", int
+                ),
                 oncall=ensure_option_type(configuration_json, "oncall", str),
                 other_critical_files=ensure_string_list(
                     configuration_json, "critical_files"
@@ -608,6 +613,7 @@ class Configuration:
     isolation_prefix: Optional[str] = None
     logger: Optional[str] = None
     number_of_workers: Optional[int] = None
+    max_number_of_workers: Optional[int] = None
     oncall: Optional[str] = None
     other_critical_files: Sequence[str] = field(default_factory=list)
     pysa_version_hash: Optional[str] = None
@@ -670,6 +676,7 @@ class Configuration:
             isolation_prefix=partial_configuration.isolation_prefix,
             logger=partial_configuration.logger,
             number_of_workers=partial_configuration.number_of_workers,
+            max_number_of_workers=partial_configuration.max_number_of_workers,
             oncall=partial_configuration.oncall,
             other_critical_files=partial_configuration.other_critical_files,
             pysa_version_hash=partial_configuration.pysa_version_hash,
@@ -722,6 +729,7 @@ class Configuration:
         isolation_prefix = self.isolation_prefix
         logger = self.logger
         number_of_workers = self.number_of_workers
+        max_number_of_workers = self.max_number_of_workers
         oncall = self.oncall
         pysa_version_hash = self.pysa_version_hash
         python_version = self.python_version
@@ -775,6 +783,11 @@ class Configuration:
             **({"logger": logger} if logger is not None else {}),
             **({"oncall": oncall} if oncall is not None else {}),
             **({"workers": number_of_workers} if number_of_workers is not None else {}),
+            **(
+                {"max_workers": max_number_of_workers}
+                if max_number_of_workers is not None
+                else {}
+            ),
             "other_critical_files": list(self.other_critical_files),
             **(
                 {"pysa_version_hash": pysa_version_hash}
@@ -896,6 +909,16 @@ class Configuration:
             default_number_of_workers = 1
         else:
             default_number_of_workers = max(1, number_of_logical_cores // 2 - 1)
+            max_number_of_workers = self.max_number_of_workers
+            if (
+                max_number_of_workers is not None
+                and max_number_of_workers > 0
+                and default_number_of_workers > max_number_of_workers
+            ):
+                LOG.info(
+                    f"The number of workers is capped at the maximum {max_number_of_workers}."
+                )
+                default_number_of_workers = max_number_of_workers
 
         LOG.info(
             "Could not determine the number of Pyre workers from configuration. "

pyre_check/client/pyre.py

@@ -32,7 +32,6 @@ from . import (
     command_arguments,
     commands,
     configuration as configuration_module,
-    find_directories,
     frontend_configuration,
     identifiers,
     log,
@@ -315,6 +314,11 @@ def _create_and_check_configuration(
     hidden=True,
 )
 @click.option("--number-of-workers", type=int, help="Number of parallel workers to use")
+@click.option(
+    "--max-number-of-workers",
+    type=int,
+    help="When `--number-of-workers` is not set, this is the maximum number when calculating the default.",
+)
 @click.option("--no-logger", is_flag=True, default=False, hidden=True)
 def pyre(
     context: click.Context,
@@ -345,6 +349,7 @@ def pyre(
     shared_memory_dependency_table_power: Optional[int],
     shared_memory_hash_table_power: Optional[int],
     number_of_workers: Optional[int],
+    max_number_of_workers: Optional[int],
     no_logger: bool,
 ) -> None:
     arguments = command_arguments.CommandArguments(
@@ -384,6 +389,7 @@ def pyre(
         shared_memory_dependency_table_power=shared_memory_dependency_table_power,
         shared_memory_hash_table_power=shared_memory_hash_table_power,
         number_of_workers=number_of_workers,
+        max_number_of_workers=max_number_of_workers,
         use_buck2=None,
     )
     context.ensure_object(dict)

pyre_check/client/version.py

@@ -1 +1 @@
-__version__ = "0.0.101737980055"
+__version__ = "0.0.101738066378"

{pyre_check_nightly-0.0.101737980055.data → pyre_check_nightly-0.0.101738066378.data}/data/lib/pyre_check/taint/core_privacy_security/requests_api_sinks.pysa

@@ -22,6 +22,19 @@ def requests.api.request(
         cert = ...,
         json: TaintSink[HTTPClientRequest_DATA] = ...,
 ) -> TaintSource[DataFromInternet]: ...
+def requests.api.request(
+        method: AttachToTito[Via[http_query], Via[external_query]],
+        url: AttachToTito[Via[http_query], Via[external_query]],
+        params: AttachToTito[Via[http_query], Via[external_query]],
+        data: AttachToTito[Via[http_query], Via[external_query]],
+        headers: AttachToTito[Via[http_query], Via[external_query]],
+        cookies: AttachToTito[Via[http_query], Via[external_query]],
+        timeout: AttachToTito[Via[http_query], Via[external_query]],
+        proxies: AttachToTito[Via[http_query], Via[external_query]],
+        hooks: AttachToTito[Via[http_query], Via[external_query]],
+        stream: AttachToTito[Via[http_query], Via[external_query]],
+        json: AttachToTito[Via[http_query], Via[external_query]],
+): ...
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def requests.api.get(
         url: TaintSink[HTTPClientRequest_URI],
@@ -40,6 +53,19 @@ def requests.api.get(
         cert = ...,
         json: TaintSink[HTTPClientRequest_DATA] = ...,
 ) -> TaintSource[DataFromInternet]: ...
+def requests.api.get(
+        url: AttachToTito[Via[http_query], Via[external_query]],
+        params: AttachToTito[Via[http_query], Via[external_query]],
+        data: AttachToTito[Via[http_query], Via[external_query]],
+        headers: AttachToTito[Via[http_query], Via[external_query]],
+        cookies: AttachToTito[Via[http_query], Via[external_query]],
+        timeout: AttachToTito[Via[http_query], Via[external_query]],
+        proxies: AttachToTito[Via[http_query], Via[external_query]],
+        hooks: AttachToTito[Via[http_query], Via[external_query]],
+        stream: AttachToTito[Via[http_query], Via[external_query]],
+        json: AttachToTito[Via[http_query], Via[external_query]],
+): ...
+
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def requests.api.options(
         url: TaintSink[HTTPClientRequest_URI],
@@ -58,6 +84,19 @@ def requests.api.options(
         cert = ...,
         json: TaintSink[HTTPClientRequest_DATA] = ...,
 ) -> TaintSource[DataFromInternet]: ...
+def requests.api.options(
+        url: AttachToTito[Via[http_query], Via[external_query]],
+        params: AttachToTito[Via[http_query], Via[external_query]],
+        data: AttachToTito[Via[http_query], Via[external_query]],
+        headers: AttachToTito[Via[http_query], Via[external_query]],
+        cookies: AttachToTito[Via[http_query], Via[external_query]],
+        timeout: AttachToTito[Via[http_query], Via[external_query]],
+        proxies: AttachToTito[Via[http_query], Via[external_query]],
+        hooks: AttachToTito[Via[http_query], Via[external_query]],
+        stream: AttachToTito[Via[http_query], Via[external_query]],
+        json: AttachToTito[Via[http_query], Via[external_query]],
+): ...
+
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def requests.api.head(
         url: TaintSink[HTTPClientRequest_URI],
@@ -76,6 +115,18 @@ def requests.api.head(
         cert = ...,
         json: TaintSink[HTTPClientRequest_DATA] = ...,
 ) -> TaintSource[DataFromInternet]: ...
+def requests.api.head(
+        url: AttachToTito[Via[http_query], Via[external_query]],
+        params: AttachToTito[Via[http_query], Via[external_query]],
+        data: AttachToTito[Via[http_query], Via[external_query]],
+        headers: AttachToTito[Via[http_query], Via[external_query]],
+        cookies: AttachToTito[Via[http_query], Via[external_query]],
+        timeout: AttachToTito[Via[http_query], Via[external_query]],
+        proxies: AttachToTito[Via[http_query], Via[external_query]],
+        hooks: AttachToTito[Via[http_query], Via[external_query]],
+        stream: AttachToTito[Via[http_query], Via[external_query]],
+        json: AttachToTito[Via[http_query], Via[external_query]],
+): ...
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def requests.api.post(
         url: TaintSink[HTTPClientRequest_URI],
@@ -94,6 +145,18 @@ def requests.api.post(
         verify: TaintSink[HTTPClientRequest_METADATA] = ...,
         cert = ...,
 ) -> TaintSource[DataFromInternet]: ...
+def requests.api.post(
+        url: AttachToTito[Via[http_query], Via[external_query]],
+        data: AttachToTito[Via[http_query], Via[external_query]],
+        json: AttachToTito[Via[http_query], Via[external_query]],
+        params: AttachToTito[Via[http_query], Via[external_query]],
+        headers: AttachToTito[Via[http_query], Via[external_query]],
+        cookies: AttachToTito[Via[http_query], Via[external_query]],
+        timeout: AttachToTito[Via[http_query], Via[external_query]],
+        proxies: AttachToTito[Via[http_query], Via[external_query]],
+        hooks: AttachToTito[Via[http_query], Via[external_query]],
+        stream: AttachToTito[Via[http_query], Via[external_query]],
+): ...
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def requests.api.put(
         url: TaintSink[HTTPClientRequest_URI],
@@ -112,6 +175,18 @@ def requests.api.put(
         cert = ...,
         json: TaintSink[HTTPClientRequest_DATA] = ...,
 ) -> TaintSource[DataFromInternet]: ...
+def requests.api.put(
+        url: AttachToTito[Via[http_query], Via[external_query]],
+        data: AttachToTito[Via[http_query], Via[external_query]],
+        params: AttachToTito[Via[http_query], Via[external_query]],
+        headers: AttachToTito[Via[http_query], Via[external_query]],
+        cookies: AttachToTito[Via[http_query], Via[external_query]],
+        timeout: AttachToTito[Via[http_query], Via[external_query]],
+        proxies: AttachToTito[Via[http_query], Via[external_query]],
+        hooks: AttachToTito[Via[http_query], Via[external_query]],
+        stream: AttachToTito[Via[http_query], Via[external_query]],
+        json: AttachToTito[Via[http_query], Via[external_query]],
+): ...
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def requests.api.patch(
         url: TaintSink[HTTPClientRequest_URI],
@@ -130,6 +205,18 @@ def requests.api.patch(
         cert = ...,
         json: TaintSink[HTTPClientRequest_DATA] = ...,
 ) -> TaintSource[DataFromInternet]: ...
+def requests.api.patch(
+        url: AttachToTito[Via[http_query], Via[external_query]],
+        data: AttachToTito[Via[http_query], Via[external_query]],
+        params: AttachToTito[Via[http_query], Via[external_query]],
+        headers: AttachToTito[Via[http_query], Via[external_query]],
+        cookies: AttachToTito[Via[http_query], Via[external_query]],
+        timeout: AttachToTito[Via[http_query], Via[external_query]],
+        proxies: AttachToTito[Via[http_query], Via[external_query]],
+        hooks: AttachToTito[Via[http_query], Via[external_query]],
+        stream: AttachToTito[Via[http_query], Via[external_query]],
+        json: AttachToTito[Via[http_query], Via[external_query]],
+): ...
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def requests.api.delete(
         url: TaintSink[HTTPClientRequest_URI],
@@ -148,8 +235,20 @@ def requests.api.delete(
         cert = ...,
         json: TaintSink[HTTPClientRequest_DATA] = ...,
 ) -> TaintSource[DataFromInternet]: ...
-
+def requests.api.delete(
+        url: AttachToTito[Via[http_query], Via[external_query]],
+        params: AttachToTito[Via[http_query], Via[external_query]],
+        data: AttachToTito[Via[http_query], Via[external_query]],
+        headers: AttachToTito[Via[http_query], Via[external_query]],
+        cookies: AttachToTito[Via[http_query], Via[external_query]],
+        timeout: AttachToTito[Via[http_query], Via[external_query]],
+        proxies: AttachToTito[Via[http_query], Via[external_query]],
+        hooks: AttachToTito[Via[http_query], Via[external_query]],
+        stream: AttachToTito[Via[http_query], Via[external_query]],
+        json: AttachToTito[Via[http_query], Via[external_query]],
+): ...
 # SSRF [requests.Session]
+
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def requests.sessions.Session.get(
         self,
@@ -169,6 +268,18 @@ def requests.sessions.Session.get(
         cert = ...,
         json: TaintSink[HTTPClientRequest_DATA] = ...,
 ) -> TaintSource[DataFromInternet]: ...
+def requests.sessions.Session.get(
+        url: AttachToTito[Via[http_query], Via[external_query]],
+        params: AttachToTito[Via[http_query], Via[external_query]],
+        data: AttachToTito[Via[http_query], Via[external_query]],
+        headers: AttachToTito[Via[http_query], Via[external_query]],
+        cookies: AttachToTito[Via[http_query], Via[external_query]],
+        timeout: AttachToTito[Via[http_query], Via[external_query]],
+        proxies: AttachToTito[Via[http_query], Via[external_query]],
+        hooks: AttachToTito[Via[http_query], Via[external_query]],
+        stream: AttachToTito[Via[http_query], Via[external_query]],
+        json: AttachToTito[Via[http_query], Via[external_query]],
+): ...
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def requests.sessions.Session.options(
         self,
@@ -188,6 +299,18 @@ def requests.sessions.Session.options(
         cert = ...,
         json: TaintSink[HTTPClientRequest_DATA] = ...,
 ) -> TaintSource[DataFromInternet]: ...
+def requests.sessions.Session.options(
+        url: AttachToTito[Via[http_query], Via[external_query]],
+        params: AttachToTito[Via[http_query], Via[external_query]],
+        data: AttachToTito[Via[http_query], Via[external_query]],
+        headers: AttachToTito[Via[http_query], Via[external_query]],
+        cookies: AttachToTito[Via[http_query], Via[external_query]],
+        timeout: AttachToTito[Via[http_query], Via[external_query]],
+        proxies: AttachToTito[Via[http_query], Via[external_query]],
+        hooks: AttachToTito[Via[http_query], Via[external_query]],
+        stream: AttachToTito[Via[http_query], Via[external_query]],
+        json: AttachToTito[Via[http_query], Via[external_query]],
+): ...
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def requests.sessions.Session.head(
         self,
@@ -207,6 +330,18 @@ def requests.sessions.Session.head(
         cert = ...,
         json: TaintSink[HTTPClientRequest_DATA] = ...,
 ) -> TaintSource[DataFromInternet]: ...
+def requests.sessions.Session.head(
+        url: AttachToTito[Via[http_query], Via[external_query]],
+        params: AttachToTito[Via[http_query], Via[external_query]],
+        data: AttachToTito[Via[http_query], Via[external_query]],
+        headers: AttachToTito[Via[http_query], Via[external_query]],
+        cookies: AttachToTito[Via[http_query], Via[external_query]],
+        timeout: AttachToTito[Via[http_query], Via[external_query]],
+        proxies: AttachToTito[Via[http_query], Via[external_query]],
+        hooks: AttachToTito[Via[http_query], Via[external_query]],
+        stream: AttachToTito[Via[http_query], Via[external_query]],
+        json: AttachToTito[Via[http_query], Via[external_query]],
+): ...
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def requests.sessions.Session.post(
         self,
@@ -226,6 +361,18 @@ def requests.sessions.Session.post(
         verify: TaintSink[HTTPClientRequest_METADATA] = ...,
         cert = ...,
 ) -> TaintSource[DataFromInternet]: ...
+def requests.sessions.Session.post(
+        url: AttachToTito[Via[http_query], Via[external_query]],
+        data: AttachToTito[Via[http_query], Via[external_query]],
+        json: AttachToTito[Via[http_query], Via[external_query]],
+        params: AttachToTito[Via[http_query], Via[external_query]],
+        headers: AttachToTito[Via[http_query], Via[external_query]],
+        cookies: AttachToTito[Via[http_query], Via[external_query]],
+        timeout: AttachToTito[Via[http_query], Via[external_query]],
+        proxies: AttachToTito[Via[http_query], Via[external_query]],
+        hooks: AttachToTito[Via[http_query], Via[external_query]],
+        stream: AttachToTito[Via[http_query], Via[external_query]],
+): ...
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def requests.sessions.Session.put(
         self,
@@ -245,6 +392,18 @@ def requests.sessions.Session.put(
         cert = ...,
         json: TaintSink[HTTPClientRequest_DATA] = ...,
 ) -> TaintSource[DataFromInternet]: ...
+def requests.sessions.Session.put(
+        url: AttachToTito[Via[http_query], Via[external_query]],
+        data: AttachToTito[Via[http_query], Via[external_query]],
+        params: AttachToTito[Via[http_query], Via[external_query]],
+        headers: AttachToTito[Via[http_query], Via[external_query]],
+        cookies: AttachToTito[Via[http_query], Via[external_query]],
+        timeout: AttachToTito[Via[http_query], Via[external_query]],
+        proxies: AttachToTito[Via[http_query], Via[external_query]],
+        hooks: AttachToTito[Via[http_query], Via[external_query]],
+        stream: AttachToTito[Via[http_query], Via[external_query]],
+        json: AttachToTito[Via[http_query], Via[external_query]],
+): ...
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def requests.sessions.Session.patch(
         self,
@@ -264,6 +423,18 @@ def requests.sessions.Session.patch(
         cert = ...,
         json: TaintSink[HTTPClientRequest_DATA] = ...,
 ) -> TaintSource[DataFromInternet]: ...
+def requests.sessions.Session.patch(
+        url: AttachToTito[Via[http_query], Via[external_query]],
+        data: AttachToTito[Via[http_query], Via[external_query]],
+        params: AttachToTito[Via[http_query], Via[external_query]],
+        headers: AttachToTito[Via[http_query], Via[external_query]],
+        cookies: AttachToTito[Via[http_query], Via[external_query]],
+        timeout: AttachToTito[Via[http_query], Via[external_query]],
+        proxies: AttachToTito[Via[http_query], Via[external_query]],
+        hooks: AttachToTito[Via[http_query], Via[external_query]],
+        stream: AttachToTito[Via[http_query], Via[external_query]],
+        json: AttachToTito[Via[http_query], Via[external_query]],
+): ...
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def requests.sessions.Session.delete(
         self,
@@ -283,6 +454,18 @@ def requests.sessions.Session.delete(
         cert = ...,
         json: TaintSink[HTTPClientRequest_DATA] = ...,
 ) -> TaintSource[DataFromInternet]: ...
+def requests.sessions.Session.delete(
+        url: AttachToTito[Via[http_query], Via[external_query]],
+        params: AttachToTito[Via[http_query], Via[external_query]],
+        data: AttachToTito[Via[http_query], Via[external_query]],
+        headers: AttachToTito[Via[http_query], Via[external_query]],
+        cookies: AttachToTito[Via[http_query], Via[external_query]],
+        timeout: AttachToTito[Via[http_query], Via[external_query]],
+        proxies: AttachToTito[Via[http_query], Via[external_query]],
+        hooks: AttachToTito[Via[http_query], Via[external_query]],
+        stream: AttachToTito[Via[http_query], Via[external_query]],
+        json: AttachToTito[Via[http_query], Via[external_query]],
+): ...
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def requests.sessions.Session.request(
         self,
@@ -303,37 +486,44 @@ def requests.sessions.Session.request(
         cert = ...,
         json: TaintSink[HTTPClientRequest_DATA] = ...,
 ) -> TaintSource[DataFromInternet]: ...
+def requests.sessions.Session.request(
+        method: AttachToTito[Via[http_query], Via[external_query]],
+        url: AttachToTito[Via[http_query], Via[external_query]],
+        params: AttachToTito[Via[http_query], Via[external_query]],
+        data: AttachToTito[Via[http_query], Via[external_query]],
+        headers: AttachToTito[Via[http_query], Via[external_query]],
+        cookies: AttachToTito[Via[http_query], Via[external_query]],
+        timeout: AttachToTito[Via[http_query], Via[external_query]],
+        proxies: AttachToTito[Via[http_query], Via[external_query]],
+        hooks: AttachToTito[Via[http_query], Via[external_query]],
+        stream: AttachToTito[Via[http_query], Via[external_query]],
+        json: AttachToTito[Via[http_query], Via[external_query]],
+): ...
 
 # Authentication sinks
 def requests.models.Request.__init__(self, auth: TaintSink[Authentication] = ...): ...
 def requests.models.PreparedRequest.prepare(auth: TaintSink[Authentication] = ...): ...
 
 # SSRF [urllib.request]
-if sys.version >= (3, 13, 0):
-    @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
-    def urllib.request.urlopen(url: TaintSink[HTTPClientRequest_URI],
-                               data: TaintSink[HTTPClientRequest_DATA],
-                               timeout,
-                               *,
-                               context) -> TaintSource[DataFromInternet]: ...
-else:
-    @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
-    def urllib.request.urlopen(url: TaintSink[HTTPClientRequest_URI],
-                               data: TaintSink[HTTPClientRequest_DATA],
-                               timeout,
-                               *,
-                               cafile,
-                               capath,
-                               cadefault,
-                               context) -> TaintSource[DataFromInternet]: ...
+@Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
+def urllib.request.urlopen(url: TaintSink[HTTPClientRequest_URI], data: TaintSink[HTTPClientRequest_DATA]) -> TaintSource[DataFromInternet]: ...
+def urllib.request.urlopen(url: AttachToTito[Via[http_query], Via[external_query]], data: AttachToTito[Via[http_query], Via[external_query]]): ...
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def urllib.request.urlretrieve(url: TaintSink[HTTPClientRequest_URI], filename, reporthook, data: TaintSink[HTTPClientRequest_DATA] ) -> TaintSource[DataFromInternet]: ...
+def urllib.request.urlretrieve(url: AttachToTito[Via[http_query], Via[external_query]], data: AttachToTito[Via[http_query], Via[external_query]] ): ...
+
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def urllib.request.URLopener.open(self, fullurl: TaintSink[HTTPClientRequest_URI], data: TaintSink[HTTPClientRequest_DATA] ) -> TaintSource[DataFromInternet]: ...
+def urllib.request.URLopener.open(fullurl: AttachToTito[Via[http_query], Via[external_query]], data: AttachToTito[Via[http_query], Via[external_query]] ): ...
+
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def urllib.request.URLopener.open_unknown(self, fullurl: TaintSink[HTTPClientRequest_URI], data: TaintSink[HTTPClientRequest_DATA]) -> TaintSource[DataFromInternet]: ...
+def urllib.request.URLopener.open_unknown(fullurl: AttachToTito[Via[http_query], Via[external_query]], data: AttachToTito[Via[http_query], Via[external_query]]): ...
+
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 def urllib.request.URLopener.retrieve(self, url: TaintSink[HTTPClientRequest_URI], filename, reporthook, data: TaintSink[HTTPClientRequest_DATA]) -> TaintSource[DataFromInternet]: ...
+def urllib.request.URLopener.retrieve(url: AttachToTito[Via[http_query], Via[external_query]], data: AttachToTito[Via[http_query], Via[external_query]]): ...
+
 @Sanitize(TaintInTaintOut[TaintSource[ServerSecrets]])
 @SkipObscure
 def urllib.parse.urlencode(query: TaintInTaintOut[Via[urlencode]], doseq, safe, encoding, errors, quote_via): ...
@@ -381,6 +571,11 @@ def http.client.HTTPConnection.request(self,
                                        *,
                                        encode_chunked
                                       ): ...
+def http.client.HTTPConnection.request(method: AttachToTito[Via[http_query], Via[external_query]],
+                                       url: AttachToTito[Via[http_query], Via[external_query]],
+                                       body: AttachToTito[Via[http_query], Via[external_query]],
+                                       headers: AttachToTito[Via[http_query], Via[external_query]]
+                                      ): ...
 def http.client.HTTPConnection.set_tunnel(self,
                                           host: TaintSink[HTTPClientRequest_URI],
                                           port: TaintSink[HTTPClientRequest_METADATA],
@@ -392,6 +587,9 @@ def http.client.HTTPConnection.putrequest(self,
                                           skip_host,
                                           skip_accept_encoding
                                          ): ...
+def http.client.HTTPConnection.putrequest(method: AttachToTito[Via[http_query], Via[external_query]],
+                                          url: AttachToTito[Via[http_query], Via[external_query]]
+                                         ): ...
 def http.client.HTTPConnection.putheader(self,
                                          header: TaintSink[HTTPClientRequest_METADATA],
                                          *argument: TaintSink[HTTPClientRequest_DATA]

{pyre_check_nightly-0.0.101737980055.data → pyre_check_nightly-0.0.101738066378.data}/data/lib/pyre_check/taint/core_privacy_security/taint.config

@@ -121,6 +121,10 @@
       "comment": "Indicates that this flow passed through a Thrift query, and thus might not reflect the original tainted data anymore",
       "name": "thrift_query"
     },
+    {
+      "comment": "Indicates that this flow passed through some http request and thus the response might not reflect the original tainted data anymore",
+      "name": "http_query"
+    },
     {
       "comment": "Indicates that this flow passed through a Filesystem operation, and thus might not reflect the original tainted data anymore",
       "name": "filesystem_operation"

{pyre_check_nightly-0.0.101737980055.dist-info → pyre_check_nightly-0.0.101738066378.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: pyre-check-nightly
-Version: 0.0.101737980055
+Version: 0.0.101738066378
 Summary: A performant type checker for Python
 Home-page: https://pyre-check.org/
 Download-URL: https://github.com/facebook/pyre-check