CPP: Add some strlen variants to the PureStrFunction model.

geoffw0 · geoffw0 · commit 77a3778eefff · 2020-01-17T18:56:21.000Z
diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Pure.qll b/cpp/ql/src/semmle/code/cpp/models/implementations/Pure.qll
@@ -30,7 +30,12 @@ class PureStrFunction extends AliasFunction, ArrayFunction, TaintFunction, SideE
         name = "strtol" or
         name = "strtoll" or
         name = "strtoq" or
-        name = "strtoul"
+        name = "strtoul" or
+        name = "wcslen" or
+        name = "_mbslen" or
+        name = "_mbslen_l" or
+        name = "_mbstrlen" or
+        name = "_mbstrlen_l"
       )
     )
   }

Original file line number	Diff line number	Diff line change
`@@ -30,7 +30,12 @@ class PureStrFunction extends AliasFunction, ArrayFunction, TaintFunction, SideE`
`30`	`30`	`name = "strtol" or`
`31`	`31`	`name = "strtoll" or`
`32`	`32`	`name = "strtoq" or`
`33`		`- name = "strtoul"`
	`33`	`+ name = "strtoul" or`
	`34`	`+ name = "wcslen" or`
	`35`	`+ name = "_mbslen" or`
	`36`	`+ name = "_mbslen_l" or`
	`37`	`+ name = "_mbstrlen" or`
	`38`	`+ name = "_mbstrlen_l"`
`34`	`39`	`)`
`35`	`40`	`)`
`36`	`41`	`}`