Benchmarks on roentgenium

2022-03-09 11:26: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.save --set save_run original 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 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. Initializing 44 globals. Executing 53 assigns. Solving the constraint system with td3. Solver statistics are shown every 10s or by signal sigusr1. 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]) 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|=6432 |stable|=6395 |infl|=6432 |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] Signed integer overflow (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 original/solver.marshalled Data after postsolve: |rho|=4008 |stable|=3971 |infl|=4008 |wpoint|=11 |side_dep|=423 |side_infl|=699 Saving the current configuration to original/config.json, meta-data about this run to original/meta.json, and solver statistics to original/solver_stats.csv runtime: 00:00:02.307 vars: 6432, evals: 16094 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|=11 |side_dep|=423 |side_infl|=699 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=5535.19MB, max=34.56MB, minor=5529.64MB, major=55.08MB, promoted=49.53MB minor collections=2641 major collections=10 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 = 6432 evals = 16094 narrow_reuses = 202 aborts = 0 Timings: TOTAL 2.232 s parse 0.014 s convert to CIL 0.013 s analysis 2.206 s global_inits 0.002 s solving 2.169 s S.Dom.equal 0.013 s postsolver 0.409 s warn_global 0.003 s access 0.003 s Timing used Memory statistics: total=5544.42MB, max=34.56MB, minor=5538.82MB, major=55.75MB, promoted=50.15MB minor collections=2646 major collections=10 compactions=0 === APPENDED BY BENCHMARKING SCRIPT === Analysis began: 2022-03-09 11:26:28 +0200 Analysis ended: 2022-03-09 11:26:31 +0200 Duration: 2.36 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.save --set save_run original knot_comb.c --enable dbg.uncalled --enable allglobs --enable printstats 1>/home/simmo/dev/goblint/sv-comp/goblint-bench/bench_result/knot_comb.FromScratch.txt 2>&1