2022-03-09 11:25:58 /home/simmo/dev/goblint/sv-comp/analyzer/goblint --conf /home/simmo/dev/goblint/sv-comp/goblint-bench/index/conf/td3.json -v --set dbg.timeout 60 --enable incremental.save --set save_run original 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 And now... the Goblin! Startfuns: [main] Exitfuns: [] Otherfuns: [] Using new format for phases! Activated analyses for phase 0: expRelation, base, threadid, threadflag, threadreturn, escape, mutex, access, mallocWrapper Activated transformations for phase 0: Generating the control flow graph. Initializing 12 globals. Executing 18 assigns. Solving the constraint system with td3. Solver statistics are shown every 10s or by signal sigusr1. Unstable solver start vars in 1. phase: call of main on aget_comb.c:185:1-293:1 warn_type join: incomparable abstr. values Int and Struct at aget_comb.c:229:5-230:18: (0,[0,0]) and mapping { clength -> Unknown file -> (Array: Unknown, (512,[512,512])) host -> (Array: Unknown, (1024,[1024,1024])) ip -> (Array: Unknown, (16,[16,16])) lfile -> (Array: Unknown, (512,[512,512])) password -> (Array: Unknown, (512,[512,512])) port -> Unknown proto -> Unknown url -> (Array: Unknown, (1024,[1024,1024])) username -> (Array: Unknown, (512,[512,512])) } warn_type leq: incomparable abstr. values Thread and Int at aget_comb.c:506:5-507:66: {[main, http_get]} and (Unknown int([0,64]),[0,18446744073709551615]) Data after solve completed: |rho|=2578 |stable|=2229 |infl|=2578 |wpoint|=4 |side_dep|=0 |side_infl|=0 Postsolving [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:215:7-217:7) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:222:5-223:43) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:225:5-226:19) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:228:5-230:18) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:232:5-233:42) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:239:5-240:68) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:244:5-246:34) [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) [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][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) [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][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][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) [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] 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) [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] 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][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, NoOffset)) (aget_comb.c:810:3-810:34) [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 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][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:815:3-815:30) [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) [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:818:3-825:3) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (aget_comb.c:819:5-819:40) [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][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][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][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][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: CastE(TPtr(TVoid(), ), Lval(Var(lfmt, NoOffset))) (aget_comb.c:827:3-827:21) [Info][Imprecise] Invalidating expressions: AddrOf(Var(signal_set, NoOffset)) (aget_comb.c:199:3-199:28) [Info][Imprecise] Invalidating expressions: AddrOf(Var(signal_set, NoOffset)), Const(Int(2,int,2)) (aget_comb.c:200:3-200:29) [Info][Imprecise] Invalidating expressions: AddrOf(Var(signal_set, NoOffset)), Const(Int(14,int,14)) (aget_comb.c:201:3-201:30) [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(ret, NoOffset)) (aget_comb.c:203:3-204:73) [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: CastE(TPtr(TInt(int, ), __restrict ), AddrOf(Var(signal___0, NoOffset))) (aget_comb.c:1018:5-1018:93) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:1020:5-1021:21) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:1023:5-1024:22) [Info][Unsound] Unknown value type given as function argument (aget_comb.c:1050:3-1050:60) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:841:5-843:5) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:848:5-848:11) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:850:3-850:15) [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) [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][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][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) [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][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___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___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) [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(), __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: 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) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1219:3-1219:30) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1222:3-1222:97) [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___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) [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) [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) [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) [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: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) [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(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][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: 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, 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] 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][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) [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: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][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:610:9-622:9) [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:601:9-601:13) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:603:9-603:40) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:593:3-631:3) [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) [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:606:7-606:11) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (aget_comb.c:779:3-779:34) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:780:3-780:19) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:791:5-791:9) [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) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), Lval(Var(str, NoOffset))) (aget_comb.c:795:3-795:85) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(p, NoOffset))) (aget_comb.c:796:3-796:18) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:619:13-619:44) [Warning][Integer > Overflow][CWE-191] Signed integer underflow (aget_comb.c:625:7-625:11) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:628:5-628:26) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:634:3-642:3) [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:639:5-639:25) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:646:3-654:3) [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] Write to unknown address: privatization is unsound. (aget_comb.c:651:5-651:26) [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][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][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (aget_comb.c:810:3-810:34) [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) [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) [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][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][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) [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][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) [Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (aget_comb.c:1267:3-1267:40) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___6, NoOffset)) (aget_comb.c:1270:3-1270:42) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1271:3-1276:3) [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][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][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: CastE(TPtr(TVoid(), ), Lval(Var(logfile, NoOffset))) (aget_comb.c:1277:3-1277:24) [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) [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][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (aget_comb.c:929:3-929:45) [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: 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) [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][Unsound] Unknown address given as function argument (aget_comb.c:938:5-938:85) [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: 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(t_start, NoOffset)) (aget_comb.c:944:3-944:18) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), AddrOf(Var(sin, NoOffset))) (aget_comb.c:945:3-945:38) [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][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) [Info][Imprecise] Invalidating expressions: AddrOf(Var(sd, NoOffset)) (aget_comb.c:949:3-949:23) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:950:3-955:3) [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][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] Unknown address given as function argument (aget_comb.c:953:5-953:72) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___9, NoOffset)) (aget_comb.c:956:3-956:71) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:957:3-962:3) [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) [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) [Info][Unsound] Unknown address given as function argument (aget_comb.c:960:5-960:67) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), Lval(Var(sbuf, NoOffset))) (aget_comb.c:964:3-965:62) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___12, NoOffset)) (aget_comb.c:966:3-966:40) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___13, NoOffset)) (aget_comb.c:967:3-967:55) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:968:3-973:3) [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___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][Unsound] Unknown address given as function argument (aget_comb.c:971:5-971:62) [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) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:975:3-980:3) [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___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][Unsound] Unknown address given as function argument (aget_comb.c:978:5-978:62) [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___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, 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) [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][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___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) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___17, NoOffset)) (aget_comb.c:992:9-992:46) [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) [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: CastE(TPtr(TVoid(), ), Lval(Var(sbuf, NoOffset))) (aget_comb.c:999:3-999:21) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(rbuf, NoOffset))) (aget_comb.c:1000:3-1000:21) [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) [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:372:5-372:54) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:373:5-379:5) [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(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][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][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) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:364:5-370:5) [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___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][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) [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) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:382:3-388:3) [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][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) [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___10, NoOffset)) (aget_comb.c:389:3-389:46) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:390:3-396:3) [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) [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 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) [Info][Imprecise] Invalidating expressions: AddrOf(Var(t_start, NoOffset)) (aget_comb.c:399:3-399:18) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (aget_comb.c:750:3-750:41) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:406:6-406:37) [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) [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][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:412:6-412:54) [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(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(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) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:416:6-416:53) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), Lval(Var(fmt, NoOffset))) (aget_comb.c:417:5-418:74) [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][Unsound] Unknown address given as function argument (aget_comb.c:421:5-422:66) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tid, NoOffset)) (aget_comb.c:1089:3-1089:23) [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) [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) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1093:3-1093:24) [Info][Imprecise] Invalidating expressions: AddrOf(Var(sd, NoOffset)) (aget_comb.c:1096:3-1096:23) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1097:3-1102: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) [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) [Info][Unsound] Unknown address given as function argument (aget_comb.c:1100:5-1100:74) [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) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1104:3-1109:3) [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: 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 given as function argument (aget_comb.c:1107:5-1107:69) [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___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:1112:3-1117:3) [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) [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) [Info][Unsound] Unknown address given as function argument (aget_comb.c:1115:5-1115:63) [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) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1119:3-1124:3) [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) [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) [Info][Unsound] Unknown address given as function argument (aget_comb.c:1122:5-1122:64) [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][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:1145:5-1145:9) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1146:5-1146:9) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1138:13-1138:17) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:1139:13-1139:17) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1148:3-1148:27) [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: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) [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-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][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1158:3-1171:3) [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) [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) [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) [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) [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) [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][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) [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) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:1173:5-1173:36) [Info][Imprecise] Invalidating expressions: Lval(Var(sd, NoOffset)) (aget_comb.c:1175:3-1175:12) [Info][Imprecise] Invalidating expressions: AddrOf(Var(tid, NoOffset)) (aget_comb.c:1089:3-1089:23) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:421:5-422:66) [Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(fmt, NoOffset))) (aget_comb.c:425:3-425:20) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:428:5-428:59) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:429:5-431:5) [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:434:3-438:3) [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][Imprecise] Invalidating expressions: AddrOf(Var(t_finish, NoOffset)) (aget_comb.c:439:3-439:19) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (aget_comb.c:440:3-440:40) [Info][Imprecise] Invalidating expressions: Lval(Var(fd, NoOffset)) (aget_comb.c:447:3-447:12) [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) [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) [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___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) [Info][Imprecise] Invalidating expressions: AddrOf(Var(fd, NoOffset)) (aget_comb.c:488:5-488:49) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:489:5-495:5) [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][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) [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(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) [Warning][Integer > Overflow][CWE-190] Signed integer overflow (aget_comb.c:480:5-486:5) [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][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][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(t_start, NoOffset)) (aget_comb.c:497:3-497:18) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:500:6-500:51) [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][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][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) [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][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:512:5-512:59) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:517:5-517:59) [Info][Unsound] Write to unknown address: privatization is unsound. (aget_comb.c:518:5-520:5) [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:523:3-527:3) [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][Imprecise] Invalidating expressions: AddrOf(Var(t_finish, NoOffset)) (aget_comb.c:528:3-528:19) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (aget_comb.c:529:3-529:40) [Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (aget_comb.c:533:3-534:56) [Info][Imprecise] Invalidating expressions: Lval(Var(fd, NoOffset)) (aget_comb.c:536:3-536:12) Saving the solver result to original/solver.marshalled Data after postsolve: |rho|=1606 |stable|=1605 |infl|=1606 |wpoint|=4 |side_dep|=327 |side_infl|=499 Saving the current configuration to original/config.json, meta-data about this run to original/meta.json, and solver statistics to original/solver_stats.csv runtime: 00:00:01.243 vars: 2578, evals: 4728 max updates: 6 for var node 439 "k > 512" on aget_comb.c:612:13-615:13 |rho|=1606 |called|=0 |stable|=1605 |infl|=1606 |wpoint|=4 |side_dep|=327 |side_infl|=499 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=2328.65MB, max=18.18MB, minor=2325.27MB, major=29.00MB, promoted=25.62MB minor collections=1112 major collections=8 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) [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) [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: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) [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) [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: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) [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) [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: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) [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 (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) [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 (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 (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: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 (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: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: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 = 2578 evals = 4728 narrow_reuses = 225 aborts = 0 Timings: TOTAL 1.193 s parse 0.013 s convert to CIL 0.013 s analysis 1.169 s global_inits 0.002 s solving 1.133 s S.Dom.equal 0.006 s postsolver 0.251 s warn_global 0.007 s access 0.007 s Timing used Memory statistics: total=2343.41MB, max=18.18MB, minor=2339.88MB, major=29.51MB, promoted=25.99MB minor collections=1120 major collections=9 compactions=0 === APPENDED BY BENCHMARKING SCRIPT === Analysis began: 2022-03-09 11:25:58 +0200 Analysis ended: 2022-03-09 11:25:59 +0200 Duration: 1.29 s Goblint params: /home/simmo/dev/goblint/sv-comp/analyzer/goblint --conf /home/simmo/dev/goblint/sv-comp/goblint-bench/index/conf/td3.json -v --set dbg.timeout 60 --enable incremental.save --set save_run original aget_comb.c --enable dbg.uncalled --enable allglobs --enable printstats 1>/home/simmo/dev/goblint/sv-comp/goblint-bench/bench_result/aget_comb.FromScratch.txt 2>&1