Static C analyser used by the linux security team
http://repo.or.cz/w/smatch.git last tagged release was released two years ago, plsno
This hasn't seen a new tag since 1.60, two years ago. It looks like they are still active. Do you have an idea when the next release will be?
@DataDrake Unlikely. It is active but like you said, they gave up on making tagged releases a while ago.
It doesn't look like other distros are packaging it and despite their git activity, not having git tags makes this a nightmare to update.