linux-kernel - Wiki for automatic reports / fixes

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [thread-next>] [day] [month] [year] [list]

Message-ID: <CAB=NE6XOHLdmo3u2fV5LHkY9Y1kH9zXHubLmoFypD++gZ4p5qg@mail.gmail.com>
Date:	Fri, 2 Oct 2015 12:19:45 -0700
From:	"Luis R. Rodriguez" <mcgrof@...not-panic.com>
To:	Fengguang Wu <fengguang.wu@...el.com>,
	Valentin Rothberg <valentinrothberg@...il.com>,
	Dan Carpenter <error27@...il.com>,
	Mel Gorman <mgorman@...e.de>,
	Steven Rostedt <rostedt@...dmis.org>
Cc:	Johannes Thumshirn <jthumshirn@...e.de>,
	Konstantin Ryabitsev <mricon@...nel.org>,
	Jonathan Corbet <corbet@....net>,
	Lars Kurth <lars.kurth.xen@...il.com>,
	Ian Jackson <Ian.Jackson@...citrix.com>,
	Stefano Stabellini <stefano.stabellini@...citrix.com>,
	Vitaly Kuznetsov <vkuznets@...hat.com>,
	Robert Schweikert <rjschwei@...e.com>, ms@...e.de,
	Juergen Gross <jgross@...e.com>,
	"linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>,
	Joerg Roedel <jroedel@...e.de>,
	"linux-doc@...r.kernel.org" <linux-doc@...r.kernel.org>
Subject: Wiki for automatic reports / fixes

Fengguang, Dan, Mel,

Valentin has some open source tools that uses some SAT solver the
backend to hunt for dead, the undertaker tool [0] inspects Kconfig,
and uses SAT solver to do this work. A while ago it was determined
that this code could not be merged upstream for a variety of reasons,
but mostly due to the fact that it was R&D work and it was under GPLv3
[1]. I know a few of you have other testing tools which helps find
other sorts of issues. To my knowledge automated reports for these may
be expected readily these days by developers from 0-day bot, and for
smatch issues, but its unclear what we should expect from the other
ones. There is also some pending ideas over a few of these other
testing frameworks, for instance a recent discussion was started to
evaluate the potential for integration of Xen into the 0-day bot
testing scheme. While discussing expectations and information about
reports over these with Valentin it occurred to me information about
all these may be scattered separately and some developers may be
surprised when they first get reports / fixes from these sorts of
testing systems and that perhaps it may be useful if we had a single
wiki entry point where we could refer folks to the different ongoing
testing infrastructures out there working upstream.

If we could piggy back off of an already existing wiki then great, but
if not I was thinking something off of wiki.kernel.org might be good.
How about tests.wiki.kernel.org ? If such projects don't have a wiki
they could perhaps use pages off of tests.wiki.kernel.org to elaborate
and set expectations straight. Thoughts?

[0] http://vamos.informatik.uni-erlangen.de/trac/undertake
[1] https://lwn.net/Articles/617383/

 Luis
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/