diff --git a/cpp/ql/lib/semmle/code/cpp/models/implementations/Strcat.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Strcat.qll index 051b887f4d1..5dc0bb20689 100644 --- a/cpp/ql/lib/semmle/code/cpp/models/implementations/Strcat.qll +++ b/cpp/ql/lib/semmle/code/cpp/models/implementations/Strcat.qll @@ -31,8 +31,8 @@ class StrcatFunction extends TaintFunction, DataFlowFunction, ArrayFunction, Sid "_mbsncat_l", // _mbsncat_l(dst, src, max_amount, locale) "_mbsnbcat", // _mbsnbcat(dest, src, count) "_mbsnbcat_l", // _mbsnbcat_l(dest, src, count, locale) - "__builtin___strcat_chk", // __builtin___strcat_chk (dest, src, magic); - "__builtin___strncat_chk" // __builtin___strncat_chk (dest, src, max_amount, magic); + "__builtin___strcat_chk", // __builtin___strcat_chk (dest, src, magic) + "__builtin___strncat_chk" // __builtin___strncat_chk (dest, src, max_amount, magic) ]) } diff --git a/cpp/ql/lib/semmle/code/cpp/models/implementations/Strcpy.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Strcpy.qll index 87606ba7b65..d96a0d677bc 100644 --- a/cpp/ql/lib/semmle/code/cpp/models/implementations/Strcpy.qll +++ b/cpp/ql/lib/semmle/code/cpp/models/implementations/Strcpy.qll @@ -37,10 +37,10 @@ class StrcpyFunction extends ArrayFunction, DataFlowFunction, TaintFunction, Sid "stpcpy", // stpcpy(dest, src) "stpncpy", // stpncpy(dest, src, max_amount) "strlcpy", // strlcpy(dst, src, dst_size) - "__builtin___strcpy_chk", // __builtin___strcpy_chk (dest, src, magic); - "__builtin___stpcpy_chk", // __builtin___stpcpy_chk (dest, src, magic); + "__builtin___strcpy_chk", // __builtin___strcpy_chk (dest, src, magic) + "__builtin___stpcpy_chk", // __builtin___stpcpy_chk (dest, src, magic) "__builtin___stpncpy_chk", // __builtin___stpncpy_chk(dest, src, max_amount, magic) - "__builtin___strncpy_chk" // __builtin___strncpy_chk (dest, src, max_amount, magic); + "__builtin___strncpy_chk" // __builtin___strncpy_chk (dest, src, max_amount, magic) ]) or (