From 27a1dc08d982776518fb4cea89e89697c2567f3e Mon Sep 17 00:00:00 2001 From: jinyaoguo Date: Sun, 28 Sep 2025 00:09:26 -0400 Subject: [PATCH] fix a bug for intra-procedural MLK bug detection --- src/agent/dfbscan.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: