Memory Management for Safety-Critical Systems

What problem does it solve?

This Skill ensures that memory is used in a predictable and safe manner, preventing common firmware vulnerabilities like buffer overflows and corruption in safety-critical medical devices.

Core Features & Use Cases

• Static Allocation: Prioritizes static or stack allocation to guarantee deterministic behavior.
• Memory Pools: Provides bounded allocation for dynamic needs, crucial for real-time systems.
• Stack & MPU Protection: Analyzes stack usage and configures Memory Protection Units (MPUs) to segregate critical memory regions.
• Bounds Checking & Corruption Detection: Implements checks to prevent overflows and detects memory corruption using canaries or CRCs.
• Use Case: When developing firmware for a pacemaker, this skill ensures that critical functions always have predictable memory access, preventing potential life-threatening failures due to memory corruption.

Quick Start

Apply the memory management skill to ensure static allocation is preferred for all critical firmware paths.