59. 03/09/2016 59
Restrict C [9]
●
No support for
– Global variables
– Arbitrary function calls,
– Floating point, varargs, exceptions, indirect jumps, arbitrary
pointer arithmetic, alloca, etc.
●
Kernel rejects all programs that it cannot prove safe
– programs with loops
– with memory accesses via arbitrary pointers.