alipay · Bangbabazz · Dec 12, 2025 · Dec 12, 2025 · Dec 12, 2025 · Dec 16, 2025
diff --git a/...es/accuracy/flow_sensitive/normal_stmt/sequential_assign_001_T/sequential_assign_001_T.go b/...es/accuracy/flow_sensitive/normal_stmt/sequential_assign_001_T/sequential_assign_001_T.go
@@ -14,7 +14,7 @@ import (
 	"os/exec"
 )
 
-func sequentialAssign_001_T(__taint_src string) {
+func sequential_assign_001_T(__taint_src string) {
 	// 场景特点：按顺序执行多个赋值语句
 	var a string
 	var b string
@@ -29,5 +29,5 @@ func __taint_sink(o interface{}) {
 
 func main() {
 	__taint_src := "taint_src_value"
-	sequentialAssign_001_T(__taint_src)
+	sequential_assign_001_T(__taint_src)
 }
diff --git a/...es/accuracy/flow_sensitive/normal_stmt/sequential_assign_002_F/sequential_assign_002_F.go b/...es/accuracy/flow_sensitive/normal_stmt/sequential_assign_002_F/sequential_assign_002_F.go
@@ -14,7 +14,7 @@ import (
 	"os/exec"
 )
 
-func sequentialAssign_002_F(__taint_src string) {
+func sequential_assign_002_F(__taint_src string) {
 	// 场景特点：按顺序执行多个赋值语句，但污点数据未传播到最终变量
 	var a string
 	var b string
@@ -30,5 +30,5 @@ func __taint_sink(o interface{}) {
 
 func main() {
 	__taint_src := "taint_src_value"
-	sequentialAssign_002_F(__taint_src)
+	sequential_assign_002_F(__taint_src)
 }
diff --git a/...es/accuracy/path_sensitive/exception_throw/exception_catch_004_F/exception_catch_004_F.go b/...es/accuracy/path_sensitive/exception_throw/exception_catch_004_F/exception_catch_004_F.go
@@ -4,7 +4,7 @@
 // scene introduction = 异常抛出路径
 // level = 3
 // date = 2025-12-01 16:29:18
-// bind_url = accuracy/path_sensitive/exception_throw/exception_catch_004_F/exception_catch_004_T
+// bind_url = accuracy/path_sensitive/exception_throw/exception_catch_004_F/exception_catch_004_F
 // evaluation information end
 
 package main
@@ -15,7 +15,7 @@ import (
 	"os/exec"
 )
 
-func exception_catch_003_T(__taint_src string) {
+func exception_catch_004_F(__taint_src string) {
 	// 场景特点：在异常抛出路径中传播污点数据
 	errMsg := createThrow(__taint_src)
 	__taint_sink(errMsg.Error())
@@ -31,5 +31,5 @@ func __taint_sink(o interface{}) {
 
 func main() {
 	__taint_src := "taint_src_value"
-	exception_catch_003_T(__taint_src)
+	exception_catch_004_F(__taint_src)
 }
diff --git a/...nditional_stmt/no_solver/conditional_if_no_solver_001_T/conditional_if_no_solver_001_T.go b/...nditional_stmt/no_solver/conditional_if_no_solver_001_T/conditional_if_no_solver_001_T.go
@@ -10,7 +10,7 @@ import "os/exec"
 // bind_url = accuracy/path_sensitive/loop_conditional_stmt/no_solver/conditional_if_no_solver_001_T/conditional_if_no_solver_001_T
 // evaluation information end
 
-func conditional_if_no_solver_001_F(__taint_src string) {
+func conditional_if_no_solver_001_T(__taint_src string) {
 	var res string
 	if true {
 		res = __taint_src
@@ -25,5 +25,5 @@ func __taint_sink(o interface{}) {
 
 func main() {
 	__taint_src := "taint_src_value"
-	conditional_if_no_solver_001_F(__taint_src)
+	conditional_if_no_solver_001_T(__taint_src)
 }
diff --git a/...l_stmt/no_solver/conditional_switch_no_solver_001_T/conditional_switch_no_solver_001_T.go b/...l_stmt/no_solver/conditional_switch_no_solver_001_T/conditional_switch_no_solver_001_T.go
@@ -10,7 +10,7 @@ import "os/exec"
 // bind_url = accuracy/path_sensitive/loop_conditional_stmt/no_solver/conditional_switch_no_solver_001_T/conditional_switch_no_solver_001_T
 // evaluation information end
 
-func conditional_switch_no_solver_001_F(__taint_src string) {
+func conditional_switch_no_solver_001_T(__taint_src string) {
 	res := ""
 	switch 2 {
 	case 1:
@@ -27,5 +27,5 @@ func __taint_sink(o interface{}) {
 
 func main() {
 	__taint_src := "taint_src_value"
-	conditional_switch_no_solver_001_F(__taint_src)
+	conditional_switch_no_solver_001_T(__taint_src)
 }
diff --git a/...namespace/cross_directory/cross_directory_011_T/cross/cross_01/cross_directory_011_T_b.go b/...namespace/cross_directory/cross_directory_011_T/cross/cross_01/cross_directory_011_T_b.go
@@ -9,7 +9,7 @@
 package cross_directory_011_T_b
 import "os/exec"
 
-func SayHello(taint_src string) {
+func Cross_directory_011_T_b(taint_src string) {
 	__taint_sink(taint_src)
 }
 

diff --git a/.../cross_directory/cross_directory_011_T/cross_directory_011_T_a/cross_directory_011_T_a.go b/.../cross_directory/cross_directory_011_T/cross_directory_011_T_a/cross_directory_011_T_a.go
@@ -14,7 +14,7 @@ package main
 import "cross/cross_01"
 
 func cross_directory_011_T_a(__taint_src string) {
-	cross_directory_011_T_b.SayHello(__taint_src)
+	cross_directory_011_T_b.Cross_directory_011_T_b(__taint_src)
 }
 
 func main() {

diff --git a/...namespace/cross_directory/cross_directory_012_F/cross/cross_01/cross_directory_012_F_b.go b/...namespace/cross_directory/cross_directory_012_F/cross/cross_01/cross_directory_012_F_b.go
@@ -9,7 +9,7 @@
 package cross_directory_012_F_b
 import "os/exec"
 
-func SayHello(taint_src string) {
+func Cross_directory_012_F_b(taint_src string) {
 	__taint_sink("_")
 }
 

diff --git a/.../cross_directory/cross_directory_012_F/cross_directory_012_F_a/cross_directory_012_F_a.go b/.../cross_directory/cross_directory_012_F/cross_directory_012_F_a/cross_directory_012_F_a.go
@@ -14,7 +14,7 @@ package main
 import "cross/cross_01"
 
 func cross_directory_012_F_a(__taint_src string) {
-	cross_directory_012_F_b.SayHello(__taint_src)
+	cross_directory_012_F_b.Cross_directory_012_F_b(__taint_src)
 }
 
 func main() {

diff --git a/...ace/cross_directory/cross_directory_013_T/cross/other/cross_01/cross_directory_013_T_b.go b/...ace/cross_directory/cross_directory_013_T/cross/other/cross_01/cross_directory_013_T_b.go
@@ -9,7 +9,7 @@
 package cross_directory_013_T_b
 import "os/exec"
 
-func SayHello(taint_src string) {
+func Cross_directory_013_T_b(taint_src string) {
 	__taint_sink(taint_src)
 }
 

diff --git a/.../cross_directory/cross_directory_013_T/cross_directory_013_T_a/cross_directory_013_T_a.go b/.../cross_directory/cross_directory_013_T/cross_directory_013_T_a/cross_directory_013_T_a.go
@@ -14,7 +14,7 @@ package main
 import "cross/other/cross_01"
 
 func cross_directory_013_T_a(__taint_src string) {
-	cross_directory_013_T_b.SayHello(__taint_src)
+	cross_directory_013_T_b.Cross_directory_013_T_b(__taint_src)
 }
 
 func main() {

diff --git a/...ace/cross_directory/cross_directory_014_F/cross/other/cross_01/cross_directory_014_F_b.go b/...ace/cross_directory/cross_directory_014_F/cross/other/cross_01/cross_directory_014_F_b.go
@@ -9,7 +9,7 @@
 package cross_directory_014_F_b
 import "os/exec"
 
-func SayHello(taint_src string) {
+func Cross_directory_014_F_b(taint_src string) {
 	__taint_sink("_")
 }
 

diff --git a/.../cross_directory/cross_directory_014_F/cross_directory_014_F_a/cross_directory_014_F_a.go b/.../cross_directory/cross_directory_014_F/cross_directory_014_F_a/cross_directory_014_F_a.go
@@ -14,7 +14,7 @@ package main
 import "cross/other/cross_01"
 
 func cross_directory_014_F_a(__taint_src string) {
-	cross_directory_014_F_b.SayHello(__taint_src)
+	cross_directory_014_F_b.Cross_directory_014_F_b(__taint_src)
 }
 
 func main() {

diff --git a/...le_package_namespace/cross_directory/cross_directory_021_T/cross/cross_same_name_021_T.go b/...le_package_namespace/cross_directory/cross_directory_021_T/cross/cross_same_name_021_T.go
@@ -9,7 +9,7 @@
 package cross_same_name_021_T
 import "os/exec"
 
-func SayHello(taint_src string) {
+func Cross_same_name_021_T(taint_src string) {
 	__taint_sink(taint_src)
 }
 

diff --git a/...ckage_namespace/cross_directory/cross_directory_021_T/main_dir/cross_directory_021_T_a.go b/...ckage_namespace/cross_directory/cross_directory_021_T/main_dir/cross_directory_021_T_a.go
@@ -16,7 +16,7 @@ import "cross_directory_021_T/cross"
 var __taint_src = "taint_src_value"
 
 func init() {
-	cross_same_name_021_T.SayHello(__taint_src)
+	cross_same_name_021_T.Cross_same_name_021_T(__taint_src)
 }
 
 func main() {

diff --git a/...ckage_namespace/cross_directory/cross_directory_021_T/main_dir/cross_directory_021_T_b.go b/...ckage_namespace/cross_directory/cross_directory_021_T/main_dir/cross_directory_021_T_b.go
@@ -17,7 +17,7 @@ import "cross_directory_021_T/other/cross"
 var __taint_src = "taint_src_value"
 
 func init() {
-	cross_same_name_021_T.SayHello(__taint_src)
+	cross_same_name_021_T.Cross_same_name_021_T(__taint_src)
 }
 
 func main() {

diff --git a/...kage_namespace/cross_directory/cross_directory_021_T/other/cross/cross_same_name_021_T.go b/...kage_namespace/cross_directory/cross_directory_021_T/other/cross/cross_same_name_021_T.go
@@ -9,7 +9,7 @@
 
 package cross_same_name_021_T
 import "os/exec"
-func SayHello(taint_src string) {
+func Cross_same_name_021_T(taint_src string) {
 	__taint_sink(taint_src)
 }
 

diff --git a/...le_package_namespace/cross_directory/cross_directory_022_F/cross/cross_same_name_022_F.go b/...le_package_namespace/cross_directory/cross_directory_022_F/cross/cross_same_name_022_F.go
@@ -9,7 +9,7 @@
 package cross_same_name_022_F
 import "os/exec"
 
-func SayHello(taint_src string) {
+func Cross_same_name_022_F(taint_src string) {
 	__taint_sink(taint_src)
 }
 

diff --git a/...ckage_namespace/cross_directory/cross_directory_022_F/main_dir/cross_directory_022_F_a.go b/...ckage_namespace/cross_directory/cross_directory_022_F/main_dir/cross_directory_022_F_a.go
@@ -16,7 +16,7 @@ import "cross_directory_022_F/cross"
 var __taint_src = "_"
 
 func init() {
-	cross_same_name_022_F.SayHello(__taint_src)
+	cross_same_name_022_F.Cross_same_name_022_F(__taint_src)
 }
 
 func main() {

diff --git a/...ckage_namespace/cross_directory/cross_directory_022_F/main_dir/cross_directory_022_F_b.go b/...ckage_namespace/cross_directory/cross_directory_022_F/main_dir/cross_directory_022_F_b.go
@@ -17,7 +17,7 @@ import "cross_directory_022_F/other/cross"
 var __taint_src = "abc"
 
 func init() {
-	cross_same_name_022_F.SayHello(__taint_src)
+	cross_same_name_022_F.Cross_same_name_022_F(__taint_src)
 }
 
 func main() {

diff --git a/...kage_namespace/cross_directory/cross_directory_022_F/other/cross/cross_same_name_022_F.go b/...kage_namespace/cross_directory/cross_directory_022_F/other/cross/cross_same_name_022_F.go
@@ -10,7 +10,7 @@
 package cross_same_name_022_F
 import "os/exec"
 
-func SayHello(taint_src string) {
+func Cross_same_name_022_F(taint_src string) {
 	__taint_sink(taint_src)
 }
 

diff --git a/...ses/completeness/single_app_tracing/cross_file_package_namespace/cross_module/config.json b/...ses/completeness/single_app_tracing/cross_file_package_namespace/cross_module/config.json
@@ -15,7 +15,7 @@
               "scene": "跨module-别名"
             },
             {
-              "compose": "(cross_module_005_T/cross_module_005_T_a/cross_module_005_T.go || cross_module_005_T/cross_module_005_T_b/cross_module_005_T.go) && !(cross_module_006_F/cross_module_006_F_a/cross_module_006_F.go || cross_module_006_F/cross_module_006_F_b/cross_module_006_F.go)",
+              "compose": "(cross_module_005_T/cross_module_005_T_a/cross_module_005_T_a.go || cross_module_005_T/cross_module_005_T_b/cross_module_005_T_b.go) && !(cross_module_006_F/cross_module_006_F_a/cross_module_006_F_a.go || cross_module_006_F/cross_module_006_F_b/cross_module_006_F_b.go)",
               "scene": "多Main包模块化管理"
             }
           ]

diff --git a/...ross_module_005_T_a/cross_module_005_T.go → ...ss_module_005_T_a/cross_module_005_T_a.go b/...ross_module_005_T_a/cross_module_005_T.go → ...ss_module_005_T_a/cross_module_005_T_a.go
@@ -3,7 +3,7 @@
 // evaluation item = 完整度->单应用跟踪完整度->文件、包、命名空间->跨模块
 // scene introduction = 多Main包模块化管理
 // level = 2
-// bind_url = completeness/single_app_tracing/cross_file_package_namespace/cross_module/cross_module_005_T/cross_module_005_T_a/cross_module_005_T
+// bind_url = completeness/single_app_tracing/cross_file_package_namespace/cross_module/cross_module_005_T/cross_module_005_T_a/cross_module_005_T_a
 // evaluation information end
 
 // 先cd sast-go/cases/completeness/single_app_tracing/cross_file_package_namespace/cross_module/cross_module_005_T
@@ -24,6 +24,6 @@ func __taint_sink(o interface{}) {
 }
 
 func main() {
-	__taint_src := "taint_src_value_main1"
+	__taint_src := "taint_src_value"
 	cross_module_005_T_a(__taint_src)
 }
diff --git a/...ross_module_005_T_b/cross_module_005_T.go → ...ss_module_005_T_b/cross_module_005_T_b.go b/...ross_module_005_T_b/cross_module_005_T.go → ...ss_module_005_T_b/cross_module_005_T_b.go
@@ -3,7 +3,7 @@
 // evaluation item = 完整度->单应用跟踪完整度->文件、包、命名空间->跨模块
 // scene introduction = 多Main包模块化管理
 // level = 2
-// bind_url = completeness/single_app_tracing/cross_file_package_namespace/cross_module/cross_module_005_T/cross_module_005_T_b/cross_module_005_T
+// bind_url = completeness/single_app_tracing/cross_file_package_namespace/cross_module/cross_module_005_T/cross_module_005_T_b/cross_module_005_T_b
 // evaluation information end
 
 // 先cd sast-go/cases/completeness/single_app_tracing/cross_file_package_namespace/cross_module/cross_module_005_T
@@ -24,6 +24,6 @@ func __taint_sink(o interface{}) {
 }
 
 func main() {
-	__taint_src := "taint_src_value_main2"
+	__taint_src := "taint_src_value"
 	cross_module_005_T_b(__taint_src)
 }
diff --git a/...ross_module_006_F_a/cross_module_006_F.go → ...ss_module_006_F_a/cross_module_006_F_a.go b/...ross_module_006_F_a/cross_module_006_F.go → ...ss_module_006_F_a/cross_module_006_F_a.go
@@ -3,7 +3,7 @@
 // evaluation item = 完整度->单应用跟踪完整度->文件、包、命名空间->跨模块
 // scene introduction = 多Main包模块化管理
 // level = 2
-// bind_url = completeness/single_app_tracing/cross_file_package_namespace/cross_module/cross_module_006_F/cross_module_006_F_a/cross_module_006_F
+// bind_url = completeness/single_app_tracing/cross_file_package_namespace/cross_module/cross_module_006_F/cross_module_006_F_a/cross_module_006_F_a
 // evaluation information end
 
 // 先cd sast-go/cases/completeness/single_app_tracing/cross_file_package_namespace/cross_module/cross_module_006_F
@@ -24,6 +24,6 @@ func __taint_sink(o interface{}) {
 }
 
 func main() {
-	__taint_src := "taint_src_value_main1"
+	__taint_src := "taint_src_value"
 	cross_module_006_F_a(__taint_src)
 }
diff --git a/...ross_module_006_F_b/cross_module_006_F.go → ...ss_module_006_F_b/cross_module_006_F_b.go b/...ross_module_006_F_b/cross_module_006_F.go → ...ss_module_006_F_b/cross_module_006_F_b.go
@@ -3,7 +3,7 @@
 // evaluation item = 完整度->单应用跟踪完整度->文件、包、命名空间->跨模块
 // scene introduction = 多Main包模块化管理
 // level = 2
-// bind_url = completeness/single_app_tracing/cross_file_package_namespace/cross_module/cross_module_006_F/cross_module_006_F_b/cross_module_006_F
+// bind_url = completeness/single_app_tracing/cross_file_package_namespace/cross_module/cross_module_006_F/cross_module_006_F_b/cross_module_006_F_b
 // evaluation information end
 
 // 先cd sast-go/cases/completeness/single_app_tracing/cross_file_package_namespace/cross_module/cross_module_006_F
@@ -24,6 +24,6 @@ func __taint_sink(o interface{}) {
 }
 
 func main() {
-	__taint_src := "taint_src_value_main2"
+	__taint_src := "taint_src_value"
 	cross_module_006_F_b(__taint_src)
 }
diff --git a/...pp_tracing/exception_error/exception_throw/exception_throw_004_F/exception_throw_004_F.go b/...pp_tracing/exception_error/exception_throw/exception_throw_004_F/exception_throw_004_F.go
@@ -22,7 +22,7 @@ func (e *CustomError) Error() string {
 	return e.message
 }
 
-func exception_throw_004_T(__taint_src string) {
+func exception_throw_004_F(__taint_src string) {
 	defer func() {
 		if r := recover(); r != nil {
 			defer func() {
@@ -48,5 +48,5 @@ func __taint_sink(o interface{}) {
 
 func main() {
 	__taint_src := "taint_src_value"
-	exception_throw_004_T(__taint_src)
+	exception_throw_004_F(__taint_src)
 }
diff --git a/...s/completeness/single_app_tracing/expression/type_cast/type_cast_007_T/type_cast_007_T.go b/...s/completeness/single_app_tracing/expression/type_cast/type_cast_007_T/type_cast_007_T.go
@@ -25,6 +25,6 @@ func __taint_sink(o interface{}) {
 }
 
 func main() {
-	__taint_src := "tainted_string"
+	__taint_src := "taint_src_value"
 	type_cast_007_T(&__taint_src)
 }
diff --git a/...s/completeness/single_app_tracing/expression/type_cast/type_cast_008_F/type_cast_008_F.go b/...s/completeness/single_app_tracing/expression/type_cast/type_cast_008_F/type_cast_008_F.go
@@ -26,6 +26,6 @@ func __taint_sink(o interface{}) {
 }
 
 func main() {
-	__taint_src := "tainted_string"
+	__taint_src := "taint_src_value"
 	type_cast_008_F(&__taint_src)
 }
diff --git a/...leteness/single_app_tracing/function_call/library_function/arg_arg_001_T/arg_arg_001_T.go b/...leteness/single_app_tracing/function_call/library_function/arg_arg_001_T/arg_arg_001_T.go
@@ -1,6 +1,5 @@
 package main
 
-
 // evaluation information start
 // real case = true
 // evaluation item = 完整度->单应用跟踪完整度->函数和方法调用->库函数调用
@@ -10,13 +9,13 @@ package main
 // evaluation information end
 
 import (
-	"os/exec"
 	"encoding/json"
 	"fmt"
+	"os/exec"
 )
 
 func arg_arg_001_T(__taint_src string) {
-	taintedData := __taint_src
+	taintedData := "{\"key\": \"" + __taint_src + "\"}"
 	result, err := process(taintedData)
 	_ = err
 	__taint_sink(result)
@@ -30,9 +29,9 @@ func process(arg string) (map[string]interface{}, error) {
 
 func __taint_sink(o interface{}) {
 	_ = exec.Command("sh", "-c", fmt.Sprintf("%v", o)).Run()
-	}
+}
 
 func main() {
-    __taint_src := "taint_src_value"
-    arg_arg_001_T(__taint_src)
-}
+	__taint_src := "taint_src_value"
+	arg_arg_001_T(__taint_src)
+}