Towards a Systematic Approach to Memory Safety: A Case Study Integrating Techniques and Practices Over the Software Development Life Cycle (SDLC). - Isaia Tonini; Giacomo Nalli; Luca Piras 003; Pietro De Matteis; Stelios Kapetanakis; Silvio Ranise (3PGCIC, 2025)