2022-03-09 11:26:01 /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 2 --enable incremental.load --set save_run increment aget_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' 'aget_comb.c' '-o' '.goblint/preprocessed/aget_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/aget_comb.i Converting CABS->CIL Pre-merging (0) .goblint/preprocessed/stdlib.i Pre-merging (1) .goblint/preprocessed/pthread.i Pre-merging (2) .goblint/preprocessed/aget_comb.i :-1: Warning: Incompatible declaration for pthread_create (from .goblint/preprocessed/aget_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_9 are isomorphic (different array sizes) union pthread_attr_t { char __size[56] ; long __align ; }; union __anonunion_pthread_attr_t_9 { char __size[36] ; long __align ; }; :-1: Warning: Incompatible declaration for pthread_mutex_lock (from .goblint/preprocessed/aget_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_18 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_18 { struct __pthread_mutex_s __data ; char __size[24] ; long __align ; }; :-1: Warning: Incompatible declaration for pthread_mutex_unlock (from .goblint/preprocessed/aget_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_18 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_18 { struct __pthread_mutex_s __data ; char __size[24] ; long __align ; }; Final merging phase (0): .goblint/preprocessed/stdlib.i Final merging phase (1): .goblint/preprocessed/pthread.i Final merging phase (2): .goblint/preprocessed/aget_comb.i Constructors: 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 12 globals. Executing 18 assigns. Solving the constraint system with td3. Solver statistics are shown every 10s or by signal sigusr1. Loaded data for incremental analysis: |rho|=1606 |stable|=1605 |infl|=1606 |wpoint|=0 |side_dep|=327 |side_infl|=499 change_info = { unchanged = 541; changed = 0; added = 0; removed = 0 } Removing data for changed and removed functions... Destabilizing sides of changed functions, primary old nodes and removed functions ... Data after clean-up: |rho|=1606 |stable|=1605 |infl|=1606 |wpoint|=0 |side_dep|=327 |side_infl|=499 Data after solve completed: |rho|=1606 |stable|=1605 |infl|=1606 |wpoint|=0 |side_dep|=0 |side_infl|=0 Postsolving [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:364:5-370:5) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), Lval(Var(sbuf, NoOffset))) (aget_comb.c:964:3-965:62) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:593:3-631:3) [Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (aget_comb.c:1168:5-1168:34) [Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (aget_comb.c:1168:5-1168:34) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(logfile, NoOffset))) (aget_comb.c:1277:3-1277:24) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:764:3-764:89) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:764:3-764:89) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:764:3-764:89) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (aget_comb.c:750:3-750:41) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (aget_comb.c:779:3-779:34) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(__sigset_t, TCompLoop(struct __anonstruct___sigset_t_764561023, _, ), ), __restrict ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (aget_comb.c:1016:3-1016:108) [Info][Imprecise] Invalidating expressions: AddrOf(Var(fp, NoOffset)) (aget_comb.c:1207:3-1207:79) [Info][Unsound] Unknown address in {&fp} has escaped. (aget_comb.c:1207:3-1207:79) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1207:3-1207:79) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (aget_comb.c:871:5-871:57) [Info][Unsound] Unknown address in {&tmp___0} has escaped. (aget_comb.c:871:5-871:57) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:871:5-871:57) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (aget_comb.c:206:5-206:33) [Info][Unsound] Unknown address in {&tmp___0} has escaped. (aget_comb.c:206:5-206:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:206:5-206:33) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:244:5-246:34) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), __restrict ), AddrOf(Var(h, Field(req:TCompLoop(struct request, _, ), NoOffset)))) (aget_comb.c:1215:3-1215:96) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:1215:3-1215:96) [Info][Imprecise] Invalidating expressions: AddrOf(Var(t_start, NoOffset)) (aget_comb.c:399:3-399:18) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (aget_comb.c:1260:7-1260:35) [Info][Unsound] Unknown address in {&tmp___2} has escaped. (aget_comb.c:1260:7-1260:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1260:7-1260:35) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:1023:5-1024:22) [Info][Unsound] Unknown address in (FILE * __restrict )fp has escaped. (aget_comb.c:1266:3-1266:86) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1266:3-1266:86) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), __restrict ), Lval(Var(h, NoOffset))), CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(fp, NoOffset))) (aget_comb.c:1266:3-1266:86) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1266:3-1266:86) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tid, NoOffset)) (aget_comb.c:1089:3-1089:23) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(rbuf, NoOffset))) (aget_comb.c:1160:5-1160:42) [Info][Imprecise] Invalidating expressions: AddrOf(Var(dr, NoOffset)) (aget_comb.c:1160:5-1160:42) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tid, NoOffset)) (aget_comb.c:1089:3-1089:23) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:780:3-780:19) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (aget_comb.c:375:7-375:35) [Info][Unsound] Unknown address in {&tmp___3} has escaped. (aget_comb.c:375:7-375:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:375:7-375:35) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___8, NoOffset)) (aget_comb.c:1111:3-1111:61) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1111:3-1111:61) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1145:5-1145:9) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:518:5-520:5) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:412:6-412:54) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (aget_comb.c:937:5-937:34) [Error][Imprecise][Unsound] Function definition missing for hstrerror (aget_comb.c:937:5-937:34) [Info][Imprecise] Invalidating expressions: Lval(Mem(Lval(Var(tmp___2, NoOffset)), NoOffset)) (aget_comb.c:937:5-937:34) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (aget_comb.c:937:5-937:34) [Info][Unsound] Unknown address in {&tmp___3} has escaped. (aget_comb.c:937:5-937:34) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:937:5-937:34) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:937:5-937:34) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (aget_comb.c:490:7-490:35) [Info][Unsound] Unknown address in {&tmp___3} has escaped. (aget_comb.c:490:7-490:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:490:7-490:35) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:613:15-613:120) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:613:15-613:120) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:613:15-613:120) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (aget_comb.c:810:3-810:34) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), Lval(Var(logfile, NoOffset))) (aget_comb.c:1204:5-1205:31) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]].lfile[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:1204:5-1205:31) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), Lval(Var(logfile, NoOffset))) (aget_comb.c:1201:5-1202:30) [Info][Unsound] Unknown address given as function argument (aget_comb.c:978:5-978:62) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:791:5-791:9) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(rbuf, NoOffset))) (aget_comb.c:1118:3-1118:40) [Info][Imprecise] Invalidating expressions: AddrOf(Var(dr, NoOffset)) (aget_comb.c:1118:3-1118:40) [Info][Imprecise] Invalidating expressions: AddrOf(Mem(PlusPI(Lval(Var(wthread, NoOffset)), Lval(Var(i, NoOffset))), Field(fd:TInt(int, ), NoOffset))) (aget_comb.c:501:6-501:32) [Info][Unsound] Unknown address in & (wthread + i)->fd has escaped. (aget_comb.c:501:6-501:32) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:501:6-501:32) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:501:6-501:32) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1173:5-1173:36) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:816:3-816:75) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:816:3-816:75) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:816:3-816:75) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:816:3-816:75) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:604:9-604:13) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:598:5-627:5) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:407:5-411:5) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:407:5-411:5) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (aget_comb.c:407:5-411:5) [Error][Imprecise][Unsound] Function definition missing for pthread_cancel (aget_comb.c:1037:5-1037:39) [Info][Imprecise] Invalidating expressions: Lval(Mem(PlusPI(Lval(Var(wthread, NoOffset)), Lval(Var(i, NoOffset))), Field(tid:TNamed(pthread_t, TInt(unsigned long, ), ), NoOffset))) (aget_comb.c:1037:5-1037:39) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1037:5-1037:39) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (aget_comb.c:1255:5-1264:5) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:1255:5-1264:5) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1255:5-1264:5) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:1128:5-1128:118) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1128:5-1128:118) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:1128:5-1128:118) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:480:5-486:5) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (aget_comb.c:1166:5-1166:28) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1166:5-1166:28) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:651:5-651:26) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:519:7-519:13) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:373:5-379:5) [Info][Imprecise] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (aget_comb.c:203:3-204:73) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (aget_comb.c:1172:3-1174:3) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1172:3-1174:3) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:523:3-527:3) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:759:3-759:88) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:759:3-759:88) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:759:3-759:88) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:1149:3-1153:3) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (aget_comb.c:1149:3-1153:3) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1149:3-1153:3) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:381:3-381:56) [Error][Imprecise][Unsound] Function definition missing for lseek (aget_comb.c:381:3-381:56) [Info][Imprecise] Invalidating expressions: Lval(Var(fd, NoOffset)), CastE(TInt(long, ), MinusA(Lval(Mem(Lval(Var(req___0, NoOffset)), Field(clength:TInt(int, ), NoOffset))), Const(Int(1,int,1)))), Const(Int(0,int,0)) (aget_comb.c:381:3-381:56) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___7, NoOffset)) (aget_comb.c:381:3-381:56) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:595:7-595:112) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:595:7-595:112) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:595:7-595:112) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(rbuf, NoOffset))) (aget_comb.c:1000:3-1000:21) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___9, NoOffset)) (aget_comb.c:956:3-956:71) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1148:3-1148:27) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (aget_comb.c:477:3-477:47) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]].lfile[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:477:3-477:47) [Error][Imprecise][Unsound] Function definition missing for pwrite (aget_comb.c:1164:7-1164:48) [Info][Imprecise] Invalidating expressions: Lval(Mem(Lval(Var(td, NoOffset)), Field(fd:TInt(int, ), NoOffset))), Lval(Var(rbuf, NoOffset)), Lval(Var(dr, NoOffset)), Lval(Mem(Lval(Var(td, NoOffset)), Field(offset:TInt(long, ), NoOffset))) (aget_comb.c:1164:7-1164:48) [Info][Imprecise] Invalidating expressions: AddrOf(Var(dw, NoOffset)) (aget_comb.c:1164:7-1164:48) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1164:7-1164:48) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (aget_comb.c:1162:7-1162:66) [Error][Imprecise][Unsound] Function definition missing for pwrite (aget_comb.c:1162:7-1162:66) [Info][Imprecise] Invalidating expressions: Lval(Mem(Lval(Var(td, NoOffset)), Field(fd:TInt(int, ), NoOffset))), Lval(Var(rbuf, NoOffset)), MinusA(Lval(Var(foffset, NoOffset)), Lval(Mem(Lval(Var(td, NoOffset)), Field(offset:TInt(long, ), NoOffset)))), Lval(Mem(Lval(Var(td, NoOffset)), Field(offset:TInt(long, ), NoOffset))) (aget_comb.c:1162:7-1162:66) [Info][Imprecise] Invalidating expressions: AddrOf(Var(dw, NoOffset)) (aget_comb.c:1162:7-1162:66) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1162:7-1162:66) [Info][Imprecise] Invalidating expressions: AddrOf(Var(nthreads, NoOffset)) (aget_comb.c:233:5-233:42) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:233:5-233:42) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (aget_comb.c:821:7-821:35) [Info][Unsound] Unknown address in {&tmp___1} has escaped. (aget_comb.c:821:7-821:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:821:7-821:35) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:639:5-639:25) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:390:3-396:3) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(__sigset_t, TCompLoop(struct __anonstruct___sigset_t_764561023, _, ), ), __restrict ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (aget_comb.c:1090:3-1090:108) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (aget_comb.c:482:7-482:35) [Info][Unsound] Unknown address in {&tmp___2} has escaped. (aget_comb.c:482:7-482:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:482:7-482:35) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (aget_comb.c:1103:3-1103:88) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1103:3-1103:88) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___6, NoOffset)) (aget_comb.c:952:5-952:33) [Info][Unsound] Unknown address in {&tmp___6} has escaped. (aget_comb.c:952:5-952:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:952:5-952:33) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:817:3-817:23) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:429:5-431:5) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:512:5-512:59) [Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (aget_comb.c:1156:3-1156:32) [Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (aget_comb.c:1156:3-1156:32) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (aget_comb.c:365:7-365:35) [Info][Unsound] Unknown address in {&tmp___0} has escaped. (aget_comb.c:365:7-365:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:365:7-365:35) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (aget_comb.c:1199:3-1199:53) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]].lfile[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:1199:3-1199:53) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:601:9-601:13) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (aget_comb.c:1272:5-1272:33) [Info][Unsound] Unknown address in {&tmp___4} has escaped. (aget_comb.c:1272:5-1272:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1272:5-1272:33) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:406:6-406:37) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (aget_comb.c:383:5-383:33) [Info][Unsound] Unknown address in {&tmp___5} has escaped. (aget_comb.c:383:5-383:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:383:5-383:33) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:757:3-757:95) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:757:3-757:95) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:757:3-757:95) [Error][Imprecise][Unsound] Function definition missing for strtok (aget_comb.c:986:7-986:86) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))), CastE(TPtr(TInt(char, const ), __restrict ), Const(CStr("\r\n",_))) (aget_comb.c:986:7-986:86) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tok, NoOffset)) (aget_comb.c:986:7-986:86) [Info][Unsound] Unknown address in {&tok} has escaped. (aget_comb.c:986:7-986:86) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:986:7-986:86) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (aget_comb.c:1243:3-1243:53) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]].lfile[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:1243:3-1243:53) [Info][Unsound] Unknown address given as function argument (aget_comb.c:1107:5-1107:69) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (aget_comb.c:1273:5-1273:33) [Info][Unsound] Unknown address in {&tmp___5} has escaped. (aget_comb.c:1273:5-1273:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1273:5-1273:33) [Info][Imprecise] Invalidating expressions: AddrOf(Var(t_finish, NoOffset)) (aget_comb.c:528:3-528:19) [Info][Imprecise] Invalidating expressions: AddrOf(Var(sin, Field(sin_addr:TCompLoop(struct in_addr, _, ), Field(s_addr:TNamed(in_addr_t, TNamed(uint32_t, TInt(unsigned int, ), ), ), NoOffset)))) (aget_comb.c:947:3-947:63) [Info][Unsound] Unknown address given as function argument (aget_comb.c:421:5-422:66) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:421:5-422:66) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___10, NoOffset)) (aget_comb.c:969:5-969:34) [Info][Unsound] Unknown address in {&tmp___10} has escaped. (aget_comb.c:969:5-969:34) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:969:5-969:34) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___19, NoOffset)) (aget_comb.c:983:3-983:55) [Info][Unsound] Unknown address in {&tmp___19} has escaped. (aget_comb.c:983:3-983:55) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:983:3-983:55) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:983:3-983:55) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___7, NoOffset)) (aget_comb.c:1110:3-1110:47) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1110:3-1110:47) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (aget_comb.c:819:5-819:40) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:628:5-628:26) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(rbuf, NoOffset))) (aget_comb.c:974:3-974:45) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___16, NoOffset)) (aget_comb.c:974:3-974:45) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (aget_comb.c:1113:5-1113:33) [Info][Unsound] Unknown address in {&tmp___5} has escaped. (aget_comb.c:1113:5-1113:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1113:5-1113:33) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:382:3-388:3) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:225:5-226:19) [Info][Unsound] Unknown address given as function argument (aget_comb.c:1115:5-1115:63) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1139:13-1139:17) [Info][Imprecise] Invalidating expressions: AddrOf(Mem(PlusPI(Lval(Var(wthread, NoOffset)), Lval(Var(i, NoOffset))), Field(sin:TCompLoop(struct sockaddr_in, _, ), Field(sin_port:TNamed(in_port_t, TNamed(uint16_t, TInt(unsigned short, ), ), ), NoOffset)))) (aget_comb.c:414:6-414:72) [Info][Unsound] Unknown address in & (wthread + i)->sin.sin_port has escaped. (aget_comb.c:414:6-414:72) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:414:6-414:72) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:414:6-414:72) [Info][Imprecise] Invalidating expressions: AddrOf(Mem(PlusPI(Lval(Var(wthread, NoOffset)), Lval(Var(i, NoOffset))), Field(sin:TCompLoop(struct sockaddr_in, _, ), Field(sin_addr:TCompLoop(struct in_addr, _, ), Field(s_addr:TNamed(in_addr_t, TNamed(uint32_t, TInt(unsigned int, ), ), ), NoOffset))))) (aget_comb.c:413:6-413:80) [Info][Unsound] Unknown address in & (wthread + i)->sin.sin_addr.s_addr has escaped. (aget_comb.c:413:6-413:80) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:413:6-413:80) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:413:6-413:80) [Info][Imprecise] Invalidating expressions: AddrOf(Var(fd, NoOffset)) (aget_comb.c:363:5-363:55) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]].lfile[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:363:5-363:55) [Info][Imprecise] Invalidating expressions: AddrOf(Var(fd, NoOffset)) (aget_comb.c:488:5-488:49) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:766:3-766:99) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:766:3-766:99) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:766:3-766:99) [Info][Unsound] Unknown address given as function argument (aget_comb.c:938:5-938:85) [Info][Imprecise] Invalidating expressions: AddrOf(Var(sin, Field(sin_port:TNamed(in_port_t, TNamed(uint16_t, TInt(unsigned short, ), ), ), NoOffset))) (aget_comb.c:948:3-948:55) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1119:3-1124:3) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:428:5-428:59) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (aget_comb.c:936:5-936:35) [Info][Unsound] Unknown address in {&tmp___2} has escaped. (aget_comb.c:936:5-936:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:936:5-936:35) [Info][Unsound] Unknown address given as function argument (aget_comb.c:1100:5-1100:74) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1093:3-1093:24) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (aget_comb.c:1210:5-1210:33) [Info][Unsound] Unknown address in {&tmp___2} has escaped. (aget_comb.c:1210:5-1210:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1210:5-1210:33) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:1020:5-1021:21) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:760:3-760:92) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:760:3-760:92) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:760:3-760:92) [Info][Imprecise] Invalidating expressions: AddrOf(Var(sd, NoOffset)) (aget_comb.c:949:3-949:23) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:583:7-583:117) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:583:7-583:117) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:583:7-583:117) [Info][Imprecise] Invalidating expressions: Lval(Var(fd, NoOffset)) (aget_comb.c:447:3-447:12) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), __restrict ), AddrOf(Var(h, Field(wthread:TArray(TCompLoop(struct thread_data, _, ), Some(Const(Int(25,int,25))), ), NoOffset)))) (aget_comb.c:1216:3-1217:64) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), __restrict ), Lval(Var(wthread, NoOffset))) (aget_comb.c:473:3-474:64) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (aget_comb.c:207:5-207:33) [Info][Unsound] Unknown address in {&tmp___1} has escaped. (aget_comb.c:207:5-207:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:207:5-207:33) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (aget_comb.c:1161:5-1165:5) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1161:5-1165:5) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:483:7-484:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:483:7-484:35) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:483:7-484:35) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]].lfile[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:483:7-484:35) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:483:7-484:35) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (aget_comb.c:822:7-822:35) [Info][Unsound] Unknown address in {&tmp___2} has escaped. (aget_comb.c:822:7-822:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:822:7-822:35) [Info][Imprecise] Invalidating expressions: AddrOf(Var(signal_set, NoOffset)) (aget_comb.c:199:3-199:28) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (aget_comb.c:810:3-810:34) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:826:3-826:70) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:826:3-826:70) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:826:3-826:70) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (aget_comb.c:366:7-366:35) [Info][Unsound] Unknown address in {&tmp___1} has escaped. (aget_comb.c:366:7-366:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:366:7-366:35) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (aget_comb.c:951:5-951:33) [Info][Unsound] Unknown address in {&tmp___5} has escaped. (aget_comb.c:951:5-951:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:951:5-951:33) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:385:5-386:21) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:385:5-386:21) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:385:5-386:21) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:385:5-386:21) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___6, NoOffset)) (aget_comb.c:1270:3-1270:42) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (aget_comb.c:1099:5-1099:33) [Info][Unsound] Unknown address in {&tmp___1} has escaped. (aget_comb.c:1099:5-1099:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1099:5-1099:33) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (aget_comb.c:529:3-529:40) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:765:3-765:70) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:765:3-765:70) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:765:3-765:70) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:611:11-620:11) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:1274:5-1275:30) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1274:5-1275:30) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:1274:5-1275:30) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1274:5-1275:30) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (aget_comb.c:1106:5-1106:33) [Info][Unsound] Unknown address in {&tmp___3} has escaped. (aget_comb.c:1106:5-1106:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1106:5-1106:33) [Info][Unsound] Unknown address in (char **)argv has escaped. (aget_comb.c:214:7-214:58) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:214:7-214:58) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TPtr(TInt(char, ), ), ), Lval(Var(argv, NoOffset))) (aget_comb.c:214:7-214:58) [Info][Imprecise] Invalidating expressions: AddrOf(Var(c, NoOffset)) (aget_comb.c:214:7-214:58) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:214:7-214:58) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:376:7-377:39) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:376:7-377:39) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:376:7-377:39) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]].lfile[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:376:7-377:39) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:376:7-377:39) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:648:7-648:119) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:648:7-648:119) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:648:7-648:119) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:1261:7-1262:32) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1261:7-1262:32) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:1261:7-1262:32) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1261:7-1262:32) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), Lval(Var(fmt, NoOffset))) (aget_comb.c:417:5-418:74) [Info][Unsound] Unknown address given as function argument (aget_comb.c:953:5-953:72) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:492:7-493:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:492:7-493:35) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:492:7-493:35) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]].lfile[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:492:7-493:35) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:492:7-493:35) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (aget_comb.c:866:3-866:55) [Info][Unsound] Unknown address in {&tmp___1} has escaped. (aget_comb.c:866:3-866:55) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:866:3-866:55) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (aget_comb.c:1105:5-1105:33) [Info][Unsound] Unknown address in {&tmp___2} has escaped. (aget_comb.c:1105:5-1105:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1105:5-1105:33) [Info][Imprecise] Invalidating expressions: Lval(Var(sd, NoOffset)) (aget_comb.c:1175:3-1175:12) [Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (aget_comb.c:357:3-357:70) [Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (aget_comb.c:357:3-357:70) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (aget_comb.c:941:3-941:67) [Error][Imprecise][Unsound] Function definition missing for inet_ntoa (aget_comb.c:941:3-941:67) [Info][Imprecise] Invalidating expressions: Lval(Mem(CastE(TPtr(TCompLoop(struct in_addr, _, ), ), Lval(Mem(PlusPI(Lval(Mem(Lval(Var(he, NoOffset)), Field(h_addr_list:TPtr(TPtr(TInt(char, ), ), ), NoOffset))), Const(Int(0,int,0))), NoOffset))), NoOffset)) (aget_comb.c:941:3-941:67) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (aget_comb.c:941:3-941:67) [Info][Unsound] Unknown address in {&tmp___4} has escaped. (aget_comb.c:941:3-941:67) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:941:3-941:67) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:941:3-941:67) [Info][Imprecise] Invalidating expressions: AddrOf(Var(t_start, NoOffset)) (aget_comb.c:497:3-497:18) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___13, NoOffset)) (aget_comb.c:967:3-967:55) [Info][Imprecise] Invalidating expressions: AddrOf(Mem(PlusPI(Lval(Var(wthread, NoOffset)), Lval(Var(i, NoOffset))), Field(fd:TInt(int, ), NoOffset))) (aget_comb.c:415:6-415:32) [Info][Unsound] Unknown address in & (wthread + i)->fd has escaped. (aget_comb.c:415:6-415:32) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:415:6-415:32) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:415:6-415:32) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1112:3-1117:3) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___11, NoOffset)) (aget_comb.c:970:5-970:35) [Info][Unsound] Unknown address in {&tmp___11} has escaped. (aget_comb.c:970:5-970:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:970:5-970:35) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___10, NoOffset)) (aget_comb.c:389:3-389:46) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:815:3-815:30) [Info][Unsound] Unknown address in (char * __restrict )((wthread + i)->getstr) has escaped. (aget_comb.c:504:5-505:18) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:504:5-505:18) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), StartOf(Mem(PlusPI(Lval(Var(wthread, NoOffset)), Lval(Var(i, NoOffset))), Field(getstr:TArray(TInt(char, ), Some(Const(Int(256,int,256))), ), NoOffset)))) (aget_comb.c:504:5-505:18) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:504:5-505:18) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1271:3-1276:3) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (aget_comb.c:876:7-876:55) [Info][Unsound] Unknown address in {&tmp} has escaped. (aget_comb.c:876:7-876:55) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:876:7-876:55) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(rbuf, NoOffset))), Const(Int(8192,int,8192)), Const(Int(0,unsigned int,0U)) (aget_comb.c:1159:5-1159:35) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:232:5-233:42) [Error][Imprecise][Unsound] Function definition missing for pthread_setcanceltype (aget_comb.c:1091:3-1091:47) [Info][Imprecise] Invalidating expressions: Const(Int(1,int,1)), CastE(TPtr(TInt(int, ), ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (aget_comb.c:1091:3-1091:47) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (aget_comb.c:1154:3-1154:39) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1154:3-1154:39) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:950:3-955:3) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___17, NoOffset)) (aget_comb.c:992:9-992:46) [Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (aget_comb.c:820:5-824:5) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:820:5-824:5) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:578:5-578:126) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:578:5-578:126) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:578:5-578:126) [Error][Imprecise][Unsound] Function definition missing for alarm (aget_comb.c:1051:3-1051:12) [Info][Imprecise] Invalidating expressions: Const(Int(1,unsigned int,1U)) (aget_comb.c:1051:3-1051:12) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(p, NoOffset))) (aget_comb.c:796:3-796:18) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (aget_comb.c:929:3-929:45) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:434:3-438:3) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___10, NoOffset)) (aget_comb.c:1121:5-1121:34) [Info][Unsound] Unknown address in {&tmp___10} has escaped. (aget_comb.c:1121:5-1121:34) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1121:5-1121:34) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (aget_comb.c:440:3-440:40) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), Lval(Var(logfile, NoOffset))) (aget_comb.c:1248:5-1249:31) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]].lfile[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:1248:5-1249:31) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), Lval(Var(logfile, NoOffset))) (aget_comb.c:1245:5-1246:30) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1222:3-1222:97) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___6, NoOffset)) (aget_comb.c:1114:5-1114:33) [Info][Unsound] Unknown address in {&tmp___6} has escaped. (aget_comb.c:1114:5-1114:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1114:5-1114:33) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:228:5-230:18) [Info][Unsound] Unknown value type given as function argument (aget_comb.c:1050:3-1050:60) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:848:5-848:11) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:416:6-416:53) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:367:7-368:39) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:367:7-368:39) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:367:7-368:39) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]].lfile[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:367:7-368:39) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:367:7-368:39) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___14, NoOffset)) (aget_comb.c:976:5-976:34) [Info][Unsound] Unknown address in {&tmp___14} has escaped. (aget_comb.c:976:5-976:34) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:976:5-976:34) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (aget_comb.c:374:7-374:35) [Info][Unsound] Unknown address in {&tmp___2} has escaped. (aget_comb.c:374:7-374:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:374:7-374:35) [Info][Imprecise] Invalidating expressions: AddrOf(Var(signal_set, NoOffset)), Const(Int(14,int,14)) (aget_comb.c:201:3-201:30) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1104:3-1109:3) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(logfile, NoOffset))) (aget_comb.c:1224:3-1224:24) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (aget_comb.c:1259:7-1259:35) [Info][Unsound] Unknown address in {&tmp___1} has escaped. (aget_comb.c:1259:7-1259:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1259:7-1259:35) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:393:5-394:21) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:393:5-394:21) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:393:5-394:21) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:393:5-394:21) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1146:5-1146:9) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(fmt, NoOffset))) (aget_comb.c:425:3-425:20) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]].lfile[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:229:5-230:18) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), StartOf(Mem(Lval(Var(req, NoOffset)), Field(lfile:TArray(TInt(char, ), Some(Const(Int(512,int,512))), ), NoOffset)))) (aget_comb.c:229:5-230:18) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:229:5-230:18) [Info][Imprecise] Invalidating expressions: AddrOf(Mem(Lval(Var(req, NoOffset)), Field(port:TInt(int, ), NoOffset))) (aget_comb.c:223:5-223:43) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:223:5-223:43) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:606:7-606:11) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___7, NoOffset)) (aget_comb.c:958:5-958:33) [Info][Unsound] Unknown address in {&tmp___7} has escaped. (aget_comb.c:958:5-958:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:958:5-958:33) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:1152:5-1152:48) [Error][Imprecise][Unsound] Function definition missing for pwrite (aget_comb.c:1152:5-1152:48) [Info][Imprecise] Invalidating expressions: Lval(Mem(Lval(Var(td, NoOffset)), Field(fd:TInt(int, ), NoOffset))), Lval(Var(s, NoOffset)), MinusA(Lval(Var(dr, NoOffset)), Lval(Var(i, NoOffset))), Lval(Mem(Lval(Var(td, NoOffset)), Field(soffset:TInt(long, ), NoOffset))) (aget_comb.c:1152:5-1152:48) [Info][Imprecise] Invalidating expressions: AddrOf(Var(dw, NoOffset)) (aget_comb.c:1152:5-1152:48) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1152:5-1152:48) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:1150:5-1150:60) [Error][Imprecise][Unsound] Function definition missing for pwrite (aget_comb.c:1150:5-1150:60) [Info][Imprecise] Invalidating expressions: Lval(Mem(Lval(Var(td, NoOffset)), Field(fd:TInt(int, ), NoOffset))), Lval(Var(s, NoOffset)), MinusA(Lval(Var(foffset, NoOffset)), CastE(TInt(long, ), Lval(Var(i, NoOffset)))), Lval(Mem(Lval(Var(td, NoOffset)), Field(soffset:TInt(long, ), NoOffset))) (aget_comb.c:1150:5-1150:60) [Info][Imprecise] Invalidating expressions: AddrOf(Var(dw, NoOffset)) (aget_comb.c:1150:5-1150:60) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1150:5-1150:60) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:818:3-825:3) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(int, ), __restrict ), AddrOf(Var(signal___0, NoOffset))) (aget_comb.c:1018:5-1018:93) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:599:7-605:7) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1219:3-1219:30) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (aget_comb.c:278:7-281:7) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (aget_comb.c:1254:5-1254:33) [Info][Unsound] Unknown address in {&tmp___3} has escaped. (aget_comb.c:1254:5-1254:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1254:5-1254:33) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:472:3-472:97) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), __restrict ), Lval(Var(req, NoOffset))) (aget_comb.c:472:3-472:97) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:841:5-843:5) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:646:3-654:3) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (aget_comb.c:1098:5-1098:33) [Info][Unsound] Unknown address in {&tmp___0} has escaped. (aget_comb.c:1098:5-1098:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1098:5-1098:33) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:625:7-625:11) [Info][Imprecise] Invalidating expressions: AddrOf(Var(fp, NoOffset)) (aget_comb.c:1252:3-1252:79) [Info][Unsound] Unknown address in {&fp} has escaped. (aget_comb.c:1252:3-1252:79) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1252:3-1252:79) [Error][Imprecise][Unsound] Function definition missing for pthread_cancel (aget_comb.c:524:5-524:28) [Info][Imprecise] Invalidating expressions: Lval(Var(hthread, NoOffset)) (aget_comb.c:524:5-524:28) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:1211:5-1212:30) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1211:5-1212:30) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:1211:5-1212:30) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1211:5-1212:30) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), AddrOf(Var(sin, NoOffset))) (aget_comb.c:945:3-945:38) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___11, NoOffset)) (aget_comb.c:1126:3-1126:56) [Info][Unsound] Unknown address in {&tmp___11} has escaped. (aget_comb.c:1126:3-1126:56) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1126:3-1126:56) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (aget_comb.c:1209:5-1209:33) [Info][Unsound] Unknown address in {&tmp___1} has escaped. (aget_comb.c:1209:5-1209:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1209:5-1209:33) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (aget_comb.c:576:3-576:53) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:576:3-576:53) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___18, NoOffset)) (aget_comb.c:990:7-990:61) [Info][Unsound] Unknown address in {&tmp___18} has escaped. (aget_comb.c:990:7-990:61) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:990:7-990:61) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:990:7-990:61) [Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (aget_comb.c:794:3-794:46) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(str, NoOffset))), Const(Int(0,int,0)), CastE(TInt(unsigned int, ), Lval(Var(size, NoOffset))) (aget_comb.c:794:3-794:46) [Error][Imprecise][Unsound] Function definition missing for pthread_cancel (aget_comb.c:435:5-435:28) [Info][Imprecise] Invalidating expressions: Lval(Var(hthread, NoOffset)) (aget_comb.c:435:5-435:28) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:208:5-209:21) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:208:5-209:21) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:208:5-209:21) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:208:5-209:21) [Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (aget_comb.c:1038:6-1038:79) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1038:6-1038:79) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:636:7-636:120) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:636:7-636:120) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:636:7-636:120) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:410:8-410:39) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:408:8-408:55) [Info][Imprecise] Invalidating expressions: AddrOf(Var(sd, NoOffset)) (aget_comb.c:1096:3-1096:23) [Info][Unsound] Unknown address in stdout has escaped. (aget_comb.c:814:3-814:17) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:814:3-814:17) [Info][Imprecise] Invalidating expressions: Lval(Var(stdout, NoOffset)) (aget_comb.c:814:3-814:17) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:814:3-814:17) [Info][Imprecise] Invalidating expressions: AddrOf(Var(fullurl, NoOffset)) (aget_comb.c:272:9-272:57) [Info][Unsound] Unknown address in {&fullurl} has escaped. (aget_comb.c:272:9-272:57) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:272:9-272:57) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:272:9-272:57) [Info][Imprecise] Invalidating expressions: AddrOf(Var(fullurl, NoOffset)) (aget_comb.c:268:5-268:48) [Info][Unsound] Unknown address in {&fullurl} has escaped. (aget_comb.c:268:5-268:48) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:268:5-268:48) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:268:5-268:48) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___8, NoOffset)) (aget_comb.c:391:5-391:33) [Info][Unsound] Unknown address in {&tmp___8} has escaped. (aget_comb.c:391:5-391:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:391:5-391:33) [Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (aget_comb.c:470:3-470:74) [Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (aget_comb.c:470:3-470:74) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:222:5-223:43) [Info][Unsound] Unknown address given as function argument (aget_comb.c:960:5-960:67) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:975:3-980:3) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (aget_comb.c:581:5-581:52) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:581:5-581:52) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1158:3-1171:3) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:763:3-763:88) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:763:3-763:88) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:763:3-763:88) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:517:5-517:59) [Info][Unsound] Unknown address given as function argument (aget_comb.c:284:3-284:26) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:284:3-284:26) [Info][Imprecise] Invalidating expressions: Lval(Var(fd, NoOffset)) (aget_comb.c:536:3-536:12) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(lfmt, NoOffset))) (aget_comb.c:827:3-827:21) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:823:7-823:84) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:823:7-823:84) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:823:7-823:84) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:823:7-823:84) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), StartOf(Mem(Lval(Var(req___0, NoOffset)), Field(ip:TArray(TInt(char, ), Some(Const(Int(16,int,16))), ), NoOffset)))) (aget_comb.c:942:3-943:15) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:942:3-943:15) [Info][Imprecise] Invalidating expressions: AddrOf(Var(he, NoOffset)) (aget_comb.c:934:3-934:52) [Info][Unsound] Unknown address in {&he} has escaped. (aget_comb.c:934:3-934:52) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:934:3-934:52) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(sbuf, NoOffset))) (aget_comb.c:999:3-999:21) [Info][Imprecise] Invalidating expressions: AddrOf(Var(signal_set, NoOffset)), Const(Int(2,int,2)) (aget_comb.c:200:3-200:29) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:758:3-758:80) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:758:3-758:80) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:758:3-758:80) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___12, NoOffset)) (aget_comb.c:966:3-966:40) [Info][Unsound] Unknown address given as function argument (aget_comb.c:1122:5-1122:64) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___8, NoOffset)) (aget_comb.c:959:5-959:33) [Info][Unsound] Unknown address in {&tmp___8} has escaped. (aget_comb.c:959:5-959:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:959:5-959:33) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (aget_comb.c:533:3-534:56) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (aget_comb.c:491:7-491:35) [Info][Unsound] Unknown address in {&tmp___4} has escaped. (aget_comb.c:491:7-491:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:491:7-491:35) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:430:7-430:13) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:968:3-973:3) [Info][Imprecise] Invalidating expressions: AddrOf(Var(clength, NoOffset)) (aget_comb.c:994:9-994:40) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:994:9-994:40) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:850:3-850:15) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:239:5-240:68) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:610:9-622:9) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:957:3-962:3) [Info][Unsound] Unknown address given as function argument (aget_comb.c:506:5-507:66) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:506:5-507:66) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), Lval(Var(str, NoOffset))) (aget_comb.c:795:3-795:85) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (aget_comb.c:361:3-361:51) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]].lfile[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:361:3-361:51) [Info][Imprecise] Invalidating expressions: AddrOf(Var(fd, NoOffset)) (aget_comb.c:479:5-479:50) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]].lfile[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:479:5-479:50) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:619:13-619:44) [Error][Imprecise][Unsound] Function definition missing for strtok (aget_comb.c:982:3-982:75) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), Lval(Var(rbuf, NoOffset))), CastE(TPtr(TInt(char, const ), __restrict ), Const(CStr("\r\n",_))) (aget_comb.c:982:3-982:75) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tok, NoOffset)) (aget_comb.c:982:3-982:75) [Info][Unsound] Unknown address in {&tok} has escaped. (aget_comb.c:982:3-982:75) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:982:3-982:75) [Info][Unsound] Unknown value type given as function argument (aget_comb.c:1170:5-1170:61) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1170:5-1170:61) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:262:7-262:131) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:262:7-262:131) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:262:7-262:131) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___6, NoOffset)) (aget_comb.c:384:5-384:33) [Info][Unsound] Unknown address in {&tmp___6} has escaped. (aget_comb.c:384:5-384:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:384:5-384:33) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:489:5-495:5) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:634:3-642:3) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1138:13-1138:17) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:761:3-761:104) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:761:3-761:104) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:761:3-761:104) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), Lval(Var(fmt, NoOffset))) (aget_comb.c:502:5-503:80) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:502:5-503:80) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___15, NoOffset)) (aget_comb.c:977:5-977:35) [Info][Unsound] Unknown address in {&tmp___15} has escaped. (aget_comb.c:977:5-977:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:977:5-977:35) [Info][Imprecise] Invalidating expressions: AddrOf(Var(t_finish, NoOffset)) (aget_comb.c:439:3-439:19) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), Lval(Var(lfmt, NoOffset))) (aget_comb.c:813:3-813:79) [Info][Unsound] Unknown address in (char * __restrict )((wthread + i)->getstr) has escaped. (aget_comb.c:419:5-420:18) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:419:5-420:18) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), StartOf(Mem(PlusPI(Lval(Var(wthread, NoOffset)), Lval(Var(i, NoOffset))), Field(getstr:TArray(TInt(char, ), Some(Const(Int(256,int,256))), ), NoOffset)))) (aget_comb.c:419:5-420:18) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:419:5-420:18) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(__sigset_t, TCompLoop(struct __anonstruct___sigset_t_764561023, _, ), ), __restrict ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (aget_comb.c:202:3-202:108) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___9, NoOffset)) (aget_comb.c:392:5-392:33) [Info][Unsound] Unknown address in {&tmp___9} has escaped. (aget_comb.c:392:5-392:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:392:5-392:33) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:347:5-347:27) [Info][Unsound] Unknown address given as function argument (aget_comb.c:971:5-971:62) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (aget_comb.c:481:7-481:35) [Info][Unsound] Unknown address in {&tmp___1} has escaped. (aget_comb.c:481:7-481:35) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:481:7-481:35) [Info][Unsound] Unknown value in {&((alloc@sid:80), aget_comb.c:198:3-198:30)[def_exc:0; intervals:[0,0]]} could be an escaped pointer address! (aget_comb.c:289:5-289:13) [Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (aget_comb.c:1267:3-1267:40) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:500:6-500:51) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:603:9-603:40) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:215:7-217:7) [Info][Imprecise] Invalidating expressions: AddrOf(Var(t_start, NoOffset)) (aget_comb.c:944:3-944:18) [Info][Unsound] Unknown address in (FILE * __restrict )stderr has escaped. (aget_comb.c:762:3-762:116) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:762:3-762:116) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (aget_comb.c:762:3-762:116) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1097:3-1102:3) [Info][Imprecise] Invalidating expressions: AddrOf(Var(fd, NoOffset)) (aget_comb.c:372:5-372:54) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___9, NoOffset)) (aget_comb.c:1120:5-1120:33) [Info][Unsound] Unknown address in {&tmp___9} has escaped. (aget_comb.c:1120:5-1120:33) [Info][Unsound] Unknown value in {?} could be an escaped pointer address! (aget_comb.c:1120:5-1120:33) Saving the solver result to increment/solver.marshalled Data after postsolve: |rho|=1605 |stable|=1605 |infl|=1605 |wpoint|=0 |side_dep|=0 |side_infl|=0 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.131 vars: 0, evals: 0 |rho|=1605 |called|=0 |stable|=1605 |infl|=1605 |wpoint|=0 |side_dep|=0 |side_infl|=0 Found 73 contexts for 18 functions. Top 5 functions: 32 contexts for entry state of Log on aget_comb.c:800:1-830:1 4 contexts for entry state of updateProgressBar on aget_comb.c:832:1-859:1 4 contexts for entry state of handleHttpRetcode on aget_comb.c:860:1-885:1 3 contexts for entry state of calc_offset on aget_comb.c:746:1-752:1 3 contexts for entry state of revstr on aget_comb.c:770:1-799:1 Memory statistics: total=131.12MB, max=14.97MB, minor=122.69MB, major=15.75MB, promoted=7.32MB minor collections=62 major collections=5 compactions=0 [Success][Race] Memory location (alloc@sid:195)[?].sin.sin_port@aget_comb.c:358:3-358:38 (safe): write with thread:[main] (conf. 100) (aget_comb.c:414:6-414:72) [Success][Race] Memory location (alloc@sid:653)[?]@aget_comb.c:933:3-933:25 (safe): read with thread:[main] (conf. 90) (aget_comb.c:866:3-866:55) read with thread:[main] (conf. 90) (aget_comb.c:871:5-871:57) read with thread:[main] (conf. 90) (aget_comb.c:876:7-876:55) [Warning][Race] Memory location (alloc@sid:301).soffset@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Success][Race] Memory location (alloc@sid:904)[?]@aget_comb.c:1242:3-1242:24 (safe): write with thread:[main] (conf. 90) (aget_comb.c:1277:3-1277:24) [Success][Race] Memory location (alloc@sid:80)[?].port@aget_comb.c:198:3-198:30 (safe): read with thread:[main] (conf. 110) (aget_comb.c:359:3-360:91) read with thread:[main] (conf. 110) (aget_comb.c:414:6-414:72) read with thread:[main] (conf. 110) (aget_comb.c:475:3-476:71) read with thread:[main] (conf. 110) (aget_comb.c:587:3-590:3) read with thread:[main] (conf. 110) (aget_comb.c:948:3-948:55) write with thread:[main] (conf. 110) (aget_comb.c:223:5-223:43) write with thread:[main] (conf. 110) (aget_comb.c:588:5-588:23) [Warning][Race] Memory location (alloc@sid:301)[?].getstr[?]@aget_comb.c:471:3-471:42 (race with conf. 80): read with [] (conf. 80) (aget_comb.c:1110:3-1110:47) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1110:3-1110:47) read with [] (conf. 80) (aget_comb.c:1111:3-1111:61) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1111:3-1111:61) write with thread:[main] (conf. 80) (aget_comb.c:419:5-420:18) write with thread:[main] (conf. 80) (aget_comb.c:504:5-505:18) [Warning][Race] Memory location (alloc@sid:195)[?].fd@aget_comb.c:358:3-358:38 (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1150:5-1150:60) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1150:5-1150:60) read with [] (conf. 100) (aget_comb.c:1152:5-1152:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1152:5-1152:48) read with [] (conf. 100) (aget_comb.c:1162:7-1162:66) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1162:7-1162:66) read with [] (conf. 100) (aget_comb.c:1164:7-1164:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1164:7-1164:48) write with thread:[main] (conf. 100) (aget_comb.c:415:6-415:32) write with thread:[main] (conf. 100) (aget_comb.c:501:6-501:32) [Success][Race] Memory location (alloc@sid:778)[?]@aget_comb.c:1095:3-1095:21 (safe): read with [] (conf. 90) (aget_comb.c:866:3-866:55) read with thread:[main, http_get] (conf. 90) (aget_comb.c:866:3-866:55) read with [] (conf. 90) (aget_comb.c:871:5-871:57) read with thread:[main, http_get] (conf. 90) (aget_comb.c:871:5-871:57) read with [] (conf. 90) (aget_comb.c:876:7-876:55) read with thread:[main, http_get] (conf. 90) (aget_comb.c:876:7-876:55) read with [] (conf. 90) (aget_comb.c:1126:3-1126:56) read with thread:[main, http_get] (conf. 90) (aget_comb.c:1126:3-1126:56) [Success][Race] Memory location (alloc@sid:653)[?]@aget_comb.c:933:3-933:25 (safe): read with thread:[main] (conf. 90) (aget_comb.c:982:3-982:75) write with thread:[main] (conf. 90) (aget_comb.c:982:3-982:75) [Success][Race] Memory location hthread@aget_comb.c:183:11-183:19 (safe): read with thread:[main] (conf. 110) (aget_comb.c:435:5-435:28) read with thread:[main] (conf. 110) (aget_comb.c:437:5-437:48) read with thread:[main] (conf. 110) (aget_comb.c:524:5-524:28) read with thread:[main] (conf. 110) (aget_comb.c:526:5-526:48) write with [multi:false, thread:[main]] (conf. 110) (aget_comb.c:203:3-204:73) [Warning][Race] Memory location (alloc@sid:195)[?].getstr[?]@aget_comb.c:358:3-358:38 (race with conf. 80): read with [] (conf. 80) (aget_comb.c:1110:3-1110:47) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1110:3-1110:47) read with [] (conf. 80) (aget_comb.c:1111:3-1111:61) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1111:3-1111:61) write with thread:[main] (conf. 80) (aget_comb.c:419:5-420:18) write with thread:[main] (conf. 80) (aget_comb.c:504:5-505:18) [Success][Race] Memory location (struct _IO_FILE)._IO_read_base (safe): read with thread:[main] (conf. 100) (aget_comb.c:268:5-268:48) read with thread:[main] (conf. 100) (aget_comb.c:272:9-272:57) read with thread:[main] (conf. 100) (aget_comb.c:941:3-941:67) [Warning][Race] Memory location (alloc@sid:195).fd@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Success][Race] Memory location (alloc@sid:651)[?]@aget_comb.c:931:3-931:25 (safe): read with thread:[main] (conf. 90) (aget_comb.c:967:3-967:55) [Success][Race] Memory location (struct _IO_FILE)._IO_backup_base (safe): read with thread:[main] (conf. 100) (aget_comb.c:268:5-268:48) read with thread:[main] (conf. 100) (aget_comb.c:272:9-272:57) read with thread:[main] (conf. 100) (aget_comb.c:941:3-941:67) [Success][Race] Memory location (struct hostent).h_addr_list (safe): read with thread:[main] (conf. 100) (aget_comb.c:941:3-941:67) [Success][Race] Memory location (struct _IO_FILE)._IO_save_base (safe): read with thread:[main] (conf. 100) (aget_comb.c:268:5-268:48) read with thread:[main] (conf. 100) (aget_comb.c:272:9-272:57) read with thread:[main] (conf. 100) (aget_comb.c:941:3-941:67) [Warning][Race] Memory location (alloc@sid:301)[?].offset@aget_comb.c:471:3-471:42 (race with conf. 100): read with thread:[main] (conf. 100) (aget_comb.c:500:6-500:51) read with thread:[main] (conf. 100) (aget_comb.c:502:5-503:80) read with [] (conf. 100) (aget_comb.c:1158:3-1171:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1158:3-1171:3) read with [] (conf. 100) (aget_comb.c:1161:5-1165:5) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1161:5-1165:5) read with [] (conf. 100) (aget_comb.c:1162:7-1162:66) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1162:7-1162:66) read with [] (conf. 100) (aget_comb.c:1164:7-1164:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1164:7-1164:48) read with [] (conf. 100) (aget_comb.c:1166:5-1166:28) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1166:5-1166:28) read with [] (conf. 100) (aget_comb.c:1172:3-1174:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1172:3-1174:3) write with [] (conf. 100) (aget_comb.c:1148:3-1148:27) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1148:3-1148:27) write with [] (conf. 100) (aget_comb.c:1154:3-1154:39) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1154:3-1154:39) write with [] (conf. 100) (aget_comb.c:1166:5-1166:28) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1166:5-1166:28) [Warning][Race] Memory location (alloc@sid:195).sin.sin_zero[?]@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:195)[?].soffset@aget_comb.c:358:3-358:38 (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1148:3-1148:27) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1148:3-1148:27) read with [] (conf. 100) (aget_comb.c:1150:5-1150:60) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1150:5-1150:60) read with [] (conf. 100) (aget_comb.c:1152:5-1152:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1152:5-1152:48) read with [] (conf. 100) (aget_comb.c:1154:3-1154:39) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1154:3-1154:39) write with thread:[main] (conf. 100) (aget_comb.c:406:6-406:37) write with thread:[main] (conf. 100) (aget_comb.c:500:6-500:51) [Warning][Race] Memory location (alloc@sid:195).clength@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Success][Race] Memory location (struct _IO_FILE)._IO_write_base (safe): read with thread:[main] (conf. 100) (aget_comb.c:268:5-268:48) read with thread:[main] (conf. 100) (aget_comb.c:272:9-272:57) read with thread:[main] (conf. 100) (aget_comb.c:941:3-941:67) [Warning][Race] Memory location (alloc@sid:301)[?].clength@aget_comb.c:471:3-471:42 (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1170:5-1170:61) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1170:5-1170:61) write with thread:[main] (conf. 100) (aget_comb.c:416:6-416:53) [Warning][Race] Memory location (alloc@sid:301).offset@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Success][Race] Memory location (alloc@sid:877)[?]@aget_comb.c:1198:3-1198:24 (safe): write with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1224:3-1224:24) [Warning][Race] Memory location wthread@aget_comb.c:184:20-184:29 (race with conf. 110): read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1037:5-1037:39) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1038:6-1038:79) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 110) (aget_comb.c:358:3-358:38) write with thread:[main] (conf. 110) (aget_comb.c:471:3-471:42) [Success][Race] Memory location wthread@aget_comb.c:184:20-184:29 (safe): read with thread:[main] (conf. 110) (aget_comb.c:406:6-406:37) read with thread:[main] (conf. 110) (aget_comb.c:408:8-408:55) read with thread:[main] (conf. 110) (aget_comb.c:410:8-410:39) read with thread:[main] (conf. 110) (aget_comb.c:412:6-412:54) read with thread:[main] (conf. 110) (aget_comb.c:413:6-413:80) read with thread:[main] (conf. 110) (aget_comb.c:414:6-414:72) read with thread:[main] (conf. 110) (aget_comb.c:415:6-415:32) read with thread:[main] (conf. 110) (aget_comb.c:416:6-416:53) read with thread:[main] (conf. 110) (aget_comb.c:419:5-420:18) read with thread:[main] (conf. 110) (aget_comb.c:421:5-422:66) read with thread:[main] (conf. 110) (aget_comb.c:428:5-428:59) read with thread:[main] (conf. 110) (aget_comb.c:429:5-431:5) read with thread:[main] (conf. 110) (aget_comb.c:473:3-474:64) read with thread:[main] (conf. 110) (aget_comb.c:500:6-500:51) read with thread:[main] (conf. 110) (aget_comb.c:501:6-501:32) read with thread:[main] (conf. 110) (aget_comb.c:502:5-503:80) read with thread:[main] (conf. 110) (aget_comb.c:504:5-505:18) read with thread:[main] (conf. 110) (aget_comb.c:506:5-507:66) read with thread:[main] (conf. 110) (aget_comb.c:512:5-512:59) read with thread:[main] (conf. 110) (aget_comb.c:517:5-517:59) read with thread:[main] (conf. 110) (aget_comb.c:518:5-520:5) [Success][Race] Memory location t_finish@aget_comb.c:173:8-173:17 (safe): write with thread:[main] (conf. 90) (aget_comb.c:439:3-439:19) write with thread:[main] (conf. 90) (aget_comb.c:528:3-528:19) read with thread:[main] (conf. 110) (aget_comb.c:440:3-440:40) read with thread:[main] (conf. 110) (aget_comb.c:529:3-529:40) [Warning][Race] Memory location (alloc@sid:778)[?]@aget_comb.c:1095:3-1095:21 (race with conf. 110): read with [] (conf. 90) (aget_comb.c:1150:5-1150:60) read with thread:[main, http_get] (conf. 90) (aget_comb.c:1150:5-1150:60) read with [] (conf. 90) (aget_comb.c:1152:5-1152:48) read with thread:[main, http_get] (conf. 90) (aget_comb.c:1152:5-1152:48) read with [] (conf. 90) (aget_comb.c:1162:7-1162:66) read with thread:[main, http_get] (conf. 90) (aget_comb.c:1162:7-1162:66) read with [] (conf. 90) (aget_comb.c:1164:7-1164:48) read with thread:[main, http_get] (conf. 90) (aget_comb.c:1164:7-1164:48) write with [] (conf. 90) (aget_comb.c:1150:5-1150:60) write with thread:[main, http_get] (conf. 90) (aget_comb.c:1150:5-1150:60) write with [] (conf. 90) (aget_comb.c:1152:5-1152:48) write with thread:[main, http_get] (conf. 90) (aget_comb.c:1152:5-1152:48) write with [] (conf. 90) (aget_comb.c:1162:7-1162:66) write with thread:[main, http_get] (conf. 90) (aget_comb.c:1162:7-1162:66) write with [] (conf. 90) (aget_comb.c:1164:7-1164:48) write with thread:[main, http_get] (conf. 90) (aget_comb.c:1164:7-1164:48) read with [] (conf. 110) (aget_comb.c:1134:5-1144:5) read with thread:[main, http_get] (conf. 110) (aget_comb.c:1134:5-1144:5) read with [] (conf. 110) (aget_comb.c:1135:7-1143:7) read with thread:[main, http_get] (conf. 110) (aget_comb.c:1135:7-1143:7) read with [] (conf. 110) (aget_comb.c:1136:9-1142:9) read with thread:[main, http_get] (conf. 110) (aget_comb.c:1136:9-1142:9) read with [] (conf. 110) (aget_comb.c:1137:11-1141:11) read with thread:[main, http_get] (conf. 110) (aget_comb.c:1137:11-1141:11) [Warning][Race] Memory location (alloc@sid:301).sin.sin_family@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Success][Race] Memory location fullurl@aget_comb.c:179:6-179:15 (safe): read with thread:[main] (conf. 100) (aget_comb.c:268:5-268:48) read with thread:[main] (conf. 100) (aget_comb.c:272:9-272:57) read with thread:[main] (conf. 100) (aget_comb.c:941:3-941:67) read with thread:[main] (conf. 110) (aget_comb.c:284:3-284:26) write with thread:[main] (conf. 110) (aget_comb.c:268:5-268:48) write with thread:[main] (conf. 110) (aget_comb.c:272:9-272:57) [Success][Race] Memory location (alloc@sid:651)[?]@aget_comb.c:931:3-931:25 (safe): write with thread:[main] (conf. 90) (aget_comb.c:964:3-965:62) [Success][Race] Memory location (alloc@sid:80)[?].username[?]@aget_comb.c:198:3-198:30 (safe): read with thread:[main] (conf. 90) (aget_comb.c:779:3-779:34) write with thread:[main] (conf. 90) (aget_comb.c:794:3-794:46) write with thread:[main] (conf. 90) (aget_comb.c:795:3-795:85) read with thread:[main] (conf. 110) (aget_comb.c:789:5-789:26) write with thread:[main] (conf. 110) (aget_comb.c:603:9-603:40) write with thread:[main] (conf. 110) (aget_comb.c:607:7-607:43) [Success][Race] Memory location (struct _IO_FILE)._IO_write_end (safe): read with thread:[main] (conf. 100) (aget_comb.c:268:5-268:48) read with thread:[main] (conf. 100) (aget_comb.c:272:9-272:57) read with thread:[main] (conf. 100) (aget_comb.c:941:3-941:67) [Warning][Race] Memory location (alloc@sid:195)[?].clength@aget_comb.c:358:3-358:38 (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1170:5-1170:61) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1170:5-1170:61) write with thread:[main] (conf. 100) (aget_comb.c:416:6-416:53) [Warning][Race] Memory location (alloc@sid:301).clength@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:195)[?].offset@aget_comb.c:358:3-358:38 (race with conf. 100): read with thread:[main] (conf. 100) (aget_comb.c:500:6-500:51) read with thread:[main] (conf. 100) (aget_comb.c:502:5-503:80) read with [] (conf. 100) (aget_comb.c:1158:3-1171:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1158:3-1171:3) read with [] (conf. 100) (aget_comb.c:1161:5-1165:5) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1161:5-1165:5) read with [] (conf. 100) (aget_comb.c:1162:7-1162:66) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1162:7-1162:66) read with [] (conf. 100) (aget_comb.c:1164:7-1164:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1164:7-1164:48) read with [] (conf. 100) (aget_comb.c:1166:5-1166:28) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1166:5-1166:28) read with [] (conf. 100) (aget_comb.c:1172:3-1174:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1172:3-1174:3) write with [] (conf. 100) (aget_comb.c:1148:3-1148:27) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1148:3-1148:27) write with [] (conf. 100) (aget_comb.c:1154:3-1154:39) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1154:3-1154:39) write with [] (conf. 100) (aget_comb.c:1166:5-1166:28) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1166:5-1166:28) [Warning][Race] Memory location (alloc@sid:301).sin.sin_addr.s_addr@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:301).foffset@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (struct thread_data).fd (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1150:5-1150:60) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1150:5-1150:60) read with [] (conf. 100) (aget_comb.c:1152:5-1152:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1152:5-1152:48) read with [] (conf. 100) (aget_comb.c:1162:7-1162:66) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1162:7-1162:66) read with [] (conf. 100) (aget_comb.c:1164:7-1164:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1164:7-1164:48) write with thread:[main] (conf. 100) (aget_comb.c:415:6-415:32) write with thread:[main] (conf. 100) (aget_comb.c:501:6-501:32) [Warning][Race] Memory location (alloc@sid:301).sin.sin_port@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Success][Race] Memory location (alloc@sid:80)[?].proto@aget_comb.c:198:3-198:30 (safe): read with thread:[main] (conf. 110) (aget_comb.c:346:3-348:3) write with thread:[main] (conf. 110) (aget_comb.c:589:5-589:40) [Success][Race] Memory location optind@aget_comb.c:145:12-145:19 (safe): read with thread:[main] (conf. 110) (aget_comb.c:270:5-282:5) read with thread:[main] (conf. 110) (aget_comb.c:272:9-272:57) read with thread:[main] (conf. 110) (aget_comb.c:278:7-281:7) [Success][Race] Memory location stdout@aget_comb.c:545:24-545:32 (safe): read with [] (conf. 110) (aget_comb.c:814:3-814:17) read with thread:[main] (conf. 110) (aget_comb.c:814:3-814:17) read with thread:[main, http_get] (conf. 110) (aget_comb.c:814:3-814:17) [Success][Race] Memory location (struct _IO_FILE)._IO_buf_base (safe): read with thread:[main] (conf. 100) (aget_comb.c:268:5-268:48) read with thread:[main] (conf. 100) (aget_comb.c:272:9-272:57) read with thread:[main] (conf. 100) (aget_comb.c:941:3-941:67) [Warning][Race] Memory location (struct thread_data).sin.sin_port (race with conf. 100): read with [] (conf. 80) (aget_comb.c:1103:3-1103:88) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1103:3-1103:88) write with thread:[main] (conf. 100) (aget_comb.c:414:6-414:72) [Warning][Race] Memory location (alloc@sid:301).sin.sin_zero[?]@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Success][Race] Memory location (alloc@sid:233)[?]@aget_comb.c:398:3-398:25 (safe): read with thread:[main] (conf. 90) (aget_comb.c:419:5-420:18) [Success][Race] Memory location (alloc@sid:80)[?].password[?]@aget_comb.c:198:3-198:30 (safe): write with thread:[main] (conf. 110) (aget_comb.c:619:13-619:44) write with thread:[main] (conf. 110) (aget_comb.c:626:7-626:43) [Warning][Race] Memory location (alloc@sid:301).tid@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (struct thread_data).offset (race with conf. 100): read with thread:[main] (conf. 100) (aget_comb.c:500:6-500:51) read with thread:[main] (conf. 100) (aget_comb.c:502:5-503:80) read with [] (conf. 100) (aget_comb.c:1158:3-1171:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1158:3-1171:3) read with [] (conf. 100) (aget_comb.c:1161:5-1165:5) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1161:5-1165:5) read with [] (conf. 100) (aget_comb.c:1162:7-1162:66) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1162:7-1162:66) read with [] (conf. 100) (aget_comb.c:1164:7-1164:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1164:7-1164:48) read with [] (conf. 100) (aget_comb.c:1166:5-1166:28) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1166:5-1166:28) read with [] (conf. 100) (aget_comb.c:1172:3-1174:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1172:3-1174:3) write with [] (conf. 100) (aget_comb.c:1148:3-1148:27) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1148:3-1148:27) write with [] (conf. 100) (aget_comb.c:1154:3-1154:39) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1154:3-1154:39) write with [] (conf. 100) (aget_comb.c:1166:5-1166:28) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1166:5-1166:28) [Warning][Race] Memory location (alloc@sid:301)[?].foffset@aget_comb.c:471:3-471:42 (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1093:3-1093:24) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1093:3-1093:24) read with [] (conf. 100) (aget_comb.c:1172:3-1174:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1172:3-1174:3) write with thread:[main] (conf. 100) (aget_comb.c:408:8-408:55) write with thread:[main] (conf. 100) (aget_comb.c:410:8-410:39) [Warning][Race] Memory location (alloc@sid:301)[?].soffset@aget_comb.c:471:3-471:42 (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1148:3-1148:27) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1148:3-1148:27) read with [] (conf. 100) (aget_comb.c:1150:5-1150:60) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1150:5-1150:60) read with [] (conf. 100) (aget_comb.c:1152:5-1152:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1152:5-1152:48) read with [] (conf. 100) (aget_comb.c:1154:3-1154:39) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1154:3-1154:39) write with thread:[main] (conf. 100) (aget_comb.c:406:6-406:37) write with thread:[main] (conf. 100) (aget_comb.c:500:6-500:51) [Success][Race] Memory location (alloc@sid:80)[?].host[?]@aget_comb.c:198:3-198:30 (safe): read with thread:[main] (conf. 90) (aget_comb.c:417:5-418:74) read with thread:[main] (conf. 90) (aget_comb.c:502:5-503:80) read with thread:[main] (conf. 90) (aget_comb.c:934:3-934:52) read with thread:[main] (conf. 90) (aget_comb.c:964:3-965:62) write with thread:[main] (conf. 110) (aget_comb.c:628:5-628:26) write with thread:[main] (conf. 110) (aget_comb.c:632:3-632:35) [Success][Race] Memory location (alloc@sid:877)[?]@aget_comb.c:1198:3-1198:24 (safe): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1211:5-1212:30) read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1220:3-1221:30) write with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1201:5-1202:30) write with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1204:5-1205:31) [Success][Race] Memory location t_start@aget_comb.c:172:8-172:16 (safe): write with thread:[main] (conf. 90) (aget_comb.c:399:3-399:18) write with thread:[main] (conf. 90) (aget_comb.c:497:3-497:18) write with thread:[main] (conf. 90) (aget_comb.c:944:3-944:18) read with thread:[main] (conf. 110) (aget_comb.c:440:3-440:40) read with thread:[main] (conf. 110) (aget_comb.c:529:3-529:40) [Success][Race] Memory location signal_set.__val[?]@aget_comb.c:177:10-177:21 (safe): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1016:3-1016:108) read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1018:5-1018:93) read with [] (conf. 90) (aget_comb.c:1090:3-1090:108) read with thread:[main, http_get] (conf. 90) (aget_comb.c:1090:3-1090:108) [Success][Race] Memory location (alloc@sid:233)[?]@aget_comb.c:398:3-398:25 (safe): write with thread:[main] (conf. 90) (aget_comb.c:417:5-418:74) [Success][Race] Memory location (alloc@sid:653)[?]@aget_comb.c:933:3-933:25 (safe): write with thread:[main] (conf. 90) (aget_comb.c:974:3-974:45) write with thread:[main] (conf. 90) (aget_comb.c:1000:3-1000:21) [Warning][Race] Memory location prev@aget_comb.c:831:14-831:19 (race with conf. 110): read with [] (conf. 110) (aget_comb.c:840:3-844:3) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:840:3-844:3) read with thread:[main, http_get] (conf. 110) (aget_comb.c:840:3-844:3) write with [] (conf. 110) (aget_comb.c:856:3-856:22) write with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:856:3-856:22) write with thread:[main, http_get] (conf. 110) (aget_comb.c:856:3-856:22) [Warning][Race] Memory location (struct thread_data).clength (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1170:5-1170:61) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1170:5-1170:61) write with thread:[main] (conf. 100) (aget_comb.c:416:6-416:53) [Warning][Race] Memory location (alloc@sid:195)[?].foffset@aget_comb.c:358:3-358:38 (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1093:3-1093:24) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1093:3-1093:24) read with [] (conf. 100) (aget_comb.c:1172:3-1174:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1172:3-1174:3) write with thread:[main] (conf. 100) (aget_comb.c:408:8-408:55) write with thread:[main] (conf. 100) (aget_comb.c:410:8-410:39) [Success][Race] Memory location (alloc@sid:557)[?]@aget_comb.c:785:3-785:22 (safe): write with thread:[main] (conf. 110) (aget_comb.c:789:5-789:26) write with thread:[main] (conf. 110) (aget_comb.c:793:3-793:21) [Success][Race] Memory location (struct sockaddr_in).sin_addr.s_addr (safe): read with thread:[main] (conf. 100) (aget_comb.c:941:3-941:67) [Success][Race] Memory location (alloc@sid:299)[?]@aget_comb.c:469:3-469:20 (safe): read with thread:[main] (conf. 90) (aget_comb.c:504:5-505:18) [Warning][Race] Memory location (struct thread_data).sin.sin_addr.s_addr (race with conf. 100): read with [] (conf. 80) (aget_comb.c:1103:3-1103:88) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1103:3-1103:88) write with thread:[main] (conf. 100) (aget_comb.c:413:6-413:80) [Warning][Race] Memory location (struct thread_data).status (race with conf. 100): read with thread:[main] (conf. 100) (aget_comb.c:429:5-431:5) read with thread:[main] (conf. 100) (aget_comb.c:518:5-520:5) read with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1038:6-1038:79) write with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1038:6-1038:79) write with [] (conf. 100) (aget_comb.c:1173:5-1173:36) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1173:5-1173:36) [Warning][Race] Memory location (alloc@sid:301)[?].status@aget_comb.c:471:3-471:42 (race with conf. 100): read with thread:[main] (conf. 100) (aget_comb.c:429:5-431:5) read with thread:[main] (conf. 100) (aget_comb.c:518:5-520:5) read with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1038:6-1038:79) write with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1038:6-1038:79) write with [] (conf. 100) (aget_comb.c:1173:5-1173:36) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1173:5-1173:36) [Success][Race] Memory location (struct hostent).h_name (safe): read with thread:[main] (conf. 100) (aget_comb.c:268:5-268:48) read with thread:[main] (conf. 100) (aget_comb.c:272:9-272:57) read with thread:[main] (conf. 100) (aget_comb.c:941:3-941:67) [Warning][Race] Memory location (alloc@sid:80)[?].lfile[?]@aget_comb.c:198:3-198:30 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1199:3-1199:53) read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1204:5-1205:31) write with thread:[main] (conf. 90) (aget_comb.c:229:5-230:18) [Success][Race] Memory location (alloc@sid:80)[?].lfile[?]@aget_comb.c:198:3-198:30 (safe): read with thread:[main] (conf. 90) (aget_comb.c:361:3-361:51) read with thread:[main] (conf. 90) (aget_comb.c:363:5-363:55) read with thread:[main] (conf. 90) (aget_comb.c:367:7-368:39) read with thread:[main] (conf. 90) (aget_comb.c:376:7-377:39) read with thread:[main] (conf. 90) (aget_comb.c:477:3-477:47) read with thread:[main] (conf. 90) (aget_comb.c:479:5-479:50) read with thread:[main] (conf. 90) (aget_comb.c:483:7-484:35) read with thread:[main] (conf. 90) (aget_comb.c:492:7-493:35) read with thread:[main] (conf. 90) (aget_comb.c:1243:3-1243:53) read with thread:[main] (conf. 90) (aget_comb.c:1248:5-1249:31) [Warning][Race] Memory location (alloc@sid:778)[?]@aget_comb.c:1095:3-1095:21 (race with conf. 90): write with [] (conf. 90) (aget_comb.c:1118:3-1118:40) write with thread:[main, http_get] (conf. 90) (aget_comb.c:1118:3-1118:40) write with [] (conf. 90) (aget_comb.c:1159:5-1159:35) write with thread:[main, http_get] (conf. 90) (aget_comb.c:1159:5-1159:35) write with [] (conf. 90) (aget_comb.c:1160:5-1160:42) write with thread:[main, http_get] (conf. 90) (aget_comb.c:1160:5-1160:42) [Success][Race] Memory location (alloc@sid:557)[?]@aget_comb.c:785:3-785:22 (safe): write with thread:[main] (conf. 90) (aget_comb.c:796:3-796:18) [Warning][Race] Memory location (alloc@sid:301).fd@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (struct thread_data).sin.sin_family (race with conf. 100): read with [] (conf. 80) (aget_comb.c:1103:3-1103:88) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1103:3-1103:88) write with thread:[main] (conf. 100) (aget_comb.c:412:6-412:54) [Warning][Race] Memory location (alloc@sid:301)[?].fd@aget_comb.c:471:3-471:42 (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1150:5-1150:60) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1150:5-1150:60) read with [] (conf. 100) (aget_comb.c:1152:5-1152:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1152:5-1152:48) read with [] (conf. 100) (aget_comb.c:1162:7-1162:66) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1162:7-1162:66) read with [] (conf. 100) (aget_comb.c:1164:7-1164:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1164:7-1164:48) write with thread:[main] (conf. 100) (aget_comb.c:415:6-415:32) write with thread:[main] (conf. 100) (aget_comb.c:501:6-501:32) [Warning][Race] Memory location (alloc@sid:80)[?].clength@aget_comb.c:198:3-198:30 (race with conf. 110): read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1050:3-1050:60) write with thread:[main] (conf. 110) (aget_comb.c:995:9-995:35) [Success][Race] Memory location (alloc@sid:80)[?].clength@aget_comb.c:198:3-198:30 (safe): read with thread:[main] (conf. 110) (aget_comb.c:349:3-349:39) read with thread:[main] (conf. 110) (aget_comb.c:359:3-360:91) read with thread:[main] (conf. 110) (aget_comb.c:381:3-381:56) read with thread:[main] (conf. 110) (aget_comb.c:402:5-402:58) read with thread:[main] (conf. 110) (aget_comb.c:404:5-404:62) read with thread:[main] (conf. 110) (aget_comb.c:408:8-408:55) read with thread:[main] (conf. 110) (aget_comb.c:416:6-416:53) read with thread:[main] (conf. 110) (aget_comb.c:444:3-445:44) read with thread:[main] (conf. 110) (aget_comb.c:475:3-476:71) read with thread:[main] (conf. 110) (aget_comb.c:533:3-534:56) [Success][Race] Memory location optarg@aget_comb.c:144:13-144:21 (safe): read with thread:[main] (conf. 100) (aget_comb.c:268:5-268:48) read with thread:[main] (conf. 100) (aget_comb.c:272:9-272:57) read with thread:[main] (conf. 100) (aget_comb.c:941:3-941:67) read with thread:[main] (conf. 110) (aget_comb.c:223:5-223:43) read with thread:[main] (conf. 110) (aget_comb.c:229:5-230:18) read with thread:[main] (conf. 110) (aget_comb.c:233:5-233:42) [Success][Race] Memory location (alloc@sid:651)[?]@aget_comb.c:931:3-931:25 (safe): read with thread:[main] (conf. 90) (aget_comb.c:966:3-966:40) [Warning][Race] Memory location (alloc@sid:195).sin.sin_addr.s_addr@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Success][Race] Memory location (alloc@sid:301)[?].sin.sin_addr.s_addr@aget_comb.c:471:3-471:42 (safe): write with thread:[main] (conf. 100) (aget_comb.c:413:6-413:80) [Success][Race] Memory location (struct thread_data).sin.sin_zero[?] (safe): read with [] (conf. 80) (aget_comb.c:1103:3-1103:88) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1103:3-1103:88) [Success][Race] Memory location (alloc@sid:904)[?]@aget_comb.c:1242:3-1242:24 (safe): read with thread:[main] (conf. 90) (aget_comb.c:1261:7-1262:32) read with thread:[main] (conf. 90) (aget_comb.c:1274:5-1275:30) write with thread:[main] (conf. 90) (aget_comb.c:1245:5-1246:30) write with thread:[main] (conf. 90) (aget_comb.c:1248:5-1249:31) [Success][Race] Memory location (alloc@sid:301)[?].sin.sin_family@aget_comb.c:471:3-471:42 (safe): write with thread:[main] (conf. 100) (aget_comb.c:412:6-412:54) [Warning][Race] Memory location (alloc@sid:301).status@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Success][Race] Memory location (alloc@sid:80)[?].ip[?]@aget_comb.c:198:3-198:30 (safe): read with thread:[main] (conf. 90) (aget_comb.c:413:6-413:80) read with thread:[main] (conf. 90) (aget_comb.c:947:3-947:63) write with thread:[main] (conf. 90) (aget_comb.c:942:3-943:15) [Warning][Race] Memory location (alloc@sid:195).soffset@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Success][Race] Memory location (alloc@sid:195)[?].sin.sin_family@aget_comb.c:358:3-358:38 (safe): write with thread:[main] (conf. 100) (aget_comb.c:412:6-412:54) [Warning][Race] Memory location (alloc@sid:579)[?]@aget_comb.c:812:3-812:25 (race with conf. 90): write with [] (conf. 90) (aget_comb.c:813:3-813:79) write with thread:[main] (conf. 90) (aget_comb.c:813:3-813:79) write with thread:[main, http_get] (conf. 90) (aget_comb.c:813:3-813:79) [Warning][Race] Memory location (struct thread_data).getstr[?] (race with conf. 80): read with [] (conf. 80) (aget_comb.c:1110:3-1110:47) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1110:3-1110:47) read with [] (conf. 80) (aget_comb.c:1111:3-1111:61) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1111:3-1111:61) write with thread:[main] (conf. 80) (aget_comb.c:419:5-420:18) write with thread:[main] (conf. 80) (aget_comb.c:504:5-505:18) [Success][Race] Memory location (struct _IO_FILE)._IO_read_end (safe): read with thread:[main] (conf. 100) (aget_comb.c:268:5-268:48) read with thread:[main] (conf. 100) (aget_comb.c:272:9-272:57) read with thread:[main] (conf. 100) (aget_comb.c:941:3-941:67) [Success][Race] Memory location fsuggested@aget_comb.c:181:5-181:16 (safe): read with thread:[main] (conf. 110) (aget_comb.c:260:3-266:3) read with thread:[main] (conf. 110) (aget_comb.c:350:3-356:3) write with thread:[main] (conf. 110) (aget_comb.c:226:5-226:19) [Success][Race] Memory location (alloc@sid:877)[?]@aget_comb.c:1198:3-1198:24 (safe): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1207:3-1207:79) [Warning][Race] Memory location (alloc@sid:80)[?]@aget_comb.c:198:3-198:30 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1215:3-1215:96) write with thread:[main] (conf. 90) (aget_comb.c:472:3-472:97) [Warning][Race] Memory location (alloc@sid:301)[?].tid@aget_comb.c:471:3-471:42 (race with conf. 100): write with thread:[main] (conf. 80) (aget_comb.c:421:5-422:66) write with thread:[main] (conf. 80) (aget_comb.c:506:5-507:66) read with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1037:5-1037:39) write with thread:[main] (conf. 100) (aget_comb.c:421:5-422:66) write with thread:[main] (conf. 100) (aget_comb.c:506:5-507:66) [Success][Race] Memory location (alloc@sid:301)[?].tid@aget_comb.c:471:3-471:42 (safe): read with thread:[main] (conf. 100) (aget_comb.c:428:5-428:59) read with thread:[main] (conf. 100) (aget_comb.c:512:5-512:59) read with thread:[main] (conf. 100) (aget_comb.c:517:5-517:59) [Warning][Race] Memory location (alloc@sid:195).status@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Success][Race] Memory location (alloc@sid:579)[?]@aget_comb.c:812:3-812:25 (safe): read with [] (conf. 90) (aget_comb.c:816:3-816:75) read with thread:[main] (conf. 90) (aget_comb.c:816:3-816:75) read with thread:[main, http_get] (conf. 90) (aget_comb.c:816:3-816:75) [Warning][Race] Memory location (alloc@sid:195)[?].tid@aget_comb.c:358:3-358:38 (race with conf. 100): write with thread:[main] (conf. 80) (aget_comb.c:421:5-422:66) write with thread:[main] (conf. 80) (aget_comb.c:506:5-507:66) read with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1037:5-1037:39) write with thread:[main] (conf. 100) (aget_comb.c:421:5-422:66) write with thread:[main] (conf. 100) (aget_comb.c:506:5-507:66) [Success][Race] Memory location (alloc@sid:195)[?].tid@aget_comb.c:358:3-358:38 (safe): read with thread:[main] (conf. 100) (aget_comb.c:428:5-428:59) read with thread:[main] (conf. 100) (aget_comb.c:512:5-512:59) read with thread:[main] (conf. 100) (aget_comb.c:517:5-517:59) [Warning][Race] Memory location (alloc@sid:195).sin.sin_port@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:195).sin.sin_family@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Success][Race] Memory location (alloc@sid:80)[?].url[?]@aget_comb.c:198:3-198:30 (safe): read with thread:[main] (conf. 90) (aget_comb.c:417:5-418:74) read with thread:[main] (conf. 90) (aget_comb.c:502:5-503:80) read with thread:[main] (conf. 90) (aget_comb.c:929:3-929:45) read with thread:[main] (conf. 90) (aget_comb.c:964:3-965:62) write with thread:[main] (conf. 110) (aget_comb.c:639:5-639:25) write with thread:[main] (conf. 110) (aget_comb.c:643:3-643:34) [Success][Race] Memory location (struct _IO_FILE)._IO_buf_end (safe): read with thread:[main] (conf. 100) (aget_comb.c:268:5-268:48) read with thread:[main] (conf. 100) (aget_comb.c:272:9-272:57) read with thread:[main] (conf. 100) (aget_comb.c:941:3-941:67) [Warning][Race] Memory location (alloc@sid:80)[?].file[?]@aget_comb.c:198:3-198:30 (race with conf. 110): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1201:5-1202:30) write with thread:[main] (conf. 90) (aget_comb.c:794:3-794:46) write with thread:[main] (conf. 90) (aget_comb.c:795:3-795:85) write with thread:[main] (conf. 110) (aget_comb.c:651:5-651:26) write with thread:[main] (conf. 110) (aget_comb.c:655:3-655:35) [Success][Race] Memory location (alloc@sid:80)[?].file[?]@aget_comb.c:198:3-198:30 (safe): read with thread:[main] (conf. 90) (aget_comb.c:372:5-372:54) read with thread:[main] (conf. 90) (aget_comb.c:488:5-488:49) read with thread:[main] (conf. 90) (aget_comb.c:779:3-779:34) read with thread:[main] (conf. 90) (aget_comb.c:1245:5-1246:30) read with thread:[main] (conf. 110) (aget_comb.c:789:5-789:26) [Success][Race] Memory location (alloc@sid:233)[?]@aget_comb.c:398:3-398:25 (safe): write with thread:[main] (conf. 90) (aget_comb.c:425:3-425:20) [Success][Race] Memory location (struct _IO_FILE)._IO_read_ptr (safe): read with thread:[main] (conf. 100) (aget_comb.c:268:5-268:48) read with thread:[main] (conf. 100) (aget_comb.c:272:9-272:57) read with thread:[main] (conf. 100) (aget_comb.c:941:3-941:67) [Warning][Race] Memory location (alloc@sid:195).tid@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (struct thread_data).tid (race with conf. 100): write with thread:[main] (conf. 80) (aget_comb.c:421:5-422:66) write with thread:[main] (conf. 80) (aget_comb.c:506:5-507:66) read with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1037:5-1037:39) [Success][Race] Memory location (struct thread_data).tid (safe): read with thread:[main] (conf. 100) (aget_comb.c:428:5-428:59) read with thread:[main] (conf. 100) (aget_comb.c:512:5-512:59) read with thread:[main] (conf. 100) (aget_comb.c:517:5-517:59) [Success][Race] Memory location (struct _IO_FILE)._IO_write_ptr (safe): read with thread:[main] (conf. 100) (aget_comb.c:268:5-268:48) read with thread:[main] (conf. 100) (aget_comb.c:272:9-272:57) read with thread:[main] (conf. 100) (aget_comb.c:941:3-941:67) [Success][Race] Memory location (alloc@sid:301)[?].sin.sin_port@aget_comb.c:471:3-471:42 (safe): write with thread:[main] (conf. 100) (aget_comb.c:414:6-414:72) [Warning][Race] Memory location (alloc@sid:195).getstr[?]@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (struct thread_data).foffset (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1093:3-1093:24) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1093:3-1093:24) read with [] (conf. 100) (aget_comb.c:1172:3-1174:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1172:3-1174:3) write with thread:[main] (conf. 100) (aget_comb.c:408:8-408:55) write with thread:[main] (conf. 100) (aget_comb.c:410:8-410:39) [Warning][Race] Memory location (alloc@sid:195).offset@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Success][Race] Memory location stderr@aget_comb.c:152:24-152:32 (safe): read with [] (conf. 110) (aget_comb.c:816:3-816:75) read with thread:[main] (conf. 110) (aget_comb.c:816:3-816:75) read with thread:[main, http_get] (conf. 110) (aget_comb.c:816:3-816:75) [Warning][Race] Memory location (alloc@sid:579)[?]@aget_comb.c:812:3-812:25 (race with conf. 90): write with [] (conf. 90) (aget_comb.c:827:3-827:21) write with thread:[main] (conf. 90) (aget_comb.c:827:3-827:21) write with thread:[main, http_get] (conf. 90) (aget_comb.c:827:3-827:21) [Success][Race] Memory location (alloc@sid:195)[?].sin@aget_comb.c:358:3-358:38 (safe): read with [] (conf. 80) (aget_comb.c:1103:3-1103:88) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1103:3-1103:88) [Success][Race] Memory location (struct _IO_FILE)._IO_save_end (safe): read with thread:[main] (conf. 100) (aget_comb.c:268:5-268:48) read with thread:[main] (conf. 100) (aget_comb.c:272:9-272:57) read with thread:[main] (conf. 100) (aget_comb.c:941:3-941:67) [Success][Race] Memory location (alloc@sid:651)[?]@aget_comb.c:931:3-931:25 (safe): write with thread:[main] (conf. 90) (aget_comb.c:999:3-999:21) [Success][Race] Memory location (alloc@sid:557)[?]@aget_comb.c:785:3-785:22 (safe): read with thread:[main] (conf. 90) (aget_comb.c:795:3-795:85) [Success][Race] Memory location (alloc@sid:195)[?].sin.sin_addr.s_addr@aget_comb.c:358:3-358:38 (safe): write with thread:[main] (conf. 100) (aget_comb.c:413:6-413:80) [Success][Race] Memory location (alloc@sid:301)[?].sin@aget_comb.c:471:3-471:42 (safe): read with [] (conf. 80) (aget_comb.c:1103:3-1103:88) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1103:3-1103:88) [Warning][Race] Memory location (alloc@sid:195)[?].status@aget_comb.c:358:3-358:38 (race with conf. 100): read with thread:[main] (conf. 100) (aget_comb.c:429:5-431:5) read with thread:[main] (conf. 100) (aget_comb.c:518:5-520:5) read with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1038:6-1038:79) write with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1038:6-1038:79) write with [] (conf. 100) (aget_comb.c:1173:5-1173:36) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1173:5-1173:36) [Success][Race] Memory location req@aget_comb.c:182:16-182:21 (safe): read with thread:[main] (conf. 110) (aget_comb.c:223:5-223:43) read with thread:[main] (conf. 110) (aget_comb.c:229:5-230:18) read with thread:[main] (conf. 110) (aget_comb.c:284:3-284:26) read with thread:[main] (conf. 110) (aget_comb.c:289:5-289:13) read with thread:[main] (conf. 110) (aget_comb.c:472:3-472:97) read with thread:[main] (conf. 110) (aget_comb.c:475:3-476:71) read with thread:[main] (conf. 110) (aget_comb.c:477:3-477:47) read with thread:[main] (conf. 110) (aget_comb.c:479:5-479:50) read with thread:[main] (conf. 110) (aget_comb.c:483:7-484:35) read with thread:[main] (conf. 110) (aget_comb.c:488:5-488:49) read with thread:[main] (conf. 110) (aget_comb.c:492:7-493:35) read with thread:[main] (conf. 110) (aget_comb.c:502:5-503:80) read with thread:[main] (conf. 110) (aget_comb.c:533:3-534:56) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1050:3-1050:60) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1199:3-1199:53) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1201:5-1202:30) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1204:5-1205:31) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1215:3-1215:96) read with thread:[main] (conf. 110) (aget_comb.c:1243:3-1243:53) read with thread:[main] (conf. 110) (aget_comb.c:1245:5-1246:30) read with thread:[main] (conf. 110) (aget_comb.c:1248:5-1249:31) [Warning][Race] Memory location bwritten@aget_comb.c:1061:14-1061:23 (race with conf. 110): read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1050:3-1050:60) read with lock:{bwritten_mutex} (conf. 110) (aget_comb.c:1156:3-1156:32) read with [lock:{bwritten_mutex}, thread:[main, http_get]] (conf. 110) (aget_comb.c:1156:3-1156:32) read with lock:{bwritten_mutex} (conf. 110) (aget_comb.c:1168:5-1168:34) read with [lock:{bwritten_mutex}, thread:[main, http_get]] (conf. 110) (aget_comb.c:1168:5-1168:34) read with [] (conf. 110) (aget_comb.c:1170:5-1170:61) read with thread:[main, http_get] (conf. 110) (aget_comb.c:1170:5-1170:61) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1219:3-1219:30) read with thread:[main] (conf. 110) (aget_comb.c:1269:3-1269:56) write with lock:{bwritten_mutex} (conf. 110) (aget_comb.c:1156:3-1156:32) write with [lock:{bwritten_mutex}, thread:[main, http_get]] (conf. 110) (aget_comb.c:1156:3-1156:32) write with lock:{bwritten_mutex} (conf. 110) (aget_comb.c:1168:5-1168:34) write with [lock:{bwritten_mutex}, thread:[main, http_get]] (conf. 110) (aget_comb.c:1168:5-1168:34) write with thread:[main] (conf. 110) (aget_comb.c:1267:3-1267:40) [Success][Race] Memory location (alloc@sid:299)[?]@aget_comb.c:469:3-469:20 (safe): write with thread:[main] (conf. 90) (aget_comb.c:502:5-503:80) [Warning][Race] Memory location (alloc@sid:195).foffset@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:301).getstr[?]@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location nthreads@aget_comb.c:180:5-180:14 (race with conf. 110): read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1036:3-1040:3) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1216:3-1217:64) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1218:3-1218:24) write with thread:[main] (conf. 110) (aget_comb.c:233:5-233:42) write with thread:[main] (conf. 110) (aget_comb.c:236:7-236:19) write with thread:[main] (conf. 110) (aget_comb.c:352:7-352:19) write with thread:[main] (conf. 110) (aget_comb.c:354:7-354:21) write with thread:[main] (conf. 110) (aget_comb.c:467:3-467:25) [Success][Race] Memory location nthreads@aget_comb.c:180:5-180:14 (safe): read with thread:[main] (conf. 110) (aget_comb.c:234:5-237:5) read with thread:[main] (conf. 110) (aget_comb.c:261:5-265:5) read with thread:[main] (conf. 110) (aget_comb.c:357:3-357:70) read with thread:[main] (conf. 110) (aget_comb.c:359:3-360:91) read with thread:[main] (conf. 110) (aget_comb.c:401:3-424:3) read with thread:[main] (conf. 110) (aget_comb.c:402:5-402:58) read with thread:[main] (conf. 110) (aget_comb.c:404:5-404:62) read with thread:[main] (conf. 110) (aget_comb.c:407:5-411:5) read with thread:[main] (conf. 110) (aget_comb.c:427:3-433:3) read with thread:[main] (conf. 110) (aget_comb.c:434:3-438:3) read with thread:[main] (conf. 110) (aget_comb.c:470:3-470:74) read with thread:[main] (conf. 110) (aget_comb.c:473:3-474:64) read with thread:[main] (conf. 110) (aget_comb.c:475:3-476:71) read with thread:[main] (conf. 110) (aget_comb.c:499:3-509:3) read with thread:[main] (conf. 110) (aget_comb.c:511:3-514:3) read with thread:[main] (conf. 110) (aget_comb.c:516:3-522:3) read with thread:[main] (conf. 110) (aget_comb.c:523:3-527:3) [Warning][Race] Memory location (struct thread_data).soffset (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1148:3-1148:27) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1148:3-1148:27) read with [] (conf. 100) (aget_comb.c:1150:5-1150:60) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1150:5-1150:60) read with [] (conf. 100) (aget_comb.c:1152:5-1152:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1152:5-1152:48) read with [] (conf. 100) (aget_comb.c:1154:3-1154:39) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1154:3-1154:39) write with thread:[main] (conf. 100) (aget_comb.c:406:6-406:37) write with thread:[main] (conf. 100) (aget_comb.c:500:6-500:51) [Success][Race] Memory location (alloc@sid:904)[?]@aget_comb.c:1242:3-1242:24 (safe): read with thread:[main] (conf. 90) (aget_comb.c:1252:3-1252:79) read with thread:[main] (conf. 90) (aget_comb.c:1270:3-1270:42) Summary for all memory locations: safe: 64 vulnerable: 32 unsafe: 31 ------------------- total: 127 vars = 0 evals = 0 narrow_reuses = 0 aborts = 0 Timings: TOTAL 0.104 s parse 0.017 s convert to CIL 0.025 s compareCilFiles 0.010 s analysis 0.054 s global_inits 0.002 s solving 0.038 s postsolver 0.010 s warn_global 0.007 s access 0.007 s Timing used Memory statistics: total=145.87MB, max=14.97MB, minor=137.36MB, major=16.31MB, promoted=7.80MB minor collections=69 major collections=5 compactions=0 === APPENDED BY BENCHMARKING SCRIPT === Analysis began: 2022-03-09 11:26:01 +0200 Analysis ended: 2022-03-09 11:26:01 +0200 Duration: 0.18 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 2 --enable incremental.load --set save_run increment aget_comb.c --enable dbg.uncalled --enable allglobs --enable printstats 1>/home/simmo/dev/goblint/sv-comp/goblint-bench/bench_result/aget_comb.Fuel2.txt 2>&1