notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)

/commits.php is going away

I'm proposing to take /commits.php away - it mainly duplicates the home page. Details in this GitHub issue.
Port details
ikos Static analyzer for C/C++ based on theory of abstract interpretation
3.0_5 devel on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.0_3Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-12-14 17:34:21
Last Update: 2021-09-26 05:45:20
Commit Hash: 35e8de5
License: MIT
Description:
SVNWeb : git : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (217 items)
Collapse this list.
  1. @ldconfig
  2. /usr/local/share/licenses/ikos-3.0_5/catalog.mk
  3. /usr/local/share/licenses/ikos-3.0_5/LICENSE
  4. /usr/local/share/licenses/ikos-3.0_5/MIT
  5. bin/ikos
  6. bin/ikos-analyzer
  7. bin/ikos-config
  8. bin/ikos-import
  9. bin/ikos-pp
  10. bin/ikos-report
  11. bin/ikos-scan
  12. bin/ikos-scan-c++
  13. bin/ikos-scan-cc
  14. bin/ikos-scan-extract
  15. bin/ikos-view
  16. include/ikos/analyzer/intrinsic.h
  17. include/ikos/ar/format/dot.hpp
  18. include/ikos/ar/format/formatter.hpp
  19. include/ikos/ar/format/namer.hpp
  20. include/ikos/ar/format/text.hpp
  21. include/ikos/ar/pass/add_loop_counters.hpp
  22. include/ikos/ar/pass/add_partitioning_variables.hpp
  23. include/ikos/ar/pass/name_values.hpp
  24. include/ikos/ar/pass/pass.hpp
  25. include/ikos/ar/pass/simplify_cfg.hpp
  26. include/ikos/ar/pass/simplify_upcast_comparison.hpp
  27. include/ikos/ar/semantic.hpp
  28. include/ikos/ar/semantic/bundle.hpp
  29. include/ikos/ar/semantic/code.hpp
  30. include/ikos/ar/semantic/context.hpp
  31. include/ikos/ar/semantic/data_layout.hpp
  32. include/ikos/ar/semantic/function.hpp
  33. include/ikos/ar/semantic/intrinsic.hpp
  34. include/ikos/ar/semantic/statement.hpp
  35. include/ikos/ar/semantic/statement_visitor.hpp
  36. include/ikos/ar/semantic/symbol_table.hpp
  37. include/ikos/ar/semantic/type.hpp
  38. include/ikos/ar/semantic/type_visitor.hpp
  39. include/ikos/ar/semantic/value.hpp
  40. include/ikos/ar/semantic/value_visitor.hpp
  41. include/ikos/ar/support/assert.hpp
  42. include/ikos/ar/support/cast.hpp
  43. include/ikos/ar/support/flags.hpp
  44. include/ikos/ar/support/iterator.hpp
  45. include/ikos/ar/support/number.hpp
  46. include/ikos/ar/support/string_ref.hpp
  47. include/ikos/ar/support/traceable.hpp
  48. include/ikos/ar/verify/frontend.hpp
  49. include/ikos/ar/verify/type.hpp
  50. include/ikos/core/adt/patricia_tree/map.hpp
  51. include/ikos/core/adt/patricia_tree/set.hpp
  52. include/ikos/core/adt/patricia_tree/utils.hpp
  53. include/ikos/core/adt/small_vector.hpp
  54. include/ikos/core/adt/string_ref.hpp
  55. include/ikos/core/domain/abstract_domain.hpp
  56. include/ikos/core/domain/discrete_domain.hpp
  57. include/ikos/core/domain/domain_product.hpp
  58. include/ikos/core/domain/exception/abstract_domain.hpp
  59. include/ikos/core/domain/exception/exception.hpp
  60. include/ikos/core/domain/lifetime/abstract_domain.hpp
  61. include/ikos/core/domain/lifetime/dummy.hpp
  62. include/ikos/core/domain/lifetime/separate_domain.hpp
  63. include/ikos/core/domain/machine_int/abstract_domain.hpp
  64. include/ikos/core/domain/machine_int/congruence.hpp
  65. include/ikos/core/domain/machine_int/dummy.hpp
  66. include/ikos/core/domain/machine_int/interval.hpp
  67. include/ikos/core/domain/machine_int/interval_congruence.hpp
  68. include/ikos/core/domain/machine_int/numeric_domain_adapter.hpp
  69. include/ikos/core/domain/machine_int/operator.hpp
  70. include/ikos/core/domain/machine_int/polymorphic_domain.hpp
  71. include/ikos/core/domain/machine_int/separate_domain.hpp
  72. include/ikos/core/domain/memory/abstract_domain.hpp
  73. include/ikos/core/domain/memory/dummy.hpp
  74. include/ikos/core/domain/memory/partitioning.hpp
  75. include/ikos/core/domain/memory/polymorphic_domain.hpp
  76. include/ikos/core/domain/memory/value.hpp
  77. include/ikos/core/domain/memory/value/cell_set.hpp
  78. include/ikos/core/domain/memory/value/mem_loc_to_cell_set.hpp
  79. include/ikos/core/domain/memory/value/mem_loc_to_pointer_set.hpp
  80. include/ikos/core/domain/nullity/abstract_domain.hpp
  81. include/ikos/core/domain/nullity/dummy.hpp
  82. include/ikos/core/domain/nullity/separate_domain.hpp
  83. include/ikos/core/domain/numeric/abstract_domain.hpp
  84. include/ikos/core/domain/numeric/apron.hpp
  85. include/ikos/core/domain/numeric/congruence.hpp
  86. include/ikos/core/domain/numeric/constant.hpp
  87. include/ikos/core/domain/numeric/dbm.hpp
  88. include/ikos/core/domain/numeric/domain_product.hpp
  89. include/ikos/core/domain/numeric/equality_congruence_solver.hpp
  90. include/ikos/core/domain/numeric/gauge.hpp
  91. include/ikos/core/domain/numeric/gauge_interval_congruence.hpp
  92. include/ikos/core/domain/numeric/interval.hpp
  93. include/ikos/core/domain/numeric/interval_congruence.hpp
  94. include/ikos/core/domain/numeric/linear_interval_solver.hpp
  95. include/ikos/core/domain/numeric/octagon.hpp
  96. include/ikos/core/domain/numeric/operator.hpp
  97. include/ikos/core/domain/numeric/separate_domain.hpp
  98. include/ikos/core/domain/numeric/union.hpp
  99. include/ikos/core/domain/numeric/var_packing_dbm.hpp
  100. include/ikos/core/domain/numeric/var_packing_dbm_congruence.hpp
  101. include/ikos/core/domain/numeric/var_packing_domain.hpp
  102. include/ikos/core/domain/pointer/operator.hpp
  103. include/ikos/core/domain/pointer/solver.hpp
  104. include/ikos/core/domain/scalar/abstract_domain.hpp
  105. include/ikos/core/domain/scalar/composite.hpp
  106. include/ikos/core/domain/scalar/dummy.hpp
  107. include/ikos/core/domain/scalar/machine_int.hpp
  108. include/ikos/core/domain/separate_domain.hpp
  109. include/ikos/core/domain/uninitialized/abstract_domain.hpp
  110. include/ikos/core/domain/uninitialized/dummy.hpp
  111. include/ikos/core/domain/uninitialized/separate_domain.hpp
  112. include/ikos/core/example/machine_int/variable_factory.hpp
  113. include/ikos/core/example/memory_factory.hpp
  114. include/ikos/core/example/muzq.hpp
  115. include/ikos/core/example/scalar/variable_factory.hpp
  116. include/ikos/core/example/variable_factory.hpp
  117. include/ikos/core/exception.hpp
  118. include/ikos/core/fixpoint/concurrent_fwd_fixpoint_iterator.hpp
  119. include/ikos/core/fixpoint/fixpoint_iterator.hpp
  120. include/ikos/core/fixpoint/fwd_fixpoint_iterator.hpp
  121. include/ikos/core/fixpoint/wpo.hpp
  122. include/ikos/core/fixpoint/wto.hpp
  123. include/ikos/core/linear_constraint.hpp
  124. include/ikos/core/linear_expression.hpp
  125. include/ikos/core/literal.hpp
  126. include/ikos/core/number.hpp
  127. include/ikos/core/number/bound.hpp
  128. include/ikos/core/number/compatibility.hpp
  129. include/ikos/core/number/dummy_number.hpp
  130. include/ikos/core/number/exception.hpp
  131. include/ikos/core/number/machine_int.hpp
  132. include/ikos/core/number/q_number.hpp
  133. include/ikos/core/number/signedness.hpp
  134. include/ikos/core/number/supported_integral.hpp
  135. include/ikos/core/number/z_number.hpp
  136. include/ikos/core/semantic/dumpable.hpp
  137. include/ikos/core/semantic/graph.hpp
  138. include/ikos/core/semantic/indexable.hpp
  139. include/ikos/core/semantic/machine_int/variable.hpp
  140. include/ikos/core/semantic/memory/value/cell_factory.hpp
  141. include/ikos/core/semantic/memory/value/cell_variable.hpp
  142. include/ikos/core/semantic/memory_location.hpp
  143. include/ikos/core/semantic/scalar/variable.hpp
  144. include/ikos/core/semantic/variable.hpp
  145. include/ikos/core/support/assert.hpp
  146. include/ikos/core/support/cast.hpp
  147. include/ikos/core/support/compiler.hpp
  148. include/ikos/core/support/mpl.hpp
  149. include/ikos/core/value/lifetime.hpp
  150. include/ikos/core/value/machine_int/congruence.hpp
  151. include/ikos/core/value/machine_int/constant.hpp
  152. include/ikos/core/value/machine_int/interval.hpp
  153. include/ikos/core/value/machine_int/interval_congruence.hpp
  154. include/ikos/core/value/nullity.hpp
  155. include/ikos/core/value/numeric/congruence.hpp
  156. include/ikos/core/value/numeric/constant.hpp
  157. include/ikos/core/value/numeric/gauge.hpp
  158. include/ikos/core/value/numeric/interval.hpp
  159. include/ikos/core/value/numeric/interval_congruence.hpp
  160. include/ikos/core/value/pointer/pointer.hpp
  161. include/ikos/core/value/pointer/pointer_set.hpp
  162. include/ikos/core/value/pointer/points_to_set.hpp
  163. include/ikos/core/value/uninitialized.hpp
  164. include/ikos/frontend/llvm/import.hpp
  165. include/ikos/frontend/llvm/import/exception.hpp
  166. include/ikos/frontend/llvm/import/importer.hpp
  167. include/ikos/frontend/llvm/import/source_location.hpp
  168. include/ikos/frontend/llvm/pass.hpp
  169. lib/libikos-ar.so
  170. lib/libikos-llvm-to-ar.so
  171. lib/libikos-pp.so
  172. lib/python3.8/site-packages/ikos-3.0-py3.8.egg-info
  173. lib/python3.8/site-packages/ikos/__init__.py
  174. lib/python3.8/site-packages/ikos/__pycache__/__init__.cpython-38.pyc
  175. lib/python3.8/site-packages/ikos/__pycache__/abs_int.cpython-38.pyc
  176. lib/python3.8/site-packages/ikos/__pycache__/analyzer.cpython-38.pyc
  177. lib/python3.8/site-packages/ikos/__pycache__/args.cpython-38.pyc
  178. lib/python3.8/site-packages/ikos/__pycache__/colors.cpython-38.pyc
  179. lib/python3.8/site-packages/ikos/__pycache__/enums.cpython-38.pyc
  180. lib/python3.8/site-packages/ikos/__pycache__/filetype.cpython-38.pyc
  181. lib/python3.8/site-packages/ikos/__pycache__/highlight.cpython-38.pyc
  182. lib/python3.8/site-packages/ikos/__pycache__/html.cpython-38.pyc
  183. lib/python3.8/site-packages/ikos/__pycache__/http.cpython-38.pyc
  184. lib/python3.8/site-packages/ikos/__pycache__/log.cpython-38.pyc
  185. lib/python3.8/site-packages/ikos/__pycache__/output_db.cpython-38.pyc
  186. lib/python3.8/site-packages/ikos/__pycache__/report.cpython-38.pyc
  187. lib/python3.8/site-packages/ikos/__pycache__/scan.cpython-38.pyc
  188. lib/python3.8/site-packages/ikos/__pycache__/stats.cpython-38.pyc
  189. lib/python3.8/site-packages/ikos/__pycache__/view.cpython-38.pyc
  190. lib/python3.8/site-packages/ikos/abs_int.py
  191. lib/python3.8/site-packages/ikos/analyzer.py
  192. lib/python3.8/site-packages/ikos/args.py
  193. lib/python3.8/site-packages/ikos/colors.py
  194. lib/python3.8/site-packages/ikos/enums.py
  195. lib/python3.8/site-packages/ikos/filetype.py
  196. lib/python3.8/site-packages/ikos/highlight.py
  197. lib/python3.8/site-packages/ikos/html.py
  198. lib/python3.8/site-packages/ikos/http.py
  199. lib/python3.8/site-packages/ikos/log.py
  200. lib/python3.8/site-packages/ikos/output_db.py
  201. lib/python3.8/site-packages/ikos/report.py
  202. lib/python3.8/site-packages/ikos/scan.py
  203. lib/python3.8/site-packages/ikos/settings/__init__.py
  204. lib/python3.8/site-packages/ikos/settings/__pycache__/__init__.cpython-38.pyc
  205. lib/python3.8/site-packages/ikos/stats.py
  206. lib/python3.8/site-packages/ikos/view.py
  207. share/ikos/view/static/css/ikos_theme.css
  208. share/ikos/view/static/js/ikos_homepage.js
  209. share/ikos/view/static/js/ikos_report.js
  210. share/ikos/view/template/error.html
  211. share/ikos/view/template/homepage.html
  212. share/ikos/view/template/not_found.html
  213. share/ikos/view/template/report.html
  214. share/ikos/view/template/settings.html
  215. @owner
  216. @group
  217. @mode
Collapse this list.
Dependency lines:
  • For RUN/BUILD depends:
    • ikos>0:devel/ikos
  • 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
PKGNAME: ikos
Flavors: there is no flavor information for this port.
distinfo:
Packages (timestamps in pop-ups are UTC):
ikos
ABIlatestquarterly
FreeBSD:11:aarch64--
FreeBSD:11:amd643.0_53.0_3
FreeBSD:11:armv6--
FreeBSD:11:i3863.0_53.0_3
FreeBSD:11:mips--
FreeBSD:11:mips64--
FreeBSD:12:aarch64--
FreeBSD:12:amd643.0_53.0_5
FreeBSD:12:armv6--
FreeBSD:12:armv7--
FreeBSD:12:i3863.0_53.0_5
FreeBSD:12:mips--
FreeBSD:12:mips64--
FreeBSD:12:powerpc64--
FreeBSD:13:aarch64--
FreeBSD:13:amd643.0_53.0_5
FreeBSD:13:armv6--
FreeBSD:13:armv7--
FreeBSD:13:i3863.0_53.0_5
FreeBSD:13:mips--
FreeBSD:13:mips64--
FreeBSD:13:powerpc64-3.0_3
FreeBSD:14:aarch64--
FreeBSD:14:amd643.0_5-
FreeBSD:14:armv6--
FreeBSD:14:armv7--
FreeBSD:14:i3863.0_5-
FreeBSD:14:mips--
FreeBSD:14:mips64--
FreeBSD:14:powerpc643.0_3-
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. llvm90>0 : devel/llvm90
  2. cmake : devel/cmake
  3. ninja : devel/ninja
  4. python3.8 : lang/python38
Runtime dependencies:
  1. py38-sqlite3>0 : databases/py-sqlite3@py38
  2. llvm90>0 : devel/llvm90
  3. python3.8 : lang/python38
Library dependencies:
  1. libapron.so : math/apron
  2. libboost_system.so : devel/boost-libs
  3. libmpfr.so : math/mpfr
  4. libgmp.so : math/gmp
  5. libppl.so : devel/ppl
  6. libtbb.so : devel/tbb
  7. libsqlite3.so : databases/sqlite3
There are no ports dependent upon this port

Configuration Options:
Options name:

USES:

FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/NASA-SW-VnV/ikos/tar.gz/v3.0?dummy=/
Collapse this list.

Number of commits found: 30

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
26 Sep 2021 05:45:20
 files touched by this commit commit hash:35e8de555d9359df0261bd49f563c8b6a9baa294  3.0_5
yuri search for other commits by this committer
devel/ikos: Add missing RUN_DEPENDS: devel/llvmNN for clang executable

PR:		258693
02 Sep 2021 03:50:05
 files touched by this commit commit hash:b2892643a365beff3e84f73d08df71fe12c85807  3.0_4
yuri search for other commits by this committer
math/apron: Update 0.9.12 -> 0.9.12
07 Apr 2021 08:09:01
 files touched by this commit commit hash:cf118ccf875508b9a1c570044c93cfcc82bd455c  3.0_3
mat search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
06 Apr 2021 14:31:07
 files touched by this commit commit hash:305f148f482daf30dcf728039d03d019f88344eb  3.0_3
mat search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
17 Jul 2020 10:12:26
Original commit files touched by this commit Revision:542423  3.0_3
martymac search for other commits by this committer
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
Original commit files touched by this commit Revision:530219  3.0_2
martymac search for other commits by this committer
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
Original commit files touched by this commit Revision:520935  3.0_1
martymac search for other commits by this committer
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
Original commit files touched by this commit Revision:520101  3.0
antoine search for other commits by this committer
Fix packaging

PR:		233770
13 Dec 2019 06:48:21
Original commit files touched by this commit Revision:520002  3.0
yuri search for other commits by this committer
devel/ikos: Update 2.2 -> 3.0

Reported by:	portscout
11 Dec 2019 17:53:49
Original commit files touched by this commit Revision:519824  2.2_2
jbeich search for other commits by this committer
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
Original commit files touched by this commit Revision:512440  2.2_1
jbeich search for other commits by this committer
Switch default devel/llvm* to 90

PR:		239682
Reviewed by:	tobik
Differential Revision:	https://reviews.freebsd.org/D21172
31 Aug 2019 06:49:47
Original commit files touched by this commit Revision:510329  2.2
yuri search for other commits by this committer
devel/ikos: Update 2.1-152 -> 2.2

Reported by:	portscout
19 Aug 2019 15:35:28
Original commit files touched by this commit Revision:509290  2.1.152_3
jbeich search for other commits by this committer
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
Original commit files touched by this commit Revision:505142  2.1.152_2
yuri search for other commits by this committer
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
Original commit files touched by this commit Revision:504097  2.1.152_1
yuri search for other commits by this committer
devel/ikos: Update 2.1-129 -> 2.1-152
12 Apr 2019 06:36:31
Original commit files touched by this commit Revision:498698  2.1.129_1
jbeich search for other commits by this committer
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
Original commit files touched by this commit Revision:498580  2.1.129
yuri search for other commits by this committer
devel/ikos: Update comment about supported llvm versions and LLVM_DEFAULT

Requested by:	jbeich
10 Apr 2019 08:12:58
Original commit files touched by this commit Revision:498542  2.1.129
yuri search for other commits by this committer
devel/ikos: Update 2.1-104 -> 2.1-129

ikos now supports llvm80.
10 Apr 2019 06:18:32
Original commit files touched by this commit Revision:498530  2.1.104_1
antoine search for other commits by this committer
Bump a few PORTREVISIONs after r498529

With hat:	portmgr
25 Feb 2019 02:06:15
Original commit files touched by this commit Revision:493829  2.1.104
yuri search for other commits by this committer
devel/ikos: Update 2.1-82 -> 2.1-104
04 Feb 2019 19:32:14
Original commit files touched by this commit Revision:492155  2.1.82
yuri search for other commits by this committer
devel/ikos: Update 2.1-69 -> 2.1-82
26 Jan 2019 22:15:06
Original commit files touched by this commit Revision:491316  2.1.69_1
yuri search for other commits by this committer
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
Original commit files touched by this commit Revision:491226  2.1.69
yuri search for other commits by this committer
devel/ikos: Update 2.1-52 -> 2.1-69

Bugfixes
11 Jan 2019 07:24:46
Original commit files touched by this commit Revision:489949  2.1.52
yuri search for other commits by this committer
devel/ikos: Update 2.1-49 -> 2.1-52

They fixed the bug that I reported yesterday.
08 Jan 2019 09:09:13
Original commit files touched by this commit Revision:489659  2.1.49
yuri search for other commits by this committer
devel/ikos: Fix USES=cmake

Reported by:	tobik
08 Jan 2019 08:16:40
Original commit files touched by this commit Revision:489651  2.1.49
yuri search for other commits by this committer
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
Original commit files touched by this commit Revision:489583  2.1_1
antoine search for other commits by this committer
Fix packaging with DEFAULT_VERSIONS=python=3.x

PR:		234633
25 Dec 2018 20:25:40
Original commit files touched by this commit Revision:488341  2.1_1
tcberner search for other commits by this committer
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
Original commit files touched by this commit Revision:487461  2.1_1
yuri search for other commits by this committer
devel/ikos: Add APRON and PPL dependencies
14 Dec 2018 17:34:02
Original commit files touched by this commit Revision:487452  2.1
yuri search for other commits by this committer
New port: devel/ikos: Static analyzer for C/C++ based on theory of abstract
interpretation

Number of commits found: 30