The Rust language is mentioned by the original developers for having integrated many of the same ideas Cyclone had.
[3] Cyclone development was started as a joint project of Trevor Jim from AT&T Labs Research and Greg Morrisett's group at Cornell University in 2001.
Calling foo(NULL); will result in undefined behavior (typically, although not necessarily, a SIGSEGV signal being sent to the application).
This extra limit, however, can be a rather large stumbling block for most C programmers, who are used to being able to manipulate their pointers directly with arithmetic.
Although this adds overhead due to the extra information stored about the pointer, it improves safety and security.
Cyclone does regional analysis of each segment of code, preventing dangling pointers, such as the one returned from this version of itoa.
Thus, when analyzing itoa, the Cyclone compiler would see that z is a pointer into the local stack, and would report an error.