notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Port details
ikos Static analyzer for C/C++ based on theory of abstract interpretation
2.2_1 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 2.1.152Version 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: 2019-09-20 20:58:36
SVN Revision: 512440
License: MIT
Description:
SVNWeb : Homepage
pkg-plist: as obtained via: make generate-plist
Expand this list (217 items)
  1. @ldconfig
  2. /usr/local/share/licenses/ikos-2.2_1/catalog.mk
  3. /usr/local/share/licenses/ikos-2.2_1/LICENSE
  4. /usr/local/share/licenses/ikos-2.2_1/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/name_values.hpp
  23. include/ikos/ar/pass/pass.hpp
  24. include/ikos/ar/pass/simplify_cfg.hpp
  25. include/ikos/ar/pass/simplify_upcast_comparison.hpp
  26. include/ikos/ar/semantic.hpp
  27. include/ikos/ar/semantic/bundle.hpp
  28. include/ikos/ar/semantic/code.hpp
  29. include/ikos/ar/semantic/context.hpp
  30. include/ikos/ar/semantic/data_layout.hpp
  31. include/ikos/ar/semantic/function.hpp
  32. include/ikos/ar/semantic/intrinsic.hpp
  33. include/ikos/ar/semantic/statement.hpp
  34. include/ikos/ar/semantic/statement_visitor.hpp
  35. include/ikos/ar/semantic/symbol_table.hpp
  36. include/ikos/ar/semantic/type.hpp
  37. include/ikos/ar/semantic/type_visitor.hpp
  38. include/ikos/ar/semantic/value.hpp
  39. include/ikos/ar/semantic/value_visitor.hpp
  40. include/ikos/ar/support/assert.hpp
  41. include/ikos/ar/support/cast.hpp
  42. include/ikos/ar/support/flags.hpp
  43. include/ikos/ar/support/iterator.hpp
  44. include/ikos/ar/support/number.hpp
  45. include/ikos/ar/support/string_ref.hpp
  46. include/ikos/ar/support/traceable.hpp
  47. include/ikos/ar/verify/frontend.hpp
  48. include/ikos/ar/verify/type.hpp
  49. include/ikos/core/adt/patricia_tree/map.hpp
  50. include/ikos/core/adt/patricia_tree/set.hpp
  51. include/ikos/core/adt/patricia_tree/utils.hpp
  52. include/ikos/core/adt/small_vector.hpp
  53. include/ikos/core/adt/string_ref.hpp
  54. include/ikos/core/domain/abstract_domain.hpp
  55. include/ikos/core/domain/discrete_domain.hpp
  56. include/ikos/core/domain/domain_product.hpp
  57. include/ikos/core/domain/exception/abstract_domain.hpp
  58. include/ikos/core/domain/exception/exception.hpp
  59. include/ikos/core/domain/lifetime/abstract_domain.hpp
  60. include/ikos/core/domain/lifetime/dummy.hpp
  61. include/ikos/core/domain/lifetime/lifetime.hpp
  62. include/ikos/core/domain/machine_int/abstract_domain.hpp
  63. include/ikos/core/domain/machine_int/congruence.hpp
  64. include/ikos/core/domain/machine_int/dummy.hpp
  65. include/ikos/core/domain/machine_int/interval.hpp
  66. include/ikos/core/domain/machine_int/interval_congruence.hpp
  67. include/ikos/core/domain/machine_int/numeric_domain_adapter.hpp
  68. include/ikos/core/domain/machine_int/operator.hpp
  69. include/ikos/core/domain/machine_int/polymorphic_domain.hpp
  70. include/ikos/core/domain/machine_int/separate_domain.hpp
  71. include/ikos/core/domain/memory/abstract_domain.hpp
  72. include/ikos/core/domain/memory/dummy.hpp
  73. include/ikos/core/domain/memory/value.hpp
  74. include/ikos/core/domain/memory/value/cell_set.hpp
  75. include/ikos/core/domain/memory/value/mem_loc_to_cell_set.hpp
  76. include/ikos/core/domain/memory/value/mem_loc_to_pointer_set.hpp
  77. include/ikos/core/domain/nullity/abstract_domain.hpp
  78. include/ikos/core/domain/nullity/dummy.hpp
  79. include/ikos/core/domain/nullity/nullity.hpp
  80. include/ikos/core/domain/numeric/abstract_domain.hpp
  81. include/ikos/core/domain/numeric/apron.hpp
  82. include/ikos/core/domain/numeric/congruence.hpp
  83. include/ikos/core/domain/numeric/constant.hpp
  84. include/ikos/core/domain/numeric/dbm.hpp
  85. include/ikos/core/domain/numeric/domain_product.hpp
  86. include/ikos/core/domain/numeric/equality_congruence_solver.hpp
  87. include/ikos/core/domain/numeric/gauge.hpp
  88. include/ikos/core/domain/numeric/gauge_interval_congruence.hpp
  89. include/ikos/core/domain/numeric/interval.hpp
  90. include/ikos/core/domain/numeric/interval_congruence.hpp
  91. include/ikos/core/domain/numeric/linear_interval_solver.hpp
  92. include/ikos/core/domain/numeric/octagon.hpp
  93. include/ikos/core/domain/numeric/operator.hpp
  94. include/ikos/core/domain/numeric/separate_domain.hpp
  95. include/ikos/core/domain/numeric/union.hpp
  96. include/ikos/core/domain/numeric/var_packing_dbm.hpp
  97. include/ikos/core/domain/numeric/var_packing_dbm_congruence.hpp
  98. include/ikos/core/domain/numeric/var_packing_domain.hpp
  99. include/ikos/core/domain/pointer/abstract_domain.hpp
  100. include/ikos/core/domain/pointer/dummy.hpp
  101. include/ikos/core/domain/pointer/operator.hpp
  102. include/ikos/core/domain/pointer/pointer.hpp
  103. include/ikos/core/domain/pointer/solver.hpp
  104. include/ikos/core/domain/separate_domain.hpp
  105. include/ikos/core/domain/uninitialized/abstract_domain.hpp
  106. include/ikos/core/domain/uninitialized/dummy.hpp
  107. include/ikos/core/domain/uninitialized/uninitialized.hpp
  108. include/ikos/core/example/machine_int/variable_factory.hpp
  109. include/ikos/core/example/muzq.hpp
  110. include/ikos/core/example/variable_factory.hpp
  111. include/ikos/core/exception.hpp
  112. include/ikos/core/fixpoint/fixpoint_iterator.hpp
  113. include/ikos/core/fixpoint/fwd_fixpoint_iterator.hpp
  114. include/ikos/core/fixpoint/wto.hpp
  115. include/ikos/core/legacy/adt/mergeable_map.hpp
  116. include/ikos/core/legacy/adt/patricia_tree.hpp
  117. include/ikos/core/legacy/common/type.hpp
  118. include/ikos/core/legacy/domain/array_graph.hpp
  119. include/ikos/core/legacy/domain/cpa.hpp
  120. include/ikos/core/legacy/domain/dataflow_domain.hpp
  121. include/ikos/core/legacy/domain/reaching.hpp
  122. include/ikos/core/legacy/domain/summary.hpp
  123. include/ikos/core/legacy/domain/uninitialized_array.hpp
  124. include/ikos/core/legacy/example/muaz.hpp
  125. include/ikos/core/legacy/expression.hpp
  126. include/ikos/core/linear_constraint.hpp
  127. include/ikos/core/linear_expression.hpp
  128. include/ikos/core/literal.hpp
  129. include/ikos/core/number.hpp
  130. include/ikos/core/number/bound.hpp
  131. include/ikos/core/number/compatibility.hpp
  132. include/ikos/core/number/dummy_number.hpp
  133. include/ikos/core/number/exception.hpp
  134. include/ikos/core/number/machine_int.hpp
  135. include/ikos/core/number/q_number.hpp
  136. include/ikos/core/number/signedness.hpp
  137. include/ikos/core/number/supported_integral.hpp
  138. include/ikos/core/number/z_number.hpp
  139. include/ikos/core/semantic/dumpable.hpp
  140. include/ikos/core/semantic/graph.hpp
  141. include/ikos/core/semantic/indexable.hpp
  142. include/ikos/core/semantic/machine_int/variable.hpp
  143. include/ikos/core/semantic/memory/cell.hpp
  144. include/ikos/core/semantic/memory/variable.hpp
  145. include/ikos/core/semantic/memory_location.hpp
  146. include/ikos/core/semantic/pointer/variable.hpp
  147. include/ikos/core/semantic/variable.hpp
  148. include/ikos/core/support/assert.hpp
  149. include/ikos/core/support/cast.hpp
  150. include/ikos/core/support/compiler.hpp
  151. include/ikos/core/support/mpl.hpp
  152. include/ikos/core/value/lifetime.hpp
  153. include/ikos/core/value/machine_int/congruence.hpp
  154. include/ikos/core/value/machine_int/constant.hpp
  155. include/ikos/core/value/machine_int/interval.hpp
  156. include/ikos/core/value/machine_int/interval_congruence.hpp
  157. include/ikos/core/value/nullity.hpp
  158. include/ikos/core/value/numeric/congruence.hpp
  159. include/ikos/core/value/numeric/constant.hpp
  160. include/ikos/core/value/numeric/gauge.hpp
  161. include/ikos/core/value/numeric/interval.hpp
  162. include/ikos/core/value/numeric/interval_congruence.hpp
  163. include/ikos/core/value/pointer/pointer.hpp
  164. include/ikos/core/value/pointer/pointer_set.hpp
  165. include/ikos/core/value/pointer/points_to_set.hpp
  166. include/ikos/core/value/uninitialized.hpp
  167. include/ikos/frontend/llvm/import.hpp
  168. include/ikos/frontend/llvm/import/exception.hpp
  169. include/ikos/frontend/llvm/import/importer.hpp
  170. include/ikos/frontend/llvm/import/source_location.hpp
  171. include/ikos/frontend/llvm/pass.hpp
  172. lib/libikos-ar.so
  173. lib/libikos-llvm-to-ar.so
  174. lib/libikos-pp.so
  175. lib/python3.6/site-packages/ikos-2.2-py3.6.egg-info
  176. lib/python3.6/site-packages/ikos/__init__.py
  177. lib/python3.6/site-packages/ikos/__init__.pyc
  178. lib/python3.6/site-packages/ikos/abs_int.py
  179. lib/python3.6/site-packages/ikos/abs_int.pyc
  180. lib/python3.6/site-packages/ikos/analyzer.py
  181. lib/python3.6/site-packages/ikos/analyzer.pyc
  182. lib/python3.6/site-packages/ikos/args.py
  183. lib/python3.6/site-packages/ikos/args.pyc
  184. lib/python3.6/site-packages/ikos/colors.py
  185. lib/python3.6/site-packages/ikos/colors.pyc
  186. lib/python3.6/site-packages/ikos/enums.py
  187. lib/python3.6/site-packages/ikos/enums.pyc
  188. lib/python3.6/site-packages/ikos/filetype.py
  189. lib/python3.6/site-packages/ikos/filetype.pyc
  190. lib/python3.6/site-packages/ikos/highlight.py
  191. lib/python3.6/site-packages/ikos/highlight.pyc
  192. lib/python3.6/site-packages/ikos/html.py
  193. lib/python3.6/site-packages/ikos/html.pyc
  194. lib/python3.6/site-packages/ikos/http.py
  195. lib/python3.6/site-packages/ikos/http.pyc
  196. lib/python3.6/site-packages/ikos/log.py
  197. lib/python3.6/site-packages/ikos/log.pyc
  198. lib/python3.6/site-packages/ikos/output_db.py
  199. lib/python3.6/site-packages/ikos/output_db.pyc
  200. lib/python3.6/site-packages/ikos/report.py
  201. lib/python3.6/site-packages/ikos/report.pyc
  202. lib/python3.6/site-packages/ikos/scan.py
  203. lib/python3.6/site-packages/ikos/scan.pyc
  204. lib/python3.6/site-packages/ikos/settings/__init__.py
  205. lib/python3.6/site-packages/ikos/settings/__init__.pyc
  206. lib/python3.6/site-packages/ikos/stats.py
  207. lib/python3.6/site-packages/ikos/stats.pyc
  208. lib/python3.6/site-packages/ikos/view.py
  209. lib/python3.6/site-packages/ikos/view.pyc
  210. share/ikos/view/static/css/ikos_theme.css
  211. share/ikos/view/static/js/ikos_homepage.js
  212. share/ikos/view/static/js/ikos_report.js
  213. share/ikos/view/template/error.html
  214. share/ikos/view/template/homepage.html
  215. share/ikos/view/template/not_found.html
  216. share/ikos/view/template/report.html
  217. share/ikos/view/template/settings.html
Collapse this list.
Dependency lines:
  • ikos>0:devel/ikos
To install the port: cd /usr/ports/devel/ikos/ && make install clean
To add the package: pkg install ikos
PKGNAME: ikos
Flavors: there is no flavor information for this port.
distinfo:

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. llvm80>0 : devel/llvm80
  2. cmake : devel/cmake
  3. ninja : devel/ninja
  4. python3.6 : lang/python36
Runtime dependencies:
  1. py36-sqlite3>0 : databases/py-sqlite3@py36
  2. python3.6 : lang/python36
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. libsqlite3.so : databases/sqlite3
There are no ports dependent upon this port

Configuration Options

USES:

Master Sites:
  1. https://codeload.github.com/NASA-SW-VnV/ikos/tar.gz/v2.2?dummy=/

Number of commits found: 20

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
20 Sep 2019 19:58:36
Original commit files touched by this commit  2.2_1
Revision:512440
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  2.2
Revision:510329
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  2.1.152_3
Revision:509290
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  2.1.152_2
Revision:505142
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  2.1.152_1
Revision:504097
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  2.1.129_1
Revision:498698
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  2.1.129
Revision:498580
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  2.1.129
Revision:498542
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  2.1.104_1
Revision:498530
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  2.1.104
Revision:493829
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  2.1.82
Revision:492155
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  2.1.69_1
Revision:491316
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  2.1.69
Revision:491226
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  2.1.52
Revision:489949
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  2.1.49
Revision:489659
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  2.1.49
Revision:489651
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  2.1_1
Revision:489583
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  2.1_1
Revision:488341
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  2.1_1
Revision:487461
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  2.1
Revision:487452
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: 20

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
python37Oct 19
py-pillowOct 15
mod_perl2Oct 09
xpdfOct 06
xpdf3Oct 06
xpdf4Oct 06
unboundOct 03
cactiOct 02
gitlab-ceOct 02
gitlab-ceOct 02
ruby24Oct 02
ruby25Oct 02
mongodb34Sep 30
mongodb34Sep 30
mongodb36Sep 30

4 vulnerabilities affecting 12 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-10-19 10:52:46


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 37702
Broken 75
Deprecated 102
Ignore 340
Forbidden 3
Restricted 156
No CDROM 73
Vulnerable 26
Expired 15
Set to expire 73
Interactive 0
new 24 hours 3
new 48 hours6
new 7 days18
new fortnight41
new month143

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2019 Dan Langille. All rights reserved.