## 0.7.3

### Major Analysis Improvements

* Improved support for flow through captured variables that properly adheres to inter-procedural control flow.

### Minor Analysis Improvements

* Modified the `getSecureAlgorithmName` predicate in `Encryption.qll` to also include `SHA-256` and `SHA-512`. Previously only the versions of the names without dashes were considered secure.
* Add support for `WithElement` and `WithoutElement` for MaD access paths.