2022-03-09 11:27:28 /home/simmo/dev/goblint/sv-comp/analyzer/goblint --conf /home/simmo/dev/goblint/sv-comp/goblint-bench/index/conf/td3.json -v --set dbg.timeout 60 --enable incremental.restart.sided.enabled --set incremental.restart.sided.fuel 16 --enable incremental.load --set save_run increment knot_comb.c --enable dbg.uncalled --enable allglobs --enable printstats Custom include dirs: 1. /home/simmo/dev/goblint/sv-comp/goblint/includes (exists=true) Preprocessing files. Preprocessor cpp: is_bad=false 'cpp' '--undef' '__BLOCKS__' '-I' '/home/simmo/dev/goblint/sv-comp/goblint/includes' '/home/simmo/dev/goblint/sv-comp/goblint/includes/stdlib.c' '-o' '.goblint/preprocessed/stdlib.i' 'cpp' '--undef' '__BLOCKS__' '-I' '/home/simmo/dev/goblint/sv-comp/goblint/includes' '/home/simmo/dev/goblint/sv-comp/goblint/includes/pthread.c' '-o' '.goblint/preprocessed/pthread.i' 'cpp' '--undef' '__BLOCKS__' '-I' '/home/simmo/dev/goblint/sv-comp/goblint/includes' 'knot_comb.c' '-o' '.goblint/preprocessed/knot_comb.i' Parsing files. Frontc is parsing .goblint/preprocessed/stdlib.i Converting CABS->CIL Frontc is parsing .goblint/preprocessed/pthread.i Converting CABS->CIL Frontc is parsing .goblint/preprocessed/knot_comb.i Converting CABS->CIL Pre-merging (0) .goblint/preprocessed/stdlib.i Pre-merging (1) .goblint/preprocessed/pthread.i Pre-merging (2) .goblint/preprocessed/knot_comb.i :-1: Warning: Incompatible declaration for pthread_mutex_init (from .goblint/preprocessed/knot_comb.i(2)). Previous was at /usr/include/pthread.h:781 (from .goblint/preprocessed/pthread.i (1)) Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_5 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.) union __anonunion_pthread_mutex_t_335460617 { struct __pthread_mutex_s __data ; char __size[40] ; long __align ; }; union __anonunion_pthread_mutex_t_5 { struct __pthread_mutex_s __data ; char __size[24] ; long __align ; }; :-1: Warning: Incompatible declaration for pthread_mutex_destroy (from .goblint/preprocessed/knot_comb.i(2)). Previous was at /usr/include/pthread.h:786 (from .goblint/preprocessed/pthread.i (1)) Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_5 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.) union __anonunion_pthread_mutex_t_335460617 { struct __pthread_mutex_s __data ; char __size[40] ; long __align ; }; union __anonunion_pthread_mutex_t_5 { struct __pthread_mutex_s __data ; char __size[24] ; long __align ; }; :-1: Warning: Incompatible declaration for pthread_mutex_lock (from .goblint/preprocessed/knot_comb.i(2)). Previous was at /usr/include/pthread.h:794 (from .goblint/preprocessed/pthread.i (1)) Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_5 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.) union __anonunion_pthread_mutex_t_335460617 { struct __pthread_mutex_s __data ; char __size[40] ; long __align ; }; union __anonunion_pthread_mutex_t_5 { struct __pthread_mutex_s __data ; char __size[24] ; long __align ; }; :-1: Warning: Incompatible declaration for pthread_mutex_unlock (from .goblint/preprocessed/knot_comb.i(2)). Previous was at /usr/include/pthread.h:835 (from .goblint/preprocessed/pthread.i (1)) Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_5 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.) union __anonunion_pthread_mutex_t_335460617 { struct __pthread_mutex_s __data ; char __size[40] ; long __align ; }; union __anonunion_pthread_mutex_t_5 { struct __pthread_mutex_s __data ; char __size[24] ; long __align ; }; :-1: Warning: Incompatible declaration for pthread_create (from .goblint/preprocessed/knot_comb.i(2)). Previous was at /usr/include/pthread.h:202 (from .goblint/preprocessed/pthread.i (1)) Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic Failed assumption that union pthread_attr_t and union __anonunion_pthread_attr_t_4 are isomorphic (different array sizes) union pthread_attr_t { char __size[56] ; long __align ; }; union __anonunion_pthread_attr_t_4 { char __size[36] ; long __align ; }; :-1: Warning: Incompatible declaration for pthread_attr_init (from .goblint/preprocessed/knot_comb.i(2)). Previous was at /usr/include/pthread.h:285 (from .goblint/preprocessed/pthread.i (1)) Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic Failed assumption that union pthread_attr_t and union __anonunion_pthread_attr_t_4 are isomorphic (different array sizes) union pthread_attr_t { char __size[56] ; long __align ; }; union __anonunion_pthread_attr_t_4 { char __size[36] ; long __align ; }; :-1: Warning: Incompatible declaration for pthread_attr_setdetachstate (from .goblint/preprocessed/knot_comb.i(2)). Previous was at /usr/include/pthread.h:297 (from .goblint/preprocessed/pthread.i (1)) Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic Failed assumption that union pthread_attr_t and union __anonunion_pthread_attr_t_4 are isomorphic (different array sizes) union pthread_attr_t { char __size[56] ; long __align ; }; union __anonunion_pthread_attr_t_4 { char __size[36] ; long __align ; }; Final merging phase (0): .goblint/preprocessed/stdlib.i Final merging phase (1): .goblint/preprocessed/pthread.i Final merging phase (2): .goblint/preprocessed/knot_comb.i Constructors: read_config, init_cycle_clock, init_debug Adding constructors to: main Unmarshalling /home/simmo/dev/goblint/sv-comp/goblint-bench/pthread/incremental_data/results/ast.data... If type of content changed, this will result in a segmentation fault! Unmarshalling /home/simmo/dev/goblint/sv-comp/goblint-bench/pthread/incremental_data/results/version.data... If type of content changed, this will result in a segmentation fault! Unmarshalling /home/simmo/dev/goblint/sv-comp/goblint-bench/pthread/incremental_data/results/solver.data... If type of content changed, this will result in a segmentation fault! And now... the Goblin! Startfuns: [main] Exitfuns: [] Otherfuns: [] Using new format for phases! Activated analyses for phase 0: expRelation, base, threadid, threadflag, threadreturn, escape, mutex, access, mallocWrapper Activated transformations for phase 0: Generating the control flow graph. Unmarshalling /home/simmo/dev/goblint/sv-comp/goblint-bench/pthread/incremental_data/results/analysis.data... If type of content changed, this will result in a segmentation fault! Initializing 44 globals. Executing 53 assigns. Solving the constraint system with td3. Solver statistics are shown every 10s or by signal sigusr1. Loaded data for incremental analysis: |rho|=4008 |stable|=3971 |infl|=4008 |wpoint|=0 |side_dep|=423 |side_infl|=699 change_info = { unchanged = 639; changed = 1; added = 0; removed = 0 } Completely changed function: input_get_line Destabilizing changed functions and primary old nodes ... Restarting to bot entry state of input_get_line on knot_comb.c:673:1-733:1 Restarting to bot input_get_line Restarting to bot entry state of input_get_line on knot_comb.c:673:1-733:1 Restarting to bot varinfo:input_get_line Restarting to bot entry state of input_get_line on knot_comb.c:673:1-733:1 Restarting to bot varinfo:g_use_cache Restarting to bot either varinfo * std option * std or varinfo:((g_use_cache, ), (int )) Restarting to bot either varinfo * std option * std or varinfo:g_use_cache Restarting to bot entry state of process_client_nocache on knot_comb.c:874:1-924:1 Restarting to bot varinfo:g_use_timer Restarting to bot entry state of process_client_nocache on knot_comb.c:874:1-924:1 Restarting to bot entry state of process_client_nocache on knot_comb.c:874:1-924:1 Restarting to bot either varinfo * std option * std or varinfo:((g_use_timer, ), (int )) Restarting to bot entry state of process_client_nocache on knot_comb.c:874:1-924:1 Restarting to bot either varinfo * std option * std or varinfo:g_use_timer Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_use_timer Restarting to bot entry state of process_client_nocache on knot_comb.c:874:1-924:1 Restarting to bot entry state of process_client_nocache on knot_comb.c:874:1-924:1 Restarting to bot varinfo:g_bytes_sent Restarting to bot either varinfo * std option * std or varinfo:((g_bytes_sent, ), (long long )) Restarting to bot either varinfo * std option * std or varinfo:g_bytes_sent Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_bytes_sent Restarting to bot entry state of process_client_nocache on knot_comb.c:874:1-924:1 Restarting to bot entry state of get_request_fd on knot_comb.c:859:1-873:1 Restarting to bot entry state of get_request_filename on knot_comb.c:837:1-858:1 Restarting to bot entry state of allow_file on knot_comb.c:781:1-836:1 Restarting to bot allow_file Restarting to bot entry state of get_request_fd on knot_comb.c:859:1-873:1 Restarting to bot entry state of get_request_filename on knot_comb.c:837:1-858:1 Restarting to bot entry state of allow_file on knot_comb.c:781:1-836:1 Restarting to bot varinfo:allow_file Restarting to bot entry state of get_request_fd on knot_comb.c:859:1-873:1 Restarting to bot entry state of get_request_filename on knot_comb.c:837:1-858:1 Restarting to bot entry state of allow_file on knot_comb.c:781:1-836:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot varinfo:__progname Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:__tzname Restarting to bot varinfo:g_timer_interval Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:__daylight Restarting to bot entry state of thread_main_autospawn on knot_comb.c:1129:1-1137:1 Restarting to bot entry state of accept_loop on knot_comb.c:1078:1-1128:1 Restarting to bot varinfo:g_conn_active Restarting to bot either varinfo * std option * std or varinfo:((g_conn_active, ), (int )) Restarting to bot either varinfo * std option * std or varinfo:g_conn_active Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_conn_active Restarting to bot entry state of thread_process_client on knot_comb.c:1063:1-1073:1 Restarting to bot entry state of process_client on knot_comb.c:1007:1-1062:1 Restarting to bot entry state of http_init on knot_comb.c:551:1-561:1 Restarting to bot http_init Restarting to bot entry state of http_init on knot_comb.c:551:1-561:1 Restarting to bot varinfo:http_init Restarting to bot entry state of http_init on knot_comb.c:551:1-561:1 Restarting to bot entry state of http_init on knot_comb.c:551:1-561:1 Restarting to bot entry state of http_init on knot_comb.c:551:1-561:1 Restarting to bot entry state of http_init on knot_comb.c:551:1-561:1 Restarting to bot entry state of http_init on knot_comb.c:551:1-561:1 Restarting to bot entry state of http_init on knot_comb.c:551:1-561:1 Restarting to bot process_client Restarting to bot varinfo:process_client Restarting to bot entry state of process_client on knot_comb.c:1007:1-1062:1 Restarting to bot entry state of thread_process_client on knot_comb.c:1063:1-1073:1 Restarting to bot thread_process_client Restarting to bot entry state of process_client on knot_comb.c:1007:1-1062:1 Restarting to bot entry state of process_client on knot_comb.c:1007:1-1062:1 Restarting to bot accept_loop Restarting to bot entry state of thread_process_client on knot_comb.c:1063:1-1073:1 Restarting to bot varinfo:thread_process_client Restarting to bot varinfo:thread Restarting to bot either varinfo * std option * std or varinfo:((thread, ), (pthread_t )) Restarting to bot either varinfo * std option * std or varinfo:thread Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:thread Restarting to bot varinfo:attr_init_done Restarting to bot either varinfo * std option * std or varinfo:((attr_init_done, ), (int )) Restarting to bot either varinfo * std option * std or varinfo:attr_init_done Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:attr_init_done Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of get_request_fd on knot_comb.c:859:1-873:1 Restarting to bot entry state of get_request_filename on knot_comb.c:837:1-858:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot either varinfo * std option * std or varinfo:((__progname, ), (char const *)) Restarting to bot entry state of get_request_fd on knot_comb.c:859:1-873:1 Restarting to bot entry state of get_request_filename on knot_comb.c:837:1-858:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot either varinfo * std option * std or varinfo:__progname Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:__progname Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot assert_failed Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of cache_init on knot_comb.c:464:1-475:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot output_aux Restarting to bot entry state of output on knot_comb.c:1412:1-1421:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot output Restarting to bot entry state of output on knot_comb.c:1412:1-1421:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of bool_value on knot_comb.c:2042:1-2070:1 Restarting to bot bool_value Restarting to bot entry state of bool_value on knot_comb.c:2042:1-2070:1 Restarting to bot entry state of bool_value on knot_comb.c:2042:1-2070:1 Restarting to bot entry state of bool_value on knot_comb.c:2042:1-2070:1 Restarting to bot entry state of bool_value on knot_comb.c:2042:1-2070:1 Restarting to bot entry state of output on knot_comb.c:1412:1-1421:1 Restarting to bot entry state of bool_value on knot_comb.c:2042:1-2070:1 Restarting to bot entry state of bool_value on knot_comb.c:2042:1-2070:1 Restarting to bot entry state of bool_value on knot_comb.c:2042:1-2070:1 Restarting to bot entry state of output on knot_comb.c:1412:1-1421:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot fatal Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot varinfo:ticks_rdiff Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of get_request_fd on knot_comb.c:859:1-873:1 Restarting to bot entry state of get_request_filename on knot_comb.c:837:1-858:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot either varinfo * std option * std or varinfo:((ticks_rdiff, ), (cpu_tick_t )) Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot either varinfo * std option * std or varinfo:ticks_rdiff Restarting to bot entry state of get_request_fd on knot_comb.c:859:1-873:1 Restarting to bot entry state of get_request_filename on knot_comb.c:837:1-858:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot varinfo:output_aux Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:ticks_rdiff Restarting to bot varinfo:vrnow_prev Restarting to bot either varinfo * std option * std or varinfo:((vrnow_prev, ), (cpu_tick_t )) Restarting to bot either varinfo * std option * std or varinfo:vrnow_prev Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:vrnow_prev Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of http_parse on knot_comb.c:562:1-654:1 Restarting to bot entry state of input_get_line on knot_comb.c:673:1-733:1 Restarting to bot entry state of input_init on knot_comb.c:660:1-672:1 Restarting to bot input_init Restarting to bot entry state of input_init on knot_comb.c:660:1-672:1 Restarting to bot varinfo:input_init Restarting to bot entry state of input_get_line on knot_comb.c:673:1-733:1 Restarting to bot entry state of http_parse on knot_comb.c:562:1-654:1 Restarting to bot entry state of input_init on knot_comb.c:660:1-672:1 Restarting to bot http_parse Restarting to bot entry state of input_get_line on knot_comb.c:673:1-733:1 Restarting to bot entry state of http_parse on knot_comb.c:562:1-654:1 Restarting to bot varinfo:http_parse Restarting to bot entry state of http_parse on knot_comb.c:562:1-654:1 Restarting to bot entry state of input_init on knot_comb.c:660:1-672:1 Restarting to bot entry state of http_parse on knot_comb.c:562:1-654:1 Restarting to bot entry state of input_get_line on knot_comb.c:673:1-733:1 Restarting to bot entry state of input_init on knot_comb.c:660:1-672:1 Restarting to bot entry state of http_parse on knot_comb.c:562:1-654:1 Restarting to bot entry state of input_init on knot_comb.c:660:1-672:1 Restarting to bot entry state of http_parse on knot_comb.c:562:1-654:1 Restarting to bot entry state of input_get_line on knot_comb.c:673:1-733:1 Restarting to bot entry state of input_init on knot_comb.c:660:1-672:1 Restarting to bot entry state of http_parse on knot_comb.c:562:1-654:1 Restarting to bot entry state of input_init on knot_comb.c:660:1-672:1 Restarting to bot get_request_filename Restarting to bot varinfo:get_request_filename Restarting to bot entry state of get_request_filename on knot_comb.c:837:1-858:1 Restarting to bot get_request_fd Restarting to bot varinfo:get_request_fd Restarting to bot entry state of get_request_fd on knot_comb.c:859:1-873:1 Restarting to bot entry state of allow_file on knot_comb.c:781:1-836:1 Restarting to bot entry state of allow_file on knot_comb.c:781:1-836:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of output on knot_comb.c:1412:1-1421:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of output on knot_comb.c:1412:1-1421:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of output on knot_comb.c:1412:1-1421:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of output on knot_comb.c:1412:1-1421:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of output on knot_comb.c:1412:1-1421:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of output on knot_comb.c:1412:1-1421:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of output on knot_comb.c:1412:1-1421:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of output on knot_comb.c:1412:1-1421:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of assert_failed on knot_comb.c:1443:1-1462:1 Restarting to bot entry state of output_aux on knot_comb.c:1341:1-1383:1 Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of PL_NewHashTable on knot_comb.c:1615:1-1662:1 Restarting to bot entry state of DefaultFreeTable on knot_comb.c:1588:1-1595:1 Restarting to bot DefaultFreeTable Restarting to bot entry state of DefaultAllocTable on knot_comb.c:1580:1-1587:1 Restarting to bot DefaultAllocTable Restarting to bot entry state of DefaultAllocTable on knot_comb.c:1580:1-1587:1 Restarting to bot entry state of PR_CeilingLog2 on knot_comb.c:1550:1-1579:1 Restarting to bot PR_CeilingLog2 Restarting to bot PL_NewHashTable Restarting to bot cache_init Restarting to bot entry state of init_debug on knot_comb.c:1331:1-1340:1 Restarting to bot entry state of init_cycle_clock on knot_comb.c:1509:1-1535:1 Restarting to bot init_cycle_clock Restarting to bot entry state of init_cycle_clock on knot_comb.c:1509:1-1535:1 Restarting to bot entry state of timing_loop on knot_comb.c:1475:1-1506:1 Restarting to bot timing_loop Restarting to bot init_debug Restarting to bot entry state of read_config on knot_comb.c:2073:1-2255:1 Restarting to bot read_config Restarting to bot entry state of fatal on knot_comb.c:1432:1-1441:1 Restarting to bot entry state of allow_file on knot_comb.c:781:1-836:1 Restarting to bot entry state of allow_file on knot_comb.c:781:1-836:1 Restarting to bot varinfo:attr Restarting to bot either varinfo * std option * std or varinfo:((attr, .__align), (struct __anonunion_pthread_attr_t_4).__align) Restarting to bot either varinfo * std option * std or varinfo:((attr, .__size[?]), (struct __anonunion_pthread_attr_t_4).__size[?]) Restarting to bot either varinfo * std option * std or varinfo:attr Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:attr Restarting to bot varinfo:g_spawn_on_demand Restarting to bot either varinfo * std option * std or varinfo:((g_spawn_on_demand, ), (int )) Restarting to bot entry state of process_client on knot_comb.c:1007:1-1062:1 Restarting to bot either varinfo * std option * std or varinfo:g_spawn_on_demand Restarting to bot entry state of process_client on knot_comb.c:1007:1-1062:1 Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_spawn_on_demand Restarting to bot entry state of process_client on knot_comb.c:1007:1-1062:1 Restarting to bot varinfo:g_conn_open Restarting to bot either varinfo * std option * std or varinfo:((g_conn_open, ), (int )) Restarting to bot either varinfo * std option * std or varinfo:g_conn_open Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_conn_open Restarting to bot entry state of thread_main on knot_comb.c:1139:1-1152:1 Restarting to bot entry state of accept_loop on knot_comb.c:1078:1-1128:1 Restarting to bot varinfo:(alloc@sid:788) Restarting to bot entry state of accept_loop on knot_comb.c:1078:1-1128:1 Restarting to bot either varinfo * std option * std or varinfo:(((alloc@sid:788), .id), (struct thread_args).id) Restarting to bot either varinfo * std option * std or varinfo:(alloc@sid:788) Restarting to bot either varinfo * std option * std or varinfo:(((alloc@sid:788), .s), (struct thread_args).s) Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:(alloc@sid:788) Restarting to bot thread_main Restarting to bot entry state of thread_main on knot_comb.c:1139:1-1152:1 Restarting to bot varinfo:thread_main Restarting to bot varinfo:g_conn_fail Restarting to bot varinfo:g_conn_succeed Restarting to bot either varinfo * std option * std or varinfo:((g_conn_fail, ), (int )) Restarting to bot either varinfo * std option * std or varinfo:((g_conn_succeed, ), (int )) Restarting to bot either varinfo * std option * std or varinfo:g_conn_fail Restarting to bot either varinfo * std option * std or varinfo:g_conn_succeed Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_conn_fail Restarting to bot entry state of process_client on knot_comb.c:1007:1-1062:1 Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_conn_succeed Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:[main], {thread_process_client, thread_main} Restarting to bot entry state of thread_process_client on knot_comb.c:1063:1-1073:1 Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:[main, thread_main_autospawn], {thread_process_client} Restarting to bot entry state of thread_process_client on knot_comb.c:1063:1-1073:1 Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:[main, thread_main, thread_process_client] Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:[main, thread_main], {thread_process_client} Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:[main, thread_main_autospawn, thread_process_client] Restarting to bot thread_main_autospawn Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:__timezone Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:tzname Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:daylight Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:timezone Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:stderr Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_cache_mutex Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_cache_hits Restarting to bot varinfo:g_cache_hits Restarting to bot either varinfo * std option * std or varinfo:((g_cache_hits, ), (int )) Restarting to bot either varinfo * std option * std or varinfo:g_cache_hits Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_cache_misses Restarting to bot varinfo:g_cache_misses Restarting to bot either varinfo * std option * std or varinfo:((g_cache_misses, ), (int )) Restarting to bot either varinfo * std option * std or varinfo:g_cache_misses Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:ticks_per_microsecond Restarting to bot entry state of current_usecs on knot_comb.c:760:1-767:1 Restarting to bot varinfo:ticks_per_microsecond Restarting to bot either varinfo * std option * std or varinfo:((ticks_per_microsecond, ), (cpu_tick_t )) Restarting to bot either varinfo * std option * std or varinfo:ticks_per_microsecond Restarting to bot current_usecs Restarting to bot varinfo:current_usecs Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:real_start_ticks Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:virtual_start_ticks Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:ticks_diff Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_no_debug Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:ticks_per_second Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:ticks_per_millisecond Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:ticks_per_nanosecond Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_no_init_messages Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_dump_blocking_graph Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_dump_timing_info Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_show_thread_stacks Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_show_thread_details Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_no_stacktrace Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_no_statcollect Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_new_stack_size Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_new_stack_kb_log2 Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_hash Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_cache Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_cache_tail Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_cache_max Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_cache_cur Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_use_cache Restarting to bot entry state of process_client_nocache on knot_comb.c:874:1-924:1 Restarting to bot process_client_nocache Restarting to bot varinfo:process_client_nocache Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_force_thrashing Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_timer_interval Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:vnow_prev Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:init_done Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:defaultHashAllocOps Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:read_config_done Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:(alloc@sid:996) Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:__tzname Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:__daylight Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:__timezone Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:tzname Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:daylight Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:timezone Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:stderr Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_cache_mutex Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_cache_hits Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_cache_misses Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:ticks_per_microsecond Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_use_timer Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_spawn_on_demand Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_bytes_sent Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:real_start_ticks Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:virtual_start_ticks Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:ticks_diff Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:ticks_rdiff Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_no_debug Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:__progname Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:ticks_per_second Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:ticks_per_millisecond Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:ticks_per_nanosecond Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_no_init_messages Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_dump_blocking_graph Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_dump_timing_info Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_show_thread_stacks Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_show_thread_details Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_no_stacktrace Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_no_statcollect Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_new_stack_size Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:conf_new_stack_kb_log2 Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_hash Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_cache Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_cache_tail Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_cache_max Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_cache_cur Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_use_cache Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_force_thrashing Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_conn_open Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_conn_fail Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_conn_succeed Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_conn_active Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:g_timer_interval Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:attr_init_done Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:attr Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:thread Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:vnow_prev Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:vrnow_prev Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:init_done Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:defaultHashAllocOps Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:read_config_done Restarting to bot either either unprotected or protected or FlagConfiguredTID: prefix * set:(alloc@sid:996) Restarting to bot either varinfo * std option * std or varinfo:((g_timer_interval, ), (unsigned int )) Restarting to bot either varinfo * std option * std or varinfo:g_timer_interval Restarting to bot entry state of allow_file on knot_comb.c:781:1-836:1 Removing data for changed and removed functions... Destabilizing sides of changed functions, primary old nodes and removed functions ... Data after clean-up: |rho|=4008 |stable|=3 |infl|=4008 |wpoint|=0 |side_dep|=1 |side_infl|=1 Unstable solver start vars in 1. phase: call of main on knot_comb.c:1153:1-1300:1 warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:273:1-273:56: {[main, thread_main_autospawn]} and (Unknown int([0,64]),[0,18446744073709551615]) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:273:1-273:56: {[main, thread_main_autospawn]} and (Unknown int([0,64]),[0,18446744073709551615]) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:273:1-273:56: {[main, thread_main_autospawn]} and (Unknown int([0,64]),[0,18446744073709551615]) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:273:1-273:56: {[main, thread_main_autospawn]} and (Unknown int([0,64]),[0,18446744073709551615]) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:273:1-273:56: {[main, thread_main_autospawn]} and (Unknown int([0,64]),[0,18446744073709551615]) Data after solve completed: |rho|=4288 |stable|=3971 |infl|=4288 |wpoint|=11 |side_dep|=0 |side_infl|=0 Postsolving [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2191:7-2193:7) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:2101:3-2101:45) [Info][Unsound] Unknown address in {&tmp} has escaped. (knot_comb.c:2101:3-2101:45) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:2101:3-2101:45) [Info][Unsound] Unknown address given as function argument (knot_comb.c:2102:3-2102:42) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:2052:3-2052:32) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:2056:3-2056:50) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (knot_comb.c:2060:3-2060:49) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:2064:3-2064:47) [Info][Unsound] Unknown value type given as function argument (knot_comb.c:1417:3-1417:71) [Info][Unsound] ASM statement ignored. (knot_comb.c:1352:3-1352:42) [Info][Unsound] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3-1372:53) [Info][Imprecise] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3-1372:53) [Info][Imprecise] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3-1372:53) [Info][Unsound] Unknown address given as function argument (knot_comb.c:1458:3-1459:20) [Info][Unsound] Unknown value type given as function argument (knot_comb.c:1437:3-1437:71) [Info][Imprecise] Invalidating expressions: Const(Int(2,int,2)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3-1377:27) [Info][Unsound] ASM statement ignored. (knot_comb.c:1379:3-1379:44) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:1380:3-1380:31) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (knot_comb.c:2111:3-2111:41) [Info][Unsound] Unknown address in {&tmp___1} has escaped. (knot_comb.c:2111:3-2111:41) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:2111:3-2111:41) [Info][Unsound] Unknown address given as function argument (knot_comb.c:2112:3-2112:38) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:1353:3-1353:29) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (knot_comb.c:2121:3-2121:46) [Info][Unsound] Unknown address in {&tmp___3} has escaped. (knot_comb.c:2121:3-2121:46) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:2121:3-2121:46) [Info][Unsound] Unknown address given as function argument (knot_comb.c:2122:3-2122:43) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (knot_comb.c:2131:3-2131:47) [Info][Unsound] Unknown address in {&tmp___5} has escaped. (knot_comb.c:2131:3-2131:47) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:2131:3-2131:47) [Info][Unsound] Unknown address given as function argument (knot_comb.c:2132:3-2132:44) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___7, NoOffset)) (knot_comb.c:2141:3-2141:52) [Info][Unsound] Unknown address in {&tmp___7} has escaped. (knot_comb.c:2141:3-2141:52) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:2141:3-2141:52) [Info][Unsound] Unknown address given as function argument (knot_comb.c:2142:3-2142:49) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___9, NoOffset)) (knot_comb.c:2151:3-2151:49) [Info][Unsound] Unknown address in {&tmp___9} has escaped. (knot_comb.c:2151:3-2151:49) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:2151:3-2151:49) [Info][Unsound] Unknown address given as function argument (knot_comb.c:2152:3-2152:46) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___11, NoOffset)) (knot_comb.c:2161:3-2161:53) [Info][Unsound] Unknown address in {&tmp___11} has escaped. (knot_comb.c:2161:3-2161:53) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:2161:3-2161:53) [Info][Unsound] Unknown address given as function argument (knot_comb.c:2162:3-2162:50) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___13, NoOffset)) (knot_comb.c:2171:3-2171:52) [Info][Unsound] Unknown address in {&tmp___13} has escaped. (knot_comb.c:2171:3-2171:52) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:2171:3-2171:52) [Info][Unsound] Unknown address given as function argument (knot_comb.c:2172:3-2172:49) [Info][Imprecise] Invalidating expressions: AddrOf(Var(str, NoOffset)) (knot_comb.c:2181:3-2181:47) [Info][Unsound] Unknown address in {&str} has escaped. (knot_comb.c:2181:3-2181:47) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:2181:3-2181:47) [Info][Unsound] Unknown address in {&p} has escaped. (knot_comb.c:2184:5-2184:79) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:2184:5-2184:79) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TPtr(TInt(char, ), ), __restrict ), AddrOf(Var(p, NoOffset))) (knot_comb.c:2184:5-2184:79) [Info][Imprecise] Invalidating expressions: AddrOf(Var(val, NoOffset)) (knot_comb.c:2184:5-2184:79) [Info][Unsound] Unknown address given as function argument (knot_comb.c:2186:7-2187:17) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___15, NoOffset)) (knot_comb.c:2190:7-2190:33) [Info][Unsound] Unknown address in {&tmp___15} has escaped. (knot_comb.c:2190:7-2190:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:2190:7-2190:33) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2196:5-2225:5) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2199:7-2224:7) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2202:9-2223:9) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2205:11-2222:11) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2208:13-2221:13) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2211:15-2220:15) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2214:17-2219:17) [Info][Unsound] Unknown address given as function argument (knot_comb.c:2217:19-2218:29) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:2228:5-2231:5) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:2229:7-2229:32) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:2230:7-2230:32) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:2235:7-2239:7) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:2243:9-2247:9) [Error][Imprecise][Unsound] Function definition missing for gettimeofday (knot_comb.c:1484:5-1484:105) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TCompLoop(struct timeval, _, ), __restrict ), AddrOf(Var(start_tv, NoOffset))), CastE(TPtr(TCompLoop(struct timezone, _, ), __restrict ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (knot_comb.c:1484:5-1484:105) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:1489:7-1491:7) [Error][Imprecise][Unsound] Function definition missing for gettimeofday (knot_comb.c:1487:7-1487:107) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TCompLoop(struct timeval, _, ), __restrict ), AddrOf(Var(start_tv, NoOffset))), CastE(TPtr(TCompLoop(struct timezone, _, ), __restrict ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (knot_comb.c:1487:7-1487:107) [Info][Unsound] ASM statement ignored. (knot_comb.c:1488:7-1488:53) [Error][Imprecise][Unsound] Function definition missing for gettimeofday (knot_comb.c:1494:7-1494:105) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TCompLoop(struct timeval, _, ), __restrict ), AddrOf(Var(end_tv, NoOffset))), CastE(TPtr(TCompLoop(struct timezone, _, ), __restrict ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (knot_comb.c:1494:7-1494:105) [Info][Unsound] ASM statement ignored. (knot_comb.c:1495:7-1495:51) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:1504:3-1504:35) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:1523:5-1523:15) [Info][Unsound] ASM statement ignored. (knot_comb.c:1531:3-1531:54) [Info][Unsound] ASM statement ignored. (knot_comb.c:1532:3-1532:57) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (knot_comb.c:1189:5-1193:5) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (knot_comb.c:1190:7-1191:27) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:1190:7-1191:27) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (knot_comb.c:1190:7-1191:27) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:1197:5-1197:43) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(ht, NoOffset))), Const(Int(0,int,0)), CastE(TNamed(size_t___0, TInt(unsigned int, ), ), sizeofE(Lval(Mem(Lval(Var(ht, NoOffset)), NoOffset)))) (knot_comb.c:1644:3-1644:37) [Info][Unsound] Unknown address in (void *)ht->buckets has escaped. (knot_comb.c:1654:3-1654:52) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:1654:3-1654:52) [Info][Unsound] Unknown address in {&((alloc@sid:996), knot_comb.c:1585:3-1585:15)} has escaped. (knot_comb.c:1654:3-1654:52) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Mem(Lval(Var(ht, NoOffset)), Field(buckets:TPtr(TPtr(TNamed(PLHashEntry, TCompLoop(struct PLHashEntry, _, ), ), ), ), NoOffset)))), Const(Int(0,int,0)), CastE(TInt(unsigned int, ), Lval(Var(nb, NoOffset))) (knot_comb.c:1654:3-1654:52) [Info][Unsound] Unknown address in {&((alloc@sid:996), knot_comb.c:1585:3-1585:15)} has escaped. (knot_comb.c:1651:6-1651:52) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:1651:6-1651:52) [Info][Imprecise] Invalidating expressions: Lval(Var(item, NoOffset)) (knot_comb.c:1592:3-1592:13) [Info][Unsound] Unknown address in {&((alloc@sid:996), knot_comb.c:1585:3-1585:15)} has escaped. (knot_comb.c:1592:3-1592:13) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:1592:3-1592:13) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:1205:3-1205:54) [Info][Imprecise] Invalidating expressions: AddrOf(Var(nthreads, NoOffset)) (knot_comb.c:1207:5-1207:47) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (knot_comb.c:1209:7-1209:108) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:1209:7-1209:108) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (knot_comb.c:1209:7-1209:108) [Info][Imprecise] Invalidating expressions: AddrOf(Var(s, NoOffset)) (knot_comb.c:1215:3-1215:22) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (knot_comb.c:1221:3-1221:68) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:1227:3-1227:44) [Info][Imprecise] Invalidating expressions: AddrOf(Var(saddr, Field(sin_port:TNamed(in_port_t, TNamed(uint16_t, TInt(unsigned short, ), ), ), NoOffset))) (knot_comb.c:1228:3-1228:51) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (knot_comb.c:1230:3-1230:92) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (knot_comb.c:1235:3-1235:29) [Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (knot_comb.c:1253:7-1255:7) [Info][Unsound] Write to unknown address: privatization is unsound. (knot_comb.c:1436:3-1436:30) [Info][Unsound] Write to unknown address: privatization is unsound. (knot_comb.c:1371:3-1372:53) [Info][Imprecise] Invalidating expressions: Const(Int(2,int,2)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3-1377:27) [Info][Unsound] Write to unknown address: privatization is unsound. (knot_comb.c:1438:3-1438:23) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___7, NoOffset)) (knot_comb.c:1258:7-1259:83) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(targs, NoOffset))) (knot_comb.c:1148:3-1148:22) [Info][Imprecise] Invalidating expressions: Lval(Var(s, NoOffset)), CastE(TPtr(TCompLoop(struct sockaddr, _, ), __restrict ), CastE(TPtr(TCompLoop(struct sockaddr, _, ), ), AddrOf(Var(caddr, NoOffset)))), CastE(TPtr(TNamed(socklen_t, TNamed(__socklen_t, TInt(unsigned int, ), ), ), __restrict ), AddrOf(Var(len, NoOffset))) (knot_comb.c:1091:5-1092:49) [Info][Imprecise] Invalidating expressions: AddrOf(Var(c, NoOffset)) (knot_comb.c:1091:5-1092:49) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:1097:5-1097:19) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:1098:5-1098:21) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:1100:5-1100:72) [Info][Unsound] Unknown value in {&request} could be an escaped pointer address! (knot_comb.c:1022:3-1022:31) [Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (knot_comb.c:664:3-666:3) [Info][Imprecise] Invalidating expressions: AddrOf(Var(newline, NoOffset)) (knot_comb.c:697:5-697:50) [Info][Unsound] Unknown address in {&newline} has escaped. (knot_comb.c:697:5-697:50) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:697:5-697:50) [Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (knot_comb.c:720:11-721:63) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid( const ), ), AddrOf(Mem(Lval(Var(state, NoOffset)), Field(buf:TArray(TInt(char, ), Some(Const(Int(512,int,512))), ), Index(Lval(Mem(Lval(Var(state, NoOffset)), Field(used:TInt(int, ), NoOffset))), NoOffset))))), CastE(TInt(unsigned int, ), MinusA(Lval(Mem(Lval(Var(state, NoOffset)), Field(valid:TInt(int, ), NoOffset))), Lval(Mem(Lval(Var(state, NoOffset)), Field(used:TInt(int, ), NoOffset))))) (knot_comb.c:720:11-721:63) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(empty, NoOffset))) (knot_comb.c:710:9-710:86) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:710:9-710:86) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:699:7-699:25) [Info][Unsound] Write to unknown address: privatization is unsound. (knot_comb.c:699:7-699:25) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:702:7-702:47) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:702:7-702:47) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:703:7-706:7) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:716:11-716:28) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:594:7-649:7) [Info][Imprecise] Invalidating expressions: AddrOf(Var(url, NoOffset)) (knot_comb.c:602:11-602:48) [Info][Unsound] Unknown address in {&url} has escaped. (knot_comb.c:602:11-602:48) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:602:11-602:48) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:606:13-606:31) [Info][Unsound] Write to unknown address: privatization is unsound. (knot_comb.c:606:13-606:31) [Info][Imprecise] Invalidating expressions: AddrOf(Var(protocol, NoOffset)) (knot_comb.c:607:13-607:54) [Info][Unsound] Unknown address in {&protocol} has escaped. (knot_comb.c:607:13-607:54) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:607:13-607:54) [Info][Unsound] Write to unknown address: privatization is unsound. (knot_comb.c:607:13-607:54) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:611:15-611:33) [Info][Unsound] Write to unknown address: privatization is unsound. (knot_comb.c:611:15-611:33) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (knot_comb.c:612:15-612:60) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (knot_comb.c:614:17-614:69) [Info][Unsound] Write to unknown address: privatization is unsound. (knot_comb.c:614:17-614:69) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:619:19-619:71) [Info][Unsound] Write to unknown address: privatization is unsound. (knot_comb.c:619:19-619:71) [Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (knot_comb.c:630:13-632:13) [Info][Unsound] Write to unknown address: privatization is unsound. (knot_comb.c:633:13-633:36) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (knot_comb.c:634:13-634:48) [Info][Unsound] Write to unknown address: privatization is unsound. (knot_comb.c:634:13-634:48) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), StartOf(Mem(Lval(Var(request, NoOffset)), Field(url:TArray(TInt(char, ), Some(Const(Int(80,int,80))), ), NoOffset)))) (knot_comb.c:639:13-639:86) [Info][Unsound] Write to unknown address: privatization is unsound. (knot_comb.c:639:13-639:86) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:819:11-819:40) [Info][Unsound] Unknown address in {&tmp} has escaped. (knot_comb.c:819:11-819:40) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:819:11-819:40) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:826:5-826:9) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:829:5-829:47) [Info][Unsound] Unknown address in {&tmp___0} has escaped. (knot_comb.c:829:5-829:47) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (knot_comb.c:829:5-829:47) [Info][Imprecise] Invalidating expressions: AddrOf(Var(fd, NoOffset)) (knot_comb.c:869:5-869:41) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:910:13-910:27) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:911:13-911:23) [Info][Imprecise] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:900:9-900:65) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), StartOf(Var(buf, NoOffset))) (knot_comb.c:892:7-892:47) [Info][Imprecise] Invalidating expressions: AddrOf(Var(n, NoOffset)) (knot_comb.c:892:7-892:47) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:918:7-918:42) [Info][Imprecise] Invalidating expressions: Lval(Var(fd, NoOffset)) (knot_comb.c:920:5-920:14) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:1035:7-1035:21) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:1033:7-1033:24) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:1037:5-1037:19) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:1040:9-1040:76) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:1041:9-1041:28) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (knot_comb.c:1042:9-1043:44) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:1044:9-1046:9) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:1045:11-1045:42) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:1052:7-1054:7) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (knot_comb.c:1058:5-1058:19) [Info][Imprecise] Invalidating expressions: Lval(Var(c, NoOffset)) (knot_comb.c:1123:7-1123:15) [Info][Imprecise] Invalidating expressions: AddrOf(Var(attr, NoOffset)) (knot_comb.c:1107:9-1107:34) [Info][Imprecise] Invalidating expressions: AddrOf(Var(attr, NoOffset)), Const(Int(1,int,1)) (knot_comb.c:1108:9-1108:52) [Info][Imprecise] Invalidating expressions: AddrOf(Var(rv, NoOffset)) (knot_comb.c:1108:9-1108:52) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:1114:7-1115:89) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (knot_comb.c:1069:3-1069:19) [Info][Imprecise] Invalidating expressions: Lval(Var(c, NoOffset)) (knot_comb.c:1070:3-1070:11) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:1117:9-1117:23) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (knot_comb.c:1118:9-1118:25) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (knot_comb.c:1124:7-1124:23) [Info][Imprecise] Invalidating expressions: Lval(Var(c, NoOffset)) (knot_comb.c:1119:9-1119:17) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (knot_comb.c:1241:5-1242:87) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:273:1-273:56: {[main, thread_main_autospawn]} and (Unknown int([0,64]),[0,18446744073709551615]) [Info][Unsound] ASM statement ignored. (knot_comb.c:764:3-764:41) [Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (knot_comb.c:1269:5-1269:41) [Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (knot_comb.c:1273:7-1273:41) [Info][Unsound] Write to unknown address: privatization is unsound. (knot_comb.c:1287:7-1291:104) Saving the solver result to increment/solver.marshalled Data after postsolve: |rho|=4008 |stable|=3971 |infl|=4008 |wpoint|=11 |side_dep|=422 |side_infl|=698 Saving the current configuration to increment/config.json, meta-data about this run to increment/meta.json, and solver statistics to increment/solver_stats.csv runtime: 00:00:01.149 vars: 280, evals: 5017 max updates: 3 for var node 1529 "! (0 <= state->used)" on knot_comb.c:686:5-688:5 |rho|=4008 |called|=0 |stable|=3971 |infl|=4008 |wpoint|=11 |side_dep|=422 |side_infl|=698 Found 240 contexts for 29 functions. Top 5 functions: 37 contexts for entry state of output_aux on knot_comb.c:1341:1-1383:1 36 contexts for entry state of assert_failed on knot_comb.c:1443:1-1462:1 25 contexts for entry state of fatal on knot_comb.c:1432:1-1441:1 13 contexts for entry state of output on knot_comb.c:1412:1-1421:1 9 contexts for entry state of get_request_fd on knot_comb.c:859:1-873:1 Memory statistics: total=2521.28MB, max=40.89MB, minor=2506.58MB, major=40.38MB, promoted=25.68MB minor collections=1199 major collections=7 compactions=0 [Warning][Deadcode] Function "fstat" will never be called: 2LoC (knot_comb.c:245:1-252:1) [Warning][Deadcode] Function "cache_new" will never be called: 46LoC (knot_comb.c:278:1-351:1) [Warning][Deadcode] Function "cache_add" will never be called: 18LoC (knot_comb.c:352:1-381:1) [Warning][Deadcode] Function "cache_remove" will never be called: 22LoC (knot_comb.c:382:1-419:1) [Warning][Deadcode] Function "cache_evict" will never be called: 7LoC (knot_comb.c:420:1-434:1) [Warning][Deadcode] Function "cache_find" will never be called: 2LoC (knot_comb.c:435:1-442:1) [Warning][Deadcode] Function "cache_use" will never be called: 4LoC (knot_comb.c:443:1-453:1) [Warning][Deadcode] Function "cache_finish_get" will never be called: 4LoC (knot_comb.c:454:1-463:1) [Warning][Deadcode] Function "cache_get" will never be called: 16LoC (knot_comb.c:476:1-501:1) [Warning][Deadcode] Function "cache_entry_addref" will never be called: 5LoC (knot_comb.c:502:1-513:1) [Warning][Deadcode] Function "cache_entry_release" will never be called: 13LoC (knot_comb.c:514:1-534:1) [Warning][Deadcode] Function "get_request_entry" will never be called: 6LoC (knot_comb.c:925:1-939:1) [Warning][Deadcode] Function "process_client_cache" will never be called: 39LoC (knot_comb.c:940:1-1006:1) [Warning][Deadcode] Function "real_toutput" will never be called: 6LoC (knot_comb.c:1384:1-1397:1) [Warning][Deadcode] Function "real_debug" will never be called: 6LoC (knot_comb.c:1398:1-1411:1) [Warning][Deadcode] Function "warning" will never be called: 4LoC (knot_comb.c:1422:1-1431:1) [Warning][Deadcode] Function "DefaultAllocEntry" will never be called: 2LoC (knot_comb.c:1596:1-1603:1) [Warning][Deadcode] Function "DefaultFreeEntry" will never be called: 3LoC (knot_comb.c:1604:1-1613:1) [Warning][Deadcode] Function "PL_HashTableDestroy" will never be called: 14LoC (knot_comb.c:1663:1-1689:1) [Warning][Deadcode] Function "PL_HashTableRawLookup" will never be called: 18LoC (knot_comb.c:1690:1-1722:1) [Warning][Deadcode] Function "PL_HashTableRawLookupConst" will never be called: 13LoC (knot_comb.c:1723:1-1749:1) [Warning][Deadcode] Function "PL_HashTableRawAdd" will never be called: 35LoC (knot_comb.c:1750:1-1803:1) [Warning][Deadcode] Function "PL_HashTableAdd" will never be called: 13LoC (knot_comb.c:1804:1-1829:1) [Warning][Deadcode] Function "PL_HashTableRawRemove" will never be called: 31LoC (knot_comb.c:1830:1-1879:1) [Warning][Deadcode] Function "PL_HashTableRemove" will never be called: 7LoC (knot_comb.c:1880:1-1895:1) [Warning][Deadcode] Function "PL_HashTableLookup" will never be called: 6LoC (knot_comb.c:1896:1-1910:1) [Warning][Deadcode] Function "PL_HashTableLookupConst" will never be called: 6LoC (knot_comb.c:1911:1-1925:1) [Warning][Deadcode] Function "PL_HashTableEnumerateEntries" will never be called: 28LoC (knot_comb.c:1926:1-1976:1) [Warning][Deadcode] Function "PL_HashTableDump" will never be called: 2LoC (knot_comb.c:1977:1-1985:1) [Warning][Deadcode] Function "PL_HashString" will never be called: 6LoC (knot_comb.c:1986:1-1999:1) [Warning][Deadcode] Function "PL_CompareStrings" will never be called: 2LoC (knot_comb.c:2000:1-2007:1) [Warning][Deadcode] Function "PL_CompareValues" will never be called: 1LoC (knot_comb.c:2008:1-2014:1) [Warning][Race] Memory location g_conn_active@knot_comb.c:776:12-776:26 (race with conf. 110): read with [] (conf. 110) (knot_comb.c:1069:3-1069:19) read with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1069:3-1069:19) read with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1069:3-1069:19) read with [] (conf. 110) (knot_comb.c:1098:5-1098:21) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1098:5-1098:21) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1098:5-1098:21) read with [] (conf. 110) (knot_comb.c:1118:9-1118:25) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1118:9-1118:25) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1118:9-1118:25) read with [] (conf. 110) (knot_comb.c:1124:7-1124:23) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1124:7-1124:23) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1124:7-1124:23) read with thread:[main] (conf. 110) (knot_comb.c:1282:7-1282:34) write with [] (conf. 110) (knot_comb.c:1069:3-1069:19) write with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1069:3-1069:19) write with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1069:3-1069:19) write with [] (conf. 110) (knot_comb.c:1098:5-1098:21) write with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1098:5-1098:21) write with thread:[main, thread_main] (conf. 110) (knot_comb.c:1098:5-1098:21) write with [] (conf. 110) (knot_comb.c:1118:9-1118:25) write with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1118:9-1118:25) write with thread:[main, thread_main] (conf. 110) (knot_comb.c:1118:9-1118:25) write with [] (conf. 110) (knot_comb.c:1124:7-1124:23) write with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1124:7-1124:23) write with thread:[main, thread_main] (conf. 110) (knot_comb.c:1124:7-1124:23) [Warning][Race] Memory location g_conn_open@knot_comb.c:773:12-773:24 (race with conf. 110): read with [] (conf. 110) (knot_comb.c:1097:5-1097:19) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1097:5-1097:19) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1097:5-1097:19) read with thread:[main] (conf. 110) (knot_comb.c:1276:7-1276:30) write with [] (conf. 110) (knot_comb.c:1097:5-1097:19) write with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1097:5-1097:19) write with thread:[main, thread_main] (conf. 110) (knot_comb.c:1097:5-1097:19) write with thread:[main] (conf. 110) (knot_comb.c:1277:7-1277:22) [Success][Race] Memory location ticks_per_microsecond@knot_comb.c:1470:12-1470:34 (safe): read with thread:[main] (conf. 110) (knot_comb.c:765:3-765:39) [Warning][Race] Memory location attr.__align@knot_comb.c:1076:23-1076:28 (race with conf. 90): write with [] (conf. 90) (knot_comb.c:1107:9-1107:34) write with thread:[main, thread_main_autospawn] (conf. 90) (knot_comb.c:1107:9-1107:34) write with thread:[main, thread_main] (conf. 90) (knot_comb.c:1107:9-1107:34) write with [] (conf. 90) (knot_comb.c:1108:9-1108:52) write with thread:[main, thread_main_autospawn] (conf. 90) (knot_comb.c:1108:9-1108:52) write with thread:[main, thread_main] (conf. 90) (knot_comb.c:1108:9-1108:52) [Success][Race] Memory location g_spawn_on_demand@knot_comb.c:769:5-769:23 (safe): read with [] (conf. 110) (knot_comb.c:1105:5-1125:5) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1105:5-1125:5) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1105:5-1125:5) [Success][Race] Memory location g_cache_hits@knot_comb.c:777:5-777:18 (safe): read with thread:[main] (conf. 110) (knot_comb.c:1283:7-1283:32) write with thread:[main] (conf. 110) (knot_comb.c:1284:7-1284:23) [Warning][Race] Memory location thread@knot_comb.c:1077:18-1077:25 (race with conf. 110): write with [] (conf. 90) (knot_comb.c:1114:7-1115:89) write with thread:[main, thread_main_autospawn] (conf. 90) (knot_comb.c:1114:7-1115:89) write with thread:[main, thread_main] (conf. 90) (knot_comb.c:1114:7-1115:89) write with [] (conf. 110) (knot_comb.c:1114:7-1115:89) write with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1114:7-1115:89) write with thread:[main, thread_main] (conf. 110) (knot_comb.c:1114:7-1115:89) [Warning][Race] Memory location attr_init_done@knot_comb.c:1075:12-1075:27 (race with conf. 110): read with [] (conf. 110) (knot_comb.c:1106:7-1113:7) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1106:7-1113:7) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1106:7-1113:7) write with [] (conf. 110) (knot_comb.c:1112:9-1112:27) write with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1112:9-1112:27) write with thread:[main, thread_main] (conf. 110) (knot_comb.c:1112:9-1112:27) [Warning][Race] Memory location ticks_rdiff@knot_comb.c:1327:12-1327:24 (race with conf. 110): read with [] (conf. 110) (knot_comb.c:1353:3-1353:29) read with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1353:3-1353:29) read with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1353:3-1353:29) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1353:3-1353:29) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1353:3-1353:29) read with thread:[main] (conf. 110) (knot_comb.c:1353:3-1353:29) read with [] (conf. 110) (knot_comb.c:1380:3-1380:31) read with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1380:3-1380:31) read with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1380:3-1380:31) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1380:3-1380:31) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1380:3-1380:31) read with thread:[main] (conf. 110) (knot_comb.c:1380:3-1380:31) write with [] (conf. 110) (knot_comb.c:1380:3-1380:31) write with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1380:3-1380:31) write with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1380:3-1380:31) write with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1380:3-1380:31) write with thread:[main, thread_main] (conf. 110) (knot_comb.c:1380:3-1380:31) write with thread:[main] (conf. 110) (knot_comb.c:1380:3-1380:31) [Success][Race] Memory location g_timer_interval@knot_comb.c:780:21-780:38 (safe): read with thread:[main] (conf. 110) (knot_comb.c:1270:5-1270:28) read with thread:[main] (conf. 110) (knot_comb.c:1294:7-1294:30) [Warning][Race] Memory location g_conn_succeed@knot_comb.c:775:12-775:27 (race with conf. 110): read with [] (conf. 110) (knot_comb.c:1033:7-1033:24) read with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1033:7-1033:24) read with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1033:7-1033:24) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1033:7-1033:24) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1033:7-1033:24) read with thread:[main] (conf. 110) (knot_comb.c:1278:7-1278:36) write with [] (conf. 110) (knot_comb.c:1033:7-1033:24) write with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1033:7-1033:24) write with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1033:7-1033:24) write with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1033:7-1033:24) write with thread:[main, thread_main] (conf. 110) (knot_comb.c:1033:7-1033:24) write with thread:[main] (conf. 110) (knot_comb.c:1279:7-1279:25) [Success][Race] Memory location __progname@knot_comb.c:1442:19-1442:31 (safe): read with [] (conf. 110) (knot_comb.c:1448:3-1452:3) read with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1448:3-1452:3) read with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1448:3-1452:3) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1448:3-1452:3) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1448:3-1452:3) read with thread:[main] (conf. 110) (knot_comb.c:1448:3-1452:3) read with [] (conf. 110) (knot_comb.c:1453:3-1457:3) read with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1453:3-1457:3) read with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1453:3-1457:3) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1453:3-1457:3) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1453:3-1457:3) read with thread:[main] (conf. 110) (knot_comb.c:1453:3-1457:3) read with [] (conf. 110) (knot_comb.c:1454:5-1454:25) read with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1454:5-1454:25) read with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1454:5-1454:25) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1454:5-1454:25) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1454:5-1454:25) read with thread:[main] (conf. 110) (knot_comb.c:1454:5-1454:25) [Warning][Race] Memory location vrnow_prev@knot_comb.c:1329:19-1329:30 (race with conf. 110): write with [] (conf. 110) (knot_comb.c:1378:3-1378:21) write with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1378:3-1378:21) write with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1378:3-1378:21) write with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1378:3-1378:21) write with thread:[main, thread_main] (conf. 110) (knot_comb.c:1378:3-1378:21) write with thread:[main] (conf. 110) (knot_comb.c:1378:3-1378:21) [Warning][Race] Memory location (alloc@sid:788).s@knot_comb.c:1252:7-1252:37 (race with conf. 110): write with [] (conf. 90) (knot_comb.c:1148:3-1148:22) write with thread:[main, thread_main] (conf. 90) (knot_comb.c:1148:3-1148:22) read with [] (conf. 110) (knot_comb.c:1147:3-1147:15) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1147:3-1147:15) write with thread:[main] (conf. 110) (knot_comb.c:1257:7-1257:19) [Warning][Race] Memory location g_bytes_sent@knot_comb.c:779:11-779:24 (race with conf. 110): read with [] (conf. 110) (knot_comb.c:918:7-918:42) read with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:918:7-918:42) read with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:918:7-918:42) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:918:7-918:42) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:918:7-918:42) read with [] (conf. 110) (knot_comb.c:1045:11-1045:42) read with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1045:11-1045:42) read with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1045:11-1045:42) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1045:11-1045:42) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1045:11-1045:42) read with thread:[main] (conf. 110) (knot_comb.c:1274:7-1274:32) write with [] (conf. 110) (knot_comb.c:918:7-918:42) write with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:918:7-918:42) write with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:918:7-918:42) write with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:918:7-918:42) write with thread:[main, thread_main] (conf. 110) (knot_comb.c:918:7-918:42) write with [] (conf. 110) (knot_comb.c:1045:11-1045:42) write with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1045:11-1045:42) write with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1045:11-1045:42) write with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1045:11-1045:42) write with thread:[main, thread_main] (conf. 110) (knot_comb.c:1045:11-1045:42) write with thread:[main] (conf. 110) (knot_comb.c:1275:7-1275:25) [Warning][Race] Memory location (alloc@sid:788).id@knot_comb.c:1252:7-1252:37 (race with conf. 110): write with [] (conf. 90) (knot_comb.c:1148:3-1148:22) write with thread:[main, thread_main] (conf. 90) (knot_comb.c:1148:3-1148:22) read with [] (conf. 110) (knot_comb.c:1146:3-1146:17) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1146:3-1146:17) write with thread:[main] (conf. 110) (knot_comb.c:1256:7-1256:20) [Success][Race] Memory location g_use_timer@knot_comb.c:768:5-768:17 (safe): read with [] (conf. 110) (knot_comb.c:917:5-919:5) read with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:917:5-919:5) read with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:917:5-919:5) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:917:5-919:5) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:917:5-919:5) read with thread:[main] (conf. 110) (knot_comb.c:1267:3-1296:3) [Success][Race] Memory location g_use_cache@knot_comb.c:770:12-770:24 (safe): read with [] (conf. 110) (knot_comb.c:1024:5-1030:5) read with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1024:5-1030:5) read with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1024:5-1030:5) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1024:5-1030:5) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1024:5-1030:5) [Warning][Race] Memory location attr.__size[?]@knot_comb.c:1076:23-1076:28 (race with conf. 90): write with [] (conf. 90) (knot_comb.c:1107:9-1107:34) write with thread:[main, thread_main_autospawn] (conf. 90) (knot_comb.c:1107:9-1107:34) write with thread:[main, thread_main] (conf. 90) (knot_comb.c:1107:9-1107:34) write with [] (conf. 90) (knot_comb.c:1108:9-1108:52) write with thread:[main, thread_main_autospawn] (conf. 90) (knot_comb.c:1108:9-1108:52) write with thread:[main, thread_main] (conf. 90) (knot_comb.c:1108:9-1108:52) [Warning][Race] Memory location g_conn_fail@knot_comb.c:774:12-774:24 (race with conf. 110): read with [] (conf. 110) (knot_comb.c:1035:7-1035:21) read with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1035:7-1035:21) read with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1035:7-1035:21) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1035:7-1035:21) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1035:7-1035:21) read with [] (conf. 110) (knot_comb.c:1058:5-1058:19) read with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1058:5-1058:19) read with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1058:5-1058:19) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1058:5-1058:19) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1058:5-1058:19) read with [] (conf. 110) (knot_comb.c:1117:9-1117:23) read with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1117:9-1117:23) read with thread:[main, thread_main] (conf. 110) (knot_comb.c:1117:9-1117:23) read with thread:[main] (conf. 110) (knot_comb.c:1280:7-1280:30) write with [] (conf. 110) (knot_comb.c:1035:7-1035:21) write with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1035:7-1035:21) write with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1035:7-1035:21) write with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1035:7-1035:21) write with thread:[main, thread_main] (conf. 110) (knot_comb.c:1035:7-1035:21) write with [] (conf. 110) (knot_comb.c:1058:5-1058:19) write with thread:[main, thread_main_autospawn, thread_process_client] (conf. 110) (knot_comb.c:1058:5-1058:19) write with thread:[main, thread_main, thread_process_client] (conf. 110) (knot_comb.c:1058:5-1058:19) write with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1058:5-1058:19) write with thread:[main, thread_main] (conf. 110) (knot_comb.c:1058:5-1058:19) write with [] (conf. 110) (knot_comb.c:1117:9-1117:23) write with thread:[main, thread_main_autospawn] (conf. 110) (knot_comb.c:1117:9-1117:23) write with thread:[main, thread_main] (conf. 110) (knot_comb.c:1117:9-1117:23) write with thread:[main] (conf. 110) (knot_comb.c:1281:7-1281:22) [Success][Race] Memory location g_cache_misses@knot_comb.c:778:5-778:20 (safe): read with thread:[main] (conf. 110) (knot_comb.c:1285:7-1285:36) write with thread:[main] (conf. 110) (knot_comb.c:1286:7-1286:25) Summary for all memory locations: safe: 8 vulnerable: 2 unsafe: 11 ------------------- total: 21 vars = 280 evals = 5017 narrow_reuses = 89 aborts = 0 Timings: TOTAL 1.078 s parse 0.021 s convert to CIL 0.031 s compareCilFiles 0.013 s analysis 1.015 s global_inits 0.003 s solving 0.987 s S.Dom.equal 0.004 s postsolver 0.393 s warn_global 0.003 s access 0.003 s Timing used Memory statistics: total=2530.51MB, max=40.89MB, minor=2515.78MB, major=40.76MB, promoted=26.03MB minor collections=1203 major collections=7 compactions=0 === APPENDED BY BENCHMARKING SCRIPT === Analysis began: 2022-03-09 11:27:28 +0200 Analysis ended: 2022-03-09 11:27:29 +0200 Duration: 1.19 s Goblint params: /home/simmo/dev/goblint/sv-comp/analyzer/goblint --conf /home/simmo/dev/goblint/sv-comp/goblint-bench/index/conf/td3.json -v --set dbg.timeout 60 --enable incremental.restart.sided.enabled --set incremental.restart.sided.fuel 16 --enable incremental.load --set save_run increment knot_comb.c --enable dbg.uncalled --enable allglobs --enable printstats 1>/home/simmo/dev/goblint/sv-comp/goblint-bench/bench_result/knot_comb02.patch.Fuel16.txt 2>&1