Package Details: ikos 1.3-1

Git Clone URL: https://aur.archlinux.org/ikos.git (read-only)
Package Base: ikos
Description: A static analysis tool for C/C++ developed by NASA
Upstream URL: https://ti.arc.nasa.gov/opensource/ikos/
Licenses: custom:NOSA 1.3
Submitter: arthaud
Maintainer: arthaud
Last Packager: arthaud
Votes: 2
Popularity: 0.000083
First Submitted: 2016-05-27 06:44
Last Updated: 2017-10-25 06:43