• Added a new query, rust/hard-coded-cryptographic-value, for detecting use of hardcoded keys, passwords, salts and initialization vectors.

• Type inference now supports closures, calls to closures, and trait bounds using the FnOnce trait.
• Type inference now supports trait objects, i.e., dyn Trait types.
• Type inference now supports tuple types.

• Added a new query, rust/access-after-lifetime-ended, for detecting pointer dereferences after the lifetime of the pointed-to object has ended.

• Initial public preview release.

No user-facing changes.

No user-facing changes.

No user-facing changes.

• Changes to the MaD model generation infrastructure:
  • Changed the query rust/utils/modelgenerator/summary-models to use the implementation from rust/utils/modelgenerator/mixed-summary-models.
  • Removed the now-redundant rust/utils/modelgenerator/mixed-summary-models query.
  • A similar replacement was made for rust/utils/modelgenerator/neutral-models. That is, if GenerateFlowModel.py is provided with --with-summaries, combined/mixed models are now generated instead of heuristic models (and similar for --with-neutrals).

No user-facing changes.

No user-facing changes.

No user-facing changes.

No user-facing changes.

No user-facing changes.

No user-facing changes.

No user-facing changes.