@@ -14,20 +14,24 @@ import semmle.code.cpp.models.interfaces.SideEffect
1414class StrcpyFunction extends ArrayFunction , DataFlowFunction , TaintFunction , SideEffectFunction {
1515 StrcpyFunction ( ) {
1616 getName ( ) =
17- [ "strcpy" , // strcpy(dst, src)
18- "wcscpy" , // wcscpy(dst, src)
19- "_mbscpy" , // _mbscpy(dst, src)
20- "strncpy" , // strncpy(dst, src, max_amount)
21- "_strncpy_l" , // _strncpy_l(dst, src, max_amount, locale)
22- "wcsncpy" , // wcsncpy(dst, src, max_amount)
23- "_wcsncpy_l" , // _wcsncpy_l(dst, src, max_amount, locale)
24- "_mbsncpy" , // _mbsncpy(dst, src, max_amount)
25- "_mbsncpy_l" ] // _mbsncpy_l(dst, src, max_amount, locale)
17+ [
18+ "strcpy" , // strcpy(dst, src)
19+ "wcscpy" , // wcscpy(dst, src)
20+ "_mbscpy" , // _mbscpy(dst, src)
21+ "strncpy" , // strncpy(dst, src, max_amount)
22+ "_strncpy_l" , // _strncpy_l(dst, src, max_amount, locale)
23+ "wcsncpy" , // wcsncpy(dst, src, max_amount)
24+ "_wcsncpy_l" , // _wcsncpy_l(dst, src, max_amount, locale)
25+ "_mbsncpy" , // _mbsncpy(dst, src, max_amount)
26+ "_mbsncpy_l"
27+ ] // _mbsncpy_l(dst, src, max_amount, locale)
2628 or
2729 getName ( ) =
28- [ "strcpy_s" , // strcpy_s(dst, max_amount, src)
29- "wcscpy_s" , // wcscpy_s(dst, max_amount, src)
30- "_mbscpy_s" ] and // _mbscpy_s(dst, max_amount, src)
30+ [
31+ "strcpy_s" , // strcpy_s(dst, max_amount, src)
32+ "wcscpy_s" , // wcscpy_s(dst, max_amount, src)
33+ "_mbscpy_s"
34+ ] and // _mbscpy_s(dst, max_amount, src)
3135 // exclude the 2-parameter template versions
3236 // that find the size of a fixed size destination buffer.
3337 getNumberOfParameters ( ) = 3
0 commit comments