Skip to content

Commit d24bda3

Browse files
curryooocurryooo
authored
sast -go case update (#138)
* sast-go/js/python2/python3 case update &config.json update * sast-go/js/python2/python3 case update &config.json update * sast-go/js/python2/python3 case update &config.json update * sast-go/js/python2/python3 case update &config.json update& java run * py2/3 caseupdate argument_passing_various_types * py2/3 caseupdate argument_passing_various_types * go caseUpdate * go caseUpdate crossdir * go caseUpdate crossdir json fromat
1 parent 2bf606e commit d24bda3

File tree

35 files changed

+405
-75
lines changed

35 files changed

+405
-75
lines changed

‎sast-go/cases/completeness/single_app_tracing/cross_file_package_namespace/cross_directory/config.json‎

Lines changed: 17 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,23 @@
88
"scene_list": [
99
{
1010
"compose": "(cross_directory_001_T/cross_directory_001_T_a/cross_directory_001_T_a.go || cross_directory_001_T/cross_directory_001_T_b/cross_directory_001_T_b.go) && !(cross_directory_002_F/cross_directory_002_F_a/cross_directory_002_F_a.go || cross_directory_002_F/cross_directory_002_F_b/cross_directory_002_F_b.go)",
11-
"scene": "跨package"
11+
"scene": "跨package1"
12+
},
13+
{
14+
"compose": "(cross_directory_003_T/cross/cross_directory_003_T.go || cross_directory_003_T/cross/cross_01/cross_02/cross_directory_003_T_a.go) && !(cross_directory_004_F/cross/cross_directory_004_F.go || cross_directory_004_F/cross/cross_01/cross_02/cross_directory_004_F_a.go)",
15+
"scene": "跨package2"
16+
},
17+
{
18+
"compose": "(cross_directory_005_T/cross/cross_directory_005_T.go || cross_directory_005_T/cross/cross_01/cross_02/cross_directory_005_T_a.go) && !(cross_directory_006_F/cross/cross_directory_006_F.go || cross_directory_006_F/cross/cross_01/cross_02/cross_directory_006_F_a.go)",
19+
"scene": "跨package3"
20+
},
21+
{
22+
"compose": "cross_directory_007_T/cross/cross_directory_007_T.go && !cross_directory_008_F/cross/cross_directory_008_F.go)",
23+
"scene": "跨package4"
24+
},
25+
{
26+
"compose": "cross_directory_009_T/cross/cross_directory_009_T.go && !cross_directory_010_F/cross/cross_directory_010_F.go)",
27+
"scene": "跨package5"
1228
}
1329
]
1430
}

‎sast-go/cases/completeness/single_app_tracing/cross_file_package_namespace/cross_directory/cross_directory_003_T/cross/cross_01/cross_02/cross_directory_003_T_a.go‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
// evaluation information start
2+
// real case = true
3+
// evaluation item = 完整度->单应用跟踪完整度->文件、包、命名空间->跨包
4+
// scene introduction = 跨package
5+
// level = 2
6+
// bind_url = completeness/single_app_tracing/cross_file_package_namespace/cross_directory/cross_directory_003_T/cross/cross_01/cross_02/cross_directory_003_T_a
7+
// evaluation information end
8+
9+
package cross_pkg_deep2
10+
11+
func Cross_directory_003_T_a(o interface{}) {
12+
__taint_sink(o)
13+
}
14+
15+
func __taint_sink(o interface{}) {}

‎sast-go/cases/completeness/single_app_tracing/cross_file_package_namespace/cross_directory/cross_directory_003_T/cross/cross_directory_003_T.go‎

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
package main
2+
3+
import (
4+
"cross_directory_003_T/cross_01/cross_02"
5+
)
6+
// evaluation information start
7+
// real case = true
8+
// evaluation item = 完整度->单应用跟踪完整度->文件、包、命名空间->跨包
9+
// scene introduction = 跨package
10+
// level = 2
11+
// bind_url = completeness/single_app_tracing/cross_file_package_namespace/cross_directory/cross_directory_003_T/cross/cross_directory_003_T
12+
// evaluation information end
13+
14+
15+
func cross_directory_003_T(__taint_src string) {
16+
cross_pkg_deep2.Cross_directory_003_T_a(__taint_src)
17+
}
18+

‎sast-go/cases/completeness/single_app_tracing/cross_file_package_namespace/cross_directory/cross_directory_003_T/cross/go.mod‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
module cross_directory_003_T
2+
3+
go 1.20

‎sast-go/cases/completeness/single_app_tracing/cross_file_package_namespace/cross_directory/cross_directory_004_F/cross/cross_01/cross_02/cross_directory_004_F_a.go‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
// evaluation information start
2+
// real case = true
3+
// evaluation item = 完整度->单应用跟踪完整度->文件、包、命名空间->跨包
4+
// scene introduction = 跨package
5+
// level = 2
6+
// bind_url = completeness/single_app_tracing/cross_file_package_namespace/cross_directory/cross_directory_004_F/cross/cross_01/cross_02/cross_directory_004_F_a
7+
// evaluation information end
8+
9+
package cross_pkg_deep2
10+
11+
func Cross_directory_004_F_a(o interface{}) {
12+
__taint_sink("_")
13+
}
14+
15+
func __taint_sink(o interface{}) {}

‎sast-go/cases/completeness/single_app_tracing/cross_file_package_namespace/cross_directory/cross_directory_004_F/cross/cross_directory_004_F.go‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
package main
2+
3+
import "cross_directory_004_F/cross_01/cross_02"
4+
5+
// evaluation information start
6+
// real case = true
7+
// evaluation item = 完整度->单应用跟踪完整度->文件、包、命名空间->跨包
8+
// scene introduction = 跨package
9+
// level = 2
10+
// bind_url = completeness/single_app_tracing/cross_file_package_namespace/cross_directory/cross_directory_004_F/cross/cross_directory_004_F
11+
// evaluation information end
12+
13+
func cross_directory_004_F(__taint_src string) {
14+
cross_pkg_deep2.Cross_directory_004_F_a(__taint_src)
15+
}

‎sast-go/cases/completeness/single_app_tracing/cross_file_package_namespace/cross_directory/cross_directory_004_F/cross/go.mod‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
module cross_directory_004_F
2+
3+
go 1.20

‎sast-go/cases/completeness/single_app_tracing/cross_file_package_namespace/cross_directory/cross_directory_005_T/cross/cross_01/cross_02/cross_directory_005_T_a.go‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
// evaluation information start
2+
// real case = true
3+
// evaluation item = 完整度->单应用跟踪完整度->文件、包、命名空间->跨包
4+
// scene introduction = 跨package
5+
// level = 2
6+
// bind_url = completeness/single_app_tracing/cross_file_package_namespace/cross_directory/cross_directory_005_T/cross/cross_01/cross_02/cross_directory_005_T_a
7+
// evaluation information end
8+
9+
package cross_pkg_deep2
10+
11+
func Cross_directory_005_T_a(o interface{}) {
12+
__taint_sink(o)
13+
}
14+
15+
func __taint_sink(o interface{}) {}

‎sast-go/cases/completeness/single_app_tracing/cross_file_package_namespace/cross_directory/cross_directory_005_T/cross/cross_directory_005_T.go‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
package main
2+
3+
import "cross_directory_005_T/cross/cross_01/cross_02"
4+
5+
// evaluation information start
6+
// real case = true
7+
// evaluation item = 完整度->单应用跟踪完整度->文件、包、命名空间->跨包
8+
// scene introduction = 跨package
9+
// level = 2
10+
// bind_url = completeness/single_app_tracing/cross_file_package_namespace/cross_directory/cross_directory_005_T/cross/cross_directory_005_T
11+
// evaluation information end
12+
13+
func cross_directory_005_T(__taint_src string) {
14+
cross_pkg_deep2.Cross_directory_005_T_a(__taint_src)
15+
}

‎sast-go/cases/completeness/single_app_tracing/cross_file_package_namespace/cross_directory/cross_directory_005_T/go.mod‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
module cross_directory_005_T
2+
3+
go 1.20

0 commit comments

Comments
 (0)