2022-03-09 11:26:48 /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 0 --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: accept_loop Destabilizing changed functions and primary old nodes ... Restarting to bot entry state of accept_loop on knot_comb.c:1078:1-1128:1 Restarting to bot entry state of accept_loop on knot_comb.c:1078:1-1128:1 Restarting to bot entry state of accept_loop on knot_comb.c:1078:1-1128:1 Removing data for changed and removed functions... Destabilizing sides of changed functions, primary old nodes and removed functions ... marked entry state of accept_loop on knot_comb.c:1078:1-1128:1 marked entry state of accept_loop on knot_comb.c:1078:1-1128:1 marked entry state of accept_loop on knot_comb.c:1078:1-1128:1 Data after clean-up: |rho|=3921 |stable|=3837 |infl|=3924 |wpoint|=0 |side_dep|=420 |side_infl|=628 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:2071:1-2071:32: {[main, thread_main_autospawn]} and (Unknown int([0,64]),[0,18446744073709551615]) Data after solve completed: |rho|=5250 |stable|=5213 |infl|=5250 |wpoint|=0 |side_dep|=0 |side_infl|=0 Postsolving [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] Write to unknown address: privatization is unsound. (knot_comb.c:633:13-633:36) [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][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___4, NoOffset)) (knot_comb.c:1235:3-1235:29) [Info][Unsound] ASM statement ignored. (knot_comb.c:1495:7-1495:51) [Info][Imprecise] Invalidating expressions: AddrOf(Var(nthreads, NoOffset)) (knot_comb.c:1207:5-1207:47) [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) [Info][Unsound] Write to unknown address: privatization is unsound. (knot_comb.c:1438:3-1438:23) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:1041:9-1041:28) [Info][Unsound] ASM statement ignored. (knot_comb.c:1379:3-1379:44) [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: 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:2152:3-2152:46) [Info][Imprecise] Invalidating expressions: Lval(Var(c, NoOffset)) (knot_comb.c:1070:3-1070:11) [Info][Imprecise] Invalidating expressions: AddrOf(Var(fd, NoOffset)) (knot_comb.c:869:5-869:41) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:1197:5-1197:43) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:826:5-826:9) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:1227:3-1227:44) [Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (knot_comb.c:630:13-632:13) [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][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:910:13-910:27) [Info][Imprecise] Invalidating expressions: Lval(Var(fd, NoOffset)) (knot_comb.c:920:5-920:14) [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] Unknown address given as function argument (knot_comb.c:2112:3-2112:38) [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][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:703:7-706:7) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:2064:3-2064:47) [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) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:2056:3-2056:50) [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][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][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:612:15-612:60) [Info][Unsound] ASM statement ignored. (knot_comb.c:1532:3-1532:57) [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][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] ASM statement ignored. (knot_comb.c:764:3-764:41) [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][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][Unsound] Unknown address given as function argument (knot_comb.c:2142:3-2142:49) [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) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:1504:3-1504:35) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (knot_comb.c:1189:5-1193:5) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(targs, NoOffset))) (knot_comb.c:1148:3-1148:22) [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:2214:17-2219:17) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2202:9-2223:9) [Info][Unsound] ASM statement ignored. (knot_comb.c:1531:3-1531:54) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (knot_comb.c:1069:3-1069:19) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (knot_comb.c:2060:3-2060:49) [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) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:1052:7-1054:7) [Info][Unsound] Unknown address given as function argument (knot_comb.c:2162:3-2162:50) [Info][Imprecise] Invalidating expressions: AddrOf(Var(s, NoOffset)) (knot_comb.c:1215:3-1215:22) [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) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:594:7-649:7) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:1523:5-1523:15) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:2228:5-2231:5) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (knot_comb.c:1221:3-1221:68) [Info][Unsound] Unknown address given as function argument (knot_comb.c:2172:3-2172:49) [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][CWE-191] Signed integer overflow and underflow (knot_comb.c:2243:9-2247: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][Unsound] Unknown address given as function argument (knot_comb.c:1458:3-1459:20) [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][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) [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] Signed integer overflow (knot_comb.c:716:11-716:28) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2191:7-2193:7) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:1353:3-1353:29) [Info][Unsound] Unknown value type given as function argument (knot_comb.c:1437:3-1437:71) [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][Unsound] Unknown address given as function argument (knot_comb.c:2122:3-2122:43) [Info][Unsound] ASM statement ignored. (knot_comb.c:1488:7-1488:53) [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][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) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:2235:7-2239:7) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2199:7-2224:7) [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) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2211:15-2220:15) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:2229:7-2229:32) [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) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:1489:7-1491:7) [Info][Unsound] ASM statement ignored. (knot_comb.c:1352:3-1352:42) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (knot_comb.c:1042:9-1043:44) [Info][Unsound] Write to unknown address: privatization is unsound. (knot_comb.c:1371:3-1372:53) [Info][Unsound] Unknown value type given as function argument (knot_comb.c:1417:3-1417:71) [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) [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][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) [Info][Unsound] Unknown address given as function argument (knot_comb.c:2186:7-2187:17) [Info][Unsound] Unknown address given as function argument (knot_comb.c:2132:3-2132:44) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (knot_comb.c:1045:11-1045:42) [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) [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) [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) [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___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][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:1040:9-1040:76) [Info][Unsound] Unknown address given as function argument (knot_comb.c:2217:19-2218:29) [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][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:1044:9-1046:9) [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) [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][Imprecise] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:900:9-900:65) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2196:5-2225:5) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:918:7-918:42) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:1205:3-1205:54) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:911:13-911:23) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (knot_comb.c:1037:5-1037:19) [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 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][Imprecise] Invalidating expressions: Const(Int(2,int,2)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3-1377:27) [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:2205:11-2222:11) [Info][Unsound] Write to unknown address: privatization is unsound. (knot_comb.c:1436:3-1436:30) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (knot_comb.c:1058:5-1058:19) [Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (knot_comb.c:1253:7-1255:7) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___7, NoOffset)) (knot_comb.c:1258:7-1259:83) [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][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-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:2071:1-2071:32: {[main, thread_main_autospawn]} and (Unknown int([0,64]),[0,18446744073709551615]) [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|=0 |side_dep|=175 |side_infl|=71 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:00.738 vars: 1329, evals: 4040 max updates: 5 for var node 376 "! (0 <= state->used)" on knot_comb.c:686:5-688:5 |rho|=4008 |called|=0 |stable|=3971 |infl|=4008 |wpoint|=0 |side_dep|=175 |side_infl|=71 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=1427.17MB, max=30.92MB, minor=1412.52MB, major=34.22MB, promoted=19.56MB minor collections=677 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) 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) 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) 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) 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) 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) 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) [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) 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) 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. 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) 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) 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) 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) 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) 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) 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) 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) [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 = 1329 evals = 4040 narrow_reuses = 50 aborts = 0 Timings: TOTAL 0.691 s parse 0.010 s convert to CIL 0.015 s compareCilFiles 0.012 s analysis 0.656 s global_inits 0.003 s solving 0.620 s S.Dom.equal 0.004 s postsolver 0.046 s warn_global 0.005 s access 0.005 s Timing used Memory statistics: total=1439.54MB, max=30.92MB, minor=1424.86MB, major=34.68MB, promoted=20.00MB minor collections=683 major collections=7 compactions=0 === APPENDED BY BENCHMARKING SCRIPT === Analysis began: 2022-03-09 11:26:48 +0200 Analysis ended: 2022-03-09 11:26:49 +0200 Duration: 0.78 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 0 --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_comb01.patch.Fuel0.txt 2>&1