devel/ikos 3.5_5
Static analyzer for C/C++ based on theory of abstract interpretation
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
46451ea56c- License
- MIT
- Categories
- devel
- Package size
- 9381.8 KiB, 38620.8 KiB installed
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.
Install
As a binary package — by origin, or by package name:
pkg install devel/ikos
pkg install ikosFrom the ports tree:
cd /usr/ports/devel/ikos/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= ikos>0:devel/ikos
LIB_DEPENDS= libikos-ar.so:devel/ikosPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 3.5_5 | 3.5_5 | - | - | 3.5_5 |
| FreeBSD:14:quarterly | 3.5_5 | 3.5_5 | n/a | - | 3.5_5 |
| FreeBSD:15:latest | 3.5_5 | 3.5_5 | n/a | - | 3.5_2 |
| FreeBSD:15:quarterly | 3.5_5 | 3.5_5 | n/a | n/a | n/a |
| FreeBSD:16:latest | - | - | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Build 1
llvm14>0: devel/llvm14
Library 6
libapron.so: math/apronlibboost_thread.so: devel/boost-libslibmpfr.so: math/mpfrlibgmp.so: math/gmplibppl.so: devel/ppllibtbb.so: devel/onetbb
Runtime 1
llvm14>0: devel/llvm14
The full lists below include those, and their dependencies in turn.
All build dependencies 36
- archivers/liblz4
- archivers/zstd
- databases/sqlite3
- devel/boost-libs
- devel/cmake-core
- devel/gettext-runtime
- devel/hwloc2
- devel/icu
- devel/jsoncpp
- devel/level-zero
- devel/libedit
- devel/libffi
- devel/libpciaccess
- devel/libunistring
- devel/libuv
- devel/llvm14
- devel/ninja
- devel/onetbb
- devel/ppl
- devel/readline
- dns/libidn2
- lang/perl5.42
- lang/python312
- lang/tcl86
- math/apron
- math/glpk
- math/gmp
- math/libtommath
- math/mpdecimal
- math/mpfr
- misc/hwdata
- ports-mgmt/pkg
- print/indexinfo
- security/rhash
- textproc/expat2
- textproc/libxml2
All run dependencies 28
- archivers/liblz4
- archivers/zstd
- databases/sqlite3
- devel/boost-libs
- devel/gettext-runtime
- devel/hwloc2
- devel/icu
- devel/level-zero
- devel/libedit
- devel/libffi
- devel/libpciaccess
- devel/llvm14
- devel/onetbb
- devel/ppl
- devel/readline
- lang/perl5.42
- lang/python312
- lang/tcl86
- math/apron
- math/glpk
- math/gmp
- math/libtommath
- math/mpdecimal
- math/mpfr
- misc/hwdata
- print/indexinfo
- textproc/expat2
- textproc/libxml2
No port depends on this one.
Configuration
No options to configure.
- USES
- cmake ncurses python sqlite
- Service scripts
- none
Files
pkg-plist 199
- bin/ikos
- bin/ikos-analyzer
- bin/ikos-config
- bin/ikos-import
- bin/ikos-pp
- bin/ikos-report
- bin/ikos-scan
- bin/ikos-scan-c++
- bin/ikos-scan-cc
- bin/ikos-scan-extract
- bin/ikos-view
- include/ikos/analyzer/intrinsic.h
- include/ikos/ar/format/dot.hpp
- include/ikos/ar/format/formatter.hpp
- include/ikos/ar/format/namer.hpp
- include/ikos/ar/format/text.hpp
- include/ikos/ar/pass/add_loop_counters.hpp
- include/ikos/ar/pass/add_partitioning_variables.hpp
- include/ikos/ar/pass/name_values.hpp
- include/ikos/ar/pass/pass.hpp
- include/ikos/ar/pass/simplify_cfg.hpp
- include/ikos/ar/pass/simplify_upcast_comparison.hpp
- include/ikos/ar/semantic.hpp
- include/ikos/ar/semantic/bundle.hpp
- include/ikos/ar/semantic/code.hpp
- include/ikos/ar/semantic/context.hpp
- include/ikos/ar/semantic/data_layout.hpp
- include/ikos/ar/semantic/function.hpp
- include/ikos/ar/semantic/intrinsic.hpp
- include/ikos/ar/semantic/statement.hpp
- include/ikos/ar/semantic/statement_visitor.hpp
- include/ikos/ar/semantic/symbol_table.hpp
- include/ikos/ar/semantic/type.hpp
- include/ikos/ar/semantic/type_visitor.hpp
- include/ikos/ar/semantic/value.hpp
- include/ikos/ar/semantic/value_visitor.hpp
- include/ikos/ar/support/assert.hpp
- include/ikos/ar/support/cast.hpp
- include/ikos/ar/support/flags.hpp
- include/ikos/ar/support/iterator.hpp
- include/ikos/ar/support/number.hpp
- include/ikos/ar/support/string_ref.hpp
- include/ikos/ar/support/traceable.hpp
- include/ikos/ar/verify/frontend.hpp
- include/ikos/ar/verify/type.hpp
- include/ikos/core/adt/patricia_tree/map.hpp
- include/ikos/core/adt/patricia_tree/set.hpp
- include/ikos/core/adt/patricia_tree/utils.hpp
- include/ikos/core/adt/small_vector.hpp
- include/ikos/core/adt/string_ref.hpp
- include/ikos/core/domain/abstract_domain.hpp
- include/ikos/core/domain/discrete_domain.hpp
- include/ikos/core/domain/domain_product.hpp
- include/ikos/core/domain/exception/abstract_domain.hpp
- include/ikos/core/domain/exception/exception.hpp
- include/ikos/core/domain/lifetime/abstract_domain.hpp
- include/ikos/core/domain/lifetime/dummy.hpp
- include/ikos/core/domain/lifetime/separate_domain.hpp
- include/ikos/core/domain/machine_int/abstract_domain.hpp
- include/ikos/core/domain/machine_int/congruence.hpp
- include/ikos/core/domain/machine_int/dummy.hpp
- include/ikos/core/domain/machine_int/interval.hpp
- include/ikos/core/domain/machine_int/interval_congruence.hpp
- include/ikos/core/domain/machine_int/numeric_domain_adapter.hpp
- include/ikos/core/domain/machine_int/operator.hpp
- include/ikos/core/domain/machine_int/polymorphic_domain.hpp
- include/ikos/core/domain/machine_int/separate_domain.hpp
- include/ikos/core/domain/memory/abstract_domain.hpp
- include/ikos/core/domain/memory/dummy.hpp
- include/ikos/core/domain/memory/partitioning.hpp
- include/ikos/core/domain/memory/polymorphic_domain.hpp
- include/ikos/core/domain/memory/value.hpp
- include/ikos/core/domain/memory/value/cell_set.hpp
- include/ikos/core/domain/memory/value/mem_loc_to_cell_set.hpp
- include/ikos/core/domain/memory/value/mem_loc_to_pointer_set.hpp
- include/ikos/core/domain/nullity/abstract_domain.hpp
- include/ikos/core/domain/nullity/dummy.hpp
- include/ikos/core/domain/nullity/separate_domain.hpp
- include/ikos/core/domain/numeric/abstract_domain.hpp
- include/ikos/core/domain/numeric/apron.hpp
- include/ikos/core/domain/numeric/congruence.hpp
- include/ikos/core/domain/numeric/constant.hpp
- include/ikos/core/domain/numeric/dbm.hpp
- include/ikos/core/domain/numeric/domain_product.hpp
- include/ikos/core/domain/numeric/equality_congruence_solver.hpp
- include/ikos/core/domain/numeric/gauge.hpp
- include/ikos/core/domain/numeric/gauge_interval_congruence.hpp
- include/ikos/core/domain/numeric/interval.hpp
- include/ikos/core/domain/numeric/interval_congruence.hpp
- include/ikos/core/domain/numeric/linear_interval_solver.hpp
- include/ikos/core/domain/numeric/octagon.hpp
- include/ikos/core/domain/numeric/operator.hpp
- include/ikos/core/domain/numeric/separate_domain.hpp
- include/ikos/core/domain/numeric/union.hpp
- include/ikos/core/domain/numeric/var_packing_dbm.hpp
- include/ikos/core/domain/numeric/var_packing_dbm_congruence.hpp
- include/ikos/core/domain/numeric/var_packing_domain.hpp
- include/ikos/core/domain/pointer/operator.hpp
- include/ikos/core/domain/pointer/solver.hpp
- include/ikos/core/domain/scalar/abstract_domain.hpp
The first 100 are listed.
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| NASA-SW-VnV-ikos-v3.5_GH0.tar.gz | 1.382417e+06 | 375b575b715901f47d7884e8ac33e5c4410974011b603f825c5e6eda7d1c74b8 |