C++: Fix more inconsistencies.

This commit is contained in:
Mathias Vorreiter Pedersen
2024-07-24 17:53:28 +01:00
parent 854a277ab5
commit 3f5b4a81cf

View File

@@ -224,7 +224,11 @@ private class StdStringPlus extends StdStringTaintFunction, SideEffectFunction,
override predicate hasOnlySpecificWriteSideEffects() { any() }
override predicate hasSpecificReadSideEffect(ParameterIndex i, boolean buffer) {
i = [0, 1] and buffer = false
this.getParameter(i).getUnspecifiedType() instanceof ReferenceType and
buffer = false
or
this.getParameter(i).getUnspecifiedType() instanceof PointerType and
buffer = true
}
override predicate parameterNeverEscapes(int index) { index = [0, 1] }