Release v0.4.0

What's Changed

• The theses that guarantee safe memory management are formulated.
• The plugin now supports analysis of cyclic references between classes.
• The name of the automatic variable class has been renamed to Locker to match the logic of the functionality it performs.
• Disabled ownership checks and strong reference borrowing as it is no longer required.

Issues are closed:

• #8
• #10
• #15
• #16
• Discard #7

Full Changelog: v0.3.1...v0.4.0

Bugfix release v0.3.1

Bugfix release with bug fixes:
Fix #12
Fix #11

Minor improvements:

• Add thousands separator for MAMSAFE_BASELINE
• Changed logger in unit tests to control functionality of old versions (still in development)

Full Changelog: 350bb2a

v0.3.0

Release v0.3 (17.03.2025)

• Refactor the library interface to simplify inheritance:
  • Сombined shared and guard variables into one template class
  • Pointer data types with invalidation control are merged with automatic data types
• Add restriction on using reference types as the data type of variables has been added to templates.
• The plugin has new checks for reference types of class fields
• Fixed checking for use of unwanted (warning) and forbidden (error) classes
• Added control of reference types (pointers)
• New tests added and project description reworked
• Fixed typos in README.md by @Davidoc26 in #3
• Update README.md by @i-am-esma in #4

New Contributors

• @Davidoc26 made their first contribution in #3
• @i-am-esma made their first contribution in #4

Full Changelog: v0.2.0...v0.3.0

Release v0.2.0

• Source code adapted for C++
• The plugin now includes analysis of invalidation of reference data types

Full Changelog: https://github.com/rsashka/memsafe/commits/v0.2.0