Skip to content

Commit e379a60

Browse files
committed
C++: Change note for flow through fields
1 parent 1900734 commit e379a60

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

change-notes/1.22/analysis-cpp.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,9 @@ The following changes in version 1.22 affect C/C++ analysis in all applications.
2020
- The data flow library (`semmle.code.cpp.dataflow.DataFlow`) has had the
2121
following improvements, all of which benefit the taint tracking library
2222
(`semmle.code.cpp.dataflow.TaintTracking`) as well.
23+
- This release includes preliminary support for flow interprocedural through
24+
fields (non-static data members). In some cases, data stored in a field in
25+
one function can flow to a read of the same field in a different function.
2326
- The possibility of specifying barrier edges using
2427
`isBarrierEdge`/`isSanitizerEdge` in data-flow and taint-tracking
2528
configurations has been replaced with the option of specifying in- and

0 commit comments

Comments
 (0)