| Port details |
- ikos Static analyzer for C/C++ based on theory of abstract interpretation
- 3.5 devel
 =2      3.2_5Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2018-12-14 17:34:21
- Last Update: 2025-01-09 12:22:08
- Commit Hash: dcb7376
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- 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 = 1736373858
SHA256 (NASA-SW-VnV-ikos-v3.5_GH0.tar.gz) = 375b575b715901f47d7884e8ac33e5c4410974011b603f825c5e6eda7d1c74b8
SIZE (NASA-SW-VnV-ikos-v3.5_GH0.tar.gz) = 1382417
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.11 : lang/python311
- Test dependencies:
-
- python3.11 : lang/python311
- Runtime dependencies:
-
- llvm14>0 : devel/llvm14
- python3.11 : lang/python311
- 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:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
3.5
09 Jan 2025 12:22:08
 |
Yuri Victorovich (yuri) |
devel/ikos: update 3.2 → 3.5
Reported by: portscout |
3.2_5
20 Nov 2024 10:05:25
|
Dima Panov (fluffy) |
devel/boost: bump consu,ers after update Boost to 1.86 release
Sponsored by: Future Crew, LLC |
3.2_4
03 Oct 2024 10:25:14
|
Dima Panov (fluffy) |
*/*: bump consumers after devel/boost* update
With hat: office
Sponsored by: Future Crew, LLC |
3.2_3
04 Jul 2024 11:39:44
|
Ganael LAPLANCHE (martymac) |
devel/onetbb: Update to 2021.13.0
and bump dependent ports' revisions.
Release
notes: https://github.com/oneapi-src/oneTBB/blob/v2021.13.0/RELEASE_NOTES.md |
3.2_2
14 Jun 2024 21:32:04
|
Yuri Victorovich (yuri) |
devel/ikos: Broken on armv7
Reported by: fallout |
3.2_2
17 Apr 2024 11:28:34
|
Ganael LAPLANCHE (martymac) |
devel/onetbb: Update to 2021.12.0
and bump dependent ports' revisions.
Release notes: https://github.com/oneapi-src/oneTBB/releases/tag/v2021.12.0 |
3.2_1
13 Feb 2024 14:44:22
|
Dima Panov (fluffy) |
devel/boost: bump consumers after library update |
3.2
29 Dec 2023 21:19:45
|
Yuri Victorovich (yuri) |
devel/ikos: update 3.1 → 3.2
Reported by: portscout |
3.1_7
28 Nov 2023 11:35:02
|
Ganael LAPLANCHE (martymac) |
devel/onetbb: Update to 2021.11.0
and bump dependent ports' revisions.
Release notes: https://github.com/oneapi-src/oneTBB/releases/tag/v2021.11.0 |
3.1_6
27 Sep 2023 14:36:30
|
Dima Panov (fluffy) |
devel/boost*: bump all consumers after 1.83.0 |
3.1_5
21 Aug 2023 10:09:23
|
Ganael LAPLANCHE (martymac) |
devel/onetbb: Update to 2021.10.0
and bump dependent ports' revisions.
Release notes: https://github.com/oneapi-src/oneTBB/releases/tag/v2021.10.0 |
3.1_4
27 Jun 2023 19:34:34
|
Rene Ladan (rene) |
all: remove explicit versions in USES=python for "3.x+"
The logic in USES=python will automatically convert this to 3.8+ by
itself.
Adjust two ports that only had Python 3.7 mentioned but build fine
on Python 3.8 too.
finance/quickfix: mark BROKEN with PYTHON
libtool: compile: c++ -DHAVE_CONFIG_H -I. -I../.. -I -I. -I.. -I../.. -I../C++
-DLIBICONV_PLUG -DPYTHON_MAJOR_VERSION=3 -Wno-unused-variable
-Wno-maybe-uninitialized -O2 -pipe -DLIBICONV_PLUG -fstack-protector-strong
-fno-strict-aliasing -DLIBICONV_PLUG -Wall -ansi
-Wno-unused-command-line-argument -Wpointer-arith -Wwrite-strings
-Wno-overloaded-virtual -Wno-deprecated-declarations -Wno-deprecated -std=c++0x
-MT _quickfix_la-QuickfixPython.lo -MD -MP -MF
.deps/_quickfix_la-QuickfixPython.Tpo -c QuickfixPython.cpp -fPIC -DPIC -o
.libs/_quickfix_la-QuickfixPython.o
warning: unknown warning option '-Wno-maybe-uninitialized'; did you mean
'-Wno-uninitialized'? [-Wunknown-warning-option]
QuickfixPython.cpp:175:11: fatal error: 'Python.h' file not found
^~~~~~~~~~
1 warning and 1 error generated.
Reviewed by: portmgr, vishwin, yuri
Differential Revision: <https://reviews.freebsd.org/D40568> |
3.1_4
09 May 2023 10:25:26
|
Ganael LAPLANCHE (martymac) |
devel/onetbb: Update to 2021.9.0
and bump dependent ports' revisions.
Release notes: https://github.com/oneapi-src/oneTBB/releases/tag/v2021.9.0 |
3.1_3
27 Apr 2023 18:25:55
|
Dima Panov (fluffy) |
*/*: bump all direct Boost cunsumers |
3.1_2
03 Mar 2023 15:01:50
|
Ganael LAPLANCHE (martymac) |
devel/onetbb: Update to 2021.8.0
Also:
- bump dependent ports' revisions
- fix build when WITH_DEBUG is set
Release notes: https://github.com/oneapi-src/oneTBB/releases/tag/v2021.8.0 |
3.1_1
16 Jan 2023 19:32:07
|
Dima Panov (fluffy) |
*/*: bump libboost*.so libraries consumert after Boost upgrade |
3.1
12 Jan 2023 19:09:33
|
Dima Panov (fluffy) |
devel/ikos: prepare for upcoming Boost-1.81
With hat: office |
3.1
06 Dec 2022 17:21:02
|
Yuri Victorovich (yuri) |
devel/ikos: Update 3.0 -> 3.1
PR: 252686 |
07 Sep 2022 21:58:51
|
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
3.0_8
07 Sep 2022 21:10:59
|
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above  ) |
3.0_8
12 Aug 2022 14:46:53
|
Dima Panov (fluffy) |
*/*: bump all consumers after recent boost upgrade |
3.0_7
03 Jun 2022 13:59:05
|
Po-Chuan Hsieh (sunpoet) |
devel/ikos: Fix build with setuptools 58.0.0+
- Bump PORTREVISION for package change
With hat: python |
3.0_6
22 May 2022 20:17:16
|
Dima Panov (fluffy) |
devel/boost-all: bump all library consumers after boost upgrade
PR: 246106 |
3.0_5
26 Sep 2021 05:45:20
|
Yuri Victorovich (yuri)
Author: nimaje |
devel/ikos: Add missing RUN_DEPENDS: devel/llvmNN for clang executable
PR: 258693 |
3.0_4
02 Sep 2021 03:50:05
|
Yuri Victorovich (yuri) |
math/apron: Update 0.9.12 -> 0.9.12 |
3.0_3
07 Apr 2021 08:09:01
|
Mathieu Arnold (mat) |
One more small cleanup, forgotten yesterday.
Reported by: lwhsu |
3.0_3
06 Apr 2021 14:31:07
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
3.0_3
17 Jul 2020 10:12:26
 |
martymac |
Update devel/tbb to 2020.3 and bump dependent ports' revisions
Changelog: https://github.com/oneapi-src/oneTBB/blob/v2020.3/CHANGES |
3.0_2
01 Apr 2020 14:14:52
|
martymac |
Update devel/tbb to 2020.2 and bump dependent port's revisions
Changelog: https://github.com/oneapi-src/oneTBB/blob/tbb_2020/CHANGES |
3.0_1
26 Dec 2019 16:25:22
|
martymac |
Update devel/tbb to 2020.0 and bump dependent ports' revisions [1]
Also, while here, re-generate patches using the makepatch target
[1] Changelog: https://github.com/intel/tbb/blob/v2020.0/CHANGES |
3.0
14 Dec 2019 08:48:58
|
antoine |
Fix packaging
PR: 233770 |
3.0
13 Dec 2019 06:48:21
|
yuri |
devel/ikos: Update 2.2 -> 3.0
Reported by: portscout |
2.2_2
11 Dec 2019 17:53:49
|
jbeich |
devel/boost-*: update to 1.72.0
Changes: http://www.boost.org/users/history/version_1_72_0.html
PR: 241449
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D22136 |
2.2_1
20 Sep 2019 19:58:36
|
jbeich |
Switch default devel/llvm* to 90
PR: 239682
Reviewed by: tobik
Differential Revision: https://reviews.freebsd.org/D21172 |
2.2
31 Aug 2019 06:49:47
|
yuri |
devel/ikos: Update 2.1-152 -> 2.2
Reported by: portscout |
2.1.152_3
19 Aug 2019 15:35:28
|
jbeich |
devel/boost-*: update to 1.71.0
Changes: http://www.boost.org/users/history/version_1_71_0.html
PR: 238827
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D20774 |
2.1.152_2
26 Jun 2019 07:45:04
|
yuri |
devel/ikos: Add sqlite3 to RUN_DEPENDS
The ikos.analyzer module requires sqlite3.
PR: 238818
Submitted by: Julien Nadeau <vedge@hypertriton.com> |
2.1.152_1
13 Jun 2019 15:13:30
|
yuri |
devel/ikos: Update 2.1-129 -> 2.1-152 |
2.1.129_1
12 Apr 2019 06:36:31
|
jbeich |
devel/boost-*: update to 1.70.0
Changes: http://www.boost.org/users/history/version_1_70_0.html
PR: 235956
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D19303 |
2.1.129
10 Apr 2019 16:20:55
|
yuri |
devel/ikos: Update comment about supported llvm versions and LLVM_DEFAULT
Requested by: jbeich |
2.1.129
10 Apr 2019 08:12:58
|
yuri |
devel/ikos: Update 2.1-104 -> 2.1-129
ikos now supports llvm80. |
2.1.104_1
10 Apr 2019 06:18:32
|
antoine |
Bump a few PORTREVISIONs after r498529
With hat: portmgr |
2.1.104
25 Feb 2019 02:06:15
|
yuri |
devel/ikos: Update 2.1-82 -> 2.1-104 |
2.1.82
04 Feb 2019 19:32:14
|
yuri |
devel/ikos: Update 2.1-69 -> 2.1-82 |
2.1.69_1
26 Jan 2019 22:15:06
|
yuri |
devel/ikos: Switch to a fixed LLVM version 70 from LLVM_DEFAULT
ikos seems to only support a narrow set of versions.
Also add USE_LDCONFIG.
PR: 235213
Reported by: jbeich |
2.1.69
26 Jan 2019 03:51:51
|
yuri |
devel/ikos: Update 2.1-52 -> 2.1-69
Bugfixes |
2.1.52
11 Jan 2019 07:24:46
|
yuri |
devel/ikos: Update 2.1-49 -> 2.1-52
They fixed the bug that I reported yesterday. |
2.1.49
08 Jan 2019 09:09:13
|
yuri |
devel/ikos: Fix USES=cmake
Reported by: tobik |
2.1.49
08 Jan 2019 08:16:40
|
yuri |
devel/ikos: Update 2.1 -> 2.1-49
* Shared libraries are now available
* Fixes for some crashes are included |
2.1_1
07 Jan 2019 16:47:47
|
antoine |
Fix packaging with DEFAULT_VERSIONS=python=3.x
PR: 234633 |
2.1_1
25 Dec 2018 20:25:40
|
tcberner |
Change cmake default behaviour to outsource.
Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".
I tried to only set insource where explictely needed.
PR: 232038
Exp-run by: antoine |
2.1_1
14 Dec 2018 19:54:48
|
yuri |
devel/ikos: Add APRON and PPL dependencies |
2.1
14 Dec 2018 17:34:02
|
yuri |
New port: devel/ikos: Static analyzer for C/C++ based on theory of abstract
interpretation |
As an Amazon Associate I earn from qualifying purchases.