When your code absolutely, always, has to work :-).

Tue Aug 7 02:29:24 MDT 2012

On Mon, Aug 06, 2012 at 11:14:18AM -0700, Jeremy Allison wrote:
> I found this really interesting:
> 
> http://programmers.stackexchange.com/questions/159637/what-is-the-mars-curiosity-rovers-software-built-in/159638#159638
> 
> http://lars-lab.jpl.nasa.gov/JPL_Coding_Standard_C.pdf
> 
> Makes Samba seem a bit less reliable somehow :-).

One problem here is that to me it seems those MISRA docs and
tools are not available for free. I have looked at one
point, but I could not find anything easily accessible. And,
no malloc() is difficult for Samba I guess. We don't want a
pre-allocated array of fsp's I think :-)

Volker

-- 
SerNet GmbH, Bahnhofsallee 1b, 37081 Göttingen
phone: +49-551-370000-0, fax: +49-551-370000-9
AG Göttingen, HRB 2816, GF: Dr. Johannes Loxen
http://www.sernet.de, mailto:kontakt at sernet.de

When your code absolutely, always, *has* to work :-).

When your code absolutely, always, has to work :-).