add test case for utf8CString

karimhamdanali · karimhamdanali · commit 7541b01a86cf · 2022-11-29T12:12:10.000+02:00
diff --git a/swift/ql/test/library-tests/dataflow/taint/string.swift b/swift/ql/test/library-tests/dataflow/taint/string.swift
@@ -113,11 +113,14 @@ func taintThroughData() {
 }
 
 func sink(arg: String.UTF8View) {}
+func sink(arg: ContiguousArray<CChar>) {}
 
 func taintThroughStringFields() {
   let clean = ""
   let tainted = source2().utf8
+  let taintedCString = source2().utf8CString
 
   sink(arg: clean)
-  sink(arg: tainted) // $ tainted=95
+  sink(arg: tainted) // $ tainted=120
+  sink(arg: taintedCString) // $ tainted=121
 }

Original file line number	Diff line number	Diff line change
`@@ -113,11 +113,14 @@ func taintThroughData() {`
`113`	`113`	`}`
`114`	`114`
`115`	`115`	`func sink(arg: String.UTF8View) {}`
	`116`	`+func sink(arg: ContiguousArray<CChar>) {}`
`116`	`117`
`117`	`118`	`func taintThroughStringFields() {`
`118`	`119`	`let clean = ""`
`119`	`120`	`let tainted = source2().utf8`
	`121`	`+ let taintedCString = source2().utf8CString`
`120`	`122`
`121`	`123`	`sink(arg: clean)`
`122`		`- sink(arg: tainted) // $ tainted=95`
	`124`	`+ sink(arg: tainted) // $ tainted=120`
	`125`	`+ sink(arg: taintedCString) // $ tainted=121`
`123`	`126`	`}`