coala / coala/docker-coala-base
static analysis in openSUSE
Open
status/STALE
- Dominant language
- Shell
- Stars
- 21
- Forks
- 28
- PR merge metrics
- No merged PRs in 30d
Description
http://download.opensuse.org/repositories/devel:/tools:/statica/openSUSE_Tumbleweed/src/ has a bunch of static analysis packages. It looks like none of them are in coala.
- cbmc
- cil
- frama-c
- ltl2ba
- minisat
- smatch
- sparse
- stp
- z3
Contributor guide
No contributing guide indexed for this repository
Research direction
Start by locating the package-installation entry point for the docker-coala-base image and compare it with the openSUSE static-analysis package list in the issue. Check which of cbmc, cil, frama-c, ltl2ba, minisat, smatch, sparse, stp, and z3 can be included, then verify the resulting image contains the selected packages.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- docker
- Domain
- tooling
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100