Talk:Cyclone (programming language)
Most of this page is a re-edit of the "Cyclone: a safe dialect of C" document. Many thanks to Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney and Yanling Wang for creating great software and great documents to spread the word with.
Never-NULL pointers and arithmatic
From the article:
- The simple change of * to @ saves the programmer from having to write NULL checks and the operating system from having to trap NULL pointer dereferences. This extra restriction, 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 is desirable, it can lead to buffer overflows and other off-by-one-style attacks.
I don't understand the second sentence. If the "extra restriction" it refers to is the fact that never-NULL pointers can't be NULL, what does this have to do with pointer arithmatic? Neilc 01:45, 21 July 2005 (UTC)
- Pointer-arithmetics is not allowed with never-NULL pointers.
- MISRA C is a set of guidlines, whereas Cyclone is an entirely new language with safety from the ground up -- LiteStar Litestar (talk) 15:36, 14 February 2008 (UTC)
What does 'although' mean in the following sentence?
- Although Cyclone looks, in general, much like C, it should be thought of as a C-like language.