Skip to content

Commit b444383

Browse files
committed
C++: Add 'override' specifiers where I missed them.
1 parent f32e84b commit b444383

File tree

1 file changed

+3
-3
lines changed
  • cpp/ql/src/semmle/code/cpp/models/implementations

1 file changed

+3
-3
lines changed

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

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -80,16 +80,16 @@ class StrcpyFunction extends ArrayFunction, DataFlowFunction, TaintFunction, Sid
8080

8181
override predicate hasOnlySpecificWriteSideEffects() { any() }
8282

83-
predicate hasSpecificWriteSideEffect(ParameterIndex i, boolean buffer, boolean mustWrite) {
83+
override predicate hasSpecificWriteSideEffect(ParameterIndex i, boolean buffer, boolean mustWrite) {
8484
i = 0 and
8585
buffer = true and
8686
mustWrite = true
8787
}
8888

89-
predicate hasSpecificReadSideEffect(ParameterIndex i, boolean buffer) {
89+
override predicate hasSpecificReadSideEffect(ParameterIndex i, boolean buffer) {
9090
i = 1 and
9191
buffer = true
9292
}
9393

94-
ParameterIndex getParameterSizeIndex(ParameterIndex i) { hasArrayWithVariableSize(i, result) }
94+
override ParameterIndex getParameterSizeIndex(ParameterIndex i) { hasArrayWithVariableSize(i, result) }
9595
}

0 commit comments

Comments
 (0)