{"version":"1.181.0","results":[{"check_id":"Users.dave..codex.worktrees.9f01.dataflowbench.execution-state.v092.groups.series-01.semgrep-kotlin-kernel.attempt-01.reports.raw.semgrep-kotlin-kernel.dfb-taint-endpoint-contract","path":"/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/semgrep-kotlin-kernel/attempt-01/tmp/dataflowbench-semgrep-kotlin/dfb-taint-kotlin-infeasible-branch-positive/source/InfeasibleBranchPositive.kt","start":{"line":15,"col":9,"offset":366},"end":{"line":15,"col":24,"offset":381},"extra":{"message":"benchmark-controlled taint reached the case's declared sink endpoint","metadata":{},"severity":"WARNING","fingerprint":"requires login","lines":"requires login","validation_state":"NO_VALIDATOR","engine_kind":"OSS"}}],"errors":[],"paths":{"scanned":["/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/semgrep-kotlin-kernel/attempt-01/tmp/dataflowbench-semgrep-kotlin/dfb-taint-kotlin-infeasible-branch-positive/source/InfeasibleBranchPositive.kt"]},"time":{"rules":[],"rules_parse_time":0.0003330707550048828,"profiling_times":{"config_time":0.07809114456176758,"core_time":22.964459657669067,"ignores_time":4.410743713378906e-05,"total_time":23.046355962753296},"parsing_time":{"total_time":0.0038590431213378906,"per_file_time":{"mean":0.0038590431213378906,"std_dev":0.0},"very_slow_stats":{"time_ratio":0.0,"count_ratio":0.0},"very_slow_files":[]},"scanning_time":{"total_time":0.00542902946472168,"per_file_time":{"mean":0.00542902946472168,"std_dev":0.0},"very_slow_stats":{"time_ratio":0.0,"count_ratio":0.0},"very_slow_files":[]},"matching_time":{"total_time":0.0011210441589355469,"per_file_and_rule_time":{"mean":0.0011210441589355469,"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.00022602081298828125,"per_def_and_rule_time":{"mean":4.520416259765625e-05,"std_dev":3.4573213270050476e-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":87893568},"engine_requested":"OSS","skipped_rules":[],"profiling_results":[]}