diff --git a/src/agent/dfbscan.py b/src/agent/dfbscan.py index d49073a..41bc244 100644 --- a/src/agent/dfbscan.py +++ b/src/agent/dfbscan.py @@ -350,7 +350,7 @@ def __collect_potential_buggy_paths( # For memory leak-style bug types we only update when the path is empty. if not self.is_reachable: self.state.update_potential_buggy_paths( - src_value, path_with_unknown_status + src_value, path_with_unknown_status + [src_value] ) continue for value, ctx in path_set: