From 83e0a65c710b1ed0a86419108431a74967dcc2cd Mon Sep 17 00:00:00 2001 From: Jonas Jensen Date: Sat, 24 Aug 2019 17:09:58 +0200 Subject: [PATCH] C++: improved wording --- change-notes/1.22/analysis-cpp.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/change-notes/1.22/analysis-cpp.md b/change-notes/1.22/analysis-cpp.md index 48584bd5d22..3a2ac717cbf 100644 --- a/change-notes/1.22/analysis-cpp.md +++ b/change-notes/1.22/analysis-cpp.md @@ -20,9 +20,10 @@ The following changes in version 1.22 affect C/C++ analysis in all applications. - The data flow library (`semmle.code.cpp.dataflow.DataFlow`) has had the following improvements, all of which benefit the taint tracking library (`semmle.code.cpp.dataflow.TaintTracking`) as well. - - This release includes preliminary support for flow interprocedural through + - This release includes preliminary support for interprocedural flow through fields (non-static data members). In some cases, data stored in a field in - one function can flow to a read of the same field in a different function. + one function can now flow to a read of the same field in a different + function. - The possibility of specifying barrier edges using `isBarrierEdge`/`isSanitizerEdge` in data-flow and taint-tracking configurations has been replaced with the option of specifying in- and