Merge pull request #21 from PurCL/fix

chengpeng-wang · web-flow · commit 70f4cbdf6c46 · 2025-09-30T09:15:19.000+08:00
fix a bug for intra-procedural MLK bug detection
diff --git 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:

Original file line number	Diff line number	Diff line change
`@@ -350,7 +350,7 @@ def __collect_potential_buggy_paths(`
`350`	`350`	`# For memory leak-style bug types we only update when the path is empty.`
`351`	`351`	`if not self.is_reachable:`
`352`	`352`	`self.state.update_potential_buggy_paths(`
`353`		`- src_value, path_with_unknown_status`
	`353`	`+ src_value, path_with_unknown_status + [src_value]`
`354`	`354`	`)`
`355`	`355`	`continue`
`356`	`356`	`for value, ctx in path_set:`