libikos-dev (3.5-2)
Details
Core information at a glance
- Distribution
- debian
- Origin
- debian-sid
- Repository
- https://deb.debian.org/debian
- Codename
- sid
- Component
- non-free
- Source
- ikos
- Architecture
- i386
- Section
- non-free/libdevel
- Priority
- optional
- Maintainer
- Debian Python Team <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 2.2 kB
- Size expected
- 176.3 kB
- Size actual
- 176.3 kB
- Size match
Suggested packages
Recommended additional packages
- None
Description
Static analyzer for C/C++ - development headers
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 777ff3c2…b1d6be50 | |
| SHA-1 | f833ef86…6459986c | |
| SHA-256 | 37b72d6f…01aa6dd7 | |
| SHA-512 | 3ac8a62a…d12bfea0 |
Contents
Files and directories included
. usr usr/include usr/include/ikos usr/include/ikos/analyzer usr/include/ikos/analyzer/intrinsic.h usr/include/ikos/ar usr/include/ikos/ar/format usr/include/ikos/ar/format/dot.hpp usr/include/ikos/ar/format/formatter.hpp usr/include/ikos/ar/format/namer.hpp usr/include/ikos/ar/format/text.hpp usr/include/ikos/ar/pass usr/include/ikos/ar/pass/add_loop_counters.hpp usr/include/ikos/ar/pass/add_partitioning_variables.hpp usr/include/ikos/ar/pass/name_values.hpp usr/include/ikos/ar/pass/pass.hpp usr/include/ikos/ar/pass/simplify_cfg.hpp usr/include/ikos/ar/pass/simplify_upcast_comparison.hpp usr/include/ikos/ar/semantic usr/include/ikos/ar/semantic/bundle.hpp usr/include/ikos/ar/semantic/code.hpp usr/include/ikos/ar/semantic/context.hpp usr/include/ikos/ar/semantic/data_layout.hpp usr/include/ikos/ar/semantic/function.hpp usr/include/ikos/ar/semantic/intrinsic.hpp usr/include/ikos/ar/semantic/statement.hpp usr/include/ikos/ar/semantic/statement_visitor.hpp usr/include/ikos/ar/semantic/symbol_table.hpp usr/include/ikos/ar/semantic/type.hpp usr/include/ikos/ar/semantic/type_visitor.hpp usr/include/ikos/ar/semantic/value.hpp usr/include/ikos/ar/semantic/value_visitor.hpp usr/include/ikos/ar/semantic.hpp usr/include/ikos/ar/support usr/include/ikos/ar/support/assert.hpp usr/include/ikos/ar/support/cast.hpp usr/include/ikos/ar/support/flags.hpp usr/include/ikos/ar/support/iterator.hpp usr/include/ikos/ar/support/number.hpp usr/include/ikos/ar/support/string_ref.hpp usr/include/ikos/ar/support/traceable.hpp usr/include/ikos/ar/verify usr/include/ikos/ar/verify/frontend.hpp usr/include/ikos/ar/verify/type.hpp usr/include/ikos/core usr/include/ikos/core/adt usr/include/ikos/core/adt/patricia_tree usr/include/ikos/core/adt/patricia_tree/map.hpp usr/include/ikos/core/adt/patricia_tree/set.hpp usr/include/ikos/core/adt/patricia_tree/utils.hpp usr/include/ikos/core/adt/small_vector.hpp usr/include/ikos/core/adt/string_ref.hpp usr/include/ikos/core/domain usr/include/ikos/core/domain/abstract_domain.hpp usr/include/ikos/core/domain/discrete_domain.hpp usr/include/ikos/core/domain/domain_product.hpp usr/include/ikos/core/domain/exception usr/include/ikos/core/domain/exception/abstract_domain.hpp usr/include/ikos/core/domain/exception/exception.hpp usr/include/ikos/core/domain/lifetime usr/include/ikos/core/domain/lifetime/abstract_domain.hpp usr/include/ikos/core/domain/lifetime/dummy.hpp usr/include/ikos/core/domain/lifetime/separate_domain.hpp usr/include/ikos/core/domain/machine_int usr/include/ikos/core/domain/machine_int/abstract_domain.hpp usr/include/ikos/core/domain/machine_int/congruence.hpp usr/include/ikos/core/domain/machine_int/dummy.hpp usr/include/ikos/core/domain/machine_int/interval.hpp usr/include/ikos/core/domain/machine_int/interval_congruence.hpp usr/include/ikos/core/domain/machine_int/numeric_domain_adapter.hpp usr/include/ikos/core/domain/machine_int/operator.hpp usr/include/ikos/core/domain/machine_int/polymorphic_domain.hpp usr/include/ikos/core/domain/machine_int/separate_domain.hpp usr/include/ikos/core/domain/memory usr/include/ikos/core/domain/memory/abstract_domain.hpp usr/include/ikos/core/domain/memory/dummy.hpp usr/include/ikos/core/domain/memory/partitioning.hpp usr/include/ikos/core/domain/memory/polymorphic_domain.hpp usr/include/ikos/core/domain/memory/value usr/include/ikos/core/domain/memory/value/cell_set.hpp usr/include/ikos/core/domain/memory/value/mem_loc_to_cell_set.hpp usr/include/ikos/core/domain/memory/value/mem_loc_to_pointer_set.hpp usr/include/ikos/core/domain/memory/value.hpp usr/include/ikos/core/domain/nullity usr/include/ikos/core/domain/nullity/abstract_domain.hpp usr/include/ikos/core/domain/nullity/dummy.hpp usr/include/ikos/core/domain/nullity/separate_domain.hpp usr/include/ikos/core/domain/numeric usr/include/ikos/core/domain/numeric/abstract_domain.hpp usr/include/ikos/core/domain/numeric/apron.hpp usr/include/ikos/core/domain/numeric/congruence.hpp usr/include/ikos/core/domain/numeric/constant.hpp usr/include/ikos/core/domain/numeric/dbm.hpp usr/include/ikos/core/domain/numeric/domain_product.hpp usr/include/ikos/core/domain/numeric/equality_congruence_solver.hpp usr/include/ikos/core/domain/numeric/gauge.hpp usr/include/ikos/core/domain/numeric/gauge_interval_congruence.hpp usr/include/ikos/core/domain/numeric/interval.hpp usr/include/ikos/core/domain/numeric/interval_congruence.hpp usr/include/ikos/core/domain/numeric/linear_interval_solver.hpp usr/include/ikos/core/domain/numeric/octagon.hpp usr/include/ikos/core/domain/numeric/operator.hpp usr/include/ikos/core/domain/numeric/separate_domain.hpp usr/include/ikos/core/domain/numeric/union.hpp usr/include/ikos/core/domain/numeric/var_packing_dbm.hpp usr/include/ikos/core/domain/numeric/var_packing_dbm_congruence.hpp usr/include/ikos/core/domain/numeric/var_packing_domain.hpp usr/include/ikos/core/domain/pointer usr/include/ikos/core/domain/pointer/operator.hpp usr/include/ikos/core/domain/pointer/solver.hpp usr/include/ikos/core/domain/scalar usr/include/ikos/core/domain/scalar/abstract_domain.hpp usr/include/ikos/core/domain/scalar/composite.hpp usr/include/ikos/core/domain/scalar/dummy.hpp usr/include/ikos/core/domain/scalar/machine_int.hpp usr/include/ikos/core/domain/separate_domain.hpp usr/include/ikos/core/domain/uninitialized usr/include/ikos/core/domain/uninitialized/abstract_domain.hpp usr/include/ikos/core/domain/uninitialized/dummy.hpp usr/include/ikos/core/domain/uninitialized/separate_domain.hpp usr/include/ikos/core/example usr/include/ikos/core/example/machine_int usr/include/ikos/core/example/machine_int/variable_factory.hpp usr/include/ikos/core/example/memory_factory.hpp usr/include/ikos/core/example/muzq.hpp usr/include/ikos/core/example/scalar usr/include/ikos/core/example/scalar/variable_factory.hpp usr/include/ikos/core/example/variable_factory.hpp usr/include/ikos/core/exception.hpp usr/include/ikos/core/fixpoint usr/include/ikos/core/fixpoint/concurrent_fwd_fixpoint_iterator.hpp usr/include/ikos/core/fixpoint/fixpoint_iterator.hpp usr/include/ikos/core/fixpoint/fwd_fixpoint_iterator.hpp usr/include/ikos/core/fixpoint/wpo.hpp usr/include/ikos/core/fixpoint/wto.hpp usr/include/ikos/core/linear_constraint.hpp usr/include/ikos/core/linear_expression.hpp usr/include/ikos/core/literal.hpp usr/include/ikos/core/number usr/include/ikos/core/number/bound.hpp usr/include/ikos/core/number/compatibility.hpp usr/include/ikos/core/number/dummy_number.hpp usr/include/ikos/core/number/exception.hpp usr/include/ikos/core/number/machine_int.hpp usr/include/ikos/core/number/q_number.hpp usr/include/ikos/core/number/signedness.hpp usr/include/ikos/core/number/supported_integral.hpp usr/include/ikos/core/number/z_number.hpp usr/include/ikos/core/number.hpp usr/include/ikos/core/semantic usr/include/ikos/core/semantic/dumpable.hpp usr/include/ikos/core/semantic/graph.hpp usr/include/ikos/core/semantic/indexable.hpp usr/include/ikos/core/semantic/machine_int usr/include/ikos/core/semantic/machine_int/variable.hpp usr/include/ikos/core/semantic/memory usr/include/ikos/core/semantic/memory/value usr/include/ikos/core/semantic/memory/value/cell_factory.hpp usr/include/ikos/core/semantic/memory/value/cell_variable.hpp usr/include/ikos/core/semantic/memory_location.hpp usr/include/ikos/core/semantic/scalar usr/include/ikos/core/semantic/scalar/variable.hpp usr/include/ikos/core/semantic/variable.hpp usr/include/ikos/core/support usr/include/ikos/core/support/assert.hpp usr/include/ikos/core/support/cast.hpp usr/include/ikos/core/support/compiler.hpp usr/include/ikos/core/support/mpl.hpp usr/include/ikos/core/value usr/include/ikos/core/value/lifetime.hpp usr/include/ikos/core/value/machine_int usr/include/ikos/core/value/machine_int/congruence.hpp usr/include/ikos/core/value/machine_int/constant.hpp usr/include/ikos/core/value/machine_int/interval.hpp usr/include/ikos/core/value/machine_int/interval_congruence.hpp usr/include/ikos/core/value/nullity.hpp usr/include/ikos/core/value/numeric usr/include/ikos/core/value/numeric/congruence.hpp usr/include/ikos/core/value/numeric/constant.hpp usr/include/ikos/core/value/numeric/gauge.hpp usr/include/ikos/core/value/numeric/interval.hpp usr/include/ikos/core/value/numeric/interval_congruence.hpp usr/include/ikos/core/value/pointer usr/include/ikos/core/value/pointer/pointer.hpp usr/include/ikos/core/value/pointer/pointer_set.hpp usr/include/ikos/core/value/pointer/points_to_set.hpp usr/include/ikos/core/value/uninitialized.hpp usr/include/ikos/frontend usr/include/ikos/frontend/llvm usr/include/ikos/frontend/llvm/import usr/include/ikos/frontend/llvm/import/exception.hpp usr/include/ikos/frontend/llvm/import/importer.hpp usr/include/ikos/frontend/llvm/import/source_location.hpp usr/include/ikos/frontend/llvm/import.hpp usr/include/ikos/frontend/llvm/pass.hpp usr/share usr/share/doc usr/share/doc/libikos-dev usr/share/doc/libikos-dev/changelog.Debian.gz usr/share/doc/libikos-dev/copyright