Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 61125b4

Browse files
committed
C++: Address review comments.
1 parent 6c3f44b commit 61125b4

2 files changed

Lines changed: 9 additions & 6 deletions

File tree

cpp/ql/src/semmle/code/cpp/models/implementations/Memset.qll

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,9 @@ import semmle.code.cpp.models.interfaces.SideEffect
1515
private class MemsetFunction extends ArrayFunction, DataFlowFunction, AliasFunction,
1616
SideEffectFunction {
1717
MemsetFunction() {
18-
hasGlobalName(["memset", "wmemset", bzero(), "__builtin_memset", "__builtin_memset_chk"]) or
19-
hasQualifiedName("std", ["memset", "wmemset"])
18+
this.hasGlobalOrStdName(["memset", "wmemset"])
19+
or
20+
this.hasGlobalName([bzero(), "__builtin_memset", "__builtin_memset_chk"])
2021
}
2122

2223
override predicate hasArrayOutput(int bufParam) { bufParam = 0 }

cpp/ql/src/semmle/code/cpp/models/implementations/Strcat.qll

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -13,18 +13,20 @@ import semmle.code.cpp.models.interfaces.SideEffect
1313
*/
1414
class StrcatFunction extends TaintFunction, DataFlowFunction, ArrayFunction, SideEffectFunction {
1515
StrcatFunction() {
16-
getName() =
17-
[
16+
this.hasGlobalOrStdName([
1817
"strcat", // strcat(dst, src)
1918
"strncat", // strncat(dst, src, max_amount)
2019
"wcscat", // wcscat(dst, src)
20+
"wcsncat" // wcsncat(dst, src, max_amount)
21+
])
22+
or
23+
this.hasGlobalName([
2124
"_mbscat", // _mbscat(dst, src)
22-
"wcsncat", // wcsncat(dst, src, max_amount)
2325
"_mbsncat", // _mbsncat(dst, src, max_amount)
2426
"_mbsncat_l", // _mbsncat_l(dst, src, max_amount, locale)
2527
"_mbsnbcat", // _mbsnbcat(dest, src, count)
2628
"_mbsnbcat_l" // _mbsnbcat_l(dest, src, count, locale)
27-
]
29+
])
2830
}
2931

3032
/**

0 commit comments

Comments
 (0)