RHEL and Object reuse requirements.

Hello,

From reading the Redhat Enterprise Linux security target for CAPP document I can see that the common criteria evaluation identified these object reuse requirements (OR.1, OR.2, and OR.3) and that Redhat met these requirements. And these requirements were met in,

Section 6.2.5.1, which states that file system objects are created with no contents. The exceptions are listed right above that line.

Section 6.2.5.2 says that IPC objects are initialized with 0 at creation and do not change size.

Section 6.2.5.3 discusses about memory objects.

Can anybody help me out to identify where in the Linux source code these requirements are met.

Thanks,

--
Sarmila