{"version":"1.181.0","results":[],"errors":[],"paths":{"scanned":["/Users/dave/.codex/worktrees/9f01/dataflowbench/execution-state/v092/groups/series-01/semgrep-java-modeling/attempt-01/tmp/dataflowbench-modeling-semgrep-java/dfb-taint-java-model-sanitizer-kill-negative/source/ModelSanitizerKillNegative.java"]},"time":{"rules":[],"rules_parse_time":0.0005309581756591797,"profiling_times":{"config_time":0.08455204963684082,"core_time":12.182518005371094,"ignores_time":3.5762786865234375e-05,"total_time":12.270396947860718},"parsing_time":{"total_time":0.0035409927368164062,"per_file_time":{"mean":0.0035409927368164062,"std_dev":0.0},"very_slow_stats":{"time_ratio":0.0,"count_ratio":0.0},"very_slow_files":[]},"scanning_time":{"total_time":0.005200862884521484,"per_file_time":{"mean":0.005200862884521484,"std_dev":0.0},"very_slow_stats":{"time_ratio":0.0,"count_ratio":0.0},"very_slow_files":[]},"matching_time":{"total_time":0.0011348724365234375,"per_file_and_rule_time":{"mean":0.0011348724365234375,"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.00020599365234375,"per_def_and_rule_time":{"mean":2.942766462053571e-05,"std_dev":2.9440482704762405e-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":88376512},"engine_requested":"OSS","skipped_rules":[],"profiling_results":[]}