Has anybody seen the new verified C compiler that came out of inria? I
think it's supposed to show that if it does not give a warning, that there
can be no segfault. But I'm not sure about leakage and other concerns.

On Tue, Aug 18, 2015 at 11:01 AM, Victor Rodriguez [off-list ref]
wrote:

+1 to coverity we use that :)


On Tue, Aug 18, 2015 at 9:01 AM, leo kirotawa [off-list ref] wrote:

quoted

For memory leaks kernel has a clever mechanism to verify it that you
can enable in .config for use [1].
You can also uses Sparse in kernel for static analyze purpose.

There are others out there such as coverity scan, coccinelle, etc.

[1] https://www.kernel.org/doc/Documentation/kmemleak.txt

[]'s


On Tue, Aug 18, 2015 at 10:45 AM, Kenneth Adam Miller
[off-list ref] wrote:

quoted

Why? That's what the vast majority of the kernel is written in (besides
assembler, but what I'm looking for isn't a way to write safe

assembler).

quoted

quoted

Plus, tons of people in the kernel development community *must* have

some

quoted

quoted

concern or interest in security. I don't care if the kernel is written

in C,

quoted

quoted

but I sure would like my kernel module to be safer. If I can get it I

don't

quoted

quoted

care what language it's in-it just has to work and *be secure*.

On Tue, Aug 18, 2015 at 9:40 AM, Robert P. J. Day <

rpjday at crashcourse.ca>

quoted

quoted

wrote:

quoted

On Tue, 18 Aug 2015, Kenneth Adam Miller wrote:

quoted

Ok- so I know that C is the defacto standard for kernel
development...

  and that's probably where you should have stopped typing. :-)

rday

--

========================================================================

quoted

quoted

quoted

Robert P. J. Day                                 Ottawa, Ontario,

CANADA

quoted

quoted

quoted

                        http://crashcourse.ca

Twitter:

http://twitter.com/rpjday

quoted

quoted

quoted

LinkedIn:

http://ca.linkedin.com/in/rpjday

quoted

quoted

quoted

========================================================================

quoted

quoted

quoted

_______________________________________________
Kernelnewbies mailing list
Kernelnewbies at kernelnewbies.org
http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies

--

----------------------------------------------
Le?nidas S. Barbosa (Kirotawa)
blog: corecode.wordpress.com

_______________________________________________
Kernelnewbies mailing list
Kernelnewbies at kernelnewbies.org
http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20150818/1ab52256/attachment-0001.html