notbugIf you buy from Amazon USA, please support us by using this link.
Port details
ikos Static analyzer for C/C++ based on theory of abstract interpretation
2.1.52 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
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2018-12-14 17:34:21
Last Update: 2019-01-11 07:24:46
SVN Revision: 489949
License: MIT
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 : Homepage : PortsMon
    Pseudo-pkg-plist information, but much better, from make generate-plist
    Expand this list (214 items)
  1. /usr/local/share/licenses/ikos-2.1.52/catalog.mk
  2. /usr/local/share/licenses/ikos-2.1.52/LICENSE
  3. /usr/local/share/licenses/ikos-2.1.52/MIT
  4. bin/ikos
  5. bin/ikos-analyzer
  6. bin/ikos-config
  7. bin/ikos-import
  8. bin/ikos-pp
  9. bin/ikos-report
  10. bin/ikos-scan
  11. bin/ikos-scan-c++
  12. bin/ikos-scan-cc
  13. bin/ikos-view
  14. include/ikos/analyzer/intrinsic.h
  15. include/ikos/ar/format/dot.hpp
  16. include/ikos/ar/format/formatter.hpp
  17. include/ikos/ar/format/namer.hpp
  18. include/ikos/ar/format/text.hpp
  19. include/ikos/ar/pass/add_loop_counters.hpp
  20. include/ikos/ar/pass/name_values.hpp
  21. include/ikos/ar/pass/pass.hpp
  22. include/ikos/ar/pass/simplify_cfg.hpp
  23. include/ikos/ar/pass/simplify_upcast_comparison.hpp
  24. include/ikos/ar/semantic.hpp
  25. include/ikos/ar/semantic/bundle.hpp
  26. include/ikos/ar/semantic/code.hpp
  27. include/ikos/ar/semantic/context.hpp
  28. include/ikos/ar/semantic/data_layout.hpp
  29. include/ikos/ar/semantic/function.hpp
  30. include/ikos/ar/semantic/intrinsic.hpp
  31. include/ikos/ar/semantic/statement.hpp
  32. include/ikos/ar/semantic/statement_visitor.hpp
  33. include/ikos/ar/semantic/type.hpp
  34. include/ikos/ar/semantic/type_visitor.hpp
  35. include/ikos/ar/semantic/value.hpp
  36. include/ikos/ar/semantic/value_visitor.hpp
  37. include/ikos/ar/support/assert.hpp
  38. include/ikos/ar/support/cast.hpp
  39. include/ikos/ar/support/flags.hpp
  40. include/ikos/ar/support/iterator.hpp
  41. include/ikos/ar/support/number.hpp
  42. include/ikos/ar/support/string_ref.hpp
  43. include/ikos/ar/support/traceable.hpp
  44. include/ikos/ar/verify/frontend.hpp
  45. include/ikos/ar/verify/type.hpp
  46. include/ikos/core/adt/patricia_tree/map.hpp
  47. include/ikos/core/adt/patricia_tree/set.hpp
  48. include/ikos/core/adt/patricia_tree/utils.hpp
  49. include/ikos/core/adt/small_vector.hpp
  50. include/ikos/core/adt/string_ref.hpp
  51. include/ikos/core/domain/abstract_domain.hpp
  52. include/ikos/core/domain/discrete_domain.hpp
  53. include/ikos/core/domain/domain_product.hpp
  54. include/ikos/core/domain/exception/abstract_domain.hpp
  55. include/ikos/core/domain/exception/exception.hpp
  56. include/ikos/core/domain/lifetime/abstract_domain.hpp
  57. include/ikos/core/domain/lifetime/dummy.hpp
  58. include/ikos/core/domain/lifetime/lifetime.hpp
  59. include/ikos/core/domain/machine_int/abstract_domain.hpp
  60. include/ikos/core/domain/machine_int/congruence.hpp
  61. include/ikos/core/domain/machine_int/dummy.hpp
  62. include/ikos/core/domain/machine_int/interval.hpp
  63. include/ikos/core/domain/machine_int/interval_congruence.hpp
  64. include/ikos/core/domain/machine_int/numeric_domain_adapter.hpp
  65. include/ikos/core/domain/machine_int/operator.hpp
  66. include/ikos/core/domain/machine_int/polymorphic_domain.hpp
  67. include/ikos/core/domain/machine_int/separate_domain.hpp
  68. include/ikos/core/domain/memory/abstract_domain.hpp
  69. include/ikos/core/domain/memory/dummy.hpp
  70. include/ikos/core/domain/memory/value.hpp
  71. include/ikos/core/domain/memory/value/cell_set.hpp
  72. include/ikos/core/domain/memory/value/mem_loc_to_cell_set.hpp
  73. include/ikos/core/domain/memory/value/mem_loc_to_pointer_set.hpp
  74. include/ikos/core/domain/nullity/abstract_domain.hpp
  75. include/ikos/core/domain/nullity/dummy.hpp
  76. include/ikos/core/domain/nullity/nullity.hpp
  77. include/ikos/core/domain/numeric/abstract_domain.hpp
  78. include/ikos/core/domain/numeric/apron.hpp
  79. include/ikos/core/domain/numeric/congruence.hpp
  80. include/ikos/core/domain/numeric/constant.hpp
  81. include/ikos/core/domain/numeric/dbm.hpp
  82. include/ikos/core/domain/numeric/domain_product.hpp
  83. include/ikos/core/domain/numeric/equality_congruence_solver.hpp
  84. include/ikos/core/domain/numeric/gauge.hpp
  85. include/ikos/core/domain/numeric/gauge_interval_congruence.hpp
  86. include/ikos/core/domain/numeric/interval.hpp
  87. include/ikos/core/domain/numeric/interval_congruence.hpp
  88. include/ikos/core/domain/numeric/linear_interval_solver.hpp
  89. include/ikos/core/domain/numeric/octagon.hpp
  90. include/ikos/core/domain/numeric/operator.hpp
  91. include/ikos/core/domain/numeric/separate_domain.hpp
  92. include/ikos/core/domain/numeric/union.hpp
  93. include/ikos/core/domain/numeric/var_packing_dbm.hpp
  94. include/ikos/core/domain/numeric/var_packing_dbm_congruence.hpp
  95. include/ikos/core/domain/numeric/var_packing_domain.hpp
  96. include/ikos/core/domain/pointer/abstract_domain.hpp
  97. include/ikos/core/domain/pointer/dummy.hpp
  98. include/ikos/core/domain/pointer/operator.hpp
  99. include/ikos/core/domain/pointer/pointer.hpp
  100. include/ikos/core/domain/pointer/solver.hpp
  101. include/ikos/core/domain/separate_domain.hpp
  102. include/ikos/core/domain/uninitialized/abstract_domain.hpp
  103. include/ikos/core/domain/uninitialized/dummy.hpp
  104. include/ikos/core/domain/uninitialized/uninitialized.hpp
  105. include/ikos/core/example/machine_int/variable_factory.hpp
  106. include/ikos/core/example/muzq.hpp
  107. include/ikos/core/example/variable_factory.hpp
  108. include/ikos/core/exception.hpp
  109. include/ikos/core/fixpoint/fixpoint_iterator.hpp
  110. include/ikos/core/fixpoint/fwd_fixpoint_iterator.hpp
  111. include/ikos/core/fixpoint/wto.hpp
  112. include/ikos/core/legacy/adt/mergeable_map.hpp
  113. include/ikos/core/legacy/adt/patricia_tree.hpp
  114. include/ikos/core/legacy/common/type.hpp
  115. include/ikos/core/legacy/domain/array_graph.hpp
  116. include/ikos/core/legacy/domain/cpa.hpp
  117. include/ikos/core/legacy/domain/dataflow_domain.hpp
  118. include/ikos/core/legacy/domain/reaching.hpp
  119. include/ikos/core/legacy/domain/summary.hpp
  120. include/ikos/core/legacy/domain/uninitialized_array.hpp
  121. include/ikos/core/legacy/example/muaz.hpp
  122. include/ikos/core/legacy/expression.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/cell.hpp
  141. include/ikos/core/semantic/memory/variable.hpp
  142. include/ikos/core/semantic/memory_location.hpp
  143. include/ikos/core/semantic/pointer/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/python2.7/site-packages/ikos-2.1-py2.7.egg-info
  173. lib/python2.7/site-packages/ikos/__init__.py
  174. lib/python2.7/site-packages/ikos/__init__.pyc
  175. lib/python2.7/site-packages/ikos/abs_int.py
  176. lib/python2.7/site-packages/ikos/abs_int.pyc
  177. lib/python2.7/site-packages/ikos/analyzer.py
  178. lib/python2.7/site-packages/ikos/analyzer.pyc
  179. lib/python2.7/site-packages/ikos/args.py
  180. lib/python2.7/site-packages/ikos/args.pyc
  181. lib/python2.7/site-packages/ikos/colors.py
  182. lib/python2.7/site-packages/ikos/colors.pyc
  183. lib/python2.7/site-packages/ikos/enums.py
  184. lib/python2.7/site-packages/ikos/enums.pyc
  185. lib/python2.7/site-packages/ikos/filetype.py
  186. lib/python2.7/site-packages/ikos/filetype.pyc
  187. lib/python2.7/site-packages/ikos/highlight.py
  188. lib/python2.7/site-packages/ikos/highlight.pyc
  189. lib/python2.7/site-packages/ikos/html.py
  190. lib/python2.7/site-packages/ikos/html.pyc
  191. lib/python2.7/site-packages/ikos/http.py
  192. lib/python2.7/site-packages/ikos/http.pyc
  193. lib/python2.7/site-packages/ikos/log.py
  194. lib/python2.7/site-packages/ikos/log.pyc
  195. lib/python2.7/site-packages/ikos/output_db.py
  196. lib/python2.7/site-packages/ikos/output_db.pyc
  197. lib/python2.7/site-packages/ikos/report.py
  198. lib/python2.7/site-packages/ikos/report.pyc
  199. lib/python2.7/site-packages/ikos/scan.py
  200. lib/python2.7/site-packages/ikos/scan.pyc
  201. lib/python2.7/site-packages/ikos/settings/__init__.py
  202. lib/python2.7/site-packages/ikos/settings/__init__.pyc
  203. lib/python2.7/site-packages/ikos/stats.py
  204. lib/python2.7/site-packages/ikos/stats.pyc
  205. lib/python2.7/site-packages/ikos/view.py
  206. lib/python2.7/site-packages/ikos/view.pyc
  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. Collapse this list.

Dependency line: 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

There is no flavor information for this port.

distinfo:

TIMESTAMP = 1547093519
SHA256 (NASA-SW-VnV-ikos-v2.1-52-ge5db052_GH0.tar.gz) = 82bd6636df96a0399f7025e1e97a7cc020262e53f784a4b50ceb52a6ded1b717
SIZE (NASA-SW-VnV-ikos-v2.1-52-ge5db052_GH0.tar.gz) = 1253559


NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. llvm70>0 : devel/llvm70
  2. cmake : devel/cmake
  3. ninja : devel/ninja
  4. python2.7 : lang/python27
Runtime dependencies:
  1. python2.7 : lang/python27
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
     No options to configure

USES:
cmake ncurses python sqlite

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

Number of commits found: 7

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
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: 7

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, 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
gitlab-ceJan 17
jenkinsJan 16
jenkins-ltsJan 16
py-matrix-synapseJan 15
irssiJan 10
giteaJan 06
uriparserJan 06
chromiumJan 05
chromiumJan 05
openjpeg*Jan 05
py-django111Jan 05
py-django20Jan 05
py-django21Jan 05
gitlab-ceJan 02
rpm4Dec 26

10 vulnerabilities affecting 55 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-01-17 00:14:50


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 36003
Broken 113
Deprecated 412
Ignore 326
Forbidden 3
Restricted 162
No CDROM 74
Vulnerable 33
Expired 5
Set to expire 385
Interactive 0
new 24 hours 9
new 48 hours15
new 7 days39
new fortnight91
new month157

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