Package Details: ikos 2.1-1

Git Clone URL: https://aur.archlinux.org/ikos.git (read-only)
Package Base: ikos
Description: Static analyzer for C and C++ developed by NASA
Upstream URL: https://github.com/nasa-sw-vnv/ikos
Licenses: custom:NOSA 1.3
Submitter: arthaud
Maintainer: arthaud
Last Packager: arthaud
Votes: 6
Popularity: 0.057192
First Submitted: 2016-05-27 06:44
Last Updated: 2018-12-11 05:36