Andrew Lentvorski wrote:
> A security audit looking for buffer exploits, race conditions, etc. is 
> both difficult and expensive.

I think this is a good argument for writing security sensitive apps in a
higher level language, especially a functional language. It seems like
it is much easier to verify the code and you only have to worry about
the compiler at that point.


-- 
Tracy R Reed
http://ultraviolet.org


-- 
[email protected]
http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-list

Reply via email to