On Mon, Sep 12, 2011 at 5:04 PM, mosta <mosta.me@xxxxxxxxxxxxxx> wrote: > Hey All, > > does somebody know of projects that use code generators to generate > kernel modules? I'm thinking about using a strongly typed language like > haskell with a code generator to generate kernel C-Code. I want to > achieve more secure kernel modules this way. Is this a silly idea? or > had someone already done that. > > hope for answers? > > greetings mosta I'm not aware of any code generators, but there are a few static code scanners that are routinely run against the kernel. Coverity used to be one. I don't know if they still run it or not. Also, some people run other static code analysis tools looking for optimizations or bugs. Hopefully someone else can help you out if that is related to your question. Greg _______________________________________________ Kernelnewbies mailing list Kernelnewbies@xxxxxxxxxxxxxxxxx http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
