| Port details |
- ikos Static analyzer for C/C++ based on theory of abstract interpretation
- 3.0_7 devel
 =0      3.0_5Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2018-12-14 17:34:21
- Last Update: 2022-06-03 13:59:05
- Commit Hash: 326f144
- License: MIT
- 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.
WWW: https://github.com/NASA-SW-VnV/ikos
- SVNWeb : git : Homepage
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- For LIB depends:
- libikos-ar.so:devel/ikos
- libikos-llvm-to-ar.so:devel/ikos
- libikos-pp.so:devel/ikos
- 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 = 1576218262
SHA256 (NASA-SW-VnV-ikos-v3.0_GH0.tar.gz) = c2ee1ced81e48c03bcf641fb4d33e0d64a1205108c2f53247bac6eb7d929e538
SIZE (NASA-SW-VnV-ikos-v3.0_GH0.tar.gz) = 1377215
- 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:
-
- llvm90>0 : devel/llvm90
- cmake : devel/cmake
- ninja : devel/ninja
- python3.8 : lang/python38
- Runtime dependencies:
-
- py38-sqlite3>0 : databases/py-sqlite3@py38
- llvm90>0 : devel/llvm90
- python3.8 : lang/python38
- 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/tbb
- 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:3.6+ sqlite
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Commit History - (may be incomplete: see SVNWeb link above for full details) |
| Date | By | Description |
|---|
03 Jun 2022 13:59:05
  3.0_7
|
Po-Chuan Hsieh (sunpoet) |
devel/ikos: Fix build with setuptools 58.0.0+
- Bump PORTREVISION for package change
With hat: python |
22 May 2022 20:17:16
3.0_6
|
Dima Panov (fluffy) |
devel/boost-all: bump all library consumers after boost upgrade
PR: 246106 |
26 Sep 2021 05:45:20
3.0_5
|
Yuri Victorovich (yuri)
Author: nimaje |
devel/ikos: Add missing RUN_DEPENDS: devel/llvmNN for clang executable
PR: 258693 |
02 Sep 2021 03:50:05
3.0_4
|
Yuri Victorovich (yuri) |
math/apron: Update 0.9.12 -> 0.9.12 |
07 Apr 2021 08:09:01
3.0_3
|
Mathieu Arnold (mat) |
One more small cleanup, forgotten yesterday.
Reported by: lwhsu |
06 Apr 2021 14:31:07
3.0_3
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
17 Jul 2020 10:12:26
  3.0_3
|
martymac |
Update devel/tbb to 2020.3 and bump dependent ports' revisions
Changelog: https://github.com/oneapi-src/oneTBB/blob/v2020.3/CHANGES |
01 Apr 2020 14:14:52
3.0_2
|
martymac |
Update devel/tbb to 2020.2 and bump dependent port's revisions
Changelog: https://github.com/oneapi-src/oneTBB/blob/tbb_2020/CHANGES |
26 Dec 2019 16:25:22
3.0_1
|
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 |
14 Dec 2019 08:48:58
3.0
|
antoine |
Fix packaging
PR: 233770 |
13 Dec 2019 06:48:21
3.0
|
yuri |
devel/ikos: Update 2.2 -> 3.0
Reported by: portscout |
11 Dec 2019 17:53:49
2.2_2
|
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 |
20 Sep 2019 19:58:36
2.2_1
|
jbeich |
Switch default devel/llvm* to 90
PR: 239682
Reviewed by: tobik
Differential Revision: https://reviews.freebsd.org/D21172 |
31 Aug 2019 06:49:47
2.2
|
yuri |
devel/ikos: Update 2.1-152 -> 2.2
Reported by: portscout |
19 Aug 2019 15:35:28
2.1.152_3
|
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 |
26 Jun 2019 07:45:04
2.1.152_2
|
yuri |
devel/ikos: Add sqlite3 to RUN_DEPENDS
The ikos.analyzer module requires sqlite3.
PR: 238818
Submitted by: Julien Nadeau <vedge@hypertriton.com> |
13 Jun 2019 15:13:30
2.1.152_1
|
yuri |
devel/ikos: Update 2.1-129 -> 2.1-152 |
12 Apr 2019 06:36:31
2.1.129_1
|
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 |
10 Apr 2019 16:20:55
2.1.129
|
yuri |
devel/ikos: Update comment about supported llvm versions and LLVM_DEFAULT
Requested by: jbeich |
10 Apr 2019 08:12:58
2.1.129
|
yuri |
devel/ikos: Update 2.1-104 -> 2.1-129
ikos now supports llvm80. |
10 Apr 2019 06:18:32
2.1.104_1
|
antoine |
Bump a few PORTREVISIONs after r498529
With hat: portmgr |
25 Feb 2019 02:06:15
2.1.104
|
yuri |
devel/ikos: Update 2.1-82 -> 2.1-104 |
04 Feb 2019 19:32:14
2.1.82
|
yuri |
devel/ikos: Update 2.1-69 -> 2.1-82 |
26 Jan 2019 22:15:06
2.1.69_1
|
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 |
26 Jan 2019 03:51:51
2.1.69
|
yuri |
devel/ikos: Update 2.1-52 -> 2.1-69
Bugfixes |
11 Jan 2019 07:24:46
2.1.52
|
yuri |
devel/ikos: Update 2.1-49 -> 2.1-52
They fixed the bug that I reported yesterday. |
08 Jan 2019 09:09:13
2.1.49
|
yuri |
devel/ikos: Fix USES=cmake
Reported by: tobik |
08 Jan 2019 08:16:40
2.1.49
|
yuri |
devel/ikos: Update 2.1 -> 2.1-49
* Shared libraries are now available
* Fixes for some crashes are included |
07 Jan 2019 16:47:47
2.1_1
|
antoine |
Fix packaging with DEFAULT_VERSIONS=python=3.x
PR: 234633 |
25 Dec 2018 20:25:40
2.1_1
|
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 |
14 Dec 2018 19:54:48
2.1_1
|
yuri |
devel/ikos: Add APRON and PPL dependencies |
14 Dec 2018 17:34:02
2.1
|
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.