Warning: file_exists(): open_basedir restriction in effect. File(/srv/http/vhosts/aur.archlinux.org/public/web/locale//en/LC_MESSAGES/aurweb.mo) is not within the allowed path(s): (/srv/http/vhosts/aur-dev.archlinux.org/:/etc/aurweb/) in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/streams.php on line 90
AUR (en) - ikos

Notice: Undefined variable: name in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/pkgfuncs.inc.php on line 248

Package Details: ikos 1.2-1

Git Clone URL: https://aur-dev.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.029447
First Submitted: 2016-05-27 06:44
Last Updated: 2016-10-23 02:17