[Ksummit-2013-discuss] [ATTEND] static checking; COMPILE_TEST

Jiri Slaby jslaby at suse.cz
Tue Jul 16 19:37:19 UTC 2013


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

I would like to attend Kernel Summit 2013. During the past year I have
been working on the TTY subsystem to make it more robust using
refcounting. I also became a co-maintainer of the TTY layer.

These are the topics I am proposing:

* There are many static analyzers capable to check the kernel. But they
are seldom used by the kernel developers. Or even reports from such
tools, when provided, are ignored or even rejected by the maintainers.
Is it possible to improve this somehow? Or do we intentionally leave
this to the downstream (redhat, suse and others who run static analyzers
and send patches)? But they have only limited resources and knowledge in
the first place which leads to "fixing" false positives.

* I added COMPILE_TEST to the kernel Kconfig recently. It is deserved
to allow developers to "cross"-build drivers which are normally built
and loaded solely on a different platform, while users will not see
these drivers in their x/menu/old/whatever-configs when configuring to
their specific platform. There was a discussion about how good this
approach is, whether there are any other options to do that (like new
Kconfig keyword). I think the patch merged was the lesser evil we
could come up with. Can we discuss this further and invent something
better?

- -- 
js
suse labs

- -- 
js
suse labs
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (GNU/Linux)
Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/

iQIcBAEBAgAGBQJR5aDvAAoJEL0lsQQGtHBJRNcP/ibvxYUotUQOmWCjD8YI+2Xz
FW+CmQeeNF0anDW7ZykT3NZtpCalcRk04meaQ4c3Sb0x7DQ97CuhUhW1J7X+sHW6
cI07APl7MnplGydfM2Enellmb75d6pK+5E2k1oBxchy9YkFB2FEEbO/faXvAzJ7U
R9Kl8UM0nAa28zEt78EKNFHOW7wzKvjMP+Oknj46pQoXj4ljoXFZenzgqfxaj70N
T3P1sDjPJywkRZE0LV5yAndDQl/GOkukq6iIltCNxlDvh1CD/frm/y+Puczm3gU2
dgLevQ0uKrcyz1f+OEoQ5XEcyCArjobVgWPbBz/Ef98T5qBhwIBX5exXataQdkMG
XAmMoFwbzUFMnaTBj97Vcs6/kz3mXVrm03aRACZJGdPPe4ProOzc7thtFnbzxkWs
SelPG56hJwyUq7gyA4qzRkcmAjPoPgVKhDz0VmQMyPitLd19e+QzNSWWn4wYmYcv
xJsSiNAzPOpOBzip9rMw1Cid26O75DVNq3InAIy2H7SgiHOjUnt+PTOjdraj49ND
/HAIp8iWOV0zI2Dooai47IAC42IErOCLeG3MfcrQrBu6DDBeV7Vur0V5Why6y3Dc
FQIu5VMBZA49pUvFKk/5D/q1uo3K8n5RhUuE22vB7qwTBxgL3gF852Sv6OolpD7t
BRb1J+kwgs7fZOZTCEPz
=phP5
-----END PGP SIGNATURE-----


More information about the Ksummit-2013-discuss mailing list