This commit is contained in:
Jonas Jensen 2019-08-24 17:09:58 +02:00
Родитель e379a60142
Коммит 83e0a65c71
1 изменённых файлов: 3 добавлений и 2 удалений

Просмотреть файл

@ -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