FreeBSD port devel/ikos

Static analyzer for C/C++ based on theory of abstract interpretation

Summary

Count	10 occurrences
State	Dead
Last occurred	12/13/2019
Habitening next	02/24/2020
Age	364 days
Average	40 days
Honeymoon	3 days
Trend	Increasing
In degree	2
Out degree	4
External links	https://www.freshports.org/devel/ikos/ (FreshPorts) https://cgit.freebsd.org/ports/tree/devel/ikos (cgit) https://svnweb.freebsd.org/ports/head/devel/ikos/?view=log (SVN) https://cgit.freebsd.org/ports/tree/devel/ikos/pkg-descr (Long description)