- A new predicate
getSwitchCasewas added to theSwitchStmtclass, which yields thenthcasestatement from aswitchstatement. - Data flow barriers and barrier guards can now be added using data extensions. For more information see Customizing library models for C and C++.
- Added taint flow models for the
Strsafe.hheader from the Windows SDK.