We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent fcea369 commit 97c3462Copy full SHA for 97c3462
change-notes/1.24/analysis-cpp.md
@@ -35,6 +35,7 @@ The following changes in version 1.24 affect C/C++ analysis in all applications.
35
about the _name or scope_ of variables should remain unchanged.
36
* The `LocalScopeVariableReachability` library is deprecated in favor of
37
`StackVariableReachability`. The functionality is the same.
38
+* The models library models `strlen` in more detail, and includes common variations such as `wcslen`.
39
* The taint tracking library (`semmle.code.cpp.dataflow.TaintTracking`) has had
40
the following improvements:
41
* The library now models data flow through `strdup` and similar functions.
0 commit comments