ikos - Static analyzer for C/C++ based on theory of abstract interpretation

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Quarterly amd64
Package filename ikos-2.2_1.txz
Package name ikos
Package version 2.2
Package release 1
Package architecture amd64
Package type txz
Category devel
Homepage https://github.com/NASA-SW-VnV/ikos
License MIT
Maintainer yuri@FreeBSD.org
Download size 6.79 MB
Installed size 32.46 MB
IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++
based on the theory of Abstract Interpretation.
IKOS provides a generic and efficient implementation of state-of-the-art
Abstract Interpretation data structures and algorithms, such as control-flow
graphs, fixpoint iterators, numerical abstract domains, etc. IKOS is independent
of a particular programming language.
IKOS also provides a C and C++ static analyzer based on LLVM. It implements
scalable analyses for detecting and proving the absence of runtime errors in C
and C++ programs.
WWW: https://github.com/NASA-SW-VnV/ikos


Package Version Architecture Repository
ikos-2.2_1.txz 2.2 i386 FreeBSD Ports Latest
ikos-2.2_1.txz 2.2 amd64 FreeBSD Ports Latest
ikos-2.2_1.txz 2.2 i386 FreeBSD Ports Quarterly
ikos - - -


Name Value
apron = 0.9.11
boost-libs = 1.71.0
gmp = 6.1.2_1
libap_pkgrid.so -
libap_ppl.so -
libapron.so -
libboost_filesystem.so.1.71.0 -
libboost_system.so.1.71.0 -
libboxMPQ.so -
libgmp.so.10 -
libgmpxx.so.4 -
libmpfr.so.6 -
liboctMPQ.so -
libpolkaMPQ.so -
libppl.so.14 -
libsqlite3.so.0 -
mpfr = 4.0.2
ppl = 1.2
py36-sqlite3 = 3.6.9_7
python36 = 3.6.9
sqlite3 = 3.29.0


Name Value
libikos-ar.so -
libikos-llvm-to-ar.so -
libikos-pp.so -


Type URL
Mirror pkg.freebsd.org
Binary Package ikos-2.2_1.txz
Source Package devel/ikos

Install Howto

Install ikos txz package:

# pkg install ikos

See Also

Package Description
iksemel-1.4_8.txz XML parser library mainly designed for Jabber applications
ilbc-r3951_1.txz Internet Low Bit Rate codec (RFC3951)
ilias-5.4.5.txz Powerful, dynamic, PHP and MySQL based e-learning platform
ilmbase-2.3.0_3.txz ILM Base libraries a.k.a. Half, IlmThread, Imath, and Iex
im-153.txz Set of user interfaces of Email and NetNews
imageindex-2.0_2.txz Digital photo gallery tool
imageviewer-0.6.3_10.txz GNUstep Image Viewer
imageworsener-1.3.3.txz CLI utility and library for image scaling and processing
imagination-3.0_11.txz DVD slideshow maker
imake-1.0.8,1.txz Imake and other utilities from X.Org
imap-uw-2007f_1,1.txz University of Washington IMAP4rev1/POP2/POP3 mail servers
imapdedup-0.0.20150331.txz Duplicate email message remover
imapfilter-2.6.13.txz IMAP mail filtering utility
imapproxy-1.0_1.txz ImapProxy is a caching IMAP proxy daemon to be used with Horde/IMP
imapsync-1.882.txz IMAP synchronization, copy or migration tool