├── .clang-format ├── .clang-tidy ├── .github └── workflows │ ├── build-linux.yml │ └── build-macos.yml ├── .gitignore ├── CMakeLists.txt ├── CONTRIBUTORS.md ├── LICENSE.pdf ├── LICENSE.txt ├── README.md ├── TROUBLESHOOTING.md ├── analyzer ├── CMakeLists.txt ├── README.md ├── doc │ └── doxygen │ │ ├── Doxyfile.in │ │ ├── intro │ │ └── latex │ │ ├── biblio.bib │ │ └── overview.tex ├── include │ └── ikos │ │ └── analyzer │ │ ├── analysis │ │ ├── aggregate_literal.hpp │ │ ├── call_context.hpp │ │ ├── context.hpp │ │ ├── execution_engine │ │ │ ├── concurrent_inliner.hpp │ │ │ ├── context_insensitive.hpp │ │ │ ├── engine.hpp │ │ │ ├── fixpoint_cache.hpp │ │ │ ├── inliner.hpp │ │ │ └── numerical.hpp │ │ ├── fixpoint_parameters.hpp │ │ ├── hardware_addresses.hpp │ │ ├── literal.hpp │ │ ├── liveness.hpp │ │ ├── memory_location.hpp │ │ ├── option.hpp │ │ ├── pointer │ │ │ ├── constraint.hpp │ │ │ ├── function.hpp │ │ │ ├── pointer.hpp │ │ │ └── value.hpp │ │ ├── result.hpp │ │ ├── value │ │ │ ├── abstract_domain.hpp │ │ │ ├── global_variable.hpp │ │ │ ├── interprocedural │ │ │ │ ├── concurrent │ │ │ │ │ ├── analysis.hpp │ │ │ │ │ └── function_fixpoint.hpp │ │ │ │ ├── init_invariant.hpp │ │ │ │ └── sequential │ │ │ │ │ ├── analysis.hpp │ │ │ │ │ ├── function_fixpoint.hpp │ │ │ │ │ ├── global_init_fixpoint.hpp │ │ │ │ │ └── progress.hpp │ │ │ ├── intraprocedural │ │ │ │ ├── concurrent │ │ │ │ │ ├── analysis.hpp │ │ │ │ │ └── function_fixpoint.hpp │ │ │ │ └── sequential │ │ │ │ │ ├── analysis.hpp │ │ │ │ │ └── function_fixpoint.hpp │ │ │ └── machine_int_domain.hpp │ │ ├── variable.hpp │ │ └── widening_hint.hpp │ │ ├── checker │ │ ├── assert_prover.hpp │ │ ├── buffer_overflow.hpp │ │ ├── checker.hpp │ │ ├── dead_code.hpp │ │ ├── debug.hpp │ │ ├── division_by_zero.hpp │ │ ├── double_free.hpp │ │ ├── function_call.hpp │ │ ├── int_overflow_base.hpp │ │ ├── kind.hpp │ │ ├── memory_watch.hpp │ │ ├── name.hpp │ │ ├── null_dereference.hpp │ │ ├── pointer_alignment.hpp │ │ ├── pointer_compare.hpp │ │ ├── pointer_overflow.hpp │ │ ├── shift_count.hpp │ │ ├── signed_int_overflow.hpp │ │ ├── soundness.hpp │ │ ├── uninitialized_variable.hpp │ │ └── unsigned_int_overflow.hpp │ │ ├── database │ │ ├── output.hpp │ │ ├── sqlite.hpp │ │ ├── table.hpp │ │ └── table │ │ │ ├── call_contexts.hpp │ │ │ ├── checks.hpp │ │ │ ├── files.hpp │ │ │ ├── functions.hpp │ │ │ ├── memory_locations.hpp │ │ │ ├── operands.hpp │ │ │ ├── settings.hpp │ │ │ ├── statements.hpp │ │ │ └── times.hpp │ │ ├── exception.hpp │ │ ├── intrinsic.h │ │ ├── json │ │ ├── helper.hpp │ │ └── json.hpp │ │ ├── support │ │ ├── assert.hpp │ │ ├── cast.hpp │ │ ├── flags.hpp │ │ ├── number.hpp │ │ └── string_ref.hpp │ │ └── util │ │ ├── color.hpp │ │ ├── demangle.hpp │ │ ├── log.hpp │ │ ├── progress.hpp │ │ ├── source_location.hpp │ │ └── timer.hpp ├── python │ ├── ikos │ │ ├── __init__.py │ │ ├── abs_int.py │ │ ├── analyzer.py │ │ ├── args.py │ │ ├── colors.py │ │ ├── enums.py │ │ ├── filetype.py │ │ ├── highlight.py │ │ ├── http.py │ │ ├── log.py │ │ ├── output_db.py │ │ ├── report.py │ │ ├── scan.py │ │ ├── settings.py.in │ │ ├── stats.py │ │ ├── view.py │ │ └── view │ │ │ ├── static │ │ │ ├── css │ │ │ │ └── ikos_theme.css │ │ │ └── js │ │ │ │ ├── ikos_homepage.js │ │ │ │ └── ikos_report.js │ │ │ └── template │ │ │ ├── error.html │ │ │ ├── homepage.html │ │ │ ├── not_found.html │ │ │ ├── report.html │ │ │ └── settings.html │ ├── settings.cmake.in │ └── setup.py.in ├── script │ ├── ikos-config.py.in │ ├── ikos-report.py.in │ ├── ikos-scan-c++.py.in │ ├── ikos-scan-cc.py.in │ ├── ikos-scan-extract.py.in │ ├── ikos-scan.py.in │ ├── ikos-view.py.in │ └── ikos.py.in ├── src │ ├── analysis │ │ ├── call_context.cpp │ │ ├── fixpoint_parameters.cpp │ │ ├── hardware_addresses.cpp │ │ ├── literal.cpp │ │ ├── liveness.cpp │ │ ├── memory_location.cpp │ │ ├── option.cpp │ │ ├── pointer │ │ │ ├── constraint.cpp │ │ │ ├── function.cpp │ │ │ ├── pointer.cpp │ │ │ └── value.cpp │ │ ├── value │ │ │ ├── abstract_domain.cpp │ │ │ ├── global_variable.cpp │ │ │ ├── interprocedural │ │ │ │ ├── concurrent │ │ │ │ │ ├── analysis.cpp │ │ │ │ │ └── function_fixpoint.cpp │ │ │ │ ├── init_invariant.cpp │ │ │ │ └── sequential │ │ │ │ │ ├── analysis.cpp │ │ │ │ │ ├── function_fixpoint.cpp │ │ │ │ │ ├── global_init_fixpoint.cpp │ │ │ │ │ └── progress.cpp │ │ │ ├── intraprocedural │ │ │ │ ├── concurrent │ │ │ │ │ ├── analysis.cpp │ │ │ │ │ └── function_fixpoint.cpp │ │ │ │ └── sequential │ │ │ │ │ ├── analysis.cpp │ │ │ │ │ └── function_fixpoint.cpp │ │ │ ├── machine_int_domain.cpp │ │ │ └── machine_int_domain │ │ │ │ ├── apron_interval.cpp │ │ │ │ ├── apron_octagon.cpp │ │ │ │ ├── apron_pkgrid_polyhedra_lin_cong.cpp │ │ │ │ ├── apron_polka_linear_equalities.cpp │ │ │ │ ├── apron_polka_polyhedra.cpp │ │ │ │ ├── apron_ppl_linear_congruences.cpp │ │ │ │ ├── apron_ppl_polyhedra.cpp │ │ │ │ ├── congruence.cpp │ │ │ │ ├── dbm.cpp │ │ │ │ ├── gauge.cpp │ │ │ │ ├── gauge_interval_congruence.cpp │ │ │ │ ├── interval.cpp │ │ │ │ ├── interval_congruence.cpp │ │ │ │ ├── var_pack_apron_octagon.cpp │ │ │ │ ├── var_pack_apron_pkgrid_polyhedra_lin_cong.cpp │ │ │ │ ├── var_pack_apron_polka_linear_equalities.cpp │ │ │ │ ├── var_pack_apron_polka_polyhedra.cpp │ │ │ │ ├── var_pack_apron_ppl_linear_congruences.cpp │ │ │ │ ├── var_pack_apron_ppl_polyhedra.cpp │ │ │ │ ├── var_pack_dbm.cpp │ │ │ │ └── var_pack_dbm_congruence.cpp │ │ ├── variable.cpp │ │ └── widening_hint.cpp │ ├── checker │ │ ├── assert_prover.cpp │ │ ├── buffer_overflow.cpp │ │ ├── checker.cpp │ │ ├── dead_code.cpp │ │ ├── debug.cpp │ │ ├── division_by_zero.cpp │ │ ├── double_free.cpp │ │ ├── function_call.cpp │ │ ├── int_overflow_base.cpp │ │ ├── memory_watch.cpp │ │ ├── null_dereference.cpp │ │ ├── pointer_alignment.cpp │ │ ├── pointer_compare.cpp │ │ ├── pointer_overflow.cpp │ │ ├── shift_count.cpp │ │ ├── signed_int_overflow.cpp │ │ ├── soundness.cpp │ │ ├── uninitialized_variable.cpp │ │ └── unsigned_int_overflow.cpp │ ├── database │ │ ├── output.cpp │ │ ├── sqlite.cpp │ │ ├── table.cpp │ │ └── table │ │ │ ├── call_contexts.cpp │ │ │ ├── checks.cpp │ │ │ ├── files.cpp │ │ │ ├── functions.cpp │ │ │ ├── memory_locations.cpp │ │ │ ├── operands.cpp │ │ │ ├── settings.cpp │ │ │ ├── statements.cpp │ │ │ └── times.cpp │ ├── exception.cpp │ ├── ikos_analyzer.cpp │ ├── json │ │ └── json.cpp │ └── util │ │ ├── color.cpp │ │ ├── log.cpp │ │ ├── progress.cpp │ │ ├── source_location.cpp │ │ └── timer.cpp └── test │ └── regression │ ├── CMakeLists.txt │ ├── boa │ ├── astree-ex.c │ ├── runtest │ ├── test-1-unsafe.c │ ├── test-1.c │ ├── test-10-unsafe.c │ ├── test-10.c │ ├── test-11-unsafe.c │ ├── test-11.c │ ├── test-12-unsafe.c │ ├── test-13.c │ ├── test-14.c │ ├── test-15.c │ ├── test-16.c │ ├── test-17-simpler.c │ ├── test-17.c │ ├── test-18-unsafe.c │ ├── test-18.c │ ├── test-19a.c │ ├── test-19b.c │ ├── test-2-unsafe.c │ ├── test-2.c │ ├── test-20.c │ ├── test-21.c │ ├── test-22-safe.c │ ├── test-22-unsafe.c │ ├── test-23-safe.c │ ├── test-23-unsafe-1.c │ ├── test-23-unsafe-2.c │ ├── test-23-unsafe-3.c │ ├── test-24-safe.c │ ├── test-25.c │ ├── test-26-volatile-safe.c │ ├── test-26-volatile-unsafe.c │ ├── test-27.c │ ├── test-28.c │ ├── test-29.c │ ├── test-3-unsafe.c │ ├── test-3.c │ ├── test-30-use-after-free.c │ ├── test-31-use-after-free.c │ ├── test-32-use-after-return.c │ ├── test-33.c │ ├── test-34.c │ ├── test-35.c │ ├── test-36.c │ ├── test-37.c │ ├── test-38-argv.c │ ├── test-39.c │ ├── test-4-unsafe-1.c │ ├── test-4-unsafe-2.c │ ├── test-4.c │ ├── test-40.c │ ├── test-41.c │ ├── test-42.c │ ├── test-43.c │ ├── test-44-unsafe.c │ ├── test-44.c │ ├── test-45-unsafe.c │ ├── test-45.c │ ├── test-46-unsafe.c │ ├── test-46.c │ ├── test-47-unsafe.cpp │ ├── test-47.cpp │ ├── test-48-unsafe-1.c │ ├── test-48-unsafe-2.c │ ├── test-48.c │ ├── test-49-unsafe-1.c │ ├── test-49-unsafe-2.c │ ├── test-49.c │ ├── test-5-unsafe-1.c │ ├── test-5-unsafe-2.c │ ├── test-5-unsafe-3.c │ ├── test-5-unsafe-4.c │ ├── test-5.c │ ├── test-50-unsafe.c │ ├── test-50.c │ ├── test-51-unsafe.c │ ├── test-51.c │ ├── test-52.c │ ├── test-53.c │ ├── test-54.c │ ├── test-55.cpp │ ├── test-56.cpp │ ├── test-57-unsafe.c │ ├── test-57.c │ ├── test-58.c │ ├── test-59-unsafe.c │ ├── test-59.c │ ├── test-6-unsafe.c │ ├── test-6.c │ ├── test-60.c │ ├── test-61.c │ ├── test-62.c │ ├── test-63.c │ ├── test-64.c │ ├── test-65.c │ ├── test-66.c │ ├── test-67.c │ ├── test-68.c │ ├── test-69.c │ ├── test-7-unsafe.c │ ├── test-7.c │ ├── test-70.c │ ├── test-8-unsafe.c │ ├── test-8.c │ ├── test-9a-unsafe.c │ ├── test-9a.c │ ├── test-9b-unsafe.c │ └── test-9b.c │ ├── dbz │ ├── runtest │ ├── test-1-unsafe.c │ ├── test-2-safe.c │ ├── test-3-unsafe.c │ └── test-4-unsafe.c │ ├── dfa │ ├── runtest │ ├── test-1-error.c │ ├── test-2-warnings.c │ ├── test-3-delete.cpp │ ├── test-4-safe.c │ └── test-5-delete-array.cpp │ ├── fca │ ├── runtest │ ├── test-1-warning.c │ └── test-2-error.c │ ├── libruntest.py │ ├── mem │ ├── astree.c │ ├── mine-lctes06.c │ ├── runtest │ ├── test-0-safe.c │ ├── test-0-unsafe.c │ ├── test-1-safe.c │ ├── test-1-unsafe.c │ ├── test-10-safe.c │ ├── test-10-unsafe.c │ ├── test-11.c │ ├── test-12.c │ ├── test-14a.c │ ├── test-14b.c │ ├── test-14c.c │ ├── test-15-safe.c │ ├── test-15-unsafe.c │ ├── test-16.c │ ├── test-17.c │ ├── test-2-safe.c │ ├── test-2-unsafe.c │ ├── test-20.c │ ├── test-21.c │ ├── test-22.c │ ├── test-23.c │ ├── test-24.c │ ├── test-25.c │ ├── test-26a-safe.c │ ├── test-26a-unsafe.c │ ├── test-26b-safe.c │ ├── test-26b-unsafe.c │ ├── test-26c.c │ ├── test-28-safe.c │ ├── test-28-unsafe.c │ ├── test-29-safe.c │ ├── test-29-unsafe-1.c │ ├── test-29-unsafe-2.c │ ├── test-3-safe.c │ ├── test-3-unsafe.c │ ├── test-30-safe.c │ ├── test-30-unsafe.c │ ├── test-31-safe.c │ ├── test-32-safe.c │ ├── test-4-safe.c │ ├── test-5-safe.c │ ├── test-5-unsafe.c │ ├── test-6-safe.c │ ├── test-7-safe.c │ ├── test-7-unsafe.c │ ├── test-8-safe.c │ ├── test-9-safe.c │ └── test-9-unsafe.c │ ├── null │ ├── runtest │ ├── test-1.c │ ├── test-2.c │ ├── test-3-unsafe.c │ ├── test-3.c │ ├── test-4-unsafe-1.c │ ├── test-4-unsafe-2.c │ ├── test-4.c │ ├── test-5-unsafe-1.c │ ├── test-5-unsafe-2.c │ ├── test-5.c │ ├── test-6-unsafe.c │ ├── test-7-unsafe.c │ ├── test-8-unsafe.c │ └── test-9-unsafe.c │ ├── pcmp │ ├── runtest │ ├── test-1-unsafe.c │ ├── test-2-warnings.c │ └── test-3-null.c │ ├── poa │ ├── runtest │ ├── test-1-unsafe.c │ ├── test-2-warnings.c │ └── test-3-undefined.c │ ├── prover │ ├── 01.c │ ├── 02.c │ ├── 03.c │ ├── 04.c │ ├── 05.c │ ├── 06.c │ ├── 07.c │ ├── 08.c │ ├── 09.c │ ├── 10.c │ ├── 11.c │ ├── 12.c │ ├── 13.c │ ├── 14.c │ ├── 15.c │ ├── 16.c │ ├── 17.c │ ├── 18.c │ ├── 19.c │ ├── 20.c │ ├── 21.c │ ├── 22.c │ ├── 23.c │ ├── 24.c │ ├── 25.c │ ├── 26.c │ ├── 27.c │ ├── 28.c │ ├── 29.c │ ├── 30.c │ ├── 31.c │ ├── 32.c │ ├── 33.c │ ├── 34.c │ ├── 35.c │ ├── 36.c │ ├── 37.c │ ├── 38.c │ ├── 39.c │ ├── 40.c │ ├── 41.c │ ├── 42.c │ ├── 43.c │ ├── 44.c │ ├── 45.c │ ├── 46.c │ ├── 47.c │ ├── 48-volatile-safe.c │ ├── 48-volatile-unsafe.c │ ├── asian06-ex2.c │ ├── astree-1.c │ ├── astree-2a.c │ ├── astree-2b.c │ ├── astree-2c.c │ ├── loop-1.c │ ├── loop-10.c │ ├── loop-2.c │ ├── loop-3.c │ ├── loop-4.c │ ├── loop-9.c │ ├── runtest │ ├── test-1.c │ ├── test-10.c │ ├── test-11.c │ ├── test-12.c │ ├── test-13.c │ ├── test-14.c │ ├── test-15.cpp │ ├── test-16.c │ ├── test-17.c │ ├── test-18.c │ ├── test-19.c │ ├── test-2.c │ ├── test-20.c │ ├── test-21-exceptions.cpp │ ├── test-22-exceptions.cpp │ ├── test-23.c │ ├── test-24.c │ ├── test-25.c │ ├── test-26.c │ ├── test-27.c │ ├── test-28.c │ ├── test-29.cpp │ ├── test-3.c │ ├── test-4.cpp │ ├── test-5.cpp │ ├── test-6.cpp │ ├── test-7.cpp │ ├── test-8.cpp │ └── test-9.c │ ├── runalltests │ ├── shc │ ├── runtest │ ├── test-1-negative.c │ ├── test-2-warnings.c │ ├── test-3-oversized.c │ ├── test-4-unsigned.c │ └── test-5-safe.c │ ├── sio │ ├── runtest │ ├── test-1-overflow-unsafe.c │ ├── test-2-underflow-unsafe.c │ ├── test-3-warnings.c │ ├── test-4-safe.c │ ├── test-5-div-unsafe.c │ ├── test-6-warning.c │ └── test-7-rem.c │ ├── sound │ ├── runtest │ ├── test-call-side-effect.c │ ├── test-free.c │ ├── test-memcpy.c │ ├── test-memmove.c │ ├── test-memset.c │ ├── test-recursive.c │ └── test-store.c │ ├── uio │ ├── runtest │ ├── test-1-overflow-unsafe.c │ └── test-2-safe.c │ ├── uma │ ├── test-10-safe.c │ ├── test-11-safe.c │ ├── test-12-safe.c │ ├── test-13-error.c │ ├── test-13-safe.c │ ├── test-20-safe.c │ ├── test-3-error.c │ ├── test-3-safe.c │ ├── test-4-error-1.c │ ├── test-4-error-2.c │ └── test-7-safe.c │ ├── upa │ ├── runtest │ ├── test-1-unsafe.c │ ├── test-1.c │ ├── test-2.c │ ├── test-3.c │ ├── test-4-unsafe.c │ ├── test-4.c │ ├── test-5-unsafe.c │ ├── test-6.c │ ├── test-7-unsafe.c │ └── test-8-unsafe.c │ └── uva │ ├── runtest │ ├── test-1-error.c │ ├── test-1-safe.c │ ├── test-14-safe.c │ ├── test-15-error.c │ ├── test-16-error.c │ ├── test-17-error.c │ ├── test-18-error.c │ ├── test-19-error.c │ ├── test-2-error-1.c │ ├── test-2-error-2.c │ ├── test-2-safe.c │ ├── test-20-safe.c │ ├── test-21-safe.cpp │ ├── test-22-error.c │ ├── test-23-warning.c │ ├── test-24-error.cpp │ ├── test-25-warning.c │ ├── test-26-error.cpp │ ├── test-27-error.c │ ├── test-28-error.cpp │ ├── test-29-safe.cpp │ ├── test-30-safe.c │ ├── test-31-error.cpp │ ├── test-32-error.cpp │ ├── test-33-error.cpp │ ├── test-34-safe.cpp │ ├── test-35-safe.cpp │ ├── test-36-error.cpp │ ├── test-37-error.cpp │ ├── test-38-safe.cpp │ ├── test-39-error.cpp │ ├── test-8-safe.c │ └── test-8-warning.c ├── ar ├── CMakeLists.txt ├── README.md ├── doc │ └── doxygen │ │ ├── Doxyfile.in │ │ └── mainpage.dox ├── include │ └── ikos │ │ └── ar │ │ ├── format │ │ ├── dot.hpp │ │ ├── formatter.hpp │ │ ├── namer.hpp │ │ └── text.hpp │ │ ├── pass │ │ ├── add_loop_counters.hpp │ │ ├── add_partitioning_variables.hpp │ │ ├── name_values.hpp │ │ ├── pass.hpp │ │ ├── simplify_cfg.hpp │ │ └── simplify_upcast_comparison.hpp │ │ ├── semantic.hpp │ │ ├── semantic │ │ ├── bundle.hpp │ │ ├── code.hpp │ │ ├── context.hpp │ │ ├── data_layout.hpp │ │ ├── function.hpp │ │ ├── intrinsic.hpp │ │ ├── statement.hpp │ │ ├── statement_visitor.hpp │ │ ├── symbol_table.hpp │ │ ├── type.hpp │ │ ├── type_visitor.hpp │ │ ├── value.hpp │ │ └── value_visitor.hpp │ │ ├── support │ │ ├── assert.hpp │ │ ├── cast.hpp │ │ ├── flags.hpp │ │ ├── iterator.hpp │ │ ├── number.hpp │ │ ├── string_ref.hpp │ │ └── traceable.hpp │ │ └── verify │ │ ├── frontend.hpp │ │ └── type.hpp └── src │ ├── format │ ├── dot.cpp │ ├── namer.cpp │ └── text.cpp │ ├── pass │ ├── add_loop_counters.cpp │ ├── add_partitioning_variables.cpp │ ├── name_values.cpp │ ├── pass.cpp │ ├── simplify_cfg.cpp │ └── simplify_upcast_comparison.cpp │ ├── semantic │ ├── bundle.cpp │ ├── code.cpp │ ├── context.cpp │ ├── context_impl.cpp │ ├── context_impl.hpp │ ├── data_layout.cpp │ ├── function.cpp │ ├── intrinsic.cpp │ ├── statement.cpp │ ├── type.cpp │ └── value.cpp │ └── verify │ ├── frontend.cpp │ └── type.cpp ├── cmake ├── AddFlagUtils.cmake ├── FindAPRON.cmake ├── FindAR.cmake ├── FindBoost.cmake ├── FindClang.cmake ├── FindCore.cmake ├── FindFrontendLLVM.cmake ├── FindGMP.cmake ├── FindLLVM.cmake ├── FindMPFR.cmake ├── FindPPL.cmake ├── FindSQLite3.cmake ├── FindTBB.cmake └── HandleOptions.cmake ├── core ├── CMakeLists.txt ├── README.md ├── doc │ └── doxygen │ │ ├── Doxyfile.in │ │ └── mainpage.dox ├── include │ └── ikos │ │ └── core │ │ ├── adt │ │ ├── patricia_tree │ │ │ ├── map.hpp │ │ │ ├── set.hpp │ │ │ └── utils.hpp │ │ ├── small_vector.hpp │ │ └── string_ref.hpp │ │ ├── domain │ │ ├── abstract_domain.hpp │ │ ├── discrete_domain.hpp │ │ ├── domain_product.hpp │ │ ├── exception │ │ │ ├── abstract_domain.hpp │ │ │ └── exception.hpp │ │ ├── lifetime │ │ │ ├── abstract_domain.hpp │ │ │ ├── dummy.hpp │ │ │ └── separate_domain.hpp │ │ ├── machine_int │ │ │ ├── abstract_domain.hpp │ │ │ ├── congruence.hpp │ │ │ ├── dummy.hpp │ │ │ ├── interval.hpp │ │ │ ├── interval_congruence.hpp │ │ │ ├── numeric_domain_adapter.hpp │ │ │ ├── operator.hpp │ │ │ ├── polymorphic_domain.hpp │ │ │ └── separate_domain.hpp │ │ ├── memory │ │ │ ├── abstract_domain.hpp │ │ │ ├── dummy.hpp │ │ │ ├── partitioning.hpp │ │ │ ├── polymorphic_domain.hpp │ │ │ ├── value.hpp │ │ │ └── value │ │ │ │ ├── cell_set.hpp │ │ │ │ ├── mem_loc_to_cell_set.hpp │ │ │ │ └── mem_loc_to_pointer_set.hpp │ │ ├── nullity │ │ │ ├── abstract_domain.hpp │ │ │ ├── dummy.hpp │ │ │ └── separate_domain.hpp │ │ ├── numeric │ │ │ ├── abstract_domain.hpp │ │ │ ├── apron.hpp │ │ │ ├── congruence.hpp │ │ │ ├── constant.hpp │ │ │ ├── dbm.hpp │ │ │ ├── domain_product.hpp │ │ │ ├── equality_congruence_solver.hpp │ │ │ ├── gauge.hpp │ │ │ ├── gauge_interval_congruence.hpp │ │ │ ├── interval.hpp │ │ │ ├── interval_congruence.hpp │ │ │ ├── linear_interval_solver.hpp │ │ │ ├── octagon.hpp │ │ │ ├── operator.hpp │ │ │ ├── separate_domain.hpp │ │ │ ├── union.hpp │ │ │ ├── var_packing_dbm.hpp │ │ │ ├── var_packing_dbm_congruence.hpp │ │ │ └── var_packing_domain.hpp │ │ ├── pointer │ │ │ ├── operator.hpp │ │ │ └── solver.hpp │ │ ├── scalar │ │ │ ├── abstract_domain.hpp │ │ │ ├── composite.hpp │ │ │ ├── dummy.hpp │ │ │ └── machine_int.hpp │ │ ├── separate_domain.hpp │ │ └── uninitialized │ │ │ ├── abstract_domain.hpp │ │ │ ├── dummy.hpp │ │ │ └── separate_domain.hpp │ │ ├── example │ │ ├── machine_int │ │ │ └── variable_factory.hpp │ │ ├── memory_factory.hpp │ │ ├── muzq.hpp │ │ ├── scalar │ │ │ └── variable_factory.hpp │ │ └── variable_factory.hpp │ │ ├── exception.hpp │ │ ├── fixpoint │ │ ├── concurrent_fwd_fixpoint_iterator.hpp │ │ ├── fixpoint_iterator.hpp │ │ ├── fwd_fixpoint_iterator.hpp │ │ ├── wpo.hpp │ │ └── wto.hpp │ │ ├── linear_constraint.hpp │ │ ├── linear_expression.hpp │ │ ├── literal.hpp │ │ ├── number.hpp │ │ ├── number │ │ ├── bound.hpp │ │ ├── compatibility.hpp │ │ ├── dummy_number.hpp │ │ ├── exception.hpp │ │ ├── machine_int.hpp │ │ ├── q_number.hpp │ │ ├── signedness.hpp │ │ ├── supported_integral.hpp │ │ └── z_number.hpp │ │ ├── semantic │ │ ├── dumpable.hpp │ │ ├── graph.hpp │ │ ├── indexable.hpp │ │ ├── machine_int │ │ │ └── variable.hpp │ │ ├── memory │ │ │ └── value │ │ │ │ ├── cell_factory.hpp │ │ │ │ └── cell_variable.hpp │ │ ├── memory_location.hpp │ │ ├── scalar │ │ │ └── variable.hpp │ │ └── variable.hpp │ │ ├── support │ │ ├── assert.hpp │ │ ├── cast.hpp │ │ ├── compiler.hpp │ │ └── mpl.hpp │ │ └── value │ │ ├── lifetime.hpp │ │ ├── machine_int │ │ ├── congruence.hpp │ │ ├── constant.hpp │ │ ├── interval.hpp │ │ └── interval_congruence.hpp │ │ ├── nullity.hpp │ │ ├── numeric │ │ ├── congruence.hpp │ │ ├── constant.hpp │ │ ├── gauge.hpp │ │ ├── interval.hpp │ │ └── interval_congruence.hpp │ │ ├── pointer │ │ ├── pointer.hpp │ │ ├── pointer_set.hpp │ │ └── points_to_set.hpp │ │ └── uninitialized.hpp └── test │ └── unit │ ├── .clang-tidy │ ├── CMakeLists.txt │ ├── adt │ └── patricia_tree │ │ ├── map.cpp │ │ └── set.cpp │ ├── domain │ ├── discrete_domain.cpp │ ├── machine_int │ │ ├── congruence.cpp │ │ ├── interval.cpp │ │ ├── interval_congruence.cpp │ │ ├── numeric_domain_adapter.cpp │ │ └── polymorphic_domain.cpp │ ├── memory │ │ └── partitioning.cpp │ ├── nullity │ │ └── separate_domain.cpp │ ├── numeric │ │ ├── apron │ │ │ ├── interval.cpp │ │ │ ├── pkgrid_polyhedra_lin_congruences.cpp │ │ │ ├── polka_polyhedra.cpp │ │ │ └── ppl_linear_congruences.cpp │ │ ├── congruence.cpp │ │ ├── constant.cpp │ │ ├── dbm.cpp │ │ ├── gauge.cpp │ │ ├── gauge_interval_congruence.cpp │ │ ├── interval.cpp │ │ ├── interval_congruence.cpp │ │ ├── octagon.cpp │ │ ├── union.cpp │ │ ├── var_packing_dbm.cpp │ │ ├── var_packing_dbm_congruence.cpp │ │ └── var_packing_domain.cpp │ ├── pointer │ │ └── solver.cpp │ └── uninitialized │ │ └── separate_domain.cpp │ ├── example │ └── muzq.cpp │ ├── fixpoint │ └── wpo.cpp │ ├── number │ ├── machine_int.cpp │ ├── q_number.cpp │ └── z_number.cpp │ └── value │ ├── machine_int │ ├── congruence.cpp │ ├── constant.cpp │ ├── interval.cpp │ └── interval_congruence.cpp │ └── numeric │ ├── congruence.cpp │ ├── constant.cpp │ ├── gauge.cpp │ └── interval.cpp ├── doc ├── CODING_STANDARDS.md ├── OVERVIEW.md ├── contribute │ ├── CORPORATE_CONTRIBUTOR_LICENSE_AGREEMENT.pdf │ └── INDIVIDUAL_CONTRIBUTOR_LICENSE_AGREEMENT.pdf └── install │ └── 3.0 │ ├── ARCHLINUX.md │ ├── CENTOS_6.10.md │ ├── CENTOS_7.6.md │ ├── DEBIAN_10.md │ ├── DEBIAN_9.md │ ├── FEDORA_29.md │ ├── FEDORA_30.md │ ├── MAC_OS_X.md │ ├── RHEL_6.10.md │ ├── RHEL_7.7.md │ ├── ROOTLESS.md │ ├── UBUNTU_16.04.md │ ├── UBUNTU_18.04.md │ ├── UBUNTU_19.04.md │ ├── UBUNTU_20.04.md │ └── WINDOWS.md ├── frontend └── llvm │ ├── CMakeLists.txt │ ├── README.md │ ├── include │ └── ikos │ │ └── frontend │ │ └── llvm │ │ ├── import.hpp │ │ ├── import │ │ ├── exception.hpp │ │ ├── importer.hpp │ │ └── source_location.hpp │ │ └── pass.hpp │ ├── src │ ├── ikos_import.cpp │ ├── ikos_pp.cpp │ ├── import │ │ ├── bundle.cpp │ │ ├── bundle.hpp │ │ ├── constant.cpp │ │ ├── constant.hpp │ │ ├── data_layout.cpp │ │ ├── data_layout.hpp │ │ ├── exception.cpp │ │ ├── function.cpp │ │ ├── function.hpp │ │ ├── import_context.hpp │ │ ├── importer.cpp │ │ ├── library_function.cpp │ │ ├── library_function.hpp │ │ ├── source_location.cpp │ │ ├── type.cpp │ │ └── type.hpp │ └── pass │ │ ├── initialize.cpp │ │ ├── lower_cst_expr.cpp │ │ ├── lower_select.cpp │ │ ├── mark_internal_inline.cpp │ │ ├── name_values.cpp │ │ ├── remove_printf_calls.cpp │ │ └── remove_unreachable_blocks.cpp │ └── test │ ├── regression │ ├── import │ │ ├── CMakeLists.txt │ │ ├── aggressive_optimization │ │ │ ├── aggregate-in-reg-1.cpp │ │ │ ├── aggregate-in-reg-1.ll │ │ │ ├── aggregate-in-reg-2.cpp │ │ │ ├── aggregate-in-reg-2.ll │ │ │ ├── array-init.cpp │ │ │ ├── array-init.ll │ │ │ ├── asm.c │ │ │ ├── asm.ll │ │ │ ├── atomic.c │ │ │ ├── atomic.ll │ │ │ ├── basic-loop.c │ │ │ ├── basic-loop.ll │ │ │ ├── bit-field-1.c │ │ │ ├── bit-field-1.ll │ │ │ ├── bit-field-2.c │ │ │ ├── bit-field-2.ll │ │ │ ├── bitwise-cond-1.c │ │ │ ├── bitwise-cond-1.ll │ │ │ ├── bitwise-cond-2.c │ │ │ ├── bitwise-cond-2.ll │ │ │ ├── bitwise-op.c │ │ │ ├── bitwise-op.ll │ │ │ ├── bool-op-select.cpp │ │ │ ├── bool-op-select.ll │ │ │ ├── bool.cpp │ │ │ ├── bool.ll │ │ │ ├── branch-undef.c │ │ │ ├── branch-undef.ll │ │ │ ├── call-args.c │ │ │ ├── call-args.ll │ │ │ ├── complex.c │ │ │ ├── complex.ll │ │ │ ├── constructors.cpp │ │ │ ├── constructors.ll │ │ │ ├── empty-array-1.c │ │ │ ├── empty-array-1.ll │ │ │ ├── empty-array-2.c │ │ │ ├── empty-array-2.ll │ │ │ ├── empty-array-3.c │ │ │ ├── empty-array-3.ll │ │ │ ├── empty-function-body.c │ │ │ ├── empty-function-body.ll │ │ │ ├── file-intrinsics.c │ │ │ ├── file-intrinsics.ll │ │ │ ├── flexible-array-member.c │ │ │ ├── flexible-array-member.ll │ │ │ ├── gv-init.c │ │ │ ├── gv-init.ll │ │ │ ├── linked-list.c │ │ │ ├── linked-list.ll │ │ │ ├── local-array-1.c │ │ │ ├── local-array-1.ll │ │ │ ├── local-array-2.c │ │ │ ├── local-array-2.ll │ │ │ ├── mem-intrinsics.c │ │ │ ├── mem-intrinsics.ll │ │ │ ├── multiple-inheritance.cpp │ │ │ ├── multiple-inheritance.ll │ │ │ ├── nested-struct.c │ │ │ ├── nested-struct.ll │ │ │ ├── noexcept.cpp │ │ │ ├── noexcept.ll │ │ │ ├── non-term-1.c │ │ │ ├── non-term-1.ll │ │ │ ├── non-term-2.c │ │ │ ├── non-term-2.ll │ │ │ ├── nullptr.cpp │ │ │ ├── nullptr.ll │ │ │ ├── opaque-struct.c │ │ │ ├── opaque-struct.ll │ │ │ ├── phi-1.c │ │ │ ├── phi-1.ll │ │ │ ├── phi-2.c │ │ │ ├── phi-2.ll │ │ │ ├── phi-3.c │ │ │ ├── phi-3.ll │ │ │ ├── phi-4.cpp │ │ │ ├── phi-4.ll │ │ │ ├── pod-types.c │ │ │ ├── pod-types.ll │ │ │ ├── pointer-arithmetic.cpp │ │ │ ├── pointer-arithmetic.ll │ │ │ ├── ptr-to-int.c │ │ │ ├── ptr-to-int.ll │ │ │ ├── reference.cpp │ │ │ ├── reference.ll │ │ │ ├── regenerate-ll │ │ │ ├── runtest │ │ │ ├── select.cpp │ │ │ ├── select.ll │ │ │ ├── shufflevector.c │ │ │ ├── shufflevector.ll │ │ │ ├── struct-parameters.c │ │ │ ├── struct-parameters.ll │ │ │ ├── thread-local.cpp │ │ │ ├── thread-local.ll │ │ │ ├── try-catch.cpp │ │ │ ├── try-catch.ll │ │ │ ├── undef.c │ │ │ ├── undef.ll │ │ │ ├── union.c │ │ │ ├── union.ll │ │ │ ├── update-ll │ │ │ ├── var-args.c │ │ │ ├── var-args.ll │ │ │ ├── vector-1.c │ │ │ ├── vector-1.ll │ │ │ ├── vector-2.c │ │ │ ├── vector-2.ll │ │ │ ├── vector-3.c │ │ │ ├── vector-3.ll │ │ │ ├── vector-4.c │ │ │ ├── vector-4.ll │ │ │ ├── virtual-inheritance.cpp │ │ │ ├── virtual-inheritance.ll │ │ │ ├── vla.c │ │ │ └── vla.ll │ │ ├── basic_optimization │ │ │ ├── aggregate-in-reg-1.cpp │ │ │ ├── aggregate-in-reg-1.ll │ │ │ ├── aggregate-in-reg-2.cpp │ │ │ ├── aggregate-in-reg-2.ll │ │ │ ├── array-init.cpp │ │ │ ├── array-init.ll │ │ │ ├── asm.c │ │ │ ├── asm.ll │ │ │ ├── atomic.c │ │ │ ├── atomic.ll │ │ │ ├── basic-loop.c │ │ │ ├── basic-loop.ll │ │ │ ├── bit-field-1.c │ │ │ ├── bit-field-1.ll │ │ │ ├── bit-field-2.c │ │ │ ├── bit-field-2.ll │ │ │ ├── bitwise-cond-1.c │ │ │ ├── bitwise-cond-1.ll │ │ │ ├── bitwise-cond-2.c │ │ │ ├── bitwise-cond-2.ll │ │ │ ├── bitwise-op.c │ │ │ ├── bitwise-op.ll │ │ │ ├── bool-op-select.cpp │ │ │ ├── bool-op-select.ll │ │ │ ├── bool.cpp │ │ │ ├── bool.ll │ │ │ ├── branch-undef.c │ │ │ ├── branch-undef.ll │ │ │ ├── call-args.c │ │ │ ├── call-args.ll │ │ │ ├── complex.c │ │ │ ├── complex.ll │ │ │ ├── constructors.cpp │ │ │ ├── constructors.ll │ │ │ ├── empty-array-1.c │ │ │ ├── empty-array-1.ll │ │ │ ├── empty-array-2.c │ │ │ ├── empty-array-2.ll │ │ │ ├── empty-array-3.c │ │ │ ├── empty-array-3.ll │ │ │ ├── empty-function-body.c │ │ │ ├── empty-function-body.ll │ │ │ ├── file-intrinsics.c │ │ │ ├── file-intrinsics.ll │ │ │ ├── flexible-array-member.c │ │ │ ├── flexible-array-member.ll │ │ │ ├── gv-init.c │ │ │ ├── gv-init.ll │ │ │ ├── linked-list.c │ │ │ ├── linked-list.ll │ │ │ ├── local-array-1.c │ │ │ ├── local-array-1.ll │ │ │ ├── local-array-2.c │ │ │ ├── local-array-2.ll │ │ │ ├── mem-intrinsics.c │ │ │ ├── mem-intrinsics.ll │ │ │ ├── multiple-inheritance.cpp │ │ │ ├── multiple-inheritance.ll │ │ │ ├── nested-struct.c │ │ │ ├── nested-struct.ll │ │ │ ├── noexcept.cpp │ │ │ ├── noexcept.ll │ │ │ ├── non-term-1.c │ │ │ ├── non-term-1.ll │ │ │ ├── non-term-2.c │ │ │ ├── non-term-2.ll │ │ │ ├── nullptr.cpp │ │ │ ├── nullptr.ll │ │ │ ├── opaque-struct.c │ │ │ ├── opaque-struct.ll │ │ │ ├── phi-1.c │ │ │ ├── phi-1.ll │ │ │ ├── phi-2.c │ │ │ ├── phi-2.ll │ │ │ ├── phi-3.c │ │ │ ├── phi-3.ll │ │ │ ├── phi-4.cpp │ │ │ ├── phi-4.ll │ │ │ ├── pod-types.c │ │ │ ├── pod-types.ll │ │ │ ├── pointer-arithmetic.cpp │ │ │ ├── pointer-arithmetic.ll │ │ │ ├── ptr-to-int.c │ │ │ ├── ptr-to-int.ll │ │ │ ├── reference.cpp │ │ │ ├── reference.ll │ │ │ ├── regenerate-ll │ │ │ ├── runtest │ │ │ ├── select.cpp │ │ │ ├── select.ll │ │ │ ├── shufflevector.c │ │ │ ├── shufflevector.ll │ │ │ ├── struct-parameters.c │ │ │ ├── struct-parameters.ll │ │ │ ├── thread-local.cpp │ │ │ ├── thread-local.ll │ │ │ ├── try-catch.cpp │ │ │ ├── try-catch.ll │ │ │ ├── undef.c │ │ │ ├── undef.ll │ │ │ ├── union.c │ │ │ ├── union.ll │ │ │ ├── update-ll │ │ │ ├── var-args.c │ │ │ ├── var-args.ll │ │ │ ├── vector-1.c │ │ │ ├── vector-1.ll │ │ │ ├── vector-2.c │ │ │ ├── vector-2.ll │ │ │ ├── vector-3.c │ │ │ ├── vector-3.ll │ │ │ ├── vector-4.c │ │ │ ├── vector-4.ll │ │ │ ├── virtual-inheritance.cpp │ │ │ ├── virtual-inheritance.ll │ │ │ ├── vla.c │ │ │ └── vla.ll │ │ ├── fneg │ │ │ ├── test-1-float.c │ │ │ └── test-2-double.c │ │ └── no_optimization │ │ │ ├── aggregate-in-reg-1.cpp │ │ │ ├── aggregate-in-reg-1.ll │ │ │ ├── aggregate-in-reg-2.cpp │ │ │ ├── aggregate-in-reg-2.ll │ │ │ ├── array-init.cpp │ │ │ ├── array-init.ll │ │ │ ├── asm.c │ │ │ ├── asm.ll │ │ │ ├── atomic.c │ │ │ ├── atomic.ll │ │ │ ├── basic-loop.c │ │ │ ├── basic-loop.ll │ │ │ ├── bit-field-1.c │ │ │ ├── bit-field-1.ll │ │ │ ├── bit-field-2.c │ │ │ ├── bit-field-2.ll │ │ │ ├── bitwise-cond-1.c │ │ │ ├── bitwise-cond-1.ll │ │ │ ├── bitwise-cond-2.c │ │ │ ├── bitwise-cond-2.ll │ │ │ ├── bitwise-op.c │ │ │ ├── bitwise-op.ll │ │ │ ├── bool-op-select.cpp │ │ │ ├── bool-op-select.ll │ │ │ ├── bool.cpp │ │ │ ├── bool.ll │ │ │ ├── branch-undef.c │ │ │ ├── branch-undef.ll │ │ │ ├── call-args.c │ │ │ ├── call-args.ll │ │ │ ├── complex.c │ │ │ ├── complex.ll │ │ │ ├── constructors.cpp │ │ │ ├── constructors.ll │ │ │ ├── empty-array-1.c │ │ │ ├── empty-array-1.ll │ │ │ ├── empty-array-2.c │ │ │ ├── empty-array-2.ll │ │ │ ├── empty-array-3.c │ │ │ ├── empty-array-3.ll │ │ │ ├── empty-function-body.c │ │ │ ├── empty-function-body.ll │ │ │ ├── file-intrinsics.c │ │ │ ├── file-intrinsics.ll │ │ │ ├── flexible-array-member.c │ │ │ ├── flexible-array-member.ll │ │ │ ├── gv-init.c │ │ │ ├── gv-init.ll │ │ │ ├── linked-list.c │ │ │ ├── linked-list.ll │ │ │ ├── local-array-1.c │ │ │ ├── local-array-1.ll │ │ │ ├── local-array-2.c │ │ │ ├── local-array-2.ll │ │ │ ├── mem-intrinsics.c │ │ │ ├── mem-intrinsics.ll │ │ │ ├── multiple-inheritance.cpp │ │ │ ├── multiple-inheritance.ll │ │ │ ├── nested-struct.c │ │ │ ├── nested-struct.ll │ │ │ ├── noexcept.cpp │ │ │ ├── noexcept.ll │ │ │ ├── non-term-1.c │ │ │ ├── non-term-1.ll │ │ │ ├── non-term-2.c │ │ │ ├── non-term-2.ll │ │ │ ├── nullptr.cpp │ │ │ ├── nullptr.ll │ │ │ ├── opaque-struct.c │ │ │ ├── opaque-struct.ll │ │ │ ├── phi-1.c │ │ │ ├── phi-1.ll │ │ │ ├── phi-2.c │ │ │ ├── phi-2.ll │ │ │ ├── phi-3.c │ │ │ ├── phi-3.ll │ │ │ ├── phi-4.cpp │ │ │ ├── phi-4.ll │ │ │ ├── pod-types.c │ │ │ ├── pod-types.ll │ │ │ ├── pointer-arithmetic.cpp │ │ │ ├── pointer-arithmetic.ll │ │ │ ├── ptr-to-int.c │ │ │ ├── ptr-to-int.ll │ │ │ ├── reference.cpp │ │ │ ├── reference.ll │ │ │ ├── regenerate-ll │ │ │ ├── runtest │ │ │ ├── select.cpp │ │ │ ├── select.ll │ │ │ ├── shufflevector.c │ │ │ ├── shufflevector.ll │ │ │ ├── struct-parameters.c │ │ │ ├── struct-parameters.ll │ │ │ ├── thread-local.cpp │ │ │ ├── thread-local.ll │ │ │ ├── try-catch.cpp │ │ │ ├── try-catch.ll │ │ │ ├── undef.c │ │ │ ├── undef.ll │ │ │ ├── union.c │ │ │ ├── union.ll │ │ │ ├── update-ll │ │ │ ├── var-args.c │ │ │ ├── var-args.ll │ │ │ ├── vector-1.c │ │ │ ├── vector-1.ll │ │ │ ├── vector-2.c │ │ │ ├── vector-2.ll │ │ │ ├── vector-3.c │ │ │ ├── vector-3.ll │ │ │ ├── vector-4.c │ │ │ ├── vector-4.ll │ │ │ ├── virtual-inheritance.cpp │ │ │ ├── virtual-inheritance.ll │ │ │ ├── vla.c │ │ │ └── vla.ll │ └── pass │ │ ├── CMakeLists.txt │ │ ├── lower_cst_expr │ │ ├── runtest │ │ ├── test-1.ll │ │ ├── test-2.ll │ │ ├── test-3.ll │ │ ├── test-4.ll │ │ ├── test-5.ll │ │ ├── test-6.ll │ │ └── test-7.ll │ │ ├── lower_select │ │ ├── runtest │ │ ├── test-1.ll │ │ ├── test-2.ll │ │ ├── test-3.ll │ │ ├── test-4.ll │ │ └── test-5.ll │ │ ├── remove_printf_calls │ │ ├── runtest │ │ ├── test-1.ll │ │ ├── test-2.ll │ │ └── test-3.ll │ │ └── remove_unreachable_blocks │ │ ├── runtest │ │ └── test-1.ll │ └── runtest-sv-benchmarks ├── script ├── bootstrap ├── run-clang-format └── run-clang-tidy └── test └── install ├── archlinux └── Dockerfile ├── centos-6 └── Dockerfile ├── centos-7 └── Dockerfile ├── debian-10 └── Dockerfile ├── debian-9 └── Dockerfile ├── fedora-29 └── Dockerfile ├── fedora-30 └── Dockerfile ├── logs └── .gitignore ├── rhel-6 └── Dockerfile ├── rhel-7 └── Dockerfile ├── runtest ├── ubuntu-16.04 └── Dockerfile ├── ubuntu-18.04 └── Dockerfile └── ubuntu-19.04 └── Dockerfile /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/.clang-format -------------------------------------------------------------------------------- /.clang-tidy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/.clang-tidy -------------------------------------------------------------------------------- /.github/workflows/build-linux.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/.github/workflows/build-linux.yml -------------------------------------------------------------------------------- /.github/workflows/build-macos.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/.github/workflows/build-macos.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /CONTRIBUTORS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/CONTRIBUTORS.md -------------------------------------------------------------------------------- /LICENSE.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/LICENSE.pdf -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/README.md -------------------------------------------------------------------------------- /TROUBLESHOOTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/TROUBLESHOOTING.md -------------------------------------------------------------------------------- /analyzer/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/CMakeLists.txt -------------------------------------------------------------------------------- /analyzer/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/README.md -------------------------------------------------------------------------------- /analyzer/doc/doxygen/Doxyfile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/doc/doxygen/Doxyfile.in -------------------------------------------------------------------------------- /analyzer/doc/doxygen/intro: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/doc/doxygen/intro -------------------------------------------------------------------------------- /analyzer/doc/doxygen/latex/biblio.bib: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/doc/doxygen/latex/biblio.bib -------------------------------------------------------------------------------- /analyzer/doc/doxygen/latex/overview.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/doc/doxygen/latex/overview.tex -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/analysis/call_context.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/analysis/call_context.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/analysis/context.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/analysis/context.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/analysis/literal.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/analysis/literal.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/analysis/liveness.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/analysis/liveness.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/analysis/option.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/analysis/option.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/analysis/pointer/value.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/analysis/pointer/value.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/analysis/result.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/analysis/result.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/analysis/variable.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/analysis/variable.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/analysis/widening_hint.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/analysis/widening_hint.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/checker/assert_prover.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/checker/assert_prover.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/checker/buffer_overflow.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/checker/buffer_overflow.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/checker/checker.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/checker/checker.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/checker/dead_code.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/checker/dead_code.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/checker/debug.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/checker/debug.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/checker/double_free.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/checker/double_free.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/checker/function_call.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/checker/function_call.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/checker/kind.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/checker/kind.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/checker/memory_watch.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/checker/memory_watch.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/checker/name.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/checker/name.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/checker/pointer_compare.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/checker/pointer_compare.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/checker/shift_count.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/checker/shift_count.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/checker/soundness.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/checker/soundness.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/database/output.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/database/output.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/database/sqlite.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/database/sqlite.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/database/table.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/database/table.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/database/table/checks.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/database/table/checks.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/database/table/files.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/database/table/files.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/database/table/operands.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/database/table/operands.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/database/table/settings.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/database/table/settings.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/database/table/times.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/database/table/times.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/exception.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/exception.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/intrinsic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/intrinsic.h -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/json/helper.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/json/helper.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/json/json.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/json/json.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/support/assert.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/support/assert.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/support/cast.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/support/cast.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/support/flags.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/support/flags.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/support/number.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/support/number.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/support/string_ref.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/support/string_ref.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/util/color.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/util/color.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/util/demangle.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/util/demangle.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/util/log.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/util/log.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/util/progress.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/util/progress.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/util/source_location.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/util/source_location.hpp -------------------------------------------------------------------------------- /analyzer/include/ikos/analyzer/util/timer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/include/ikos/analyzer/util/timer.hpp -------------------------------------------------------------------------------- /analyzer/python/ikos/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /analyzer/python/ikos/abs_int.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/abs_int.py -------------------------------------------------------------------------------- /analyzer/python/ikos/analyzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/analyzer.py -------------------------------------------------------------------------------- /analyzer/python/ikos/args.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/args.py -------------------------------------------------------------------------------- /analyzer/python/ikos/colors.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/colors.py -------------------------------------------------------------------------------- /analyzer/python/ikos/enums.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/enums.py -------------------------------------------------------------------------------- /analyzer/python/ikos/filetype.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/filetype.py -------------------------------------------------------------------------------- /analyzer/python/ikos/highlight.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/highlight.py -------------------------------------------------------------------------------- /analyzer/python/ikos/http.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/http.py -------------------------------------------------------------------------------- /analyzer/python/ikos/log.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/log.py -------------------------------------------------------------------------------- /analyzer/python/ikos/output_db.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/output_db.py -------------------------------------------------------------------------------- /analyzer/python/ikos/report.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/report.py -------------------------------------------------------------------------------- /analyzer/python/ikos/scan.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/scan.py -------------------------------------------------------------------------------- /analyzer/python/ikos/settings.py.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/settings.py.in -------------------------------------------------------------------------------- /analyzer/python/ikos/stats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/stats.py -------------------------------------------------------------------------------- /analyzer/python/ikos/view.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/view.py -------------------------------------------------------------------------------- /analyzer/python/ikos/view/static/css/ikos_theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/view/static/css/ikos_theme.css -------------------------------------------------------------------------------- /analyzer/python/ikos/view/static/js/ikos_homepage.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/view/static/js/ikos_homepage.js -------------------------------------------------------------------------------- /analyzer/python/ikos/view/static/js/ikos_report.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/view/static/js/ikos_report.js -------------------------------------------------------------------------------- /analyzer/python/ikos/view/template/error.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/view/template/error.html -------------------------------------------------------------------------------- /analyzer/python/ikos/view/template/homepage.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/view/template/homepage.html -------------------------------------------------------------------------------- /analyzer/python/ikos/view/template/not_found.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/view/template/not_found.html -------------------------------------------------------------------------------- /analyzer/python/ikos/view/template/report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/view/template/report.html -------------------------------------------------------------------------------- /analyzer/python/ikos/view/template/settings.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/ikos/view/template/settings.html -------------------------------------------------------------------------------- /analyzer/python/settings.cmake.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/settings.cmake.in -------------------------------------------------------------------------------- /analyzer/python/setup.py.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/python/setup.py.in -------------------------------------------------------------------------------- /analyzer/script/ikos-config.py.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/script/ikos-config.py.in -------------------------------------------------------------------------------- /analyzer/script/ikos-report.py.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/script/ikos-report.py.in -------------------------------------------------------------------------------- /analyzer/script/ikos-scan-c++.py.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/script/ikos-scan-c++.py.in -------------------------------------------------------------------------------- /analyzer/script/ikos-scan-cc.py.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/script/ikos-scan-cc.py.in -------------------------------------------------------------------------------- /analyzer/script/ikos-scan-extract.py.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/script/ikos-scan-extract.py.in -------------------------------------------------------------------------------- /analyzer/script/ikos-scan.py.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/script/ikos-scan.py.in -------------------------------------------------------------------------------- /analyzer/script/ikos-view.py.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/script/ikos-view.py.in -------------------------------------------------------------------------------- /analyzer/script/ikos.py.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/script/ikos.py.in -------------------------------------------------------------------------------- /analyzer/src/analysis/call_context.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/call_context.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/fixpoint_parameters.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/fixpoint_parameters.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/hardware_addresses.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/hardware_addresses.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/literal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/literal.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/liveness.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/liveness.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/memory_location.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/memory_location.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/option.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/option.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/pointer/constraint.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/pointer/constraint.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/pointer/function.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/pointer/function.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/pointer/pointer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/pointer/pointer.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/pointer/value.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/pointer/value.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/value/abstract_domain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/value/abstract_domain.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/value/global_variable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/value/global_variable.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/value/machine_int_domain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/value/machine_int_domain.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/value/machine_int_domain/dbm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/value/machine_int_domain/dbm.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/value/machine_int_domain/gauge.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/value/machine_int_domain/gauge.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/variable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/variable.cpp -------------------------------------------------------------------------------- /analyzer/src/analysis/widening_hint.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/analysis/widening_hint.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/assert_prover.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/assert_prover.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/buffer_overflow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/buffer_overflow.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/checker.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/checker.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/dead_code.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/dead_code.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/debug.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/debug.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/division_by_zero.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/division_by_zero.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/double_free.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/double_free.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/function_call.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/function_call.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/int_overflow_base.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/int_overflow_base.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/memory_watch.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/memory_watch.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/null_dereference.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/null_dereference.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/pointer_alignment.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/pointer_alignment.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/pointer_compare.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/pointer_compare.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/pointer_overflow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/pointer_overflow.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/shift_count.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/shift_count.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/signed_int_overflow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/signed_int_overflow.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/soundness.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/soundness.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/uninitialized_variable.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/uninitialized_variable.cpp -------------------------------------------------------------------------------- /analyzer/src/checker/unsigned_int_overflow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/checker/unsigned_int_overflow.cpp -------------------------------------------------------------------------------- /analyzer/src/database/output.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/database/output.cpp -------------------------------------------------------------------------------- /analyzer/src/database/sqlite.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/database/sqlite.cpp -------------------------------------------------------------------------------- /analyzer/src/database/table.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/database/table.cpp -------------------------------------------------------------------------------- /analyzer/src/database/table/call_contexts.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/database/table/call_contexts.cpp -------------------------------------------------------------------------------- /analyzer/src/database/table/checks.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/database/table/checks.cpp -------------------------------------------------------------------------------- /analyzer/src/database/table/files.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/database/table/files.cpp -------------------------------------------------------------------------------- /analyzer/src/database/table/functions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/database/table/functions.cpp -------------------------------------------------------------------------------- /analyzer/src/database/table/memory_locations.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/database/table/memory_locations.cpp -------------------------------------------------------------------------------- /analyzer/src/database/table/operands.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/database/table/operands.cpp -------------------------------------------------------------------------------- /analyzer/src/database/table/settings.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/database/table/settings.cpp -------------------------------------------------------------------------------- /analyzer/src/database/table/statements.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/database/table/statements.cpp -------------------------------------------------------------------------------- /analyzer/src/database/table/times.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/database/table/times.cpp -------------------------------------------------------------------------------- /analyzer/src/exception.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/exception.cpp -------------------------------------------------------------------------------- /analyzer/src/ikos_analyzer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/ikos_analyzer.cpp -------------------------------------------------------------------------------- /analyzer/src/json/json.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/json/json.cpp -------------------------------------------------------------------------------- /analyzer/src/util/color.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/util/color.cpp -------------------------------------------------------------------------------- /analyzer/src/util/log.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/util/log.cpp -------------------------------------------------------------------------------- /analyzer/src/util/progress.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/util/progress.cpp -------------------------------------------------------------------------------- /analyzer/src/util/source_location.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/util/source_location.cpp -------------------------------------------------------------------------------- /analyzer/src/util/timer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/src/util/timer.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/CMakeLists.txt -------------------------------------------------------------------------------- /analyzer/test/regression/boa/astree-ex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/astree-ex.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/runtest -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-1-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-1-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-1.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-10-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-10-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-10.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-11-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-11-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-11.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-12-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-12-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-13.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-13.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-14.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-14.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-15.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-15.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-16.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-17-simpler.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-17-simpler.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-17.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-17.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-18-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-18-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-18.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-18.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-19a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-19a.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-19b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-19b.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-2-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-2-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-2.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-20.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-20.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-21.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-21.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-22-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-22-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-22-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-22-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-23-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-23-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-23-unsafe-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-23-unsafe-1.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-23-unsafe-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-23-unsafe-2.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-23-unsafe-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-23-unsafe-3.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-24-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-24-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-25.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-25.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-26-volatile-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-26-volatile-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-26-volatile-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-26-volatile-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-27.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-27.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-28.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-28.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-29.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-29.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-3-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-3-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-3.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-30-use-after-free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-30-use-after-free.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-31-use-after-free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-31-use-after-free.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-32-use-after-return.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-32-use-after-return.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-33.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-33.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-34.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-34.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-35.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-36.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-36.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-37.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-37.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-38-argv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-38-argv.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-39.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-39.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-4-unsafe-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-4-unsafe-1.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-4-unsafe-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-4-unsafe-2.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-4.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-40.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-40.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-41.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-41.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-42.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-42.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-43.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-43.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-44-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-44-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-44.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-44.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-45-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-45-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-45.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-45.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-46-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-46-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-46.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-46.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-47-unsafe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-47-unsafe.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-47.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-47.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-48-unsafe-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-48-unsafe-1.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-48-unsafe-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-48-unsafe-2.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-48.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-48.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-49-unsafe-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-49-unsafe-1.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-49-unsafe-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-49-unsafe-2.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-49.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-49.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-5-unsafe-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-5-unsafe-1.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-5-unsafe-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-5-unsafe-2.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-5-unsafe-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-5-unsafe-3.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-5-unsafe-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-5-unsafe-4.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-5.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-50-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-50-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-50.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-50.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-51-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-51-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-51.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-51.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-52.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-52.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-53.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-53.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-54.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-54.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-55.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-55.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-56.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-56.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-57-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-57-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-57.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-57.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-58.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-58.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-59-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-59-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-59.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-59.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-6-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-6-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-6.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-60.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-60.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-61.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-61.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-62.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-62.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-63.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-63.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-64.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-64.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-65.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-65.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-66.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-66.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-67.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-67.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-68.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-68.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-69.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-69.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-7-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-7-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-7.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-70.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-70.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-8-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-8-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-8.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-9a-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-9a-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-9a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-9a.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-9b-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-9b-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/boa/test-9b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/boa/test-9b.c -------------------------------------------------------------------------------- /analyzer/test/regression/dbz/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/dbz/runtest -------------------------------------------------------------------------------- /analyzer/test/regression/dbz/test-1-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/dbz/test-1-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/dbz/test-2-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/dbz/test-2-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/dbz/test-3-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/dbz/test-3-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/dbz/test-4-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/dbz/test-4-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/dfa/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/dfa/runtest -------------------------------------------------------------------------------- /analyzer/test/regression/dfa/test-1-error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/dfa/test-1-error.c -------------------------------------------------------------------------------- /analyzer/test/regression/dfa/test-2-warnings.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/dfa/test-2-warnings.c -------------------------------------------------------------------------------- /analyzer/test/regression/dfa/test-3-delete.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/dfa/test-3-delete.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/dfa/test-4-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/dfa/test-4-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/dfa/test-5-delete-array.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/dfa/test-5-delete-array.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/fca/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/fca/runtest -------------------------------------------------------------------------------- /analyzer/test/regression/fca/test-1-warning.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/fca/test-1-warning.c -------------------------------------------------------------------------------- /analyzer/test/regression/fca/test-2-error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/fca/test-2-error.c -------------------------------------------------------------------------------- /analyzer/test/regression/libruntest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/libruntest.py -------------------------------------------------------------------------------- /analyzer/test/regression/mem/astree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/astree.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/mine-lctes06.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/mine-lctes06.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/runtest -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-0-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-0-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-0-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-0-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-1-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-1-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-1-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-1-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-10-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-10-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-10-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-10-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-11.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-12.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-12.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-14a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-14a.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-14b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-14b.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-14c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-14c.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-15-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-15-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-15-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-15-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-16.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-17.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-17.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-2-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-2-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-2-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-2-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-20.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-20.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-21.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-21.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-22.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-22.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-23.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-23.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-24.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-24.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-25.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-25.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-26a-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-26a-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-26a-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-26a-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-26b-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-26b-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-26b-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-26b-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-26c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-26c.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-28-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-28-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-28-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-28-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-29-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-29-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-29-unsafe-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-29-unsafe-1.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-29-unsafe-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-29-unsafe-2.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-3-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-3-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-3-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-3-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-30-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-30-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-30-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-30-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-31-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-31-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-32-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-32-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-4-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-4-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-5-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-5-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-5-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-5-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-6-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-6-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-7-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-7-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-7-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-7-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-8-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-8-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-9-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-9-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/mem/test-9-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/mem/test-9-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/null/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/null/runtest -------------------------------------------------------------------------------- /analyzer/test/regression/null/test-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/null/test-1.c -------------------------------------------------------------------------------- /analyzer/test/regression/null/test-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/null/test-2.c -------------------------------------------------------------------------------- /analyzer/test/regression/null/test-3-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/null/test-3-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/null/test-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/null/test-3.c -------------------------------------------------------------------------------- /analyzer/test/regression/null/test-4-unsafe-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/null/test-4-unsafe-1.c -------------------------------------------------------------------------------- /analyzer/test/regression/null/test-4-unsafe-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/null/test-4-unsafe-2.c -------------------------------------------------------------------------------- /analyzer/test/regression/null/test-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/null/test-4.c -------------------------------------------------------------------------------- /analyzer/test/regression/null/test-5-unsafe-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/null/test-5-unsafe-1.c -------------------------------------------------------------------------------- /analyzer/test/regression/null/test-5-unsafe-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/null/test-5-unsafe-2.c -------------------------------------------------------------------------------- /analyzer/test/regression/null/test-5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/null/test-5.c -------------------------------------------------------------------------------- /analyzer/test/regression/null/test-6-unsafe.c: -------------------------------------------------------------------------------- 1 | int* p; // NULL 2 | 3 | int main() { 4 | *p = 0x42; 5 | return 0; 6 | } 7 | -------------------------------------------------------------------------------- /analyzer/test/regression/null/test-7-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/null/test-7-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/null/test-8-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/null/test-8-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/null/test-9-unsafe.c: -------------------------------------------------------------------------------- 1 | #include 2 | 3 | char* p; // NULL 4 | 5 | int main() { 6 | memset(p, 0, 10); 7 | return 0; 8 | } 9 | -------------------------------------------------------------------------------- /analyzer/test/regression/pcmp/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/pcmp/runtest -------------------------------------------------------------------------------- /analyzer/test/regression/pcmp/test-1-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/pcmp/test-1-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/pcmp/test-2-warnings.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/pcmp/test-2-warnings.c -------------------------------------------------------------------------------- /analyzer/test/regression/pcmp/test-3-null.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/pcmp/test-3-null.c -------------------------------------------------------------------------------- /analyzer/test/regression/poa/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/poa/runtest -------------------------------------------------------------------------------- /analyzer/test/regression/poa/test-1-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/poa/test-1-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/poa/test-2-warnings.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/poa/test-2-warnings.c -------------------------------------------------------------------------------- /analyzer/test/regression/poa/test-3-undefined.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/poa/test-3-undefined.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/01.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/01.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/02.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/02.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/03.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/03.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/04.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/04.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/05.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/05.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/06.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/06.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/07.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/07.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/08.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/08.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/09.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/09.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/10.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/11.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/12.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/12.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/13.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/13.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/14.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/14.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/15.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/15.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/16.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/17.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/17.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/18.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/18.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/19.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/19.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/20.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/20.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/21.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/21.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/22.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/22.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/23.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/23.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/24.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/24.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/25.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/25.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/26.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/26.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/27.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/27.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/28.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/28.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/29.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/29.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/30.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/30.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/31.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/31.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/32.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/33.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/33.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/34.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/34.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/35.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/35.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/36.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/36.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/37.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/37.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/38.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/38.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/39.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/39.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/40.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/40.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/41.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/41.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/42.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/42.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/43.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/43.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/44.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/44.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/45.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/45.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/46.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/46.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/47.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/47.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/48-volatile-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/48-volatile-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/48-volatile-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/48-volatile-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/asian06-ex2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/asian06-ex2.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/astree-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/astree-1.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/astree-2a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/astree-2a.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/astree-2b.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/astree-2b.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/astree-2c.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/astree-2c.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/loop-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/loop-1.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/loop-10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/loop-10.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/loop-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/loop-2.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/loop-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/loop-3.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/loop-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/loop-4.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/loop-9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/loop-9.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/runtest -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-1.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-10.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-11.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-12.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-12.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-13.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-13.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-14.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-14.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-15.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-15.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-16.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-17.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-17.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-18.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-18.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-19.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-19.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-2.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-20.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-20.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-21-exceptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-21-exceptions.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-22-exceptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-22-exceptions.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-23.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-23.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-24.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-24.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-25.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-25.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-26.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-26.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-27.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-27.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-28.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-28.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-29.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-29.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-3.c -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-4.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-4.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-5.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-5.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-6.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-6.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-7.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-7.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-8.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-8.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/prover/test-9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/prover/test-9.c -------------------------------------------------------------------------------- /analyzer/test/regression/runalltests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/runalltests -------------------------------------------------------------------------------- /analyzer/test/regression/shc/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/shc/runtest -------------------------------------------------------------------------------- /analyzer/test/regression/shc/test-1-negative.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/shc/test-1-negative.c -------------------------------------------------------------------------------- /analyzer/test/regression/shc/test-2-warnings.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/shc/test-2-warnings.c -------------------------------------------------------------------------------- /analyzer/test/regression/shc/test-3-oversized.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/shc/test-3-oversized.c -------------------------------------------------------------------------------- /analyzer/test/regression/shc/test-4-unsigned.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/shc/test-4-unsigned.c -------------------------------------------------------------------------------- /analyzer/test/regression/shc/test-5-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/shc/test-5-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/sio/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/sio/runtest -------------------------------------------------------------------------------- /analyzer/test/regression/sio/test-1-overflow-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/sio/test-1-overflow-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/sio/test-2-underflow-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/sio/test-2-underflow-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/sio/test-3-warnings.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/sio/test-3-warnings.c -------------------------------------------------------------------------------- /analyzer/test/regression/sio/test-4-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/sio/test-4-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/sio/test-5-div-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/sio/test-5-div-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/sio/test-6-warning.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/sio/test-6-warning.c -------------------------------------------------------------------------------- /analyzer/test/regression/sio/test-7-rem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/sio/test-7-rem.c -------------------------------------------------------------------------------- /analyzer/test/regression/sound/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/sound/runtest -------------------------------------------------------------------------------- /analyzer/test/regression/sound/test-call-side-effect.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/sound/test-call-side-effect.c -------------------------------------------------------------------------------- /analyzer/test/regression/sound/test-free.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/sound/test-free.c -------------------------------------------------------------------------------- /analyzer/test/regression/sound/test-memcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/sound/test-memcpy.c -------------------------------------------------------------------------------- /analyzer/test/regression/sound/test-memmove.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/sound/test-memmove.c -------------------------------------------------------------------------------- /analyzer/test/regression/sound/test-memset.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/sound/test-memset.c -------------------------------------------------------------------------------- /analyzer/test/regression/sound/test-recursive.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/sound/test-recursive.c -------------------------------------------------------------------------------- /analyzer/test/regression/sound/test-store.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/sound/test-store.c -------------------------------------------------------------------------------- /analyzer/test/regression/uio/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uio/runtest -------------------------------------------------------------------------------- /analyzer/test/regression/uio/test-1-overflow-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uio/test-1-overflow-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/uio/test-2-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uio/test-2-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/uma/test-10-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uma/test-10-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/uma/test-11-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uma/test-11-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/uma/test-12-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uma/test-12-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/uma/test-13-error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uma/test-13-error.c -------------------------------------------------------------------------------- /analyzer/test/regression/uma/test-13-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uma/test-13-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/uma/test-20-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uma/test-20-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/uma/test-3-error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uma/test-3-error.c -------------------------------------------------------------------------------- /analyzer/test/regression/uma/test-3-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uma/test-3-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/uma/test-4-error-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uma/test-4-error-1.c -------------------------------------------------------------------------------- /analyzer/test/regression/uma/test-4-error-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uma/test-4-error-2.c -------------------------------------------------------------------------------- /analyzer/test/regression/uma/test-7-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uma/test-7-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/upa/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/upa/runtest -------------------------------------------------------------------------------- /analyzer/test/regression/upa/test-1-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/upa/test-1-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/upa/test-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/upa/test-1.c -------------------------------------------------------------------------------- /analyzer/test/regression/upa/test-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/upa/test-2.c -------------------------------------------------------------------------------- /analyzer/test/regression/upa/test-3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/upa/test-3.c -------------------------------------------------------------------------------- /analyzer/test/regression/upa/test-4-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/upa/test-4-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/upa/test-4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/upa/test-4.c -------------------------------------------------------------------------------- /analyzer/test/regression/upa/test-5-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/upa/test-5-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/upa/test-6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/upa/test-6.c -------------------------------------------------------------------------------- /analyzer/test/regression/upa/test-7-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/upa/test-7-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/upa/test-8-unsafe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/upa/test-8-unsafe.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/runtest -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-1-error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-1-error.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-1-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-1-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-14-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-14-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-15-error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-15-error.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-16-error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-16-error.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-17-error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-17-error.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-18-error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-18-error.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-19-error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-19-error.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-2-error-1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-2-error-1.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-2-error-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-2-error-2.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-2-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-2-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-20-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-20-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-21-safe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-21-safe.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-22-error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-22-error.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-23-warning.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-23-warning.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-24-error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-24-error.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-25-warning.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-25-warning.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-26-error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-26-error.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-27-error.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-27-error.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-28-error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-28-error.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-29-safe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-29-safe.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-30-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-30-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-31-error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-31-error.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-32-error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-32-error.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-33-error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-33-error.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-34-safe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-34-safe.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-35-safe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-35-safe.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-36-error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-36-error.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-37-error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-37-error.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-38-safe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-38-safe.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-39-error.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-39-error.cpp -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-8-safe.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-8-safe.c -------------------------------------------------------------------------------- /analyzer/test/regression/uva/test-8-warning.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/analyzer/test/regression/uva/test-8-warning.c -------------------------------------------------------------------------------- /ar/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/CMakeLists.txt -------------------------------------------------------------------------------- /ar/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/README.md -------------------------------------------------------------------------------- /ar/doc/doxygen/Doxyfile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/doc/doxygen/Doxyfile.in -------------------------------------------------------------------------------- /ar/doc/doxygen/mainpage.dox: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/doc/doxygen/mainpage.dox -------------------------------------------------------------------------------- /ar/include/ikos/ar/format/dot.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/format/dot.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/format/formatter.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/format/formatter.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/format/namer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/format/namer.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/format/text.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/format/text.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/pass/add_loop_counters.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/pass/add_loop_counters.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/pass/add_partitioning_variables.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/pass/add_partitioning_variables.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/pass/name_values.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/pass/name_values.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/pass/pass.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/pass/pass.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/pass/simplify_cfg.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/pass/simplify_cfg.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/pass/simplify_upcast_comparison.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/pass/simplify_upcast_comparison.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/semantic.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/semantic.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/semantic/bundle.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/semantic/bundle.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/semantic/code.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/semantic/code.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/semantic/context.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/semantic/context.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/semantic/data_layout.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/semantic/data_layout.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/semantic/function.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/semantic/function.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/semantic/intrinsic.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/semantic/intrinsic.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/semantic/statement.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/semantic/statement.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/semantic/statement_visitor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/semantic/statement_visitor.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/semantic/symbol_table.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/semantic/symbol_table.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/semantic/type.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/semantic/type.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/semantic/type_visitor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/semantic/type_visitor.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/semantic/value.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/semantic/value.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/semantic/value_visitor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/semantic/value_visitor.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/support/assert.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/support/assert.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/support/cast.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/support/cast.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/support/flags.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/support/flags.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/support/iterator.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/support/iterator.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/support/number.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/support/number.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/support/string_ref.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/support/string_ref.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/support/traceable.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/support/traceable.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/verify/frontend.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/verify/frontend.hpp -------------------------------------------------------------------------------- /ar/include/ikos/ar/verify/type.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/include/ikos/ar/verify/type.hpp -------------------------------------------------------------------------------- /ar/src/format/dot.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/format/dot.cpp -------------------------------------------------------------------------------- /ar/src/format/namer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/format/namer.cpp -------------------------------------------------------------------------------- /ar/src/format/text.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/format/text.cpp -------------------------------------------------------------------------------- /ar/src/pass/add_loop_counters.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/pass/add_loop_counters.cpp -------------------------------------------------------------------------------- /ar/src/pass/add_partitioning_variables.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/pass/add_partitioning_variables.cpp -------------------------------------------------------------------------------- /ar/src/pass/name_values.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/pass/name_values.cpp -------------------------------------------------------------------------------- /ar/src/pass/pass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/pass/pass.cpp -------------------------------------------------------------------------------- /ar/src/pass/simplify_cfg.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/pass/simplify_cfg.cpp -------------------------------------------------------------------------------- /ar/src/pass/simplify_upcast_comparison.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/pass/simplify_upcast_comparison.cpp -------------------------------------------------------------------------------- /ar/src/semantic/bundle.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/semantic/bundle.cpp -------------------------------------------------------------------------------- /ar/src/semantic/code.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/semantic/code.cpp -------------------------------------------------------------------------------- /ar/src/semantic/context.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/semantic/context.cpp -------------------------------------------------------------------------------- /ar/src/semantic/context_impl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/semantic/context_impl.cpp -------------------------------------------------------------------------------- /ar/src/semantic/context_impl.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/semantic/context_impl.hpp -------------------------------------------------------------------------------- /ar/src/semantic/data_layout.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/semantic/data_layout.cpp -------------------------------------------------------------------------------- /ar/src/semantic/function.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/semantic/function.cpp -------------------------------------------------------------------------------- /ar/src/semantic/intrinsic.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/semantic/intrinsic.cpp -------------------------------------------------------------------------------- /ar/src/semantic/statement.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/semantic/statement.cpp -------------------------------------------------------------------------------- /ar/src/semantic/type.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/semantic/type.cpp -------------------------------------------------------------------------------- /ar/src/semantic/value.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/semantic/value.cpp -------------------------------------------------------------------------------- /ar/src/verify/frontend.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/verify/frontend.cpp -------------------------------------------------------------------------------- /ar/src/verify/type.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/ar/src/verify/type.cpp -------------------------------------------------------------------------------- /cmake/AddFlagUtils.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/cmake/AddFlagUtils.cmake -------------------------------------------------------------------------------- /cmake/FindAPRON.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/cmake/FindAPRON.cmake -------------------------------------------------------------------------------- /cmake/FindAR.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/cmake/FindAR.cmake -------------------------------------------------------------------------------- /cmake/FindBoost.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/cmake/FindBoost.cmake -------------------------------------------------------------------------------- /cmake/FindClang.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/cmake/FindClang.cmake -------------------------------------------------------------------------------- /cmake/FindCore.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/cmake/FindCore.cmake -------------------------------------------------------------------------------- /cmake/FindFrontendLLVM.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/cmake/FindFrontendLLVM.cmake -------------------------------------------------------------------------------- /cmake/FindGMP.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/cmake/FindGMP.cmake -------------------------------------------------------------------------------- /cmake/FindLLVM.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/cmake/FindLLVM.cmake -------------------------------------------------------------------------------- /cmake/FindMPFR.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/cmake/FindMPFR.cmake -------------------------------------------------------------------------------- /cmake/FindPPL.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/cmake/FindPPL.cmake -------------------------------------------------------------------------------- /cmake/FindSQLite3.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/cmake/FindSQLite3.cmake -------------------------------------------------------------------------------- /cmake/FindTBB.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/cmake/FindTBB.cmake -------------------------------------------------------------------------------- /cmake/HandleOptions.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/cmake/HandleOptions.cmake -------------------------------------------------------------------------------- /core/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/CMakeLists.txt -------------------------------------------------------------------------------- /core/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/README.md -------------------------------------------------------------------------------- /core/doc/doxygen/Doxyfile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/doc/doxygen/Doxyfile.in -------------------------------------------------------------------------------- /core/doc/doxygen/mainpage.dox: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/doc/doxygen/mainpage.dox -------------------------------------------------------------------------------- /core/include/ikos/core/adt/patricia_tree/map.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/adt/patricia_tree/map.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/adt/patricia_tree/set.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/adt/patricia_tree/set.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/adt/patricia_tree/utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/adt/patricia_tree/utils.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/adt/small_vector.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/adt/small_vector.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/adt/string_ref.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/adt/string_ref.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/abstract_domain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/abstract_domain.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/discrete_domain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/discrete_domain.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/domain_product.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/domain_product.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/exception/exception.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/exception/exception.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/lifetime/abstract_domain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/lifetime/abstract_domain.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/lifetime/dummy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/lifetime/dummy.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/lifetime/separate_domain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/lifetime/separate_domain.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/machine_int/congruence.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/machine_int/congruence.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/machine_int/dummy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/machine_int/dummy.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/machine_int/interval.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/machine_int/interval.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/machine_int/operator.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/machine_int/operator.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/memory/abstract_domain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/memory/abstract_domain.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/memory/dummy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/memory/dummy.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/memory/partitioning.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/memory/partitioning.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/memory/value.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/memory/value.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/memory/value/cell_set.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/memory/value/cell_set.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/nullity/abstract_domain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/nullity/abstract_domain.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/nullity/dummy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/nullity/dummy.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/nullity/separate_domain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/nullity/separate_domain.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/numeric/abstract_domain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/numeric/abstract_domain.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/numeric/apron.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/numeric/apron.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/numeric/congruence.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/numeric/congruence.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/numeric/constant.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/numeric/constant.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/numeric/dbm.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/numeric/dbm.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/numeric/domain_product.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/numeric/domain_product.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/numeric/gauge.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/numeric/gauge.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/numeric/interval.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/numeric/interval.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/numeric/octagon.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/numeric/octagon.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/numeric/operator.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/numeric/operator.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/numeric/separate_domain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/numeric/separate_domain.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/numeric/union.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/numeric/union.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/numeric/var_packing_dbm.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/numeric/var_packing_dbm.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/pointer/operator.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/pointer/operator.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/pointer/solver.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/pointer/solver.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/scalar/abstract_domain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/scalar/abstract_domain.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/scalar/composite.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/scalar/composite.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/scalar/dummy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/scalar/dummy.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/scalar/machine_int.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/scalar/machine_int.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/separate_domain.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/separate_domain.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/domain/uninitialized/dummy.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/domain/uninitialized/dummy.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/example/memory_factory.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/example/memory_factory.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/example/muzq.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/example/muzq.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/example/scalar/variable_factory.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/example/scalar/variable_factory.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/example/variable_factory.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/example/variable_factory.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/exception.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/exception.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/fixpoint/fixpoint_iterator.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/fixpoint/fixpoint_iterator.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/fixpoint/fwd_fixpoint_iterator.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/fixpoint/fwd_fixpoint_iterator.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/fixpoint/wpo.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/fixpoint/wpo.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/fixpoint/wto.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/fixpoint/wto.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/linear_constraint.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/linear_constraint.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/linear_expression.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/linear_expression.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/literal.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/literal.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/number.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/number.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/number/bound.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/number/bound.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/number/compatibility.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/number/compatibility.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/number/dummy_number.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/number/dummy_number.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/number/exception.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/number/exception.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/number/machine_int.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/number/machine_int.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/number/q_number.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/number/q_number.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/number/signedness.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/number/signedness.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/number/supported_integral.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/number/supported_integral.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/number/z_number.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/number/z_number.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/semantic/dumpable.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/semantic/dumpable.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/semantic/graph.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/semantic/graph.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/semantic/indexable.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/semantic/indexable.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/semantic/machine_int/variable.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/semantic/machine_int/variable.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/semantic/memory_location.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/semantic/memory_location.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/semantic/scalar/variable.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/semantic/scalar/variable.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/semantic/variable.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/semantic/variable.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/support/assert.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/support/assert.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/support/cast.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/support/cast.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/support/compiler.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/support/compiler.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/support/mpl.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/support/mpl.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/value/lifetime.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/value/lifetime.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/value/machine_int/congruence.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/value/machine_int/congruence.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/value/machine_int/constant.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/value/machine_int/constant.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/value/machine_int/interval.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/value/machine_int/interval.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/value/nullity.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/value/nullity.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/value/numeric/congruence.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/value/numeric/congruence.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/value/numeric/constant.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/value/numeric/constant.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/value/numeric/gauge.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/value/numeric/gauge.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/value/numeric/interval.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/value/numeric/interval.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/value/pointer/pointer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/value/pointer/pointer.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/value/pointer/pointer_set.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/value/pointer/pointer_set.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/value/pointer/points_to_set.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/value/pointer/points_to_set.hpp -------------------------------------------------------------------------------- /core/include/ikos/core/value/uninitialized.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/include/ikos/core/value/uninitialized.hpp -------------------------------------------------------------------------------- /core/test/unit/.clang-tidy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/.clang-tidy -------------------------------------------------------------------------------- /core/test/unit/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/CMakeLists.txt -------------------------------------------------------------------------------- /core/test/unit/adt/patricia_tree/map.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/adt/patricia_tree/map.cpp -------------------------------------------------------------------------------- /core/test/unit/adt/patricia_tree/set.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/adt/patricia_tree/set.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/discrete_domain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/discrete_domain.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/machine_int/congruence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/machine_int/congruence.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/machine_int/interval.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/machine_int/interval.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/machine_int/interval_congruence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/machine_int/interval_congruence.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/machine_int/polymorphic_domain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/machine_int/polymorphic_domain.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/memory/partitioning.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/memory/partitioning.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/nullity/separate_domain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/nullity/separate_domain.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/numeric/apron/interval.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/numeric/apron/interval.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/numeric/apron/polka_polyhedra.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/numeric/apron/polka_polyhedra.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/numeric/congruence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/numeric/congruence.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/numeric/constant.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/numeric/constant.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/numeric/dbm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/numeric/dbm.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/numeric/gauge.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/numeric/gauge.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/numeric/interval.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/numeric/interval.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/numeric/interval_congruence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/numeric/interval_congruence.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/numeric/octagon.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/numeric/octagon.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/numeric/union.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/numeric/union.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/numeric/var_packing_dbm.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/numeric/var_packing_dbm.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/numeric/var_packing_domain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/numeric/var_packing_domain.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/pointer/solver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/pointer/solver.cpp -------------------------------------------------------------------------------- /core/test/unit/domain/uninitialized/separate_domain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/domain/uninitialized/separate_domain.cpp -------------------------------------------------------------------------------- /core/test/unit/example/muzq.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/example/muzq.cpp -------------------------------------------------------------------------------- /core/test/unit/fixpoint/wpo.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/fixpoint/wpo.cpp -------------------------------------------------------------------------------- /core/test/unit/number/machine_int.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/number/machine_int.cpp -------------------------------------------------------------------------------- /core/test/unit/number/q_number.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/number/q_number.cpp -------------------------------------------------------------------------------- /core/test/unit/number/z_number.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/number/z_number.cpp -------------------------------------------------------------------------------- /core/test/unit/value/machine_int/congruence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/value/machine_int/congruence.cpp -------------------------------------------------------------------------------- /core/test/unit/value/machine_int/constant.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/value/machine_int/constant.cpp -------------------------------------------------------------------------------- /core/test/unit/value/machine_int/interval.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/value/machine_int/interval.cpp -------------------------------------------------------------------------------- /core/test/unit/value/machine_int/interval_congruence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/value/machine_int/interval_congruence.cpp -------------------------------------------------------------------------------- /core/test/unit/value/numeric/congruence.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/value/numeric/congruence.cpp -------------------------------------------------------------------------------- /core/test/unit/value/numeric/constant.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/value/numeric/constant.cpp -------------------------------------------------------------------------------- /core/test/unit/value/numeric/gauge.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/value/numeric/gauge.cpp -------------------------------------------------------------------------------- /core/test/unit/value/numeric/interval.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/core/test/unit/value/numeric/interval.cpp -------------------------------------------------------------------------------- /doc/CODING_STANDARDS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/CODING_STANDARDS.md -------------------------------------------------------------------------------- /doc/OVERVIEW.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/OVERVIEW.md -------------------------------------------------------------------------------- /doc/contribute/CORPORATE_CONTRIBUTOR_LICENSE_AGREEMENT.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/contribute/CORPORATE_CONTRIBUTOR_LICENSE_AGREEMENT.pdf -------------------------------------------------------------------------------- /doc/install/3.0/ARCHLINUX.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/install/3.0/ARCHLINUX.md -------------------------------------------------------------------------------- /doc/install/3.0/CENTOS_6.10.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/install/3.0/CENTOS_6.10.md -------------------------------------------------------------------------------- /doc/install/3.0/CENTOS_7.6.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/install/3.0/CENTOS_7.6.md -------------------------------------------------------------------------------- /doc/install/3.0/DEBIAN_10.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/install/3.0/DEBIAN_10.md -------------------------------------------------------------------------------- /doc/install/3.0/DEBIAN_9.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/install/3.0/DEBIAN_9.md -------------------------------------------------------------------------------- /doc/install/3.0/FEDORA_29.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/install/3.0/FEDORA_29.md -------------------------------------------------------------------------------- /doc/install/3.0/FEDORA_30.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/install/3.0/FEDORA_30.md -------------------------------------------------------------------------------- /doc/install/3.0/MAC_OS_X.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/install/3.0/MAC_OS_X.md -------------------------------------------------------------------------------- /doc/install/3.0/RHEL_6.10.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/install/3.0/RHEL_6.10.md -------------------------------------------------------------------------------- /doc/install/3.0/RHEL_7.7.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/install/3.0/RHEL_7.7.md -------------------------------------------------------------------------------- /doc/install/3.0/ROOTLESS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/install/3.0/ROOTLESS.md -------------------------------------------------------------------------------- /doc/install/3.0/UBUNTU_16.04.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/install/3.0/UBUNTU_16.04.md -------------------------------------------------------------------------------- /doc/install/3.0/UBUNTU_18.04.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/install/3.0/UBUNTU_18.04.md -------------------------------------------------------------------------------- /doc/install/3.0/UBUNTU_19.04.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/install/3.0/UBUNTU_19.04.md -------------------------------------------------------------------------------- /doc/install/3.0/UBUNTU_20.04.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/install/3.0/UBUNTU_20.04.md -------------------------------------------------------------------------------- /doc/install/3.0/WINDOWS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/doc/install/3.0/WINDOWS.md -------------------------------------------------------------------------------- /frontend/llvm/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/CMakeLists.txt -------------------------------------------------------------------------------- /frontend/llvm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/README.md -------------------------------------------------------------------------------- /frontend/llvm/include/ikos/frontend/llvm/import.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/include/ikos/frontend/llvm/import.hpp -------------------------------------------------------------------------------- /frontend/llvm/include/ikos/frontend/llvm/pass.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/include/ikos/frontend/llvm/pass.hpp -------------------------------------------------------------------------------- /frontend/llvm/src/ikos_import.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/ikos_import.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/ikos_pp.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/ikos_pp.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/import/bundle.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/import/bundle.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/import/bundle.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/import/bundle.hpp -------------------------------------------------------------------------------- /frontend/llvm/src/import/constant.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/import/constant.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/import/constant.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/import/constant.hpp -------------------------------------------------------------------------------- /frontend/llvm/src/import/data_layout.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/import/data_layout.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/import/data_layout.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/import/data_layout.hpp -------------------------------------------------------------------------------- /frontend/llvm/src/import/exception.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/import/exception.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/import/function.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/import/function.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/import/function.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/import/function.hpp -------------------------------------------------------------------------------- /frontend/llvm/src/import/import_context.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/import/import_context.hpp -------------------------------------------------------------------------------- /frontend/llvm/src/import/importer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/import/importer.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/import/library_function.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/import/library_function.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/import/library_function.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/import/library_function.hpp -------------------------------------------------------------------------------- /frontend/llvm/src/import/source_location.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/import/source_location.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/import/type.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/import/type.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/import/type.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/import/type.hpp -------------------------------------------------------------------------------- /frontend/llvm/src/pass/initialize.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/pass/initialize.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/pass/lower_cst_expr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/pass/lower_cst_expr.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/pass/lower_select.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/pass/lower_select.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/pass/mark_internal_inline.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/pass/mark_internal_inline.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/pass/name_values.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/pass/name_values.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/pass/remove_printf_calls.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/pass/remove_printf_calls.cpp -------------------------------------------------------------------------------- /frontend/llvm/src/pass/remove_unreachable_blocks.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/src/pass/remove_unreachable_blocks.cpp -------------------------------------------------------------------------------- /frontend/llvm/test/regression/import/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/test/regression/import/CMakeLists.txt -------------------------------------------------------------------------------- /frontend/llvm/test/regression/import/aggressive_optimization/array-init.cpp: -------------------------------------------------------------------------------- 1 | struct i { 2 | unsigned j[16]; 3 | } k[]{{}, {2}}; 4 | -------------------------------------------------------------------------------- /frontend/llvm/test/regression/import/aggressive_optimization/empty-array-3.c: -------------------------------------------------------------------------------- 1 | union { 2 | char a[0]; 3 | int b; 4 | } c = {}; 5 | -------------------------------------------------------------------------------- /frontend/llvm/test/regression/import/basic_optimization/array-init.cpp: -------------------------------------------------------------------------------- 1 | struct i { 2 | unsigned j[16]; 3 | } k[]{{}, {2}}; 4 | -------------------------------------------------------------------------------- /frontend/llvm/test/regression/import/basic_optimization/empty-array-3.c: -------------------------------------------------------------------------------- 1 | union { 2 | char a[0]; 3 | int b; 4 | } c = {}; 5 | -------------------------------------------------------------------------------- /frontend/llvm/test/regression/import/fneg/test-1-float.c: -------------------------------------------------------------------------------- 1 | 2 | int main() { 3 | float y = 10.0F; 4 | return (int)(-y); 5 | } 6 | -------------------------------------------------------------------------------- /frontend/llvm/test/regression/import/fneg/test-2-double.c: -------------------------------------------------------------------------------- 1 | 2 | int main() { 3 | double y = 10.0F; 4 | return (int)(-y); 5 | } 6 | -------------------------------------------------------------------------------- /frontend/llvm/test/regression/import/no_optimization/array-init.cpp: -------------------------------------------------------------------------------- 1 | struct i { 2 | unsigned j[16]; 3 | } k[]{{}, {2}}; 4 | -------------------------------------------------------------------------------- /frontend/llvm/test/regression/import/no_optimization/asm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/test/regression/import/no_optimization/asm.c -------------------------------------------------------------------------------- /frontend/llvm/test/regression/import/no_optimization/empty-array-3.c: -------------------------------------------------------------------------------- 1 | union { 2 | char a[0]; 3 | int b; 4 | } c = {}; 5 | -------------------------------------------------------------------------------- /frontend/llvm/test/regression/import/no_optimization/vla.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/test/regression/import/no_optimization/vla.c -------------------------------------------------------------------------------- /frontend/llvm/test/regression/pass/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/test/regression/pass/CMakeLists.txt -------------------------------------------------------------------------------- /frontend/llvm/test/regression/pass/lower_cst_expr/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/test/regression/pass/lower_cst_expr/runtest -------------------------------------------------------------------------------- /frontend/llvm/test/regression/pass/lower_select/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/test/regression/pass/lower_select/runtest -------------------------------------------------------------------------------- /frontend/llvm/test/regression/pass/lower_select/test-1.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/test/regression/pass/lower_select/test-1.ll -------------------------------------------------------------------------------- /frontend/llvm/test/regression/pass/lower_select/test-2.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/test/regression/pass/lower_select/test-2.ll -------------------------------------------------------------------------------- /frontend/llvm/test/regression/pass/lower_select/test-3.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/test/regression/pass/lower_select/test-3.ll -------------------------------------------------------------------------------- /frontend/llvm/test/regression/pass/lower_select/test-4.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/test/regression/pass/lower_select/test-4.ll -------------------------------------------------------------------------------- /frontend/llvm/test/runtest-sv-benchmarks: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/frontend/llvm/test/runtest-sv-benchmarks -------------------------------------------------------------------------------- /script/bootstrap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/script/bootstrap -------------------------------------------------------------------------------- /script/run-clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/script/run-clang-format -------------------------------------------------------------------------------- /script/run-clang-tidy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/script/run-clang-tidy -------------------------------------------------------------------------------- /test/install/archlinux/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/test/install/archlinux/Dockerfile -------------------------------------------------------------------------------- /test/install/centos-6/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/test/install/centos-6/Dockerfile -------------------------------------------------------------------------------- /test/install/centos-7/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/test/install/centos-7/Dockerfile -------------------------------------------------------------------------------- /test/install/debian-10/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/test/install/debian-10/Dockerfile -------------------------------------------------------------------------------- /test/install/debian-9/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/test/install/debian-9/Dockerfile -------------------------------------------------------------------------------- /test/install/fedora-29/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/test/install/fedora-29/Dockerfile -------------------------------------------------------------------------------- /test/install/fedora-30/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/test/install/fedora-30/Dockerfile -------------------------------------------------------------------------------- /test/install/logs/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/test/install/logs/.gitignore -------------------------------------------------------------------------------- /test/install/rhel-6/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/test/install/rhel-6/Dockerfile -------------------------------------------------------------------------------- /test/install/rhel-7/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/test/install/rhel-7/Dockerfile -------------------------------------------------------------------------------- /test/install/runtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/test/install/runtest -------------------------------------------------------------------------------- /test/install/ubuntu-16.04/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/test/install/ubuntu-16.04/Dockerfile -------------------------------------------------------------------------------- /test/install/ubuntu-18.04/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/test/install/ubuntu-18.04/Dockerfile -------------------------------------------------------------------------------- /test/install/ubuntu-19.04/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NASA-SW-VnV/ikos/HEAD/test/install/ubuntu-19.04/Dockerfile --------------------------------------------------------------------------------