callee) has read and [...] _INPUT read/write read only [...] _INPUT CONSTANT read/write once

shared memory area is [...] processing and refers to [...] smaller parts and

_xReaderActive AND_THEN g_semRead [...] _xWriterActive AND_THEN g_semWrite [...] _bltBorders.Enter () THEN (* read and

provides pragmas and [...] rule SA0031 and SA [...] set of rules and to