Cũng nó có thể xác định điều này bằng cách xác nhận rằng mỗi hệ thống tĩnh chức năng con trỏ ổ cắm bên trong của hạt nhân, và không để các khu vực bên ngoài của mã
Ngoài ra nó có thể xác định điều này bằng cách khẳng định rằng mỗi con trỏ chức năng hệ thống tĩnh ổ cắm bên trong hạt nhân, và không để vùng ra nước ngoài của mã