Static secure page allocation for light-weight dynamic information flow tracking