C++: Simplify 'parameterNeverEscapes' and add a comment.

This commit is contained in:
Mathias Vorreiter Pedersen
2023-10-27 16:20:53 +01:00
parent 572cec2c55
commit 8bf8888c24

View File

@@ -28,7 +28,8 @@ private class Strtol extends AliasFunction, ArrayFunction, TaintFunction, SideEf
}
override predicate parameterNeverEscapes(int i) {
this.getParameter(i).getUnspecifiedType() instanceof PointerType
// Parameter 0 does escape into parameter 1.
i = 1
}
override predicate parameterEscapesOnlyViaReturn(int i) { none() }