[Bug 948393] New: Create devel project for static anlysis tools
http://bugzilla.suse.com/show_bug.cgi?id=948393 Bug ID: 948393 Summary: Create devel project for static anlysis tools Classification: openSUSE Product: openSUSE.org Version: unspecified Hardware: Other OS: Other Status: NEW Severity: Normal Priority: P5 - None Component: BuildService Assignee: bnc-team-screening@forge.provo.novell.com Reporter: dsterba@suse.com QA Contact: adrian@suse.com CC: jslaby@suse.com Found By: --- Blocker: --- I'd like to ask OBS maintainers to create a devel project that would cover tools for static analysis. There are two of us interested in maintaining this project, Jiri Slaby and me. There are more static analysis project in some home projects, I hope we could lure the people to cooperate and contribute to the common project. I haven't found a suitable existing project and I think a separate one would make sense as the static tool might depend on 3rd party frameworks (ocaml, some other libraries). The proposed name is 'statica' but I'm open to renames or putting it to other namespaces (possibly devel: or devel:tools: but that could end up to be too long). The list of packages contain among others: * sparse * smatch * frama-c * cil * (Jiri's collection: https://build.opensuse.org/project/show/home:jirislaby:statica) We might want to migrate existing static analyzers from other projects (eg. cppcheck). -- You are receiving this mail because: You are on the CC list for the bug.
http://bugzilla.suse.com/show_bug.cgi?id=948393
Arvin Schnell
http://bugzilla.suse.com/show_bug.cgi?id=948393
http://bugzilla.suse.com/show_bug.cgi?id=948393#c1
Martin Pluskal
http://bugzilla.suse.com/show_bug.cgi?id=948393
http://bugzilla.suse.com/show_bug.cgi?id=948393#c2
--- Comment #2 from David Sterba
http://bugzilla.suse.com/show_bug.cgi?id=948393
http://bugzilla.suse.com/show_bug.cgi?id=948393#c3
--- Comment #3 from Martin Pluskal
You mean something like devel:tools:statica devel:tools:statical would seem reasonable to me
-- You are receiving this mail because: You are on the CC list for the bug.
http://bugzilla.suse.com/show_bug.cgi?id=948393
http://bugzilla.suse.com/show_bug.cgi?id=948393#c4
--- Comment #4 from David Sterba
http://bugzilla.suse.com/show_bug.cgi?id=948393
Chenzi Cao
http://bugzilla.suse.com/show_bug.cgi?id=948393
http://bugzilla.suse.com/show_bug.cgi?id=948393#c5
Adrian Schröter
http://bugzilla.suse.com/show_bug.cgi?id=948393
http://bugzilla.suse.com/show_bug.cgi?id=948393#c6
--- Comment #6 from Martin Pluskal
Jiri and me want to name it devel:tools:statica , let's not waste more time. Thanks.
"devel:tools:statica" no "l" on end? -- You are receiving this mail because: You are on the CC list for the bug.
http://bugzilla.suse.com/show_bug.cgi?id=948393
http://bugzilla.suse.com/show_bug.cgi?id=948393#c7
--- Comment #7 from David Sterba
http://bugzilla.suse.com/show_bug.cgi?id=948393
http://bugzilla.suse.com/show_bug.cgi?id=948393#c8
Martin Pluskal
http://bugzilla.suse.com/show_bug.cgi?id=948393
http://bugzilla.suse.com/show_bug.cgi?id=948393#c9
Martin Pluskal
participants (1)
-
bugzilla_noreply＠novell.com