./goblint --conf /mnt/goblint-svcomp/goblint-bench/bench/index/conf/concrat.json --enable ana.sv-comp.enabled --disable witness.enabled --set 'lib.activated[+]' zlib --set 'lib.activated[+]' pcre --set 'lib.activated[+]' liblzma --sets ana.specification /mnt/goblint-svcomp/goblint-bench/bench/concrat/properties/no-data-race.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c


--------------------------------------------------------------------------------


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )
[Info][Imprecise] Invalidating expressions: AddrOf(Var(now, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:350:3-350:26)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:351:3-351:38)
[Info][Imprecise] Invalidating expressions: Lval(Var(stdout, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:355:3-355:17)
[Info][Unsound] Unknown address in stdout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:355:3-355:17)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:355:3-355:17)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:355:3-355:17)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(rt, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:357:3-358:83)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(attr, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:365:3-365:32)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(attr, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:366:3-366:39)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(pthread_cond_t, TComp(union __anonunion_pthread_cond_t_951761805, __data : TComp(struct __pthread_cond_s, __annonCompField1 : TComp(union __anonunion____missing_field_name_648058633, __wseq : TInt(unsigned long long, ), __wseq32 : TComp(struct __anonstruct___wseq32_112954846, __low : TInt(unsigned int, ), __high : TInt(unsigned int, ), , ), , ), __annonCompField2 : TComp(union __anonunion____missing_field_name_648058633, __wseq : TInt(unsigned long long, ), __wseq32 : TComp(struct __anonstruct___wseq32_112954846, __low : TInt(unsigned int, ), __high : TInt(unsigned int, ), , ), , ), __g_refs : TArray(TInt(unsigned int, ), Some(Const(Int(2,int,2))), ), __g_size : TArray(TInt(unsigned int, ), Some(Const(Int(2,int,2))), ), __g1_orig_size : TInt(unsigned int, ), __wrefs : TInt(unsigned int, ), __g_signals : TArray(TInt(unsigned int, ), Some(Const(Int(2,int,2))), ), , ), __size : TArray(TInt(char, ), Some(Const(Int(48,int,48))), ), __align : TInt(long long, ), , ), ),  __restrict  ), AddrOf(Var(monotonic_cond, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:367:3-367:120)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(now, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:368:3-368:26)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:369:3-369:38)
[Info][Imprecise] Invalidating expressions: Lval(Var(stdout, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:374:3-374:17)
[Info][Unsound] Unknown address in stdout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:374:3-374:17)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:374:3-374:17)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:374:3-374:17)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(rt, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:376:3-377:83)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(sa, Field(sa_mask:TNamed(__sigset_t, TComp(struct __anonstruct___sigset_t_991265788, __val : TArray(TInt(unsigned long, ), Some(/(Const(Int(400,unsigned long,1024UL)), *(Const(Int(8,unsigned long,8UL)), sizeof(TInt(unsigned long, ))))), ), , ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:429:3-429:28)
[Info][Unsound] Unknown address in {&sa} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:430:3-430:113)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:430:3-430:113)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TComp(struct sigaction, __sigaction_handler : TComp(union __anonunion___sigaction_handler_363639592, sa_handler : TPtr(TFun(TVoid(), : TInt(int, ), ), ), sa_sigaction : TPtr(TFun(TVoid(), : TInt(int, ), : TPtr(TNamed(siginfo_t, TComp(struct __anonstruct_siginfo_t_1066041944, si_signo : TInt(int, ), si_errno : TInt(int, ), si_code : TInt(int, ), __pad0 : TInt(int, ), _sifields : TComp(union __anonunion__sifields_838399793, _pad : TArray(TInt(int, ), Some(MinusA(/(Const(Int(80,unsigned long,128UL)), sizeof(TInt(int, ))), Const(Int(4,unsigned long,4UL)))), ), _kill : TComp(struct __anonstruct__kill_244518854, si_pid : TNamed(__pid_t, TInt(int, ), ), si_uid : TNamed(__uid_t, TInt(unsigned int, ), ), , ), _timer : TComp(struct __anonstruct__timer_490064738, si_tid : TInt(int, ), si_overrun : TInt(int, ), si_sigval : TNamed(__sigval_t, TComp(union sigval, sival_int : TInt(int, ), sival_ptr : TPtr(TVoid(), ), , ), ), , ), _rt : TComp(struct __anonstruct__rt_619254530, si_pid : TNamed(__pid_t, TInt(int, ), ), si_uid : TNamed(__uid_t, TInt(unsigned int, ), ), si_sigval : TNamed(__sigval_t, TComp(union sigval, sival_int : TInt(int, ), sival_ptr : TPtr(TVoid(), ), , ), ), , ), _sigchld : TComp(struct __anonstruct__sigchld_284671705, si_pid : TNamed(__pid_t, TInt(int, ), ), si_uid : TNamed(__uid_t, TInt(unsigned int, ), ), si_status : TInt(int, ), si_utime : TNamed(__clock_t, TInt(long, ), ), si_stime : TNamed(__clock_t, TInt(long, ), ), , ), _sigfault : TComp(struct __anonstruct__sigfault_2227063, si_addr : TPtr(TVoid(), ), si_addr_lsb : TInt(short, ), _bounds : TComp(union __anonunion__bounds_445958387, _addr_bnd : TComp(struct __anonstruct__addr_bnd_5259977, _lower : TPtr(TVoid(), ), _upper : TPtr(TVoid(), ), , ), _pkey : TNamed(__uint32_t, TInt(unsigned int, ), ), , ), , ), _sigpoll : TComp(struct __anonstruct__sigpoll_386613454, si_band : TInt(long, ), si_fd : TInt(int, ), , ), _sigsys : TComp(struct __anonstruct__sigsys_44812255, _call_addr : TPtr(TVoid(), ), _syscall : TInt(int, ), _arch : TInt(unsigned int, ), , ), , ), , ), ), ), : TPtr(TVoid(), ), ), ), , ), sa_mask : TNamed(__sigset_t, TComp(struct __anonstruct___sigset_t_991265788, __val : TArray(TInt(unsigned long, ), Some(/(Const(Int(400,unsigned long,1024UL)), *(Const(Int(8,unsigned long,8UL)), sizeof(TInt(unsigned long, ))))), ), , ), ), sa_flags : TInt(int, ), sa_restorer : TPtr(TFun(TVoid(), , ), ), , ),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:430:3-430:113)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:430:3-430:113)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:430:3-430:113)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:430:3-430:113)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(mask, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:436:3-436:22)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(mask, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:437:3-437:24)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(sigset_t, TNamed(__sigset_t, TComp(struct __anonstruct___sigset_t_991265788, __val : TArray(TInt(unsigned long, ), Some(/(Const(Int(400,unsigned long,1024UL)), *(Const(Int(8,unsigned long,8UL)), sizeof(TInt(unsigned long, ))))), ), , ), ), ),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:438:3-438:104)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:438:3-438:104)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TComp(struct sigevent, sigev_value : TNamed(__sigval_t, TComp(union sigval, sival_int : TInt(int, ), sival_ptr : TPtr(TVoid(), ), , ), ), sigev_signo : TInt(int, ), sigev_notify : TInt(int, ), _sigev_un : TComp(union __anonunion__sigev_un_577170306, _pad : TArray(TInt(int, ), Some(MinusA(/(Const(Int(40,unsigned long,64UL)), sizeof(TInt(int, ))), Const(Int(4,unsigned long,4UL)))), ), _tid : TNamed(__pid_t, TInt(int, ), ), _sigev_thread : TComp(struct __anonstruct__sigev_thread_746770901, _function : TPtr(TFun(TVoid(), : TNamed(__sigval_t, TComp(union sigval, sival_int : TInt(int, ), sival_ptr : TPtr(TVoid(), ), , ), ), ), ), _attribute : TPtr(TNamed(pthread_attr_t, TComp(union pthread_attr_t, __size : TArray(TInt(char, ), Some(Const(Int(56,int,56))), ), __align : TInt(long, ), , ), ), ), , ), , ), , ),  __restrict  ), AddrOf(Var(sev, NoOffset))), CastE(TPtr(TNamed(timer_t, TNamed(__timer_t, TPtr(TVoid(), ), ), ),  __restrict  ), AddrOf(Var(timerid1, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:446:3-446:105)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:446:3-446:105)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TComp(struct itimerspec, it_interval : TComp(struct timespec, tv_sec : TNamed(__time_t, TInt(long, ), ), tv_nsec : TNamed(__syscall_slong_t, TInt(long, ), ), , ), it_value : TComp(struct timespec, tv_sec : TNamed(__time_t, TInt(long, ), ), tv_nsec : TNamed(__syscall_slong_t, TInt(long, ), ), , ), , ),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:455:3-456:72)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:455:3-456:72)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TComp(struct sigevent, sigev_value : TNamed(__sigval_t, TComp(union sigval, sival_int : TInt(int, ), sival_ptr : TPtr(TVoid(), ), , ), ), sigev_signo : TInt(int, ), sigev_notify : TInt(int, ), _sigev_un : TComp(union __anonunion__sigev_un_577170306, _pad : TArray(TInt(int, ), Some(MinusA(/(Const(Int(40,unsigned long,64UL)), sizeof(TInt(int, ))), Const(Int(4,unsigned long,4UL)))), ), _tid : TNamed(__pid_t, TInt(int, ), ), _sigev_thread : TComp(struct __anonstruct__sigev_thread_746770901, _function : TPtr(TFun(TVoid(), : TNamed(__sigval_t, TComp(union sigval, sival_int : TInt(int, ), sival_ptr : TPtr(TVoid(), ), , ), ), ), ), _attribute : TPtr(TNamed(pthread_attr_t, TComp(union pthread_attr_t, __size : TArray(TInt(char, ), Some(Const(Int(56,int,56))), ), __align : TInt(long, ), , ), ), ), , ), , ), , ),  __restrict  ), AddrOf(Var(sev, NoOffset))), CastE(TPtr(TNamed(timer_t, TNamed(__timer_t, TPtr(TVoid(), ), ), ),  __restrict  ), AddrOf(Var(timerid2, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:462:3-462:105)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:462:3-462:105)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(its, Field(it_value:TComp(struct timespec, tv_sec : TNamed(__time_t, TInt(long, ), ), tv_nsec : TNamed(__syscall_slong_t, TInt(long, ), ), , ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:467:3-467:35)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:468:3-468:28)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TComp(struct itimerspec, it_interval : TComp(struct timespec, tv_sec : TNamed(__time_t, TInt(long, ), ), tv_nsec : TNamed(__syscall_slong_t, TInt(long, ), ), , ), it_value : TComp(struct timespec, tv_sec : TNamed(__time_t, TInt(long, ), ), tv_nsec : TNamed(__syscall_slong_t, TInt(long, ), ), , ), , ),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:471:3-472:72)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:471:3-472:72)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(now, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:477:3-477:14)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:478:3-478:43)
[Info][Unsound] Unknown address in {&tmp___5} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:478:3-478:43)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:478:3-478:43)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:479:3-480:18)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(time_t, TNamed(__time_t, TInt(long, ), ), ), ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:481:3-481:40)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___6, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:481:3-481:40)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tb, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:484:3-484:14)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___7, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:485:3-485:47)
[Info][Unsound] Unknown address in {&tmp___7} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:485:3-485:47)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:485:3-485:47)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:486:3-487:18)
[Info][Imprecise] Invalidating expressions: Lval(Var(stdout, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:489:3-489:17)
[Info][Unsound] Unknown address in stdout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:489:3-489:17)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:489:3-489:17)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:489:3-489:17)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TComp(struct timeval, tv_sec : TNamed(__time_t, TInt(long, ), ), tv_usec : TNamed(__suseconds_t, TInt(long, ), ), , ),  __restrict  ), AddrOf(Var(tv, NoOffset))), CastE(TPtr(TVoid(),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:494:3-494:86)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___8, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:495:3-495:49)
[Info][Unsound] Unknown address in {&tmp___8} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:495:3-495:49)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:495:3-495:49)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:496:3-497:18)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(sigset_t, TNamed(__sigset_t, TComp(struct __anonstruct___sigset_t_991265788, __val : TArray(TInt(unsigned long, ), Some(/(Const(Int(400,unsigned long,1024UL)), *(Const(Int(8,unsigned long,8UL)), sizeof(TInt(unsigned long, ))))), ), , ), ), ),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:498:3-498:104)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___9, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:498:3-498:104)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(ts, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:503:3-503:25)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___10, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:504:3-504:50)
[Info][Unsound] Unknown address in {&tmp___10} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:504:3-504:50)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:504:3-504:50)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:505:3-506:19)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___11, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:507:3-507:40)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(its, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:513:3-513:33)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___12, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:514:3-514:40)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(its, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:520:3-520:33)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TComp(struct stat, st_dev : TNamed(__dev_t, TInt(unsigned long, ), ), st_ino : TNamed(__ino_t, TInt(unsigned long, ), ), st_nlink : TNamed(__nlink_t, TInt(unsigned long, ), ), st_mode : TNamed(__mode_t, TInt(unsigned int, ), ), st_uid : TNamed(__uid_t, TInt(unsigned int, ), ), st_gid : TNamed(__gid_t, TInt(unsigned int, ), ), __pad0 : TInt(int, ), st_rdev : TNamed(__dev_t, TInt(unsigned long, ), ), st_size : TNamed(__off_t, TInt(long, ), ), st_blksize : TNamed(__blksize_t, TInt(long, ), ), st_blocks : TNamed(__blkcnt_t, TInt(long, ), ), st_atim : TComp(struct timespec, tv_sec : TNamed(__time_t, TInt(long, ), ), tv_nsec : TNamed(__syscall_slong_t, TInt(long, ), ), , ), st_mtim : TComp(struct timespec, tv_sec : TNamed(__time_t, TInt(long, ), ), tv_nsec : TNamed(__syscall_slong_t, TInt(long, ), ), , ), st_ctim : TComp(struct timespec, tv_sec : TNamed(__time_t, TInt(long, ), ), tv_nsec : TNamed(__syscall_slong_t, TInt(long, ), ), , ), __glibc_reserved : TArray(TNamed(__syscall_slong_t, TInt(long, ), ), Some(Const(Int(3,int,3))), ), , ),  __restrict  ), AddrOf(Var(buf, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:521:3-521:83)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:521:3-521:83)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___13, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:522:3-522:59)
[Info][Unsound] Unknown address in {&tmp___13} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:522:3-522:59)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:522:3-522:59)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/libfaketime/main.c:523:3-524:19)
[Info][Deadcode] Logical lines of code (LLoC) summary:
  live: 143
  dead: 0
  total lines: 143
SV-COMP result: true
[Info][Race] Memory locations race summary:
  safe: 3
  vulnerable: 0
  unsafe: 0
  total memory locations: 3
