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).