{"file_version":3,"config":{"repo":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/dataflowbench-native-pysa-python/dfb-taint-python-native-persistence-positive"}}
{"kind":"model","data":{"callable":"builtins.eval","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":4530,"sinks":[{"port":"formal(source, position=0, positional_only)","taint":[{"kinds":[{"kind":"RemoteCodeExecution"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"builtins.exec","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":4565,"sinks":[{"port":"formal(source, position=0, positional_only)","taint":[{"kinds":[{"kind":"RemoteCodeExecution"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"builtins.getattr","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":4708,"tito":[{"port":"formal(__default, position=2, positional_only)","taint":[{"kinds":[{"return_paths":{"":0},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(__o, position=0, positional_only)","taint":[{"kinds":[{"features":[{"always-via":"getattr"}],"return_paths":{"":0},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure"]}}
{"kind":"model","data":{"callable":"builtins.len","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":4846,"global_sanitizer":{"sources":"All","sinks":"All","tito":{"sources":"All","sinks":"All"}},"modes":["SkipObscure"]}}
{"kind":"model","data":{"callable":"builtins.next","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":5139,"tito":[{"port":"formal(__default, position=1, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(__i, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":0},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure"]}}
{"kind":"model","data":{"callable":"builtins.open","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":5935,"sinks":[{"port":"formal(file, position=0)","taint":[{"kinds":[{"via_features":[{"kind":"ViaValueOf","parameter":"formal(mode)","tag":"file-open-mode"}],"kind":"FileSystem_ReadWrite"},{"kind":"FileOperation@ExtraTraceSink"}],"declaration":null}]}],"tito":[{"port":"formal(file, position=0)","taint":[{"kinds":[{"features":[{"always-via":"external_query"},{"always-via":"filesystem_operation"}],"return_paths":{"":0},"kind":"LocalReturn"},{"features":[{"always-via":"external_query"},{"always-via":"filesystem_operation"}],"return_paths":{"":0},"kind":"FileOperation@LocalReturn"}],"tito":{}}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"builtins.sorted","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":6366,"tito":[{"port":"formal(__iterable, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(__iterable, position=0, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure"]}}
{"kind":"model","data":{"callable":"builtins.__import__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":6504,"sinks":[{"port":"formal(name, position=0)","taint":[{"kinds":[{"kind":"ExecImportSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"importlib.import_module","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/importlib/__init__.pyi","callable_line":10,"sinks":[{"port":"formal(name, position=0)","taint":[{"kinds":[{"kind":"ExecImportSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.putenv","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":1319,"sinks":[{"port":"formal(__value, position=1, positional_only)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]},{"port":"formal(__name, position=0, positional_only)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.unsetenv","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":1322,"sinks":[{"port":"formal(__name, position=0, positional_only)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.open","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":1486,"sinks":[{"port":"formal(path, position=0)","taint":[{"kinds":[{"via_features":[{"kind":"ViaValueOf","parameter":"formal(mode)","tag":"file-open-mode"}],"kind":"FileSystem_ReadWrite"},{"kind":"FileOperation@ExtraTraceSink"}],"declaration":null}]}],"tito":[{"port":"formal(path, position=0)","taint":[{"kinds":[{"features":[{"always-via":"external_query"},{"always-via":"filesystem_operation"},{"always-type":"integer"},{"always-type":"scalar"}],"return_paths":{"":0},"kind":"LocalReturn"},{"features":[{"always-via":"external_query"},{"always-via":"filesystem_operation"},{"always-type":"integer"},{"always-type":"scalar"}],"return_paths":{"":0},"kind":"FileOperation@LocalReturn"}],"tito":{}}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.access","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":1769,"sinks":[{"port":"formal(path, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.chdir","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":1801,"sinks":[{"port":"formal(path, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.chmod","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":1827,"sinks":[{"port":"formal(path, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.chflags","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":1857,"sinks":[{"port":"formal(path, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.lchflags","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":1858,"sinks":[{"port":"formal(path, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.chroot","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":1861,"sinks":[{"port":"formal(path, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.chown","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":1864,"sinks":[{"port":"formal(path, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.lchown","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":1895,"sinks":[{"port":"formal(path, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.link","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":1904,"sinks":[{"port":"formal(src_dir_fd)","taint":[{"kinds":[{"features":[{"always-type":"integer"},{"always-type":"scalar"}],"kind":"FileSystem_Other"}],"declaration":null}]},{"port":"formal(dst_dir_fd)","taint":[{"kinds":[{"features":[{"always-type":"integer"},{"always-type":"scalar"}],"kind":"FileSystem_Other"}],"declaration":null}]},{"port":"formal(dst, position=1)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]},{"port":"formal(src, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.mkdir","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":1934,"sinks":[{"port":"formal(path, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.makedirs","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":1961,"sinks":[{"port":"formal(name, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.remove","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2014,"sinks":[{"port":"formal(path, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.removedirs","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2024,"sinks":[{"port":"formal(name, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.rename","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2025,"sinks":[{"port":"formal(dst, position=1)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]},{"port":"formal(src, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.renames","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2036,"sinks":[{"port":"formal(new, position=1)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]},{"port":"formal(old, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.replace","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2037,"sinks":[{"port":"formal(dst, position=1)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]},{"port":"formal(src, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.rmdir","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2050,"sinks":[{"port":"formal(path, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.truncate","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2231,"sinks":[{"port":"formal(path, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.unlink","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2239,"sinks":[{"port":"formal(path, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.utime","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2249,"sinks":[{"port":"formal(path, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.walk","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2286,"sinks":[{"port":"formal(top, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.fwalk","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2301,"sinks":[{"port":"formal(top, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.execl","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2333,"sinks":[{"port":"formal(*args, position=2)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(file, position=0)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.execlp","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2334,"sinks":[{"port":"formal(file, position=0)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.execle","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2337,"sinks":[{"port":"formal(file, position=0)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.execlpe","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2340,"sinks":[{"port":"formal(file, position=0)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.execv","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2365,"sinks":[{"port":"formal(__argv, position=1, positional_only)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(__path, position=0, positional_only)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.execve","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2375,"sinks":[{"port":"formal(env, position=2)","taint":[{"kinds":[{"kind":"ExecEnvSink"}],"declaration":null}]},{"port":"formal(argv, position=1)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(path, position=0)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.execvp","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2387,"sinks":[{"port":"formal(args, position=1)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(file, position=0)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.execvpe","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2388,"sinks":[{"port":"formal(env, position=2)","taint":[{"kinds":[{"kind":"ExecEnvSink"}],"declaration":null}]},{"port":"formal(args, position=1)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(file, position=0)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.popen","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2445,"sinks":[{"port":"formal(cmd, position=0)","taint":[{"kinds":[{"kind":"RemoteCodeExecution"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.spawnl","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2447,"sinks":[{"port":"formal(*args, position=3)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(file, position=1)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.spawnle","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2449,"sinks":[{"port":"formal(*args, position=3)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(file, position=1)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.spawnv","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2453,"sinks":[{"port":"formal(args, position=2)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(file, position=1)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.spawnve","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2455,"sinks":[{"port":"formal(env, position=3)","taint":[{"kinds":[{"kind":"ExecEnvSink"}],"declaration":null}]},{"port":"formal(args, position=2)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(file, position=1)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.system","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2463,"sinks":[{"port":"formal(command, position=0)","taint":[{"kinds":[{"kind":"RemoteCodeExecution"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.spawnlp","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2529,"sinks":[{"port":"formal(*args, position=3)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(file, position=1)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.spawnlpe","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2531,"sinks":[{"port":"formal(*args, position=3)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(file, position=1)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.spawnvp","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2533,"sinks":[{"port":"formal(args, position=2)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(file, position=1)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"os.spawnvpe","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/os/__init__.pyi","callable_line":2535,"sinks":[{"port":"formal(env, position=3)","taint":[{"kinds":[{"kind":"ExecEnvSink"}],"declaration":null}]},{"port":"formal(args, position=2)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(file, position=1)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"subprocess.run","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/subprocess.pyi","callable_line":269,"sinks":[{"port":"formal(input)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(env, position=10)","taint":[{"kinds":[{"kind":"ExecEnvSink"}],"declaration":null}]},{"port":"formal(cwd, position=9)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(executable, position=2)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(args, position=0)","taint":[{"kinds":[{"via_features":[{"kind":"ViaValueOf","parameter":"formal(shell)","tag":"shell"},{"kind":"ViaTypeOf","parameter":"formal(args)"}],"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"subprocess.call","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/subprocess.pyi","callable_line":507,"sinks":[{"port":"formal(env, position=10)","taint":[{"kinds":[{"kind":"ExecEnvSink"}],"declaration":null}]},{"port":"formal(cwd, position=9)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(executable, position=2)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(args, position=0)","taint":[{"kinds":[{"via_features":[{"kind":"ViaValueOf","parameter":"formal(shell)","tag":"shell"},{"kind":"ViaTypeOf","parameter":"formal(args)"}],"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"subprocess.check_call","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/subprocess.pyi","callable_line":571,"sinks":[{"port":"formal(env, position=10)","taint":[{"kinds":[{"kind":"ExecEnvSink"}],"declaration":null}]},{"port":"formal(cwd, position=9)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(executable, position=2)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(args, position=0)","taint":[{"kinds":[{"via_features":[{"kind":"ViaValueOf","parameter":"formal(shell)","tag":"shell"},{"kind":"ViaTypeOf","parameter":"formal(args)"}],"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"subprocess.check_output","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/subprocess.pyi","callable_line":791,"sinks":[{"port":"formal(input)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(env, position=9)","taint":[{"kinds":[{"kind":"ExecEnvSink"}],"declaration":null}]},{"port":"formal(cwd, position=8)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(executable, position=2)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(args, position=0)","taint":[{"kinds":[{"via_features":[{"kind":"ViaValueOf","parameter":"formal(shell)","tag":"shell"},{"kind":"ViaTypeOf","parameter":"formal(args)"}],"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"subprocess.getstatusoutput","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/subprocess.pyi","callable_line":1443,"sinks":[{"port":"formal(cmd, position=0)","taint":[{"kinds":[{"via_features":[{"kind":"ViaTypeOf","parameter":"formal(cmd)"}],"kind":"RemoteCodeExecution"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"subprocess.getoutput","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/subprocess.pyi","callable_line":1444,"sinks":[{"port":"formal(cmd, position=0)","taint":[{"kinds":[{"via_features":[{"kind":"ViaTypeOf","parameter":"formal(cmd)"}],"kind":"RemoteCodeExecution"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"typing.cast","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":1087,"tito":[{"port":"formal(val, position=1)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure"]}}
{"kind":"model","data":{"callable":"_io.BytesIO.__init__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/_io.pyi","callable_line":387,"tito":[{"port":"formal(initial_bytes, position=1)","taint":[{"kinds":[{"features":[{"always-via":"bytesio"}],"return_paths":{"":0},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure"]}}
{"kind":"model","data":{"callable":"_typeshed._type_checker_internals.NamedTupleFallback._asdict","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/_typeshed/_type_checker_internals.pyi","callable_line":82,"tito":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure"]}}
{"kind":"model","data":{"callable":"ast._Attributes.__init__","filename":"*","tito":[{"port":"formal(**kwargs, excluded=[col_offset,end_col_offset,end_lineno,lineno])","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(lineno)","taint":[{"kinds":[{"return_paths":{"[lineno]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(end_lineno)","taint":[{"kinds":[{"return_paths":{"[end_lineno]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(end_col_offset)","taint":[{"kinds":[{"return_paths":{"[end_col_offset]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(col_offset)","taint":[{"kinds":[{"return_paths":{"[col_offset]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(__iterable, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":0},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(__iterable, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{".**keys":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}]}}
{"kind":"model","data":{"callable":"builtins.object.__class__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":127,"tito":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"features":[{"always-via":"benign"}],"return_paths":{"":0},"kind":"LocalReturn"}],"tito":{}}]}],"global_sanitizer":{"sources":"All","sinks":"All","tito":{"sources":"All","sinks":"All"}},"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.object.__new__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":138,"tito":[{"port":"formal(cls, position=0)","taint":[{"kinds":[{"return_paths":{"":0},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.type.__init__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":342,"global_sanitizer":{"sources":"All","sinks":"All","tito":{"sources":"All","sinks":"All"}},"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.type.__new__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":347,"global_sanitizer":{"sources":"All","sinks":"All","tito":{"sources":"All","sinks":"All"}},"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.str.count","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":1096,"tito":[{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"features":[{"always-type":"integer"},{"always-type":"scalar"},{"always-via":"benign"}],"return_paths":{"":0},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.str.format","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":1171,"sinks":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"kind":"FormatString"}],"declaration":null}]}],"modes":["Obscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.str.isidentifier","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":1239,"sinks":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"local_features":[{"always-via":"validated_isidentifer"}],"kind":"AddFeatureToArgument"}],"declaration":null}]}],"modes":["Obscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.str.__add__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":1815,"tito":[{"port":"formal(other, position=1, positional_only)","taint":[{"kinds":[{"features":[{"always-via":"string_concat_rhs"}],"return_paths":{"":0},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"features":[{"always-via":"string_concat_lhs"}],"return_paths":{"":0},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.tuple.__new__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3345,"tito":[{"port":"formal(iterable, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(iterable, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.tuple.__getitem__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3358,"tito":[{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.tuple.__iter__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3362,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.tuple.__add__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3389,"tito":[{"port":"formal(x, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.tuple.__mul__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3393,"tito":[{"port":"formal(n, position=1, positional_only)","taint":[{"kinds":[{"return_paths":{"":0},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.tuple.__rmul__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3396,"tito":[{"port":"formal(n, position=1, positional_only)","taint":[{"kinds":[{"return_paths":{"":0},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.list.__init__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3474,"tito":[{"port":"formal(iterable, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(iterable, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.list.copy","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3476,"tito":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.list.append","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3479,"tito":[{"port":"formal(object, position=1, positional_only)","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.list.extend","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3482,"tito":[{"port":"formal(iterable, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(iterable, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.list.pop","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3485,"tito":[{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.list.insert","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3504,"tito":[{"port":"formal(object, position=2, positional_only)","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.list.remove","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3507,"tito":[{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.list.sort","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3535,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.list.__iter__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3552,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.list.__getitem__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3562,"tito":[{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.list.__setitem__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3571,"tito":[{"port":"formal(element, position=2, positional_only)","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.list.__add__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3585,"tito":[{"port":"formal(x, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.list.__iadd__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3589,"tito":[{"port":"formal(x, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"},{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.list.__mul__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3592,"tito":[{"port":"formal(n, position=1, positional_only)","taint":[{"kinds":[{"return_paths":{"":0},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.list.__rmul__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3595,"tito":[{"port":"formal(n, position=1, positional_only)","taint":[{"kinds":[{"return_paths":{"":0},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.list.__imul__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3598,"tito":[{"port":"formal(n, position=1, positional_only)","taint":[{"kinds":[{"return_paths":{"":0},"kind":"LocalReturn"},{"return_paths":{"":0},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"},{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.dict.__init__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3668,"tito":[{"port":"formal(**kwargs, excluded=[self])","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(map, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":0},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(map, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{".**keys":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.dict.copy","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3671,"tito":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.dict.keys","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3674,"tito":[{"port":"formal(self, position=0).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.dict.values","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3677,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.dict.items","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3680,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"[*][1]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0).**keys","taint":[{"kinds":[{"return_paths":{"[*][0]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.dict.get","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3709,"tito":[{"port":"formal(default, position=2, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.dict.pop","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3732,"tito":[{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.dict.__getitem__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3744,"tito":[{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.dict.__setitem__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3747,"tito":[{"port":"formal(v, position=2, positional_only)","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(k, position=1, positional_only)","taint":[{"kinds":[{"return_paths":{".**keys":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.dict.__iter__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3753,"tito":[{"port":"formal(self, position=0).**keys","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.__init__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3855,"tito":[{"port":"formal(iterable, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(iterable, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.add","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3857,"tito":[{"port":"formal(element, position=1, positional_only)","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.copy","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3864,"tito":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.difference","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3867,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(s, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.difference_update","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3874,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(s, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.discard","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3877,"tito":[{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.intersection","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3885,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(s, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.intersection_update","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3892,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(s, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.remove","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3904,"tito":[{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.symmetric_difference","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3911,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(s, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.symmetric_difference_update","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3918,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(s, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.union","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3921,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(s, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.update","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3928,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(s, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.__iter__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3937,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.__and__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3940,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.__iand__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3943,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"},{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.__or__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3946,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.__ior__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3949,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"},{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.__sub__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3952,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.__isub__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3955,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"},{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.__xor__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3958,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.set.__ixor__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3961,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"},{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.frozenset.__new__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3995,"tito":[{"port":"formal(iterable, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(iterable, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.frozenset.copy","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":3997,"tito":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.frozenset.difference","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":4000,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(s, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.frozenset.intersection","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":4007,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(s, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.frozenset.symmetric_difference","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":4023,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(s, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.frozenset.union","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":4030,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(s, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.frozenset.__iter__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":4043,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.frozenset.__and__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":4046,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.frozenset.__or__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":4049,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.frozenset.__sub__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":4052,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.frozenset.__xor__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":4055,"tito":[{"port":"formal(s, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.enumerate.__new__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":4094,"tito":[{"port":"formal(iterable, position=1)[*]","taint":[{"kinds":[{"return_paths":{"[*][1]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.filter.__new__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":4631,"tito":[{"port":"formal(iterable, position=2, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(iterable, position=2, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.reversed.__new__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":6280,"tito":[{"port":"formal(sequence, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(sequence, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.BaseException.__str__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":6573,"sources":[{"port":"result","taint":[{"kinds":[{"via_features":[{"kind":"ViaTypeOf","parameter":"formal(self)"}],"kind":"Exception"}],"declaration":null}]}],"modes":["Obscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"builtins.BaseException.__repr__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/builtins.pyi","callable_line":6576,"sources":[{"port":"result","taint":[{"kinds":[{"via_features":[{"kind":"ViaTypeOf","parameter":"formal(self)"}],"kind":"Exception"}],"declaration":null}]}],"modes":["Obscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.deque.__init__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":256,"tito":[{"port":"formal(iterable, position=1)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(iterable, position=1).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.deque.append","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":258,"tito":[{"port":"formal(x, position=1, positional_only)","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.deque.appendleft","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":261,"tito":[{"port":"formal(x, position=1, positional_only)","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.deque.extend","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":270,"tito":[{"port":"formal(iterable, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(iterable, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.deque.extendleft","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":273,"tito":[{"port":"formal(iterable, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.deque.insert","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":276,"tito":[{"port":"formal(x, position=2, positional_only)","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.deque.pop","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":285,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.deque.popleft","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":288,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"},{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.deque.remove","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":291,"tito":[{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.deque.__getitem__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":305,"tito":[{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.deque.__setitem__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":308,"tito":[{"port":"formal(o, position=2, positional_only)","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.deque.__iadd__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":320,"tito":[{"port":"formal(x, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"},{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.deque.__imul__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":329,"tito":[{"port":"formal(n, position=1, positional_only)","taint":[{"kinds":[{"features":[{"always-type":"integer"},{"always-type":"scalar"}],"return_paths":{"":0},"kind":"LocalReturn"},{"features":[{"always-type":"integer"},{"always-type":"scalar"}],"return_paths":{"":0},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"},{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.OrderedDict.popitem","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":445,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"[1]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0).**keys","taint":[{"kinds":[{"return_paths":{"[0]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.OrderedDict.copy","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":459,"tito":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.OrderedDict.keys","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":465,"tito":[{"port":"formal(self, position=0).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.OrderedDict.items","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":466,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"[*][1]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0).**keys","taint":[{"kinds":[{"return_paths":{"[*][0]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.OrderedDict.values","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":467,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.OrderedDict.setdefault","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":493,"tito":[{"port":"formal(default, position=2)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"},{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(key, position=1)","taint":[{"kinds":[{"return_paths":{".**keys":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.defaultdict.__init__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":595,"tito":[{"port":"formal(**kwargs, excluded=[self])","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(map, position=2, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":0},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(map, position=2, positional_only).**keys","taint":[{"kinds":[{"return_paths":{".**keys":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(default_factory, position=1, positional_only)","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"collections.defaultdict.copy","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/collections/__init__.pyi","callable_line":614,"tito":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"decimal.DecimalTuple.__init__","filename":"*","tito":[{"port":"formal(exponent, position=3)","taint":[{"kinds":[{"return_paths":{"[exponent]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(digits, position=2)","taint":[{"kinds":[{"return_paths":{"[digits]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(sign, position=1)","taint":[{"kinds":[{"return_paths":{"[sign]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}]}}
{"kind":"model","data":{"callable":"functools._CacheInfo.__init__","filename":"*","tito":[{"port":"formal(currsize, position=4)","taint":[{"kinds":[{"return_paths":{"[currsize]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(maxsize, position=3)","taint":[{"kinds":[{"return_paths":{"[maxsize]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(misses, position=2)","taint":[{"kinds":[{"return_paths":{"[misses]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(hits, position=1)","taint":[{"kinds":[{"return_paths":{"[hits]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}]}}
{"kind":"model","data":{"callable":"functools._CacheParameters.__init__","filename":"*","tito":[{"port":"formal(**kwargs, excluded=[maxsize,typed])","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(typed)","taint":[{"kinds":[{"return_paths":{"[typed]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(maxsize)","taint":[{"kinds":[{"return_paths":{"[maxsize]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(__iterable, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":0},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(__iterable, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{".**keys":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}]}}
{"kind":"model","data":{"callable":"pathlib.PurePath.__new__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":106,"sinks":[{"port":"formal(*args, position=1)","taint":[{"kinds":[{"kind":"FileSystem_ReadWrite"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.PurePath.__truediv__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":120,"sinks":[{"port":"formal(key, position=1)","taint":[{"kinds":[{"kind":"FileSystem_ReadWrite"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.PurePath.__rtruediv__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":121,"sinks":[{"port":"formal(key, position=1)","taint":[{"kinds":[{"kind":"FileSystem_ReadWrite"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.Path.__new__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":192,"sinks":[{"port":"formal(*args, position=1)","taint":[{"kinds":[{"kind":"FileSystem_ReadWrite"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.Path.chmod","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":199,"sinks":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.Path.read_text","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":206,"sinks":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"kind":"FileSystem_ReadWrite"},{"kind":"FileOperation@ExtraTraceSink"}],"declaration":null}]}],"tito":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"features":[{"always-via":"external_query"},{"always-via":"filesystem_operation"}],"return_paths":{"":0},"kind":"LocalReturn"},{"features":[{"always-via":"external_query"},{"always-via":"filesystem_operation"}],"return_paths":{"":0},"kind":"FileOperation@LocalReturn"}],"tito":{}}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.Path.rglob","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":216,"sinks":[{"port":"formal(pattern, position=1)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.Path.lchmod","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":240,"sinks":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.Path.mkdir","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":243,"sinks":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.Path.open","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":325,"sinks":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"via_features":[{"kind":"ViaValueOf","parameter":"formal(mode)","tag":"file-open-mode"}],"kind":"FileSystem_ReadWrite"},{"kind":"FileOperation@ExtraTraceSink"}],"declaration":null}]}],"tito":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"features":[{"always-via":"external_query"},{"always-via":"filesystem_operation"}],"return_paths":{"":0},"kind":"LocalReturn"},{"features":[{"always-via":"external_query"},{"always-via":"filesystem_operation"}],"return_paths":{"":0},"kind":"FileOperation@LocalReturn"}],"tito":{}}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.Path.rename","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":354,"sinks":[{"port":"formal(target, position=1)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]},{"port":"formal(self, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.Path.replace","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":355,"sinks":[{"port":"formal(target, position=1)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]},{"port":"formal(self, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.Path.rmdir","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":357,"sinks":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.Path.symlink_to","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":358,"sinks":[{"port":"formal(target, position=1)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]},{"port":"formal(self, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.Path.touch","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":360,"sinks":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.Path.unlink","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":361,"sinks":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"kind":"FileSystem_Other"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.Path.read_bytes","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":366,"sinks":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"kind":"FileSystem_ReadWrite"},{"kind":"FileOperation@ExtraTraceSink"}],"declaration":null}]}],"tito":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"features":[{"always-via":"external_query"},{"always-via":"filesystem_operation"}],"return_paths":{"":0},"kind":"LocalReturn"},{"features":[{"always-via":"external_query"},{"always-via":"filesystem_operation"}],"return_paths":{"":0},"kind":"FileOperation@LocalReturn"}],"tito":{}}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.Path.write_bytes","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":368,"sinks":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"kind":"FileSystem_ReadWrite"}],"declaration":null}]}],"sanitizers":[{"port":"formal(self, position=0)","tito":{"sources":["UserControlled"]}}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"pathlib.Path.write_text","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/pathlib/__init__.pyi","callable_line":369,"sinks":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"kind":"FileSystem_ReadWrite"}],"declaration":null}]}],"sanitizers":[{"port":"formal(self, position=0)","tito":{"sources":["UserControlled"]}}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"re.Pattern.match","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/re.pyi","callable_line":257,"sinks":[{"port":"formal(string, position=1)","taint":[{"kinds":[{"local_features":[{"always-via":"validated_regex"}],"kind":"AddFeatureToArgument"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"subprocess.Popen.__init__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/subprocess.pyi","callable_line":1205,"sinks":[{"port":"formal(env, position=11)","taint":[{"kinds":[{"kind":"ExecEnvSink"}],"declaration":null}]},{"port":"formal(cwd, position=10)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(executable, position=3)","taint":[{"kinds":[{"kind":"ExecArgSink"}],"declaration":null}]},{"port":"formal(args, position=1)","taint":[{"kinds":[{"via_features":[{"kind":"ViaValueOf","parameter":"formal(shell)","tag":"shell"},{"kind":"ViaTypeOf","parameter":"formal(args)"}],"kind":"ExecArgSink"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"typing.SupportsInt.__int__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":505,"global_sanitizer":{"sources":"All","sinks":"All","tito":{"sources":"All","sinks":"All"}},"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.Sized.__len__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":552,"global_sanitizer":{"sources":"All","sinks":"All","tito":{"sources":"All","sinks":"All"}},"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.Iterable.__iter__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":569,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.Iterator.__next__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":575,"tito":[{"port":"formal(self, position=0)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.Iterator.__iter__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":576,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.Sequence.__getitem__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":725,"tito":[{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.Sequence.__iter__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":731,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableSequence.insert","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":737,"tito":[{"port":"formal(value, position=2, positional_only)","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableSequence.__setitem__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":751,"tito":[{"port":"formal(value, position=2, positional_only)","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableSequence.append","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":761,"tito":[{"port":"formal(value, position=1, positional_only)","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableSequence.extend","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":763,"tito":[{"port":"formal(values, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(values, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableSequence.reverse","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":764,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableSequence.pop","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":765,"tito":[{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableSequence.remove","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":766,"tito":[{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableSequence.__iadd__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":767,"tito":[{"port":"formal(values, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"},{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.AbstractSet.__and__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":789,"tito":[{"port":"formal(other, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.AbstractSet.__or__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":790,"tito":[{"port":"formal(other, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.AbstractSet.__sub__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":791,"tito":[{"port":"formal(other, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableSet.add","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":801,"tito":[{"port":"formal(value, position=1, positional_only)","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableSet.pop","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":806,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableSet.remove","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":807,"tito":[{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableSet.__ior__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":808,"tito":[{"port":"formal(it, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"},{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableSet.__iand__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":809,"tito":[{"port":"formal(it, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"},{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableSet.__ixor__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":810,"tito":[{"port":"formal(it, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"},{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableSet.__isub__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":811,"tito":[{"port":"formal(it, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"},{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.Mapping.__getitem__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":867,"tito":[{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.Mapping.get","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":875,"tito":[{"port":"formal(default, position=2, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.Mapping.items","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":877,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"[*][1]":999999},"kind":"LocalReturn"}],"tito":{}}]},{"port":"formal(self, position=0).**keys","taint":[{"kinds":[{"return_paths":{"[*][0]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.Mapping.keys","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":878,"tito":[{"port":"formal(self, position=0).**keys","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.Mapping.values","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":879,"tito":[{"port":"formal(self, position=0)[*]","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableMapping.__setitem__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":888,"tito":[{"port":"formal(v, position=2, positional_only)","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(k, position=1, positional_only)","taint":[{"kinds":[{"return_paths":{".**keys":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableMapping.pop","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":898,"tito":[{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableMapping.setdefault","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":911,"tito":[{"port":"formal(default, position=2, positional_only)","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"},{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(key, position=1, positional_only)","taint":[{"kinds":[{"return_paths":{".**keys":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(self, position=0, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"":999999},"kind":"LocalReturn"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"typing.MutableMapping.update","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/typing.pyi","callable_line":942,"tito":[{"port":"formal(**kwargs, excluded=[self])","taint":[{"kinds":[{"return_paths":{"[*]":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(__m, position=1, positional_only)[*]","taint":[{"kinds":[{"return_paths":{"[*]":0},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]},{"port":"formal(__m, position=1, positional_only).**keys","taint":[{"kinds":[{"return_paths":{".**keys":999999},"kind":"ParameterUpdate[formal(self, position=0)]"}],"tito":{}}]}],"modes":["SkipObscure","SkipOverrides"]}}
{"kind":"model","data":{"callable":"zipfile.ZipFile.__init__","filename":"*","path":"/private/tmp/dfb-v092-pysa-eeb701cb8f004b419315/pysa-pyrefly-2hobnxop/typeshed/zipfile/__init__.pyi","callable_line":175,"sinks":[{"port":"formal(file, position=1)","taint":[{"kinds":[{"via_features":[{"kind":"ViaValueOf","parameter":"formal(mode)","tag":"file-open-mode"}],"kind":"FileSystem_ReadWrite"}],"declaration":null}]}],"modes":["Obscure"]}}
{"kind":"model","data":{"callable":"Obj{builtins.object.__doc__}","tito":[{"port":"formal($global, position=0)","taint":[{"kinds":[{"features":[{"always-via":"benign"}],"return_paths":{"":0},"kind":"LocalReturn"}],"tito":{}}]}]}}
{"kind":"model","data":{"callable":"Obj{builtins.type.__name__}","tito":[{"port":"formal($global, position=0)","taint":[{"kinds":[{"features":[{"always-via":"benign"}],"return_paths":{"":0},"kind":"LocalReturn"}],"tito":{}}]}]}}