Safety in Kernel Development

[Kenneth Adam Miller]

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 <vm.rod25 at gmail.com>
wrote:

> +1 to coverity we use that :)
>
>
> On Tue, Aug 18, 2015 at 9:01 AM, leo kirotawa <kirotawa at gmail.com> wrote:
> > 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
> > <kennethadammiller at gmail.com> wrote:
> >> 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).
> >> Plus, tons of people in the kernel development community *must* have
> some
> >> concern or interest in security. I don't care if the kernel is written
> in C,
> >> but I sure would like my kernel module to be safer. If I can get it I
> don't
> >> 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>
> >> wrote:
> >>>
> >>> On Tue, 18 Aug 2015, Kenneth Adam Miller wrote:
> >>>
> >>> > Ok- so I know that C is the defacto standard for kernel
> >>> > development...
> >>>
> >>>   and that's probably where you should have stopped typing. :-)
> >>>
> >>> rday
> >>>
> >>> --
> >>>
> >>>
> ========================================================================
> >>> Robert P. J. Day                                 Ottawa, Ontario,
> CANADA
> >>>                         http://crashcourse.ca
> >>>
> >>> Twitter:
> http://twitter.com/rpjday
> >>> LinkedIn:
> http://ca.linkedin.com/in/rpjday
> >>>
> ========================================================================
> >>>
> >>
> >>
> >> _______________________________________________
> >> 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