[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Cyclone - Making C safe by enforcing low level checks.
- To: <linux-il(at-nospam)linux.org.il>
- Subject: Cyclone - Making C safe by enforcing low level checks.
- From: "Tzahi Fadida" <muaddib(at-nospam)mailandnews.com>
- Date: Sat, 17 Nov 2001 17:55:50 +0200
- Delivered-To: linux.org.il-linux-il@linux.org.il
- Importance: Normal
- Reply-To: <muaddib(at-nospam)mailandnews.com>
- Sender: linux-il-bounce(at-nospam)cs.huji.ac.il
Article: "Cyclone" blows computer bugs out of code
15:29 16 November 01
Will Knight
http://www.newscientist.com/news/news.jsp?id=ns99991578
Actual site (Cornell) with download for the Linux x86:
http://www.cs.cornell.edu/projects/cyclone/
Personal Commentary:
Well, it seems like a nice idea. not new of course. but it seems more consolidated and professional looking. And backed by AT&T which gives it a strong back. In addition they seem certain they could pass it as a standard, so maybe next year we could see a Linux built on Cyclone.
The thing is, aside from the low level stuff which OS are built on. For regular applications we already have Java, which is much better for applications all the way around, as much as safety is concerned.
And last, at the site I sought the licensing information and got this:
"Licensing: The files in the distribution come from a variety of sources and so come under a variety of licenses. Please see each file and directory for its licensing terms. ", which makes it a little bogus to me. So until it is admitted as a standard and the fog will clear up on the licensing information, (After all, you don't expect people to go over every library or code to check if they can legally use it) I think people should sit on the rails and wait for things to take their course.
* - * - *
Tzahi Fadida
Tzahi@mailandnews.com
Fax (+1 Outside the US) 240-597-3213
* - * - * - * - * - *
To unsubscribe, send mail to linux-il-request@linux.org.il with
the word "unsubscribe" in the message body, e.g., run the command
echo unsubscribe | mail linux-il-request@linux.org.il