diff --git a/abi_used_libs b/abi_used_libs --- a/abi_used_libs +++ b/abi_used_libs @@ -1,4 +1,3 @@ -UNKNOWN libc.so.6 libgcc_s.so.1 libm.so.6 diff --git a/abi_used_symbols b/abi_used_symbols --- a/abi_used_symbols +++ b/abi_used_symbols @@ -1,76 +1,3 @@ -UNKNOWN:Z3_dec_ref -UNKNOWN:Z3_del_config -UNKNOWN:Z3_del_context -UNKNOWN:Z3_get_error_code -UNKNOWN:Z3_get_error_msg -UNKNOWN:Z3_get_sort -UNKNOWN:Z3_get_sort_kind -UNKNOWN:Z3_inc_ref -UNKNOWN:Z3_is_re_sort -UNKNOWN:Z3_is_seq_sort -UNKNOWN:Z3_mk_add -UNKNOWN:Z3_mk_and -UNKNOWN:Z3_mk_bvadd -UNKNOWN:Z3_mk_bvmul -UNKNOWN:Z3_mk_bvsdiv -UNKNOWN:Z3_mk_bvsge -UNKNOWN:Z3_mk_bvsgt -UNKNOWN:Z3_mk_bvsle -UNKNOWN:Z3_mk_bvslt -UNKNOWN:Z3_mk_bvsmod -UNKNOWN:Z3_mk_bvsub -UNKNOWN:Z3_mk_concat -UNKNOWN:Z3_mk_config -UNKNOWN:Z3_mk_const -UNKNOWN:Z3_mk_context_rc -UNKNOWN:Z3_mk_distinct -UNKNOWN:Z3_mk_div -UNKNOWN:Z3_mk_eq -UNKNOWN:Z3_mk_false -UNKNOWN:Z3_mk_fpa_add -UNKNOWN:Z3_mk_fpa_div -UNKNOWN:Z3_mk_fpa_geq -UNKNOWN:Z3_mk_fpa_gt -UNKNOWN:Z3_mk_fpa_leq -UNKNOWN:Z3_mk_fpa_lt -UNKNOWN:Z3_mk_fpa_mul -UNKNOWN:Z3_mk_fpa_numeral_double -UNKNOWN:Z3_mk_fpa_rna -UNKNOWN:Z3_mk_fpa_rne -UNKNOWN:Z3_mk_fpa_rtn -UNKNOWN:Z3_mk_fpa_rtp -UNKNOWN:Z3_mk_fpa_rtz -UNKNOWN:Z3_mk_fpa_sort -UNKNOWN:Z3_mk_fpa_sub -UNKNOWN:Z3_mk_ge -UNKNOWN:Z3_mk_gt -UNKNOWN:Z3_mk_int -UNKNOWN:Z3_mk_int2real -UNKNOWN:Z3_mk_int64 -UNKNOWN:Z3_mk_int_sort -UNKNOWN:Z3_mk_ite -UNKNOWN:Z3_mk_le -UNKNOWN:Z3_mk_lt -UNKNOWN:Z3_mk_mod -UNKNOWN:Z3_mk_mul -UNKNOWN:Z3_mk_numeral -UNKNOWN:Z3_mk_or -UNKNOWN:Z3_mk_power -UNKNOWN:Z3_mk_re_concat -UNKNOWN:Z3_mk_re_union -UNKNOWN:Z3_mk_real_sort -UNKNOWN:Z3_mk_seq_concat -UNKNOWN:Z3_mk_solver -UNKNOWN:Z3_mk_string_symbol -UNKNOWN:Z3_mk_sub -UNKNOWN:Z3_mk_true -UNKNOWN:Z3_set_ast_print_mode -UNKNOWN:Z3_set_error_handler -UNKNOWN:Z3_solver_assert -UNKNOWN:Z3_solver_check -UNKNOWN:Z3_solver_dec_ref -UNKNOWN:Z3_solver_inc_ref -UNKNOWN:Z3_solver_to_string libc.so.6:__cxa_atexit libc.so.6:__errno_location libc.so.6:__fdelt_chk @@ -149,7 +76,6 @@ libc.so.6:strtod libc.so.6:strtoimax libc.so.6:strtol -libc.so.6:strtoul libc.so.6:strtoull libc.so.6:syscall libc.so.6:time @@ -275,6 +201,7 @@ libstdc++.so.6:_ZSt18_Rb_tree_decrementPSt18_Rb_tree_node_base libstdc++.so.6:_ZSt18_Rb_tree_incrementPKSt18_Rb_tree_node_base libstdc++.so.6:_ZSt18_Rb_tree_incrementPSt18_Rb_tree_node_base +libstdc++.so.6:_ZSt18uncaught_exceptionv libstdc++.so.6:_ZSt19__throw_logic_errorPKc libstdc++.so.6:_ZSt20__throw_length_errorPKc libstdc++.so.6:_ZSt20__throw_out_of_rangePKc @@ -330,3 +257,76 @@ libstdc++.so.6:__cxa_throw_bad_array_new_length libstdc++.so.6:__dynamic_cast libstdc++.so.6:__gxx_personality_v0 +libz3.so.4.8:Z3_dec_ref +libz3.so.4.8:Z3_del_config +libz3.so.4.8:Z3_del_context +libz3.so.4.8:Z3_get_error_code +libz3.so.4.8:Z3_get_error_msg +libz3.so.4.8:Z3_get_sort +libz3.so.4.8:Z3_get_sort_kind +libz3.so.4.8:Z3_inc_ref +libz3.so.4.8:Z3_is_re_sort +libz3.so.4.8:Z3_is_seq_sort +libz3.so.4.8:Z3_mk_add +libz3.so.4.8:Z3_mk_and +libz3.so.4.8:Z3_mk_bvadd +libz3.so.4.8:Z3_mk_bvmul +libz3.so.4.8:Z3_mk_bvsdiv +libz3.so.4.8:Z3_mk_bvsge +libz3.so.4.8:Z3_mk_bvsgt +libz3.so.4.8:Z3_mk_bvsle +libz3.so.4.8:Z3_mk_bvslt +libz3.so.4.8:Z3_mk_bvsmod +libz3.so.4.8:Z3_mk_bvsub +libz3.so.4.8:Z3_mk_concat +libz3.so.4.8:Z3_mk_config +libz3.so.4.8:Z3_mk_const +libz3.so.4.8:Z3_mk_context_rc +libz3.so.4.8:Z3_mk_distinct +libz3.so.4.8:Z3_mk_div +libz3.so.4.8:Z3_mk_eq +libz3.so.4.8:Z3_mk_false +libz3.so.4.8:Z3_mk_fpa_add +libz3.so.4.8:Z3_mk_fpa_div +libz3.so.4.8:Z3_mk_fpa_geq +libz3.so.4.8:Z3_mk_fpa_gt +libz3.so.4.8:Z3_mk_fpa_leq +libz3.so.4.8:Z3_mk_fpa_lt +libz3.so.4.8:Z3_mk_fpa_mul +libz3.so.4.8:Z3_mk_fpa_numeral_double +libz3.so.4.8:Z3_mk_fpa_rna +libz3.so.4.8:Z3_mk_fpa_rne +libz3.so.4.8:Z3_mk_fpa_rtn +libz3.so.4.8:Z3_mk_fpa_rtp +libz3.so.4.8:Z3_mk_fpa_rtz +libz3.so.4.8:Z3_mk_fpa_sort +libz3.so.4.8:Z3_mk_fpa_sub +libz3.so.4.8:Z3_mk_ge +libz3.so.4.8:Z3_mk_gt +libz3.so.4.8:Z3_mk_int +libz3.so.4.8:Z3_mk_int2real +libz3.so.4.8:Z3_mk_int64 +libz3.so.4.8:Z3_mk_int_sort +libz3.so.4.8:Z3_mk_ite +libz3.so.4.8:Z3_mk_le +libz3.so.4.8:Z3_mk_lt +libz3.so.4.8:Z3_mk_mod +libz3.so.4.8:Z3_mk_mul +libz3.so.4.8:Z3_mk_numeral +libz3.so.4.8:Z3_mk_or +libz3.so.4.8:Z3_mk_power +libz3.so.4.8:Z3_mk_re_concat +libz3.so.4.8:Z3_mk_re_union +libz3.so.4.8:Z3_mk_real_sort +libz3.so.4.8:Z3_mk_seq_concat +libz3.so.4.8:Z3_mk_solver +libz3.so.4.8:Z3_mk_string_symbol +libz3.so.4.8:Z3_mk_sub +libz3.so.4.8:Z3_mk_true +libz3.so.4.8:Z3_set_ast_print_mode +libz3.so.4.8:Z3_set_error_handler +libz3.so.4.8:Z3_solver_assert +libz3.so.4.8:Z3_solver_check +libz3.so.4.8:Z3_solver_dec_ref +libz3.so.4.8:Z3_solver_inc_ref +libz3.so.4.8:Z3_solver_to_string diff --git a/package.yml b/package.yml --- a/package.yml +++ b/package.yml @@ -1,8 +1,8 @@ name : cppcheck -version : '2.4' -release : 14 +version : '2.5' +release : 15 source : - - https://github.com/danmar/cppcheck/archive/2.4.1.tar.gz : 11a9d9fe5305a105561655c45d2cd83cb30fbc87b41d0569de1b00a1a314867f + - https://github.com/danmar/cppcheck/archive/2.5.tar.gz : dc27154d799935c96903dcc46653c526c6f4148a6912b77d3a50cb35dabd82e1 license : GPL-3.0-or-later component : programming.tools summary : Static source code analysis tool for C and C++ code diff --git a/pspec_x86_64.xml b/pspec_x86_64.xml --- a/pspec_x86_64.xml +++ b/pspec_x86_64.xml @@ -2,8 +2,8 @@ cppcheck - Joshua Strobl - joshua@getsol.us + Silke Hofstra + silke@slxh.eu GPL-3.0-or-later programming.tools @@ -39,6 +39,7 @@ /usr/share/Cppcheck/cfg/cppcheck-lib.cfg /usr/share/Cppcheck/cfg/cppunit.cfg /usr/share/Cppcheck/cfg/daca.cfg + /usr/share/Cppcheck/cfg/dpdk.cfg /usr/share/Cppcheck/cfg/embedded_sql.cfg /usr/share/Cppcheck/cfg/emscripten.cfg /usr/share/Cppcheck/cfg/ginac.cfg @@ -72,6 +73,7 @@ /usr/share/Cppcheck/cfg/sqlite3.cfg /usr/share/Cppcheck/cfg/std.cfg /usr/share/Cppcheck/cfg/tinyxml2.cfg + /usr/share/Cppcheck/cfg/vcl.cfg /usr/share/Cppcheck/cfg/windows.cfg /usr/share/Cppcheck/cfg/wxsqlite3.cfg /usr/share/Cppcheck/cfg/wxsvg.cfg @@ -95,12 +97,12 @@ - - 2021-06-22 - 2.4 + + 2021-07-10 + 2.5 Packaging update - Joshua Strobl - joshua@getsol.us + Silke Hofstra + silke@slxh.eu \ No newline at end of file