Package Details: ikos 2.2-1

Git Clone URL: https://aur.archlinux.org/ikos.git (read-only, click to copy)
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.002828
First Submitted: 2016-05-27 06:44
Last Updated: 2019-09-01 04:52