Control Measures

Coverage: 100.0% (1 of 1 items OK)

[OK] TRLC Controlmeasure MwLogBackend.BoundedSharedMemoryAccess

Shared-memory writer/reader implementations shall explicitly check indices and buffer bounds before every read from or write to shared memory.

---

Source: score/mw/log/dependability/safety_analysis/control_measures.trlc:17:25