Package Details: ikos-git 2.1.r237.bf4ac4a-1

Git Clone URL: https://aur.archlinux.org/ikos-git.git (read-only)
Package Base: ikos-git
Description: Static analyzer for C and C++ developed by NASA
Upstream URL: https://github.com/nasa-sw-vnv/ikos
Licenses: custom:NOSA 1.3
Provides: ikos
Submitter: arthaud
Maintainer: arthaud
Last Packager: arthaud
Votes: 1
Popularity: 0.497805
First Submitted: 2019-06-12 17:21
Last Updated: 2019-06-12 17:21