>On Mon, Apr 12, 2010 at 10:36:15PM +0100, Jamie Lokier wrote: >> It's called static analysis or type checking. The compiler proves >> that there are no bad pointers as much as possible, so it doesn't have >> to check them at run time. If there are any remaining ones, it can >> check them. Depending on the language and type of program, it is >> sometimes possible to prove there are no bad pointers and nothing has >> to be done when the program is running. > >Well clearly the language isn't C then. I sometimes forget there >are people using decent languages instead. :)
Microsoft have made great progress doing this analysis on x86 binaries for windows drivers and hence C alas it is still not perfect and its arch specific. For security and safety reasons a type safe / memory safe OS needs it to be perfect. So we ditch c and C++ user apps. _______________________________________________ uClinux-dev mailing list uClinux-dev@uclinux.org http://mailman.uclinux.org/mailman/listinfo/uclinux-dev This message was resent by uclinux-dev@uclinux.org To unsubscribe see: http://mailman.uclinux.org/mailman/options/uclinux-dev
