Merge pull request #1139 from jbj/return-stack-allocated-typo

C++: Fix typo in ReturnStackAllocatedMemory.ql
This commit is contained in:
Geoffrey White
2019-03-20 11:36:12 +00:00
committed by GitHub

View File

@@ -56,7 +56,7 @@ where
or
// The data flow library doesn't support conversions, so here we check that
// the address escapes into some expression `pointerToLocal`, which flows
// in a one or more steps to a returned expression.
// in one or more steps to a returned expression.
exists(Expr pointerToLocal |
variableAddressEscapesTree(va, pointerToLocal.getFullyConverted()) and
not hasNontrivialConversion(pointerToLocal) and