Skip to content

Implicit sinks scope #1009

@antoniodevanalysis

Description

@antoniodevanalysis

Pysa Bug

Pre-submission checklist
[x] I've checked the list of common issues and mine does not appear

Bug description
Please enter a clear and concise description of what the bug is.

We are trying to get Pysa to work on implicit sinks (specifically 'conditional_test'). It works well within the scope of the function where the tainted source is defined but as soon as we get out of scope it doesn't. We did the exact same experiment with explicit sink and it works.

Reproduction steps
Enter steps to reproduce the behavior.

We took the exercise1 example and created a PoC from it:

views.py:

# Copyright (c) Meta Platforms, Inc. and affiliates.
#
# This source code is licensed under the MIT license found in the
# LICENSE file in the root directory of this source tree.

from django.http import HttpRequest, HttpResponse

def operator_on_if(somevar):
    eval(somevar)
    if somevar:
        return True


def operate_on_twos(request: HttpRequest) -> HttpResponse:
    operator = request.GET["operator"]

    if operator:
        pass
    result = eval(f"2 {operator} 2")  # noqa: P204

    operator_on_if(operator)
    return result

taint.config:

{
  "sources": [
    {
      "name": "CustomUserControlled",
      "comment": "use to annotate user input"
    }
  ],

  "sinks": [
    {
      "name": "ConditionalBranch",
      "comment": "use to detect conditional branches"
    },
    {
      "name": "CodeExecution",
      "comment": "use to annotate execution of python code"
    }
  ],
  "implicit_sinks": {
      "conditional_test": ["ConditionalBranch"]
  },

  "features": [],

  "rules": [
    {
      "name": "Possible RCE:",
      "code": 5001,
      "sources": [ "CustomUserControlled" ],
      "sinks": [ "CodeExecution" ],
      "message_format": "User specified data may reach a code execution sink"
    },
    {
      "name": "Possible conditional branch:",
      "code": 683874,
      "sources": [ "CustomUserControlled" ],
      "sinks": [ "ConditionalBranch" ],
      "message_format": "User specified data may reach a conditional branch"
    }
  ],

  "maximum_overrides_to_analyze": 30
}

sources_sinks.pysa:

django.http.request.HttpRequest.GET: TaintSource[CustomUserControlled] = ...

def eval(__source: TaintSink[CodeExecution]): ...

Run pyre analyze.

Expected behavior
Give a clear and concise description of what you expected to happen.

We expect four catches (17, 19, 21, 21) and got only three (17, 19, 21): we also tested without eval in operate_on_if and no catch.

Logs
Please run your reproduction steps with --noninteractive (eg. pyre --noninteractive analyze) and paste the output here:

2025-10-15 16:59:02,887 [PID 209368] INFO No binary specified, looking for `pyre.bin` in PATH
2025-10-15 16:59:02,887 [PID 209368] INFO Pyre binary is located at `~/pyre-check/documentation/pysa_tutorial/.venv/bin/pyre.bin`
2025-10-15 16:59:02,888 [PID 209368] INFO Could not determine the number of Pyre workers from configuration. Auto-set the value to 3.
2025-10-15 16:59:02,894 [PID 209368] INFO No typeshed specified, looking for it...
2025-10-15 16:59:02,894 [PID 209368] INFO Found: `~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed`
2025-10-15 16:59:02,894 [PID 209368] INFO Writing arguments into /tmp/pyre_arguments_zo5fh5oh.json...
2025-10-15 16:59:02,895 [PID 209368] DEBUG Arguments:
{
  "source_paths": {
    "kind": "simple",
    "paths": [
      "~/pyre-check/documentation/pysa_tutorial/exercise1"
    ]
  },
  "search_paths": [
    "~/pyre-check/documentation/pysa_tutorial/exercise1/../../../stubs",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$prompt_toolkit",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$dataclasses_json",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$asgiref",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$zstandard",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$yaml-stubs",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$tomli",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$django_stubs_ext",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$django-stubs",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$libcst",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$parso",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$typeguard",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$marshmallow",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$itsdangerous",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$tomli_w",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$werkzeug",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$click",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$xxhash",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$cryptography",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$executing",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$markupsafe",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$asttokens",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$blinker",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$traitlets",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$testslide",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$stack_data",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$promise",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$pkg_resources",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$flask",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$graphql",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$pure_eval",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$packaging",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$jinja2",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib64/python3.13/site-packages$mypy_django_plugin",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stdlib",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/ExifRead",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/PyMySQL",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/PyYAML",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/aiofiles",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/chevron",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/colorama",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/ldap3",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/mysqlclient",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/paramiko",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/psycopg2",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/pycurl",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/python-dateutil",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/pytz",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/regex",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/requests",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/retry",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/tqdm",
    "~/pyre-check/documentation/pysa_tutorial/.venv/lib/pyre_check/typeshed/stubs/ujson"
  ],
  "excludes": [
    ".*/integration_test/.*"
  ],
  "checked_directory_allowlist": [
    "~/pyre-check/documentation/pysa_tutorial/exercise1"
  ],
  "checked_directory_blocklist": [],
  "extensions": [],
  "log_path": "~/pyre-check/documentation/pysa_tutorial/exercise1/.pyre",
  "global_root": "~/pyre-check/documentation/pysa_tutorial/exercise1",
  "debug": false,
  "python_version": {
    "major": 3,
    "minor": 13,
    "micro": 7
  },
  "shared_memory": {},
  "parallel": true,
  "number_of_workers": 3,
  "infer_self_tito": true,
  "infer_argument_tito": false,
  "no_verify": false,
  "verify_dsl": false,
  "verify_taint_config_only": false,
  "strict": false,
  "taint_model_paths": [
    "~/pyre-check/documentation/pysa_tutorial/exercise1"
  ],
  "use_cache": false,
  "build_cache_only": false,
  "check_invariants": false,
  "limit_entrypoints": false,
  "compact_ocaml_heap": false,
  "saved_state": {
    "watchman_root": null,
    "project_name": null,
    "preset": null,
    "cache_critical_files": []
  },
  "compute_coverage": false
}
2025-10-15 16:59:02,916 [PID 209368] PERFORMANCE  Initialized shared memory (heap size: 8589934592, dep table pow: 1, hash table pow: 26): 0.001s
2025-10-15 16:59:02,916 [PID 209368] PERFORMANCE  Initialized multiprocessing workers (workers: 3): 0.001s
2025-10-15 16:59:02,916 [PID 209368] INFO  Initializing and verifying taint configuration...
2025-10-15 16:59:02,916 [PID 209368] INFO  Initialized and verified taint configuration: 0.000s
2025-10-15 16:59:02,916 [PID 209368] PERFORMANCE  Initialized and verified taint configuration: 0.000s
2025-10-15 16:59:02,916 [PID 209368] INFO  Verifying model syntax...
2025-10-15 16:59:02,916 [PID 209368] INFO  Finding taint models in `~/pyre-check/documentation/pysa_tutorial/exercise1`.
2025-10-15 16:59:02,916 [PID 209368] INFO  Verified model syntax: 0.000s
2025-10-15 16:59:02,916 [PID 209368] PERFORMANCE  Verified model syntax: 0.000s
2025-10-15 16:59:02,916 [PID 209368] INFO  Parsing taint models modes...
2025-10-15 16:59:02,916 [PID 209368] INFO  Finding taint models in `~/pyre-check/documentation/pysa_tutorial/exercise1`.
2025-10-15 16:59:02,916 [PID 209368] INFO  Parsed taint models modes: 0.000s
2025-10-15 16:59:02,916 [PID 209368] PERFORMANCE  Parsed taint models modes: 0.000s
2025-10-15 16:59:02,916 [PID 209368] INFO  Building module tracker...
2025-10-15 16:59:03,028 [PID 209368] PERFORMANCE  Module tracker built: 0.109s
2025-10-15 16:59:03,028 [PID 209368] PERFORMANCE  Full environment built: 0.109s
2025-10-15 16:59:03,028 [PID 209368] INFO  Starting type checking...
2025-10-15 16:59:03,028 [PID 209368] INFO  Found 3588 modules
2025-10-15 16:59:03,028 [PID 209368] INFO  Collecting all definitions...
2025-10-15 16:59:08,092 [PID 209368] PERFORMANCE  Collected definitions (defines: 69199): 5.058s
2025-10-15 16:59:08,092 [PID 209368] INFO  Found 69199 functions
2025-10-15 16:59:08,092 [PID 209368] INFO  Checking 69199 functions...
2025-10-15 16:59:13,219 [PID 209368] INFO  Processed 4943 of 69199 functions
2025-10-15 16:59:14,331 [PID 209368] INFO  Processed 9886 of 69199 functions
2025-10-15 16:59:14,433 [PID 209368] INFO  Processed 14829 of 69199 functions
2025-10-15 16:59:18,956 [PID 209368] INFO  Processed 19772 of 69199 functions
2025-10-15 16:59:21,283 [PID 209368] INFO  Processed 24715 of 69199 functions
2025-10-15 16:59:26,646 [PID 209368] INFO  Processed 29658 of 69199 functions
2025-10-15 16:59:27,539 [PID 209368] INFO  Processed 34601 of 69199 functions
2025-10-15 16:59:29,383 [PID 209368] INFO  Processed 39544 of 69199 functions
2025-10-15 16:59:33,662 [PID 209368] INFO  Processed 44487 of 69199 functions
2025-10-15 16:59:36,236 [PID 209368] INFO  Processed 49430 of 69199 functions
2025-10-15 16:59:39,362 [PID 209368] INFO  Processed 54373 of 69199 functions
2025-10-15 16:59:39,990 [PID 209368] INFO  Processed 59316 of 69199 functions
2025-10-15 16:59:42,307 [PID 209368] INFO  Processed 64259 of 69199 functions
2025-10-15 16:59:44,511 [PID 209368] INFO  Processed 69199 of 69199 functions
2025-10-15 16:59:44,511 [PID 209368] PERFORMANCE  Check_TypeCheck: 36.417s
2025-10-15 16:59:44,511 [PID 209368] MEMORY  Shared memory size post-typecheck (size: 90)
2025-10-15 16:59:44,511 [PID 209368] INFO  Computing class hierarchy graph...
2025-10-15 16:59:46,171 [PID 209368] INFO  Computed class hierarchy graph: 1.664s
2025-10-15 16:59:46,171 [PID 209368] PERFORMANCE  Computed class hierarchy graph: 1.665s
2025-10-15 16:59:46,171 [PID 209368] INFO  Computing class intervals...
2025-10-15 16:59:46,201 [PID 209368] INFO  Computed class intervals: 0.030s
2025-10-15 16:59:46,202 [PID 209368] PERFORMANCE  Computed class intervals: 0.030s
2025-10-15 16:59:46,283 [PID 209368] INFO  Fetching initial callables to analyze...
2025-10-15 16:59:48,560 [PID 209368] INFO  Fetched initial callables to analyze: 2.276s
2025-10-15 16:59:48,560 [PID 209368] PERFORMANCE  Fetched initial callables to analyze (definitions: 17296, internals: 3, stubs: 38300): 2.276s
2025-10-15 16:59:48,560 [PID 209368] INFO  Building a map from callable names to definitions...
2025-10-15 16:59:50,843 [PID 209368] INFO  Map from callable names to definitions built: 2.286s
2025-10-15 16:59:50,843 [PID 209368] PERFORMANCE  Map from callable names to definitions built: 2.286s
2025-10-15 16:59:50,843 [PID 209368] INFO  Parsing taint models...
2025-10-15 16:59:51,035 [PID 209368] INFO  Finding taint models in `~/pyre-check/documentation/pysa_tutorial/exercise1`.
2025-10-15 16:59:51,086 [PID 209368] INFO  Parsed taint models: 0.243s
2025-10-15 16:59:51,086 [PID 209368] PERFORMANCE  Parsed taint models (models: 2, queries: 0): 0.243s
2025-10-15 16:59:51,086 [PID 209368] INFO  Computing inferred models...
2025-10-15 16:59:51,743 [PID 209368] INFO  Computed inferred models: 0.655s
2025-10-15 16:59:51,743 [PID 209368] PERFORMANCE  Computed inferred models (models: 689): 0.655s
2025-10-15 16:59:51,895 [PID 209368] INFO  Computing overrides...
2025-10-15 16:59:54,343 [PID 209368] WARNING  `lib2to3.fixer_base.BaseFix.transform` has 56 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,343 [PID 209368] WARNING  `libcst._nodes.base.CSTNode._codegen_impl` has 105 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,344 [PID 209368] WARNING  `libcst._nodes.base.CSTNode._visit_and_replace_children` has 122 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,344 [PID 209368] WARNING  `object.__eq__` has 391 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,344 [PID 209368] WARNING  `object.__hash__` has 241 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,344 [PID 209368] WARNING  `object.__init__` has 1508 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,344 [PID 209368] WARNING  `object.__ne__` has 72 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,344 [PID 209368] WARNING  `object.__repr__` has 311 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,344 [PID 209368] WARNING  `object.__setattr__` has 54 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,344 [PID 209368] WARNING  `object.__str__` has 59 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,344 [PID 209368] WARNING  `type.__call__` has 272 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,344 [PID 209368] WARNING  `type.__init__` has 1385 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,344 [PID 209368] WARNING  `type.__new__` has 216 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,344 [PID 209368] WARNING  `type.__or__` has 81 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,344 [PID 209368] WARNING  `typing.Collection.__len__` has 84 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,344 [PID 209368] WARNING  `typing.GenericMeta.__getitem__` has 58 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,344 [PID 209368] WARNING  `typing.Iterable.__iter__` has 62 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,344 [PID 209368] WARNING  `typing.NamedTuple.__init__` has 129 overrides, this might slow down the analysis considerably.
2025-10-15 16:59:54,365 [PID 209368] INFO  Overrides computed: 2.471s
2025-10-15 16:59:54,365 [PID 209368] PERFORMANCE  Overrides computed: 2.471s
2025-10-15 16:59:54,365 [PID 209368] INFO  Indexing global constants...
2025-10-15 16:59:55,791 [PID 209368] INFO  Finished constant propagation analysis: 1.419s
2025-10-15 16:59:55,791 [PID 209368] PERFORMANCE  Finished constant propagation analysis: 1.419s
2025-10-15 16:59:55,791 [PID 209368] INFO  Building map from callables to decorators...
2025-10-15 16:59:56,024 [PID 209368] INFO  Map from callables to decorators built: 0.233s
2025-10-15 16:59:56,024 [PID 209368] PERFORMANCE  Map from callables to decorators built: 0.233s
2025-10-15 16:59:56,044 [PID 209368] INFO  Building defines and call graphs of decorated targets...
2025-10-15 16:59:57,115 [PID 209368] INFO  Defines and call graphs of decorated targets built: 1.072s
2025-10-15 16:59:57,115 [PID 209368] PERFORMANCE  Defines and call graphs of decorated targets built: 1.072s
2025-10-15 16:59:57,115 [PID 209368] INFO  Building call graph...
2025-10-15 17:00:20,130 [PID 209368] INFO  Call graph built: 23.008s
2025-10-15 17:00:20,130 [PID 209368] PERFORMANCE  Call graph built: 23.008s
2025-10-15 17:00:20,130 [PID 209368] INFO  Computing dependencies...
2025-10-15 17:00:20,262 [PID 209368] INFO  Computed dependencies: 0.131s
2025-10-15 17:00:20,262 [PID 209368] PERFORMANCE  Computed dependencies: 0.131s
2025-10-15 17:00:20,262 [PID 209368] INFO  Computing higher order call graphs...
2025-10-15 17:00:21,524 [PID 209368] PERFORMANCE  Recorded initial models: 0.684s
2025-10-15 17:00:21,524 [PID 209368] INFO  Iteration #0. 8288 callables [...]
2025-10-15 17:00:22,132 [PID 209368] INFO  Processed 2763 of 8288 callables
2025-10-15 17:00:22,172 [PID 209368] INFO  Processed 5525 of 8288 callables
2025-10-15 17:00:22,294 [PID 209368] INFO  Processed 8288 of 8288 callables
2025-10-15 17:00:23,173 [PID 209368] INFO  Iteration #0, 8288 callables, heap size 0.152GB took 1.65s
2025-10-15 17:00:23,173 [PID 209368] INFO  Iteration #1. 4938 callables [...]
2025-10-15 17:00:23,830 [PID 209368] INFO  Processed 1644 of 4938 callables
2025-10-15 17:00:23,981 [PID 209368] INFO  Processed 3291 of 4938 callables
2025-10-15 17:00:24,890 [PID 209368] INFO  Processed 4938 of 4938 callables
2025-10-15 17:00:25,759 [PID 209368] INFO  Iteration #1, 4938 callables, heap size 0.154GB took 2.58s
2025-10-15 17:00:25,759 [PID 209368] INFO  Iteration #2. 4598 callables [...]
2025-10-15 17:00:26,245 [PID 209368] INFO  Processed 1532 of 4598 callables
2025-10-15 17:00:26,831 [PID 209368] INFO  Processed 3065 of 4598 callables
2025-10-15 17:00:27,003 [PID 209368] INFO  Processed 4598 of 4598 callables
2025-10-15 17:00:28,114 [PID 209368] INFO  Iteration #2, 4598 callables, heap size 0.156GB took 2.36s
2025-10-15 17:00:28,115 [PID 209368] INFO  Iteration #3. 2157 callables [...]
2025-10-15 17:00:28,519 [PID 209368] INFO  Processed 720 of 2157 callables
2025-10-15 17:00:28,520 [PID 209368] INFO  Processed 1440 of 2157 callables
2025-10-15 17:00:28,540 [PID 209368] INFO  Processed 2157 of 2157 callables
2025-10-15 17:00:28,662 [PID 209368] INFO  Iteration #3, 2157 callables, heap size 0.157GB took 0.55s
2025-10-15 17:00:28,672 [PID 209368] INFO  Iteration #4. 852 callables [...]
2025-10-15 17:00:28,945 [PID 209368] INFO  Processed 285 of 852 callables
2025-10-15 17:00:28,965 [PID 209368] INFO  Processed 567 of 852 callables
2025-10-15 17:00:28,966 [PID 209368] INFO  Processed 852 of 852 callables
2025-10-15 17:00:29,087 [PID 209368] INFO  Iteration #4, 852 callables, heap size 0.158GB took 0.42s
2025-10-15 17:00:29,087 [PID 209368] INFO  Iteration #5. 676 callables [...]
2025-10-15 17:00:29,269 [PID 209368] INFO  Processed 226 of 676 callables
2025-10-15 17:00:29,300 [PID 209368] INFO  Processed 452 of 676 callables
2025-10-15 17:00:29,381 [PID 209368] INFO  Processed 676 of 676 callables
2025-10-15 17:00:29,472 [PID 209368] INFO  Iteration #5, 676 callables, heap size 0.158GB took 0.38s
2025-10-15 17:00:29,472 [PID 209368] INFO  Iteration #6. 192 callables [...]
2025-10-15 17:00:29,664 [PID 209368] INFO  Processed 192 of 192 callables
2025-10-15 17:00:29,705 [PID 209368] INFO  Iteration #6, 192 callables, heap size 0.158GB took 0.23s
2025-10-15 17:00:29,705 [PID 209368] INFO  Iteration #7. 89 callables [...]
2025-10-15 17:00:29,806 [PID 209368] INFO  Processed 89 of 89 callables
2025-10-15 17:00:29,826 [PID 209368] INFO  Iteration #7, 89 callables, heap size 0.158GB took 0.12s
2025-10-15 17:00:29,827 [PID 209368] INFO  Iteration #8. 28 callables [...]
2025-10-15 17:00:29,887 [PID 209368] INFO  Processed 28 of 28 callables
2025-10-15 17:00:29,898 [PID 209368] INFO  Iteration #8, 28 callables, heap size 0.158GB took 0.07s
2025-10-15 17:00:30,918 [PID 209368] INFO  Dropping decorated targets in models took 1.02s
2025-10-15 17:00:30,959 [PID 209368] INFO  Failed to apply decorators for `werkzeug.testapp.test_app@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.wrappers.request.Request.application]
2025-10-15 17:00:30,959 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.app.App.add_template_filter@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,959 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.app.App.add_template_global@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,959 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.app.App.add_template_test@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,959 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.app.App.add_url_rule@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,959 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.app.App.jinja_env@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,959 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.app.App.logger@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,959 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.app.App.name@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,959 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.app.App.register_blueprint@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,960 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.app.App.shell_context_processor@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,960 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.app.App.teardown_appcontext@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,960 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.app.App.template_filter@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,960 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.app.App.template_global@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,960 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.app.App.template_test@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,960 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.add_app_template_filter@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,960 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.add_app_template_global@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,960 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.add_app_template_test@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,960 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.add_url_rule@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,960 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.after_app_request@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,960 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.app_context_processor@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,960 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.app_errorhandler@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,961 [PID 209368] INFO  Failed to apply decorators for `dataclasses_json.mm.build_schema.make_instance@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [marshmallow.post_load]
2025-10-15 17:00:30,961 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.app_template_filter@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,961 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.app_template_global@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,961 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.app_template_test@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,961 [PID 209368] INFO  Failed to apply decorators for `flask.logging.wsgi_errors_stream@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.local.LocalProxy]
2025-10-15 17:00:30,961 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.app_url_defaults@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,961 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.app_url_value_preprocessor@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,961 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.before_app_request@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,961 [PID 209368] INFO  Failed to apply decorators for `jinja2.compiler._make_binop.visitor@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [jinja2.compiler.optimizeconst]
2025-10-15 17:00:30,961 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.record@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,961 [PID 209368] INFO  Failed to apply decorators for `jinja2.compiler._make_unop.visitor@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [jinja2.compiler.optimizeconst]
2025-10-15 17:00:30,961 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.record_once@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,962 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.register_blueprint@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,962 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.blueprints.Blueprint.teardown_app_request@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,962 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.add_url_rule@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,962 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.after_request@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,962 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.before_request@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,962 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.context_processor@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,962 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.delete@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,962 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.endpoint@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,962 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.errorhandler@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,962 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.get@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,962 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.jinja_loader@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,962 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.patch@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,963 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.post@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,963 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.put@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,963 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.register_error_handler@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,963 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.route@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,963 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.teardown_request@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,963 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.url_defaults@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,963 [PID 209368] INFO  Failed to apply decorators for `flask.sansio.scaffold.Scaffold.url_value_preprocessor@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [flask.sansio.scaffold.setupmethod]
2025-10-15 17:00:30,963 [PID 209368] INFO  Failed to apply decorators for `jinja2.compiler.CodeGenerator.visit_Call@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [jinja2.compiler.optimizeconst]
2025-10-15 17:00:30,963 [PID 209368] INFO  Failed to apply decorators for `jinja2.compiler.CodeGenerator.visit_Compare@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [jinja2.compiler.optimizeconst]
2025-10-15 17:00:30,963 [PID 209368] INFO  Failed to apply decorators for `jinja2.compiler.CodeGenerator.visit_Concat@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [jinja2.compiler.optimizeconst]
2025-10-15 17:00:30,963 [PID 209368] INFO  Failed to apply decorators for `jinja2.compiler.CodeGenerator.visit_CondExpr@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [jinja2.compiler.optimizeconst]
2025-10-15 17:00:30,963 [PID 209368] INFO  Failed to apply decorators for `jinja2.compiler.CodeGenerator.visit_Filter@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [jinja2.compiler.optimizeconst]
2025-10-15 17:00:30,964 [PID 209368] INFO  Failed to apply decorators for `jinja2.compiler.CodeGenerator.visit_Getattr@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [jinja2.compiler.optimizeconst]
2025-10-15 17:00:30,964 [PID 209368] INFO  Failed to apply decorators for `jinja2.compiler.CodeGenerator.visit_Getitem@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [jinja2.compiler.optimizeconst]
2025-10-15 17:00:30,964 [PID 209368] INFO  Failed to apply decorators for `jinja2.compiler.CodeGenerator.visit_Test@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [jinja2.compiler.optimizeconst]
2025-10-15 17:00:30,964 [PID 209368] INFO  Failed to apply decorators for `prompt_toolkit.buffer.Buffer._create_auto_suggest_coroutine.async_suggestor@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [prompt_toolkit.buffer._only_one_at_a_time]
2025-10-15 17:00:30,964 [PID 209368] INFO  Failed to apply decorators for `prompt_toolkit.buffer.Buffer._create_auto_validate_coroutine.async_validator@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [prompt_toolkit.buffer._only_one_at_a_time]
2025-10-15 17:00:30,964 [PID 209368] INFO  Failed to apply decorators for `prompt_toolkit.buffer.Buffer._create_completer_coroutine.async_completer@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [prompt_toolkit.buffer._only_one_at_a_time]
2025-10-15 17:00:30,964 [PID 209368] INFO  Failed to apply decorators for `traitlets.config.application.Application._config_changed@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [traitlets.traitlets.observe_compat; traitlets.traitlets.observe("config")]
2025-10-15 17:00:30,964 [PID 209368] INFO  Failed to apply decorators for `traitlets.config.application.Application._log_default@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [traitlets.traitlets.default("log")]
2025-10-15 17:00:30,964 [PID 209368] INFO  Failed to apply decorators for `traitlets.config.application.Application._observe_logging_change@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [traitlets.traitlets.observe("log_datefmt", "log_format", "log_level", "logging_config")]
2025-10-15 17:00:30,964 [PID 209368] INFO  Failed to apply decorators for `traitlets.config.application.Application._observe_logging_default@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [traitlets.traitlets.observe("log", $parameter$type = "default")]
2025-10-15 17:00:30,964 [PID 209368] INFO  Failed to apply decorators for `traitlets.config.application.Application._show_config_changed@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [traitlets.traitlets.observe("show_config")]
2025-10-15 17:00:30,964 [PID 209368] INFO  Failed to apply decorators for `traitlets.config.application.Application._show_config_json_changed@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [traitlets.traitlets.observe("show_config_json")]
2025-10-15 17:00:30,965 [PID 209368] INFO  Failed to apply decorators for `traitlets.config.application.Application.initialize@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [traitlets.config.application.catch_config_error]
2025-10-15 17:00:30,965 [PID 209368] INFO  Failed to apply decorators for `traitlets.config.application.Application.initialize_subcommand@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [traitlets.config.application.catch_config_error]
2025-10-15 17:00:30,965 [PID 209368] INFO  Failed to apply decorators for `traitlets.config.application.Application.load_config_environ@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [traitlets.config.application.catch_config_error]
2025-10-15 17:00:30,965 [PID 209368] INFO  Failed to apply decorators for `traitlets.config.application.Application.load_config_file@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [traitlets.config.application.catch_config_error]
2025-10-15 17:00:30,965 [PID 209368] INFO  Failed to apply decorators for `traitlets.config.application.Application.parse_command_line@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [traitlets.config.application.catch_config_error]
2025-10-15 17:00:30,965 [PID 209368] INFO  Failed to apply decorators for `traitlets.config.configurable.Configurable._config_changed@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [traitlets.traitlets.observe_compat; traitlets.traitlets.observe("config")]
2025-10-15 17:00:30,965 [PID 209368] INFO  Failed to apply decorators for `traitlets.config.configurable.LoggingConfigurable._log_default@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [traitlets.traitlets.default("log")]
2025-10-15 17:00:30,965 [PID 209368] INFO  Failed to apply decorators for `traitlets.config.configurable.LoggingConfigurable._validate_log@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [traitlets.traitlets.validate("log")]
2025-10-15 17:00:30,965 [PID 209368] INFO  Failed to apply decorators for `werkzeug.debug.tbtools.DebugFrameSummary.console@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,965 [PID 209368] INFO  Failed to apply decorators for `werkzeug.debug.tbtools.DebugFrameSummary.info@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,965 [PID 209368] INFO  Failed to apply decorators for `werkzeug.debug.tbtools.DebugFrameSummary.is_library@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,965 [PID 209368] INFO  Failed to apply decorators for `werkzeug.debug.tbtools.DebugTraceback.all_frames@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,966 [PID 209368] INFO  Failed to apply decorators for `werkzeug.debug.tbtools.DebugTraceback.all_tracebacks@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,966 [PID 209368] INFO  Failed to apply decorators for `werkzeug.routing.exceptions.BuildError.suggested@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,966 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.accept_charsets@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,966 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.accept_encodings@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,966 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.accept_languages@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,966 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.accept_mimetypes@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,966 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.access_route@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,966 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.args@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,966 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.authorization@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,966 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.base_url@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,966 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.cache_control@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,967 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.content_length@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,967 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.cookies@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,967 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.full_path@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,967 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.host@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,967 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.host_url@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,967 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.if_match@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,967 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.if_modified_since@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,967 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.if_none_match@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,967 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.if_range@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,967 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.if_unmodified_since@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,967 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.pragma@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,967 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.range@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,968 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.root_url@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,968 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.url@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,968 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.request.Request.user_agent@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,968 [PID 209368] INFO  Failed to apply decorators for `werkzeug.sansio.response.Response.www_authenticate@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [www_authenticate.deleter]
2025-10-15 17:00:30,968 [PID 209368] INFO  Failed to apply decorators for `werkzeug.test.TestResponse.text@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,968 [PID 209368] INFO  Failed to apply decorators for `werkzeug.wrappers.request.Request.data@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,968 [PID 209368] INFO  Failed to apply decorators for `werkzeug.wrappers.request.Request.files@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,968 [PID 209368] INFO  Failed to apply decorators for `werkzeug.wrappers.request.Request.form@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,968 [PID 209368] INFO  Failed to apply decorators for `werkzeug.wrappers.request.Request.stream@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,968 [PID 209368] INFO  Failed to apply decorators for `werkzeug.wrappers.request.Request.url_root@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,968 [PID 209368] INFO  Failed to apply decorators for `werkzeug.wrappers.request.Request.values@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,968 [PID 209368] INFO  Failed to apply decorators for `werkzeug.wrappers.response.Response.stream@decorated`, which may lead to false negatives. Consider skipping one of these decorators: [werkzeug.utils.cached_property]
2025-10-15 17:00:30,969 [PID 209368] INFO  Top frequent decorators that potentially lead to failing to apply decorators:
2025-10-15 17:00:30,969 [PID 209368] INFO  Decorator flask.sansio.scaffold.setupmethod: 43 times
2025-10-15 17:00:30,969 [PID 209368] INFO  Decorator werkzeug.utils.cached_property: 42 times
2025-10-15 17:00:30,969 [PID 209368] INFO  Decorator jinja2.compiler.optimizeconst: 10 times
2025-10-15 17:00:30,969 [PID 209368] INFO  Decorator traitlets.config.application.catch_config_error: 5 times
2025-10-15 17:00:30,969 [PID 209368] INFO  Decorator prompt_toolkit.buffer._only_one_at_a_time: 3 times
2025-10-15 17:00:30,969 [PID 209368] INFO  Decorator traitlets.traitlets.default("log"): 2 times
2025-10-15 17:00:30,969 [PID 209368] INFO  Decorator traitlets.traitlets.observe("config"): 2 times
2025-10-15 17:00:30,969 [PID 209368] INFO  Decorator traitlets.traitlets.observe_compat: 2 times
2025-10-15 17:00:30,969 [PID 209368] INFO  Decorator marshmallow.post_load: 1 times
2025-10-15 17:00:30,969 [PID 209368] INFO  Decorator traitlets.traitlets.observe("log", $parameter$type = "default"): 1 times
2025-10-15 17:00:32,502 [PID 209368] INFO  Computed higher order call graphs: 12.237s
2025-10-15 17:00:32,503 [PID 209368] PERFORMANCE  Computed higher order call graphs: 12.238s
2025-10-15 17:00:32,503 [PID 209368] INFO  Computing dependencies from higher order call graphs...
2025-10-15 17:00:32,604 [PID 209368] INFO  Computed dependencies from higher order call graphs: 0.102s
2025-10-15 17:00:32,604 [PID 209368] PERFORMANCE  Computed dependencies from higher order call graphs: 0.102s
2025-10-15 17:00:32,978 [PID 209368] INFO  Purging shared memory...
2025-10-15 17:00:33,261 [PID 209368] PERFORMANCE  Purged shared memory: 0.285s
2025-10-15 17:00:33,262 [PID 209368] INFO  Purging shared memory...
2025-10-15 17:00:33,272 [PID 209368] PERFORMANCE  Purged shared memory: 0.012s
2025-10-15 17:00:33,272 [PID 209368] INFO  Initializing taint models for parameterized callables...
2025-10-15 17:00:33,313 [PID 209368] INFO  Initialized taint models for parameterized callables: 0.035s
2025-10-15 17:00:33,313 [PID 209368] PERFORMANCE  Initialized taint models for parameterized callables: 0.035s
2025-10-15 17:00:33,313 [PID 209368] INFO  Analysis fixpoint started for 14713 overrides and 14 functions......
2025-10-15 17:00:34,686 [PID 209368] PERFORMANCE  Recorded initial models: 1.375s
2025-10-15 17:00:34,686 [PID 209368] INFO  Iteration #0. 6 callables [views.operator_on_if, traitlets.config.loader.DeferredConfig._super_repr, traitlets.config.loader.DeferredConfigString.__repr__, markupsafe.Markup.__repr__, views.operate_on_twos, views.$toplevel]
2025-10-15 17:00:34,737 [PID 209368] INFO  Processed 3 of 6 callables
2025-10-15 17:00:34,737 [PID 209368] INFO  Processed 6 of 6 callables
2025-10-15 17:00:34,737 [PID 209368] INFO  Iteration #0, 6 callables, heap size 0.136GB took 0.05s
2025-10-15 17:00:34,737 [PID 209368] INFO  Iteration #1. 5 callables [views.operator_on_if, traitlets.config.loader.DeferredConfig._super_repr, traitlets.config.loader.DeferredConfigString.__repr__, markupsafe.Markup.__repr__, views.operate_on_twos]
2025-10-15 17:00:34,788 [PID 209368] INFO  Processed 2 of 5 callables
2025-10-15 17:00:34,788 [PID 209368] INFO  Processed 4 of 5 callables
2025-10-15 17:00:34,788 [PID 209368] INFO  Processed 5 of 5 callables
2025-10-15 17:00:34,788 [PID 209368] INFO  Iteration #1, 5 callables, heap size 0.136GB took 0.05s
2025-10-15 17:00:34,849 [PID 209368] INFO  Found 3 issues
2025-10-15 17:00:34,849 [PID 209368] INFO  Analysis fixpoint complete: 1.538s
2025-10-15 17:00:34,849 [PID 209368] PERFORMANCE  Analysis fixpoint complete (iterations: 2, heap size: 136459456, issues: 3): 1.538s
2025-10-15 17:00:34,849 [PID 209368] PERFORMANCE  Analyze: 91.933s
[
  {
    "line": 17,
    "column": 7,
    "stop_line": 17,
    "stop_column": 15,
    "path": "views.py",
    "code": 683874,
    "name": "Possible conditional branch:",
    "description": "Possible conditional branch: [683874]: User specified data may reach a conditional branch",
    "define": "views.operate_on_twos"
  },
  {
    "line": 21,
    "column": 19,
    "stop_line": 21,
    "stop_column": 27,
    "path": "views.py",
    "code": 5001,
    "name": "Possible RCE:",
    "description": "Possible RCE: [5001]: User specified data may reach a code execution sink",
    "define": "views.operate_on_twos"
  },
  {
    "line": 19,
    "column": 18,
    "stop_line": 19,
    "stop_column": 35,
    "path": "views.py",
    "code": 5001,
    "name": "Possible RCE:",
    "description": "Possible RCE: [5001]: User specified data may reach a code execution sink",
    "define": "views.operate_on_twos"
  }
]

Additional context
Add any other context about the problem here. (like dependencies in your venv, third party stub files being used, overall goals, etc.)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions