Port details on branch 2022Q3 |
- ikos Static analyzer for C/C++ based on theory of abstract interpretation
- 3.2_2 devel =0 3.2_1Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2018-12-14 17:34:21
- Last Update: 2024-04-17 11:28:34
- Commit Hash: 96261a1
- License: MIT
- WWW:
- https://github.com/NASA-SW-VnV/ikos
- Description:
- 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.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/devel/ikos/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/ikos
- pkg install ikos
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: ikos
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1703825428
SHA256 (NASA-SW-VnV-ikos-v3.2_GH0.tar.gz) = 11ab520043523a048f8756d68bd3f6a761870d4ec1a9f240eda8f3b1a11f7aa1
SIZE (NASA-SW-VnV-ikos-v3.2_GH0.tar.gz) = 1381841
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- llvm14>0 : devel/llvm14
- cmake : devel/cmake-core
- ninja : devel/ninja
- python3.9 : lang/python39
- Test dependencies:
-
- python3.9 : lang/python39
- Runtime dependencies:
-
- llvm14>0 : devel/llvm14
- python3.9 : lang/python39
- Library dependencies:
-
- libapron.so : math/apron
- libboost_system.so : devel/boost-libs
- libmpfr.so : math/mpfr
- libgmp.so : math/gmp
- libppl.so : devel/ppl
- libtbb.so : devel/onetbb
- libsqlite3.so : databases/sqlite3
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- devel_ikos
- USES:
- cmake ncurses python sqlite
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|