{"version":"1.181.0","results":[],"errors":[],"paths":{"scanned":["/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/semgrep-python-modeling/attempt-01/tmp/dataflowbench-modeling-semgrep-python/dfb-taint-python-model-sanitizer-kill-negative/source/clean.py"]},"time":{"rules":[],"rules_parse_time":0.0003180503845214844,"profiling_times":{"config_time":0.08298587799072266,"core_time":20.727853059768677,"ignores_time":3.695487976074219e-05,"total_time":20.814182996749878},"parsing_time":{"total_time":0.0031099319458007812,"per_file_time":{"mean":0.0031099319458007812,"std_dev":0.0},"very_slow_stats":{"time_ratio":0.0,"count_ratio":0.0},"very_slow_files":[]},"scanning_time":{"total_time":0.005040168762207031,"per_file_time":{"mean":0.005040168762207031,"std_dev":0.0},"very_slow_stats":{"time_ratio":0.0,"count_ratio":0.0},"very_slow_files":[]},"matching_time":{"total_time":0.0014488697052001953,"per_file_and_rule_time":{"mean":0.0014488697052001953,"std_dev":0.0},"very_slow_stats":{"time_ratio":0.0,"count_ratio":0.0},"very_slow_rules_on_files":[]},"tainting_time":{"total_time":0.00019788742065429688,"per_def_and_rule_time":{"mean":3.9577484130859375e-05,"std_dev":3.756167643587105e-09},"very_slow_stats":{"time_ratio":0.0,"count_ratio":0.0},"very_slow_rules_on_defs":[]},"fixpoint_timeouts":[],"prefiltering":{"project_level_time":0.0,"file_level_time":0.0,"rules_with_project_prefilters_ratio":0.0,"rules_with_file_prefilters_ratio":1.0,"rules_selected_ratio":1.0,"rules_matched_ratio":1.0},"targets":[],"total_bytes":0,"max_memory_bytes":88711296},"engine_requested":"OSS","skipped_rules":[],"profiling_results":[]}