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.