docker-coala-base icon indicating copy to clipboard operation
docker-coala-base copied to clipboard

Published 20 hours ago • verified publisher icon coala

static analysis in openSUSE

Open jayvdb opened this issue 7 years ago • 0 comments

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

jayvdb avatar Nov 27 '16 19:11 jayvdb