Skip to content

6.0.0.md

Latest commit

 

History

History
9 lines (5 loc) · 379 Bytes

6.0.0.md

File metadata and controls

9 lines (5 loc) · 379 Bytes

6.0.0

Breaking Changes

  • The "Guards" libraries (semmle.code.cpp.controlflow.Guards and semmle.code.cpp.controlflow.IRGuards) have been totally rewritten to recognize many more guards. The API remains unchanged, but the GuardCondition class now extends Element instead of Expr.

New Features

  • C/C++ build-mode: none support is now generally available.