./goblint --conf conf/examples/large-program.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/fzy/main.c


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
Option warning: ana.base.context.int implicitly disabled by ana.base.context.non-ptr
Option warning: ana.base.context.interval implicitly disabled by ana.base.context.int
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:564:3-564:39)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:564:3-564:39)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:564:3-564:39)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1974:3-1974:24)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1974:3-1974:24)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(int, ), ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1976:5-1977:40)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(c, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1976:5-1977:40)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1976:5-1977:40)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2052:5-2052:37)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1927:3-1927:82)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1927:3-1927:82)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1927:3-1927:82)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1927:3-1927:82)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2052:5-2052:37)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2025:5-2025:50)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(l, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2027:7-2028:28)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2027:7-2028:28)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2027:7-2028:28)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2037:9-2038:24)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2037:9-2038:24)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2037:9-2038:24)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2037:9-2038:24)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2039:9-2039:104)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2039:9-2039:104)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2039:9-2039:104)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2039:9-2039:104)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2040:9-2040:41)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2040:9-2040:41)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2030:9-2031:24)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2030:9-2031:24)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2030:9-2031:24)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2030:9-2031:24)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2032:9-2032:104)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2032:9-2032:104)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2032:9-2032:104)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2032:9-2032:104)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2033:9-2033:41)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2033:9-2033:41)
[Info][Imprecise] Invalidating expressions: AddrOf(Mem(Lval(Var(options, NoOffset)), Field(workers:TInt(unsigned int, ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2017:5-2018:41)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2017:5-2018:41)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2017:5-2018:41)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2020:7-2020:39)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2020:7-2020:39)
[Info][Imprecise] Invalidating expressions: AddrOf(Mem(Lval(Var(options, NoOffset)), Field(benchmark:TInt(int, ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2000:7-2001:41)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2000:7-2001:41)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2000:7-2001:41)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2003:9-2003:41)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2003:9-2003:41)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1983:5-1984:24)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2057:5-2057:37)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2057:5-2057:37)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:565:3-565:37)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:565:3-565:37)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:565:3-565:37)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:565:3-565:37)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1610:3-1610:34)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1610:3-1610:34)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1610:3-1610:34)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1578:3-1578:78)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer buffer in function realloc is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1498:3-1498:33)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1498:3-1498:33)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1579:3-1579:34)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1614:5-1614:26)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1617:3-1617:26)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1617:3-1617:26)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1617:3-1617:26)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)c->results in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1589:3-1589:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1589:3-1589:27)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:568:7-568:121)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:568:7-568:121)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:568:7-568:121)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:568:7-568:121)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:571:5-571:61)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:571:5-571:61)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:571:5-571:61)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:571:5-571:61)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1529:3-1529:50)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1530:3-1530:26)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(),  __restrict  ), PlusPI(Lval(Mem(Lval(Var(c, NoOffset)), Field(buffer:TPtr(TInt(char, ), ), NoOffset))), Lval(Mem(Lval(Var(c, NoOffset)), Field(buffer_size:TNamed(size_t, TInt(unsigned long, ), ), NoOffset))))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1532:5-1533:73)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Var(file, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1532:5-1533:73)
[Info][Unsound] Unknown address in (FILE * __restrict  )file has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1532:5-1533:73)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1532:5-1533:73)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1532:5-1533:73)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1532:5-1533:73)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1540:5-1540:56)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1541:5-1541:32)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1543:3-1543:66)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1544:3-1544:30)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1547:3-1547:41)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1551:5-1551:64)
[Info][Unsound] Unknown address in {&tmp___5} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1551:5-1551:64)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1551:5-1551:64)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1551:5-1551:64)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1556:7-1556:31)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1558:9-1558:14)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1559:7-1559:41)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1559:7-1559:41)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1559:7-1559:41)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1559:7-1559:41)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1648:3-1648:26)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1648:3-1648:26)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1648:3-1648:26)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1650:5-1650:41)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1650:5-1650:41)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1650:5-1650:41)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1654:3-1654:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:574:7-574:48)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:574:7-574:48)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:574:7-574:48)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:574:7-574:48)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1822:3-1822:26)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1822:3-1822:26)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1822:3-1822:26)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1825:3-1825:23)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1826:3-1826:19)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1826:3-1826:19)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1826:3-1826:19)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1826:3-1826:19)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1827:3-1827:86)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1829:5-1829:104)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1829:5-1829:104)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1829:5-1829:104)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1829:5-1829:104)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1833:3-1833:42)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1837:6-1837:29)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1838:6-1838:49)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1839:6-1839:44)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1841:6-1841:65)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1842:5-1842:33)
[Info][Unsound] Unknown address in {&tmp___3} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1842:5-1842:33)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1842:5-1842:33)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1843:5-1845:64)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1843:5-1845:64)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1769:3-1769:15)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1770:3-1770:38)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1770:3-1770:38)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1779:7-1779:54)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1779:7-1779:54)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:751:10-751:17)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:751:10-751:17)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:754:5-754:22)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:754:5-754:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:755:5-755:40)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:734:5-734:36)
[Info][Unsound] Unknown address in {&tmp___0} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:734:5-734:36)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:734:5-734:36)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:735:5-735:40)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:735:5-735:40)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:740:3-740:47)
[Info][Unsound] Unknown address in {&tmp___1} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:740:3-740:47)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:740:3-740:47)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:740:3-740:47)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1779:7-1779:54)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1781:10-1781:63)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1781:10-1781:63)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1782:10-1782:85)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1782:10-1782:85)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:918:7-918:16)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:918:7-918:16)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:922:3-922:52)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:796:3-796:23)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:796:3-796:23)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:798:3-798:29)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:798:3-798:29)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:808:9-808:36)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:811:7-811:38)
[Info][Unsound] Unknown address in {&tmp___2} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:811:7-811:38)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:811:7-811:38)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:812:7-812:54)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:812:7-812:54)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:819:9-819:42)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:822:7-822:38)
[Info][Unsound] Unknown address in {&tmp___4} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:822:7-822:38)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:822:7-822:38)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:823:7-823:64)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:823:7-823:64)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:828:3-828:53)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:774:10-774:25)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:775:5-775:32)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1782:10-1782:85)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1783:10-1783:26)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1773:5-1773:47)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1671:3-1671:34)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1672:3-1672:26)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1672:3-1672:26)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1673:3-1673:26)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1673:3-1673:26)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1674:7-1674:44)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1674:7-1674:44)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1675:5-1675:42)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1675:5-1675:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1677:3-1677:24)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1677:3-1677:24)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1678:3-1678:36)
[Info][Unsound] Unknown mutex unlocked, base privatization unsound (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1678:3-1678:36)
[Warning][Unknown] unlocking unknown mutex which may not be held (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1678:3-1678:36)
[Warning][Unknown] unlocking mutex (NULL) which may not be held (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1678:3-1678:36)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1788:3-1788:88)
[Info][Unsound] Unknown address given as function argument (lib/libc/stub/src/stdlib.c:11:7-11:43)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1479:7-1479:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1480:9-1480:56)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1486:7-1486:26)
[Info][Unsound] Write to unknown address: privatization is unsound. (lib/libc/stub/src/stdlib.c:24:16-24:22)
[Info][Unsound] Write to unknown address: privatization is unsound. (lib/libc/stub/src/stdlib.c:25:11-25:18)
[Info][Unsound] Write to unknown address: privatization is unsound. (lib/libc/stub/src/stdlib.c:26:11-26:17)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1788:3-1788:88)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1790:10-1790:56)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1791:5-1791:61)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1792:9-1792:54)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1792:9-1792:54)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1795:5-1795:33)
[Info][Unsound] Unknown address in {&tmp___0} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1795:5-1795:33)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1795:5-1795:33)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1796:5-1796:90)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1796:5-1796:90)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1796:5-1796:90)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1797:5-1797:23)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1797:5-1797:23)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1802:5-1802:72)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1718:5-1718:98)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1730:7-1730:57)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1724:7-1724:57)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1738:5-1738:55)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1745:5-1745:55)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)list1.list in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1747:3-1747:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1747:3-1747:27)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)list2.list in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1748:3-1748:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1748:3-1748:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1802:5-1802:72)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1843:5-1845:64)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1846:5-1846:23)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1846:5-1846:23)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1853:3-1853:73)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1853:3-1853:73)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1853:3-1853:73)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1858:3-1858:42)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1858:3-1858:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1859:3-1859:44)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1859:3-1859:44)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)workers in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1860:3-1860:24)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1860:3-1860:24)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:579:5-579:61)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:579:5-579:61)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:579:5-579:61)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:579:5-579:61)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:580:5-580:46)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:580:5-580:46)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:580:5-580:46)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:580:5-580:46)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:583:7-583:45)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:583:7-583:45)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:583:7-583:45)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:588:9-588:49)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:588:9-588:49)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:588:9-588:49)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1883:3-1883:35)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:591:7-591:46)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:591:7-591:46)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:591:7-591:46)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1872:5-1872:35)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:592:7-592:56)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:596:5-596:24)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:598:7-598:63)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:598:7-598:63)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:598:7-598:63)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:598:7-598:63)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:600:5-600:42)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:600:5-600:42)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:600:5-600:42)
[Info][Imprecise] Invalidating expressions: AddrOf(Mem(Lval(Var(tty, NoOffset)), Field(fdin:TInt(int, ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1158:3-1158:36)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1158:3-1158:36)
[Info][Imprecise] Invalidating expressions: AddrOf(Mem(Lval(Var(tty, NoOffset)), Field(fout:TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1163:3-1163:91)
[Info][Unsound] Unknown address in {&tty.fout} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1163:3-1163:91)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1163:3-1163:91)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1163:3-1163:91)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1168:3-1169:34)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Mem(Lval(Var(tty, NoOffset)), Field(fout:TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ), ), NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1168:3-1169:34)
[Info][Unsound] Unknown address in (FILE * __restrict  )tty->fout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1168:3-1169:34)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1168:3-1169:34)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1168:3-1169:34)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1168:3-1169:34)
[Info][Imprecise] Invalidating expressions: AddrOf(Mem(Lval(Var(tty, NoOffset)), Field(original_termios:TComp(struct termios, c_iflag : TNamed(tcflag_t, TInt(unsigned int, ), ), c_oflag : TNamed(tcflag_t, TInt(unsigned int, ), ), c_cflag : TNamed(tcflag_t, TInt(unsigned int, ), ), c_lflag : TNamed(tcflag_t, TInt(unsigned int, ), ), c_line : TNamed(cc_t, TInt(unsigned char, ), ), c_cc : TArray(TNamed(cc_t, TInt(unsigned char, ), ), Some(Const(Int(32,int,32))), ), c_ispeed : TNamed(speed_t, TInt(unsigned int, ), ), c_ospeed : TNamed(speed_t, TInt(unsigned int, ), ), , ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1174:3-1174:58)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1174:3-1174:58)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1182:3-1182:77)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1186:3-1186:20)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1186:3-1186:20)
[Info][Imprecise] Invalidating expressions: Lval(Mem(Lval(Var(tty, NoOffset)), Field(fout:TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1199:3-1199:26)
[Info][Unsound] Unknown address in tty->fout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1199:3-1199:26)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1199:3-1199:26)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1199:3-1199:26)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1199:3-1199:26)
[Info][Imprecise] Invalidating expressions: Lval(Var(tmp, NoOffset)), Const(Int(5413,unsigned long,21523UL)), AddrOf(Var(ws, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1200:3-1200:38)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1200:3-1200:38)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1187:3-1187:21)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1187:3-1187:21)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1329:3-1329:18)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1329:3-1329:18)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1290:3-1290:44)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1290:3-1290:44)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Mem(Lval(Var(tty, NoOffset)), Field(fout:TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ), ), NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1394:3-1394:79)
[Info][Unsound] Unknown address in (FILE * __restrict  )tty->fout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1394:3-1394:79)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1394:3-1394:79)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1394:3-1394:79)
[Info][Imprecise] Invalidating expressions: Const(Int(28,int,28)), AddrOf(Var(handle_sigwinch, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1188:3-1188:32)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1188:3-1188:32)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:601:5-601:24)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:603:7-603:63)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:603:7-603:63)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:603:7-603:63)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:603:7-603:63)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:612:5-612:35)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:612:5-612:35)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:614:7-614:37)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:614:7-614:37)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:617:5-617:69)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:617:5-617:69)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:617:5-617:69)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:617:5-617:69)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:617:5-617:69)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:617:5-617:69)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2585:3-2585:19)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2585:3-2585:19)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2586:3-2586:27)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2586:3-2586:27)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2586:3-2586:27)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2587:3-2587:27)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2587:3-2587:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2594:5-2595:27)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2598:3-2598:23)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2598:3-2598:23)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2598:3-2598:23)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2598:3-2598:23)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2598:3-2598:23)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2598:3-2598:23)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2282:3-2282:64)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1822:3-1822:26)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1589:3-1589:27)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1591:3-1591:21)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1591:3-1591:21)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1592:3-1592:21)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1592:3-1592:21)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1593:3-1593:51)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1593:3-1593:51)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1832:3-1832:69)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1832:3-1832:69)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1835:3-1835:35)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1835:3-1835:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1840:5-1840:62)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1840:5-1840:62)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:618:5-618:45)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:618:5-618:45)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:618:5-618:45)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:618:5-618:45)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:618:5-618:45)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:618:5-618:45)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2734:9-2734:20)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2734:9-2734:20)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2734:9-2734:20)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2734:9-2734:20)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2734:9-2734:20)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2734:9-2734:20)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2232:3-2232:33)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2232:3-2232:33)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2234:3-2234:41)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2234:3-2234:41)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2235:7-2235:76)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2235:7-2235:76)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2236:5-2236:91)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2236:5-2236:91)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2237:5-2237:37)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1663:3-1663:24)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1663:3-1663:24)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2245:3-2245:21)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1375:3-1375:47)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1394:3-1394:79)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2246:3-2246:58)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2246:3-2246:58)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2246:3-2246:58)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2247:3-2247:21)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1366:3-1366:36)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2248:7-2248:25)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2248:7-2248:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2249:5-2249:70)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2249:5-2249:70)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2249:5-2249:70)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2250:5-2250:23)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2254:5-2254:26)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2255:5-2255:23)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2256:5-2256:38)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1871:7-1871:23)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1871:7-1871:23)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1872:5-1872:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2259:7-2259:57)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2259:7-2259:57)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2259:7-2259:57)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2259:7-2259:57)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2259:7-2259:57)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2259:7-2259:57)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2259:7-2259:57)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2259:7-2259:57)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2178:3-2178:74)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:993:3-993:52)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1023:5-1024:64)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:875:13-875:97)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:878:11-878:72)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:876:11-876:71)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2180:7-2180:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2180:7-2180:27)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2183:7-2183:34)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2185:7-2185:41)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2189:5-2189:23)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1311:3-1311:18)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1290:3-1290:44)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2191:3-2191:21)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1339:3-1339:38)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2194:10-2194:44)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2199:7-2199:24)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1299:7-1299:25)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1299:7-1299:25)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1300:5-1300:26)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1301:5-1301:22)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1301:5-1301:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2196:7-2196:24)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2201:9-2201:44)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2204:7-2204:59)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2204:7-2204:59)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2202:7-2202:32)
[Info][Imprecise] Invalidating expressions: Lval(Mem(Lval(Var(tty, NoOffset)), Field(fout:TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1404:3-1404:28)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1404:3-1404:28)
[Info][Unsound] Unknown address in tty->fout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1404:3-1404:28)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1404:3-1404:28)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1404:3-1404:28)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2208:3-2208:19)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1348:3-1348:38)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2209:3-2209:21)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1329:3-1329:18)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1330:3-1330:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1330:3-1330:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2259:7-2259:57)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2263:7-2263:52)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2263:7-2263:52)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2264:5-2264:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2264:5-2264:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1384:3-1384:41)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2264:5-2264:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2266:3-2266:21)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ),  __restrict  ), Lval(Mem(Lval(Var(tty, NoOffset)), Field(fout:TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ), ), NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2267:3-2267:82)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2267:3-2267:82)
[Info][Unsound] Unknown address in (FILE * __restrict  )tty->fout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2267:3-2267:82)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2267:3-2267:82)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2267:3-2267:82)
[Info][Imprecise] Invalidating expressions: Lval(Mem(Lval(Var(tty, NoOffset)), Field(fout:TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2270:5-2270:49)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2270:5-2270:49)
[Info][Unsound] Unknown address in tty->fout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2270:5-2270:49)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2270:5-2270:49)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2270:5-2270:49)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2273:3-2273:17)
[Info][Imprecise] Invalidating expressions: Lval(Mem(Lval(Var(tty, NoOffset)), Field(fout:TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1413:3-1413:20)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1413:3-1413:20)
[Info][Unsound] Unknown address in tty->fout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1413:3-1413:20)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1413:3-1413:20)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1413:3-1413:20)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2743:7-2743:18)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2743:7-2743:18)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2743:7-2743:18)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2743:7-2743:18)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2743:7-2743:18)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2743:7-2743:18)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2749:7-2749:63)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1246:5-1248:63)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1251:3-1251:129)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1251:3-1251:129)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(mask, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1254:3-1254:22)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(mask, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1256:5-1256:26)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1268:3-1270:57)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1268:3-1270:57)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1268:3-1270:57)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1273:5-1273:33)
[Info][Unsound] Unknown address in {&tmp___2} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1273:5-1273:33)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1273:5-1273:33)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1274:9-1274:22)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1274:9-1274:22)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1281:5-1281:147)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1281:5-1281:147)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2726:3-2726:14)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2726:3-2726:14)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2726:3-2726:14)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2726:3-2726:14)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2726:3-2726:14)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2726:3-2726:14)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2756:7-2756:52)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2756:7-2756:52)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2756:7-2756:52)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2756:7-2756:52)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2756:7-2756:52)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2756:7-2756:52)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2670:5-2670:76)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2673:7-2674:29)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2685:8-2685:55)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2685:8-2685:55)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2685:8-2685:55)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2685:8-2685:55)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2685:8-2685:55)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2685:8-2685:55)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2685:8-2685:55)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2554:3-2554:15)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2554:3-2554:15)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2554:3-2554:15)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2554:3-2554:15)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2554:3-2554:15)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2554:3-2554:15)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2122:3-2122:21)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2127:10-2127:36)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2127:10-2127:36)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2132:9-2132:82)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2132:9-2132:82)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2135:5-2135:21)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1357:3-1357:38)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2137:3-2137:21)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2138:8-2138:39)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2138:8-2138:39)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2139:5-2139:40)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2141:3-2141:17)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2555:3-2555:24)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1136:3-1136:17)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1127:3-1127:77)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1127:3-1127:77)
[Info][Imprecise] Invalidating expressions: Lval(Mem(Lval(Var(tty, NoOffset)), Field(fout:TPtr(TNamed(FILE, TComp(struct _IO_FILE, _flags : TInt(int, ), _IO_read_ptr : TPtr(TInt(char, ), ), _IO_read_end : TPtr(TInt(char, ), ), _IO_read_base : TPtr(TInt(char, ), ), _IO_write_base : TPtr(TInt(char, ), ), _IO_write_ptr : TPtr(TInt(char, ), ), _IO_write_end : TPtr(TInt(char, ), ), _IO_buf_base : TPtr(TInt(char, ), ), _IO_buf_end : TPtr(TInt(char, ), ), _IO_save_base : TPtr(TInt(char, ), ), _IO_backup_base : TPtr(TInt(char, ), ), _IO_save_end : TPtr(TInt(char, ), ), _markers : TPtr(TComp(struct _IO_marker, , , ), ), _chain : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _fileno : TInt(int, ), _flags2 : TInt(int, ), _old_offset : TNamed(__off_t, TInt(long, ), ), _cur_column : TInt(unsigned short, ), _vtable_offset : TInt(signed char, ), _shortbuf : TArray(TInt(char, ), Some(Const(Int(1,int,1))), ), _lock : TPtr(TNamed(_IO_lock_t, TVoid(), ), ), _offset : TNamed(__off64_t, TInt(long, ), ), _codecvt : TPtr(TComp(struct _IO_codecvt, , , ), ), _wide_data : TPtr(TComp(struct _IO_wide_data, , , ), ), _freeres_list : TPtr(TCompLoop(struct _IO_FILE, _, ), ), _freeres_buf : TPtr(TVoid(), ), __pad5 : TNamed(size_t, TInt(unsigned long, ), ), _mode : TInt(int, ), _unused2 : TArray(TInt(char, ), Some(MinusA(MinusA(*(Const(Int(f,unsigned long,15UL)), sizeof(TInt(int, ))), *(Const(Int(4,unsigned long,4UL)), sizeof(TPtr(TVoid(), )))), sizeof(TNamed(size_t, TInt(unsigned long, ), )))), ), , ), ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1137:3-1137:20)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1137:3-1137:20)
[Info][Unsound] Unknown address in tty->fout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1137:3-1137:20)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1137:3-1137:20)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1137:3-1137:20)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1138:3-1138:19)
[Info][Imprecise] Invalidating expressions: Lval(Mem(Lval(Var(tty, NoOffset)), Field(fdin:TInt(int, ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1138:3-1138:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1138:3-1138:19)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2537:3-2537:22)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2537:3-2537:22)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2537:3-2537:22)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2537:3-2537:22)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2537:3-2537:22)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2537:3-2537:22)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2294:5-2294:25)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2294:5-2294:25)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2294:5-2294:25)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2294:5-2294:25)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2294:5-2294:25)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2294:5-2294:25)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2295:5-2295:16)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2295:5-2295:16)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2295:5-2295:16)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2295:5-2295:16)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2295:5-2295:16)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2295:5-2295:16)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2538:3-2538:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2538:3-2538:65)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2538:3-2538:65)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2541:5-2541:71)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2541:5-2541:71)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2541:5-2541:71)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2542:5-2543:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2542:5-2543:27)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2514:3-2514:22)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2514:3-2514:22)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2514:3-2514:22)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2514:3-2514:22)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2514:3-2514:22)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2514:3-2514:22)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2517:9-2517:49)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2517:9-2517:49)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2518:11-2518:78)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2518:11-2518:78)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2524:5-2524:33)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1902:7-1902:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1902:7-1902:19)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1903:5-1903:55)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1903:5-1903:55)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2493:3-2493:22)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2493:3-2493:22)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2493:3-2493:22)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2493:3-2493:22)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2493:3-2493:22)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2493:3-2493:22)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2496:9-2496:49)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2496:9-2496:49)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2497:11-2497:48)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2497:11-2497:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2503:5-2503:33)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1891:7-1891:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1891:7-1891:19)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1892:5-1892:72)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1892:5-1892:72)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2424:3-2424:22)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2424:3-2424:22)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2424:3-2424:22)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2424:3-2424:22)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2424:3-2424:22)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2424:3-2424:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2425:3-2425:31)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2406:3-2406:22)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2406:3-2406:22)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2406:3-2406:22)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2406:3-2406:22)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2406:3-2406:22)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2406:3-2406:22)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2407:3-2407:31)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2362:7-2362:28)
[Info][Unsound] Unknown address in {&tmp} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2362:7-2362:28)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2362:7-2362:28)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2363:11-2363:77)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2363:11-2363:77)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2373:7-2373:32)
[Info][Unsound] Unknown address in {&tmp___0} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2373:7-2373:32)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2373:7-2373:32)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2374:11-2374:77)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2374:11-2374:77)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2306:3-2306:22)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2306:3-2306:22)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2306:3-2306:22)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2306:3-2306:22)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2306:3-2306:22)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2306:3-2306:22)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2307:3-2307:15)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2307:3-2307:15)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2307:3-2307:15)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2307:3-2307:15)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2307:3-2307:15)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2307:3-2307:15)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2308:3-2308:24)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2309:3-2309:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2309:3-2309:65)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2309:3-2309:65)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2312:5-2312:56)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2690:8-2690:55)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2690:8-2690:55)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2690:8-2690:55)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2690:8-2690:55)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2690:8-2690:55)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2690:8-2690:55)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2690:8-2690:55)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2085:3-2085:24)
[Info][Unsound] Unknown address in {&tmp} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2085:3-2085:24)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2085:3-2085:24)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2086:7-2086:44)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2086:7-2086:44)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2708:7-2708:45)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2708:7-2708:45)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2708:7-2708:45)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2708:7-2708:45)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2708:7-2708:45)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2708:7-2708:45)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2761:5-2761:24)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2761:5-2761:24)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2761:5-2761:24)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2761:5-2761:24)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2761:5-2761:24)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2761:5-2761:24)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2730:9-2730:50)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2736:7-2736:40)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), AddrOf(Var(ch, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1218:3-1218:52)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1218:3-1218:52)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1218:3-1218:52)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1218:3-1218:52)
[Info][Unsound] Unknown address in {&tty_interface} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2739:7-2739:48)
[Info][Unsound] Unknown address in {&options} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2739:7-2739:48)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2739:7-2739:48)
[Info][Unsound] Unknown address in {&tty} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2739:7-2739:48)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2739:7-2739:48)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2739:7-2739:48)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2690:8-2690:55)
[Info][Unsound] Unknown address in {&choices} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:620:3-620:29)
[Info][Unsound] Unknown value in {&(alloc@sid:660@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:620:3-620:29)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:620:3-620:29)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)c->buffer in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1627:3-1627:26)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1627:3-1627:26)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)c->strings in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1630:3-1630:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1630:3-1630:27)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)c->results in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1635:3-1635:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1635:3-1635:27)
[Warning][Deadcode] Function 'vprintf' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:237:1-246:1)
[Warning][Deadcode] Function 'getchar' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:247:1-255:1)
[Warning][Deadcode] Function 'fgetc_unlocked' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:256:1-276:1)
[Warning][Deadcode] Function 'getchar_unlocked' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:277:1-297:1)
[Warning][Deadcode] Function 'putchar' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:298:1-306:1)
[Warning][Deadcode] Function 'fputc_unlocked' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:307:1-330:1)
[Warning][Deadcode] Function 'putchar_unlocked' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:331:1-354:1)
[Warning][Deadcode] Function 'getline' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:355:1-365:1)
[Warning][Deadcode] Function 'feof_unlocked' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:367:1-374:1)
[Warning][Deadcode] Function 'ferror_unlocked' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:376:1-383:1)
[Warning][Deadcode] Function 'atoi' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:402:1-411:1)
[Warning][Deadcode] Function 'atol' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:414:1-423:1)
[Warning][Deadcode] Function 'atoll' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:426:1-435:1)
[Warning][Deadcode] Function 'bsearch___0' is uncalled: 12 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:443:1-474:1)
[Warning][Deadcode] Function 'atof' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:477:1-485:1)
[Warning][Deadcode] Function 'tolower' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:491:1-509:1)
[Warning][Deadcode] Function 'toupper' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:511:1-529:1)
[Warning][Deadcode] Function 'tty_setunderline' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1315:1-1323:1)
[Warning][Deadcode] Function 'tty_getwidth' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1417:1-1424:1)
[Warning][Deadcode] Function 'pthread_equal___0' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1458:1-1466:1)
[Warning][Deadcode] Function 'merge2' has dead code:
  on lines 1707..1708 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1707-1708)
[Warning][Deadcode] Function 'safe_realloc' has dead code:
  on line 1500 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1500-1500)
  on line 1502 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1502-1502)
[Warning][Deadcode] Function 'setup_match_struct' has dead code:
  on line 809 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:809-809)
  on line 820 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:820-820)
[Warning][Deadcode] Function 'strcasechr' has dead code:
  on line 732 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:732-732)
[Warning][Deadcode] Function 'tty_interface_run' has dead code:
  on line 2763 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2763-2763)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 985
  dead: 92 (84 in uncalled functions)
  total lines: 1077
[Warning][Race] Memory location keybindings[?].key (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2616:27-2649:79)
  write with [] (conf. 100)  (exp: & *(c->strings + tmp)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1654:3-1654:31)
  read with [] (conf. 110)  (exp: & keybindings[i].key) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2669:10-2669:28)
  read with [] (conf. 110)  (exp: & keybindings[i].key) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2670:5-2670:76)
  read with [] (conf. 110)  (exp: & keybindings[i].key) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2673:7-2674:29)
[Warning][Race] Memory location (struct __anonstruct_options_t_734899051).prompt (race with conf. 100):
  write with [] (conf. 100)  (exp: & *(c->strings + tmp)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1654:3-1654:31)
  read with [] (conf. 100)  (exp: & options->prompt) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2246:3-2246:58)
  read with [] (conf. 100)  (exp: & options->prompt) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2267:3-2267:82)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1975:10-1975:11)
[Warning][Race] Memory location (struct result_list).size (race with conf. 100):
  write with [] (conf. 100)  (exp: & result->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1783:10-1783:26)
  read with [] (conf. 100)  (exp: & result->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1781:10-1781:63)
  read with [] (conf. 100)  (exp: & result->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1782:10-1782:85)
  read with [] (conf. 100)  (exp: & result->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1783:10-1783:26)
  read with [] (conf. 100)  (exp: & result->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1788:3-1788:88)
[Warning][Race] Memory location (alloc@sid:660@tid:Top Threads(#top)) (race with conf. 100): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1498:3-1498:33)
  write with [] (conf. 100)  (exp: & *(c->strings + tmp)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1654:3-1654:31)
  read with [] (conf. 100)  (exp: buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1498:3-1498:33)
  read with [] (conf. 100)  (exp: & *(c->strings + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1779:7-1779:54)
  read with [] (conf. 100)  (exp: & *(c->strings + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1781:10-1781:63)
  read with [] (conf. 100)  (exp: & *(c->strings + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1782:10-1782:85)
  free with [] (conf. 100)  (exp: buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1498:3-1498:33)
  free with [] (conf. 100)  (exp: (void *)c->buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1627:3-1627:26)
  free with [] (conf. 100)  (exp: (void *)c->strings) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1630:3-1630:27)
[Warning][Race] Memory location (alloc@sid:660@tid:Top Threads(#top))[?] (race with conf. 100): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1498:3-1498:33)
  write with [] (conf. 100)  (exp: (void * __restrict  )(c->buffer + c->buffer_size)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1532:5-1533:73)
  write with [] (conf. 100)  (exp: & *(c->buffer + tmp___4)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1547:3-1547:41)
  write with [] (conf. 100)  (exp: & *(c->strings + tmp)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1654:3-1654:31)
  read with [] (conf. 100)  (exp: buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1498:3-1498:33)
  read with [] (conf. 100)  (exp: (char const   *)line) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1551:5-1551:64)
  read with [] (conf. 100)  (exp: & *line) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1558:9-1558:14)
  read with [] (conf. 100)  (exp: & *(c->strings + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1779:7-1779:54)
  read with [] (conf. 100)  (exp: & *(c->strings + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1781:10-1781:63)
  read with [] (conf. 100)  (exp: & *(c->strings + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1782:10-1782:85)
  free with [] (conf. 100)  (exp: buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1498:3-1498:33)
  free with [] (conf. 100)  (exp: (void *)c->buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1627:3-1627:26)
  free with [] (conf. 100)  (exp: (void *)c->strings) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1630:3-1630:27)
[Warning][Deadcode][CWE-570] condition 'sizeof(*(needle + i)) > 1UL' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:808:9-808:36)
[Warning][Deadcode][CWE-570] condition 'sizeof(*(haystack + i___0)) > 1UL' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:819:9-819:42)
[Warning][Race] Memory location (struct worker).job (race with conf. 100):
  write with [] (conf. 100)  (exp: & (workers + i)->job) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1837:6-1837:29)
  read with [] (conf. 100)  (exp: & w->job) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1769:3-1769:15)
[Warning][Race] Memory location (struct worker).result (race with conf. 100):
  write with [] (conf. 100)  (exp: & w->result) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1802:5-1802:72)
  read with [] (conf. 100)  (exp: & w->result) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1802:5-1802:72)
  read with [] (conf. 100)  (exp: & (job->workers + next_worker)->result) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1802:5-1802:72)
[Warning][Race] Memory location (struct worker).result.list (race with conf. 100):
  write with [] (conf. 100)  (exp: & w->result) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1802:5-1802:72)
  write with [] (conf. 100)  (exp: & (workers + i)->result.list) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1841:6-1841:65)
  read with [] (conf. 100)  (exp: & result->list) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1781:10-1781:63)
  read with [] (conf. 100)  (exp: & result->list) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1782:10-1782:85)
  read with [] (conf. 100)  (exp: & result->list) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1788:3-1788:88)
  read with [] (conf. 100)  (exp: & w->result) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1802:5-1802:72)
  read with [] (conf. 100)  (exp: & (job->workers + next_worker)->result) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1802:5-1802:72)
  read with [] (conf. 100)  (exp: & (workers + 0)->result.list) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1858:3-1858:42)
[Warning][Race] Memory location (struct worker).result.size (race with conf. 100):
  write with [] (conf. 100)  (exp: & result->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1783:10-1783:26)
  write with [] (conf. 100)  (exp: & w->result) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1802:5-1802:72)
  write with [] (conf. 100)  (exp: & (workers + i)->result.size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1839:6-1839:44)
  read with [] (conf. 100)  (exp: & result->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1781:10-1781:63)
  read with [] (conf. 100)  (exp: & result->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1782:10-1782:85)
  read with [] (conf. 100)  (exp: & result->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1783:10-1783:26)
  read with [] (conf. 100)  (exp: & result->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1788:3-1788:88)
  read with [] (conf. 100)  (exp: & w->result) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1802:5-1802:72)
  read with [] (conf. 100)  (exp: & (job->workers + next_worker)->result) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1802:5-1802:72)
  read with [] (conf. 100)  (exp: & (workers + 0)->result.size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1859:3-1859:44)
[Warning][Race] Memory location (struct worker).thread_id (race with conf. 100):
  write with [] (conf. 100)  (exp: (pthread_t * __restrict  )(& (workers + i)->thread_id)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1843:5-1845:64)
  read with [] (conf. 100)  (exp: & (job->workers + next_worker)->thread_id) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1796:5-1796:90)
  read with [] (conf. 100)  (exp: & (workers + 0)->thread_id) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1853:3-1853:73)
[Warning][Race] Memory location (struct worker).worker_num (race with conf. 100):
  write with [] (conf. 100)  (exp: & (workers + i)->worker_num) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1838:6-1838:49)
  read with [] (conf. 100)  (exp: & w->worker_num) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1790:10-1790:56)
  read with [] (conf. 100)  (exp: & w->worker_num) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1791:5-1791:61)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2727:10-2727:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2728:12-2728:13)
[Warning][Race] Memory location (struct __anonstruct_tty_t_116520144).fgcolor (race with conf. 100):
  write with [] (conf. 100)  (exp: & tty->fgcolor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1301:5-1301:22)
  write with [] (conf. 100)  (exp: & tty->fgcolor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1330:3-1330:19)
  read with [] (conf. 100)  (exp: & tty->fgcolor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1299:7-1299:25)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2334:10-2334:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2729:14-2729:15)
[Warning][Deadcode][CWE-570] condition '! result.list' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1706:7-1706:20)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1710:10-1710:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2360:10-2360:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1245:10-1245:11)
[Warning][Race] Memory location (void ) (race with conf. 100):
  write with [] (conf. 100)  (exp: (void * __restrict  )(c->buffer + c->buffer_size)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1532:5-1533:73)
  read with [] (conf. 100)  (exp: buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1498:3-1498:33)
  free with [] (conf. 100)  (exp: buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1498:3-1498:33)
  free with [] (conf. 100)  (exp: (void *)c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1589:3-1589:27)
  free with [] (conf. 100)  (exp: (void *)c->buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1627:3-1627:26)
  free with [] (conf. 100)  (exp: (void *)c->strings) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1630:3-1630:27)
  free with [] (conf. 100)  (exp: (void *)c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1635:3-1635:27)
  free with [] (conf. 100)  (exp: (void *)list1.list) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1747:3-1747:27)
  free with [] (conf. 100)  (exp: (void *)list2.list) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1748:3-1748:27)
  free with [] (conf. 100)  (exp: (void *)workers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1860:3-1860:24)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2371:10-2371:11)
[Warning][Race] Memory location tty_interface.ambiguous_key_pending (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:560:19-560:33)
  write with [] (conf. 110)  (exp: & state->ambiguous_key_pending) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2588:3-2588:35)
  write with [] (conf. 110)  (exp: & state->ambiguous_key_pending) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2663:3-2663:35)
  write with [] (conf. 110)  (exp: & state->ambiguous_key_pending) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2697:7-2697:39)
  read with [] (conf. 110)  (exp: & state->ambiguous_key_pending) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2744:11-2744:39)
  read with [] (conf. 110)  (exp: & state->ambiguous_key_pending) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2754:9-2754:37)
[Warning][Race] Memory location tty_interface.choices (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:560:19-560:33)
  write with [] (conf. 110)  (exp: & state->choices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2586:3-2586:27)
  read with [] (conf. 110)  (exp: & state->choices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2230:3-2230:27)
  read with [] (conf. 110)  (exp: & state->choices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2282:3-2282:64)
  read with [] (conf. 110)  (exp: & state->choices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2309:3-2309:65)
  read with [] (conf. 110)  (exp: & state->choices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2407:3-2407:31)
  read with [] (conf. 110)  (exp: & state->choices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2425:3-2425:31)
  read with [] (conf. 110)  (exp: & state->choices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2497:11-2497:48)
  read with [] (conf. 110)  (exp: & state->choices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2503:5-2503:33)
  read with [] (conf. 110)  (exp: & state->choices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2518:11-2518:78)
  read with [] (conf. 110)  (exp: & state->choices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2524:5-2524:33)
  read with [] (conf. 110)  (exp: & state->choices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2538:3-2538:65)
  read with [] (conf. 110)  (exp: & state->choices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2541:5-2541:71)
[Warning][Race] Memory location tty_interface.cursor (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:560:19-560:33)
  write with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2335:6-2335:23)
  write with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2385:3-2385:25)
  write with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2397:3-2397:29)
  write with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2435:6-2435:23)
  write with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2444:8-2444:25)
  write with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2458:6-2458:23)
  write with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2464:8-2464:25)
  write with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2475:3-2475:29)
  write with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2484:3-2484:56)
  write with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2544:5-2544:58)
  write with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2574:6-2574:23)
  write with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2597:3-2597:56)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2269:10-2269:31)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2330:7-2330:27)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2333:3-2333:34)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2335:6-2335:23)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2336:5-2336:56)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2340:9-2340:24)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2344:3-2345:44)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2358:3-2358:34)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2359:3-2359:25)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2395:3-2396:39)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2434:7-2434:26)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2435:6-2435:23)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2437:7-2437:54)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2441:11-2441:26)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2444:8-2444:25)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2457:7-2457:30)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2458:6-2458:23)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2460:7-2460:54)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2464:8-2464:25)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2571:5-2572:49)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2573:5-2573:35)
  read with [] (conf. 110)  (exp: & state->cursor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2574:6-2574:23)
[Warning][Race] Memory location tty_interface.exit (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:560:19-560:33)
  write with [] (conf. 110)  (exp: & state->exit) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2316:3-2316:18)
  write with [] (conf. 110)  (exp: & state->exit) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2556:3-2556:18)
  write with [] (conf. 110)  (exp: & state->exit) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2592:3-2592:19)
  read with [] (conf. 110)  (exp: & state->exit) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2740:11-2740:27)
  read with [] (conf. 110)  (exp: & state->exit) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2741:9-2741:29)
  read with [] (conf. 110)  (exp: & state->exit) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2757:11-2757:27)
  read with [] (conf. 110)  (exp: & state->exit) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2758:9-2758:29)
[Warning][Race] Memory location tty_interface.input[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:560:19-560:33)
  write with [] (conf. 110)  (exp: (char * __restrict  )(state->input)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2589:3-2589:75)
  write with [] (conf. 110)  (exp: (char * __restrict  )(state->input)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2665:3-2665:74)
  write with [] (conf. 110)  (exp: (char * __restrict  )input) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2686:7-2686:70)
  write with [] (conf. 110)  (exp: (char * __restrict  )input) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2691:7-2691:70)
  write with [] (conf. 110)  (exp: (char * __restrict  )input) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2712:3-2712:66)
  read with [] (conf. 110)  (exp: (char * __restrict  )(state->input)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2665:3-2665:74)
  read with [] (conf. 110)  (exp: (char const   *)input) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2670:5-2670:76)
  read with [] (conf. 110)  (exp: (char const   *)(state->input)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2672:7-2672:49)
  read with [] (conf. 110)  (exp: (char const   *)input) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2673:7-2674:29)
  read with [] (conf. 110)  (exp: & *(input + i___0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2705:10-2705:26)
  read with [] (conf. 110)  (exp: & *(input + i___0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2706:5-2706:48)
  read with [] (conf. 110)  (exp: & *(input + i___0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2708:7-2708:45)
[Warning][Race] Memory location tty_interface.last_search[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:560:19-560:33)
  write with [] (conf. 110)  (exp: (char * __restrict  )(state->last_search)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2283:3-2283:94)
  write with [] (conf. 110)  (exp: (char * __restrict  )(state->last_search)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2591:3-2591:81)
  read with [] (conf. 110)  (exp: needle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:796:3-796:23)
  read with [] (conf. 110)  (exp: & *(needle + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:808:9-808:36)
  read with [] (conf. 110)  (exp: & *(needle + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:812:7-812:54)
  read with [] (conf. 110)  (exp: & *needle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:989:7-989:16)
  read with [] (conf. 110)  (exp: (char const   *)search) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2164:3-2164:37)
  read with [] (conf. 110)  (exp: (char const   *)(state->last_search)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2292:3-2292:82)
[Warning][Race] Memory location tty_interface.options (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:560:19-560:33)
  write with [] (conf. 110)  (exp: & state->options) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2587:3-2587:27)
  read with [] (conf. 110)  (exp: & state->options) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2127:10-2127:36)
  read with [] (conf. 110)  (exp: & state->options) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2132:9-2132:82)
  read with [] (conf. 110)  (exp: & state->options) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2138:8-2138:39)
  read with [] (conf. 110)  (exp: & state->options) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2162:3-2162:27)
  read with [] (conf. 110)  (exp: & state->options) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2231:3-2231:27)
  read with [] (conf. 110)  (exp: & state->options) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2496:9-2496:49)
  read with [] (conf. 110)  (exp: & state->options) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2517:9-2517:49)
[Warning][Race] Memory location tty_interface.search[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:560:19-560:33)
  write with [] (conf. 110)  (exp: (void *)(& state->search[state->cursor])) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2344:3-2345:44)
  write with [] (conf. 110)  (exp: (void *)(& state->search[cursor])) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2383:3-2384:45)
  write with [] (conf. 110)  (exp: (void *)(state->search)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2395:3-2396:39)
  write with [] (conf. 110)  (exp: (char * __restrict  )(state->search)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2542:5-2543:27)
  write with [] (conf. 110)  (exp: (void *)(search + (state->cursor + 1UL))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2571:5-2572:49)
  write with [] (conf. 110)  (exp: & *(search + state->cursor)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2573:5-2573:35)
  write with [] (conf. 110)  (exp: (char * __restrict  )(state->search)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2590:3-2590:76)
  write with [] (conf. 110)  (exp: (char * __restrict  )(state->search)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2594:5-2595:27)
  read with [] (conf. 110)  (exp: & state->search[i___0]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2270:5-2270:49)
  read with [] (conf. 110)  (exp: (char const   * __restrict  )(state->search)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2283:3-2283:94)
  read with [] (conf. 110)  (exp: (char const   *)(state->search)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2292:3-2292:82)
  read with [] (conf. 110)  (exp: state->search) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2314:5-2314:60)
  read with [] (conf. 110)  (exp: (char const   *)(state->search)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2328:3-2328:46)
  read with [] (conf. 110)  (exp: & state->search[state->cursor]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2336:5-2336:56)
  read with [] (conf. 110)  (exp: (void const   *)(& state->search[original_cursor])) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2344:3-2345:44)
  read with [] (conf. 110)  (exp: & state->search[cursor - 1UL]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2363:11-2363:77)
  read with [] (conf. 110)  (exp: & state->search[cursor - 1UL]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2374:11-2374:77)
  read with [] (conf. 110)  (exp: (char const   *)(state->search)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2382:3-2382:50)
  read with [] (conf. 110)  (exp: (void const   *)(& state->search[original_cursor])) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2383:3-2384:45)
  read with [] (conf. 110)  (exp: (char const   *)(state->search)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2394:3-2394:46)
  read with [] (conf. 110)  (exp: (void const   *)(& state->search[state->cursor])) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2395:3-2396:39)
  read with [] (conf. 110)  (exp: & state->search[state->cursor]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2437:7-2437:54)
  read with [] (conf. 110)  (exp: (char const   *)(state->search)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2456:3-2456:50)
  read with [] (conf. 110)  (exp: & state->search[state->cursor]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2460:7-2460:54)
  read with [] (conf. 110)  (exp: (char const   *)(state->search)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2484:3-2484:56)
  read with [] (conf. 110)  (exp: (char const   *)(state->search)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2544:5-2544:58)
  read with [] (conf. 110)  (exp: (char const   *)search) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2568:3-2568:37)
  read with [] (conf. 110)  (exp: (void const   *)(search + state->cursor)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2571:5-2572:49)
  read with [] (conf. 110)  (exp: (char const   *)(state->search)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2597:3-2597:56)
[Warning][Race] Memory location tty_interface.tty (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:560:19-560:33)
  write with [] (conf. 110)  (exp: & state->tty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2585:3-2585:19)
  read with [] (conf. 110)  (exp: & state->tty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2121:3-2121:19)
  read with [] (conf. 110)  (exp: & state->tty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2161:3-2161:19)
  read with [] (conf. 110)  (exp: & state->tty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2229:3-2229:19)
  read with [] (conf. 110)  (exp: & state->tty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2308:3-2308:24)
  read with [] (conf. 110)  (exp: & state->tty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2555:3-2555:24)
  read with [] (conf. 110)  (exp: & state->tty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2730:9-2730:50)
  read with [] (conf. 110)  (exp: & state->tty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2736:7-2736:40)
  read with [] (conf. 110)  (exp: & state->tty) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2749:7-2749:63)
[Warning][Race] Memory location (alloc@sid:800@tid:Top Threads(#top))[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1704:3-1704:60)
  read with [] (conf. 100)  (exp: & *(list1.list + tmp___1)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1724:7-1724:57)
  read with [] (conf. 100)  (exp: & *(list2.list + tmp___3)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1730:7-1730:57)
  read with [] (conf. 100)  (exp: & *(list1.list + tmp___6)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1738:5-1738:55)
  read with [] (conf. 100)  (exp: & *(list2.list + tmp___8)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1745:5-1745:55)
  write with [] (conf. 110)  (exp: & *(result.list + tmp___0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1724:7-1724:57)
  write with [] (conf. 110)  (exp: & *(result.list + tmp___2)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1730:7-1730:57)
  write with [] (conf. 110)  (exp: & *(result.list + tmp___5)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1738:5-1738:55)
  write with [] (conf. 110)  (exp: & *(result.list + tmp___7)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1745:5-1745:55)
[Warning][Race] Memory location getopt_long (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1911:41-1915:108)
  call with [] (conf. 110)  (exp: getopt_long) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1976:5-1977:40)
[Warning][Race] Memory location (alloc@sid:427@tid:Top Threads(#top)) (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1017:3-1017:68)
  free with [] (conf. 110)  (exp: (void *)D) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1069:3-1069:18)
[Warning][Race] Memory location (alloc@sid:427@tid:Top Threads(#top))[?][?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1017:3-1017:68)
  read with [] (conf. 100)  (exp: & *(last_D + (j - 1))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:875:13-875:97)
  read with [] (conf. 100)  (exp: & *(last_D + (j - 1))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:878:11-878:72)
  write with [] (conf. 110)  (exp: & *(curr_D + j)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:881:7-881:28)
  write with [] (conf. 110)  (exp: & *(curr_D + j)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:890:7-890:44)
  read with [] (conf. 110)  (exp: & (*(D + i___1))[j]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1036:14-1036:55)
  read with [] (conf. 110)  (exp: & (*(D + i___1))[j]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1040:16-1040:53)
  read with [] (conf. 110)  (exp: & (*(D + (i___1 - 1)))[j - 1]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1044:22-1044:75)
  free with [] (conf. 110)  (exp: (void *)D) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1069:3-1069:18)
[Warning][Race] Memory location (struct scored_result).score (race with conf. 100):
  write with [] (conf. 100)  (exp: & (result->list + result->size)->score) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1782:10-1782:85)
  read with [] (conf. 100)  (exp: & a->score) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1479:7-1479:27)
  read with [] (conf. 100)  (exp: & b->score) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1479:7-1479:27)
  read with [] (conf. 100)  (exp: & a->score) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1486:7-1486:26)
  read with [] (conf. 100)  (exp: & b->score) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1486:7-1486:26)
  read with [] (conf. 100)  (exp: & *(list1.list + tmp___1)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1724:7-1724:57)
  read with [] (conf. 100)  (exp: & *(list2.list + tmp___3)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1730:7-1730:57)
  read with [] (conf. 100)  (exp: & *(list1.list + tmp___6)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1738:5-1738:55)
  read with [] (conf. 100)  (exp: & *(list2.list + tmp___8)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1745:5-1745:55)
  read with [] (conf. 100)  (exp: & (c->results + n)->score) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1883:3-1883:35)
[Warning][Race] Memory location (struct scored_result).str (race with conf. 100):
  write with [] (conf. 100)  (exp: & *(c->strings + tmp)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1654:3-1654:31)
  write with [] (conf. 100)  (exp: & (result->list + result->size)->str) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1781:10-1781:63)
  read with [] (conf. 100)  (exp: & a->str) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1480:9-1480:56)
  read with [] (conf. 100)  (exp: & b->str) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1480:9-1480:56)
  read with [] (conf. 100)  (exp: & *(list1.list + tmp___1)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1724:7-1724:57)
  read with [] (conf. 100)  (exp: & *(list2.list + tmp___3)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1730:7-1730:57)
  read with [] (conf. 100)  (exp: & *(list1.list + tmp___6)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1738:5-1738:55)
  read with [] (conf. 100)  (exp: & *(list2.list + tmp___8)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1745:5-1745:55)
  read with [] (conf. 100)  (exp: & *(c->strings + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1779:7-1779:54)
  read with [] (conf. 100)  (exp: & *(c->strings + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1781:10-1781:63)
  read with [] (conf. 100)  (exp: & *(c->strings + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1782:10-1782:85)
  read with [] (conf. 100)  (exp: & (c->results + n)->str) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1872:5-1872:35)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2436:12-2436:13)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1772:10-1772:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2124:10-2124:11)
[Warning][Race] Memory location (char const   *) (race with conf. 100):
  write with [] (conf. 100)  (exp: & *(c->strings + tmp)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1654:3-1654:31)
  read with [] (conf. 100)  (exp: & *(c->strings + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1779:7-1779:54)
  read with [] (conf. 100)  (exp: & *(c->strings + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1781:10-1781:63)
  read with [] (conf. 100)  (exp: & *(c->strings + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1782:10-1782:85)
[Warning][Race] Memory location (struct __anonstruct_choices_t_109572495).available (race with conf. 100):
  write with [] (conf. 100)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1591:3-1591:21)
  write with [] (conf. 100)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1859:3-1859:44)
  read with [] (conf. 100)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1663:3-1663:24)
  read with [] (conf. 100)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1871:7-1871:23)
  read with [] (conf. 100)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1891:7-1891:19)
  read with [] (conf. 100)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1892:5-1892:72)
  read with [] (conf. 100)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1902:7-1902:19)
  read with [] (conf. 100)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1903:5-1903:55)
  read with [] (conf. 100)  (exp: & choices->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2249:5-2249:70)
  read with [] (conf. 100)  (exp: & (state->choices)->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2518:11-2518:78)
[Warning][Race] Memory location (struct __anonstruct_choices_t_109572495).results (race with conf. 100):
  write with [] (conf. 100)  (exp: & c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1593:3-1593:51)
  write with [] (conf. 100)  (exp: & c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1858:3-1858:42)
  read with [] (conf. 100)  (exp: & c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1589:3-1589:27)
  read with [] (conf. 100)  (exp: & c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1872:5-1872:35)
[Warning][Race] Memory location (struct __anonstruct_choices_t_109572495).selection (race with conf. 100):
  write with [] (conf. 100)  (exp: & c->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1592:3-1592:21)
  write with [] (conf. 100)  (exp: & c->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1892:5-1892:72)
  write with [] (conf. 100)  (exp: & c->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1903:5-1903:55)
  read with [] (conf. 100)  (exp: & c->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1892:5-1892:72)
  read with [] (conf. 100)  (exp: & c->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1903:5-1903:55)
  read with [] (conf. 100)  (exp: & choices->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2234:3-2234:41)
  read with [] (conf. 100)  (exp: & choices->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2259:7-2259:57)
  read with [] (conf. 100)  (exp: & (state->choices)->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2309:3-2309:65)
  read with [] (conf. 100)  (exp: & (state->choices)->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2497:11-2497:48)
  read with [] (conf. 100)  (exp: & (state->choices)->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2518:11-2518:78)
  read with [] (conf. 100)  (exp: & (state->choices)->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2538:3-2538:65)
  read with [] (conf. 100)  (exp: & (state->choices)->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2541:5-2541:71)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:945:12-945:13)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2459:12-2459:13)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:951:12-951:13)
[Warning][Race] Memory location (alloc@sid:425@tid:Top Threads(#top)) (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1015:3-1015:68)
  free with [] (conf. 110)  (exp: (void *)M) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1068:3-1068:18)
[Warning][Race] Memory location (alloc@sid:425@tid:Top Threads(#top))[?][?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1015:3-1015:68)
  read with [] (conf. 100)  (exp: & *(last_M + (j - 1))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:875:13-875:97)
  read with [] (conf. 100)  (exp: & *(last_M + (j - 1))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:876:11-876:71)
  write with [] (conf. 110)  (exp: & *(curr_M + j)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:887:7-887:33)
  write with [] (conf. 110)  (exp: & *(curr_M + j)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:892:7-892:33)
  read with [] (conf. 110)  (exp: & (*(M + i___1))[j]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1040:16-1040:53)
  read with [] (conf. 110)  (exp: & (*(M + i___1))[j]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1044:22-1044:75)
  read with [] (conf. 110)  (exp: & (*(M + (n - 1)))[m - 1]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1067:3-1067:35)
  free with [] (conf. 110)  (exp: (void *)M) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1068:3-1068:18)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2167:10-2167:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2495:10-2495:11)
[Warning][Race] Memory location choices.available (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:548:13-548:21)
  write with [] (conf. 100)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1591:3-1591:21)
  write with [] (conf. 100)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1859:3-1859:44)
  read with [] (conf. 100)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1663:3-1663:24)
  read with [] (conf. 100)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1871:7-1871:23)
  read with [] (conf. 100)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1891:7-1891:19)
  read with [] (conf. 100)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1892:5-1892:72)
  read with [] (conf. 100)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1902:7-1902:19)
  read with [] (conf. 100)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1903:5-1903:55)
  read with [] (conf. 100)  (exp: & choices->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2249:5-2249:70)
  read with [] (conf. 100)  (exp: & (state->choices)->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2518:11-2518:78)
  write with [] (conf. 110)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1591:3-1591:21)
  write with [] (conf. 110)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1639:3-1639:25)
  write with [] (conf. 110)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1859:3-1859:44)
  read with [] (conf. 110)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1663:3-1663:24)
  read with [] (conf. 110)  (exp: & c->available) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1871:7-1871:23)
[Warning][Race] Memory location choices.buffer (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:548:13-548:21)
  read with [] (conf. 100)  (exp: & *(argv + 0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1983:5-1984:24)
  read with [] (conf. 100)  (exp: & *(argv + 0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2003:9-2003:41)
  read with [] (conf. 100)  (exp: & *(argv + 0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2020:7-2020:39)
  read with [] (conf. 100)  (exp: & *(argv + 0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2033:9-2033:41)
  read with [] (conf. 100)  (exp: & *(argv + 0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2040:9-2040:41)
  read with [] (conf. 100)  (exp: & *(argv + 0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2052:5-2052:37)
  read with [] (conf. 100)  (exp: & *(argv + 0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2057:5-2057:37)
  write with [] (conf. 110)  (exp: & c->buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1530:3-1530:26)
  write with [] (conf. 110)  (exp: & c->buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1541:5-1541:32)
  write with [] (conf. 110)  (exp: & c->buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1544:3-1544:30)
  write with [] (conf. 110)  (exp: & c->buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1606:3-1606:34)
  write with [] (conf. 110)  (exp: & c->buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1628:3-1628:34)
  read with [] (conf. 110)  (exp: & c->buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1529:3-1529:50)
  read with [] (conf. 110)  (exp: & c->buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1532:5-1533:73)
  read with [] (conf. 110)  (exp: & c->buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1540:5-1540:56)
  read with [] (conf. 110)  (exp: & c->buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1543:3-1543:66)
  read with [] (conf. 110)  (exp: & c->buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1547:3-1547:41)
  read with [] (conf. 110)  (exp: & c->buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1548:3-1548:56)
  read with [] (conf. 110)  (exp: & c->buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1549:3-1549:34)
  read with [] (conf. 110)  (exp: & c->buffer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1627:3-1627:26)
[Warning][Race] Memory location choices.buffer_size (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:548:13-548:21)
  write with [] (conf. 110)  (exp: & c->buffer_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1535:5-1535:29)
  write with [] (conf. 110)  (exp: & c->buffer_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1546:4-1546:22)
  write with [] (conf. 110)  (exp: & c->buffer_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1605:3-1605:30)
  write with [] (conf. 110)  (exp: & c->buffer_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1629:3-1629:30)
  read with [] (conf. 110)  (exp: & c->buffer_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1524:3-1524:32)
  read with [] (conf. 110)  (exp: & c->buffer_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1526:10-1526:36)
  read with [] (conf. 110)  (exp: & c->buffer_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1532:5-1533:73)
  read with [] (conf. 110)  (exp: & c->buffer_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1534:5-1534:39)
  read with [] (conf. 110)  (exp: & c->buffer_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1543:3-1543:66)
  read with [] (conf. 110)  (exp: & c->buffer_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1545:3-1545:27)
  read with [] (conf. 110)  (exp: & c->buffer_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1546:4-1546:22)
  read with [] (conf. 110)  (exp: & c->buffer_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1548:3-1548:56)
[Warning][Race] Memory location choices.capacity (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:548:13-548:21)
  write with [] (conf. 110)  (exp: & c->capacity) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1580:3-1580:29)
  write with [] (conf. 110)  (exp: & c->capacity) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1609:3-1609:20)
  write with [] (conf. 110)  (exp: & c->capacity) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1634:3-1634:20)
  read with [] (conf. 110)  (exp: & c->capacity) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1649:7-1649:29)
  read with [] (conf. 110)  (exp: & c->capacity) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1650:5-1650:41)
[Warning][Race] Memory location choices.results (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:548:13-548:21)
  write with [] (conf. 100)  (exp: & c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1593:3-1593:51)
  write with [] (conf. 100)  (exp: & c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1858:3-1858:42)
  read with [] (conf. 100)  (exp: & c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1589:3-1589:27)
  read with [] (conf. 100)  (exp: & c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1872:5-1872:35)
  write with [] (conf. 110)  (exp: & c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1593:3-1593:51)
  write with [] (conf. 110)  (exp: & c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1604:3-1604:51)
  write with [] (conf. 110)  (exp: & c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1636:3-1636:51)
  write with [] (conf. 110)  (exp: & c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1858:3-1858:42)
  read with [] (conf. 110)  (exp: & c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1589:3-1589:27)
  read with [] (conf. 110)  (exp: & c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1635:3-1635:27)
  read with [] (conf. 110)  (exp: & c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1872:5-1872:35)
  read with [] (conf. 110)  (exp: & c->results) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1883:3-1883:35)
[Warning][Race] Memory location choices.selection (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:548:13-548:21)
  write with [] (conf. 100)  (exp: & c->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1592:3-1592:21)
  write with [] (conf. 100)  (exp: & c->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1892:5-1892:72)
  write with [] (conf. 100)  (exp: & c->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1903:5-1903:55)
  read with [] (conf. 100)  (exp: & c->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1892:5-1892:72)
  read with [] (conf. 100)  (exp: & c->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1903:5-1903:55)
  read with [] (conf. 100)  (exp: & choices->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2234:3-2234:41)
  read with [] (conf. 100)  (exp: & choices->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2259:7-2259:57)
  read with [] (conf. 100)  (exp: & (state->choices)->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2309:3-2309:65)
  read with [] (conf. 100)  (exp: & (state->choices)->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2497:11-2497:48)
  read with [] (conf. 100)  (exp: & (state->choices)->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2518:11-2518:78)
  read with [] (conf. 100)  (exp: & (state->choices)->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2538:3-2538:65)
  read with [] (conf. 100)  (exp: & (state->choices)->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2541:5-2541:71)
  write with [] (conf. 110)  (exp: & c->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1592:3-1592:21)
  write with [] (conf. 110)  (exp: & c->selection) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1638:3-1638:25)
[Warning][Race] Memory location choices.size (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:548:13-548:21)
  read with [] (conf. 100)  (exp: & (job->choices)->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1674:7-1674:44)
  read with [] (conf. 100)  (exp: & (job->choices)->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1675:5-1675:42)
  read with [] (conf. 100)  (exp: & c->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1840:5-1840:62)
  read with [] (conf. 100)  (exp: & choices->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2249:5-2249:70)
  write with [] (conf. 110)  (exp: & c->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1608:3-1608:16)
  write with [] (conf. 110)  (exp: & c->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1633:3-1633:16)
  write with [] (conf. 110)  (exp: & c->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1653:4-1653:15)
  read with [] (conf. 110)  (exp: & choices.size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:605:9-605:50)
  read with [] (conf. 110)  (exp: & choices.size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:606:7-606:54)
  read with [] (conf. 110)  (exp: & c->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1649:7-1649:29)
  read with [] (conf. 110)  (exp: & c->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1652:3-1652:16)
  read with [] (conf. 110)  (exp: & c->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1653:4-1653:15)
  read with [] (conf. 110)  (exp: & c->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1840:5-1840:62)
[Warning][Race] Memory location choices.strings (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:548:13-548:21)
  read with [] (conf. 100)  (exp: & c->strings) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1779:7-1779:54)
  read with [] (conf. 100)  (exp: & c->strings) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1781:10-1781:63)
  read with [] (conf. 100)  (exp: & c->strings) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1782:10-1782:85)
  write with [] (conf. 110)  (exp: & c->strings) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1579:3-1579:34)
  write with [] (conf. 110)  (exp: & c->strings) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1603:3-1603:42)
  write with [] (conf. 110)  (exp: & c->strings) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1631:3-1631:42)
  read with [] (conf. 110)  (exp: & c->strings) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1578:3-1578:78)
  read with [] (conf. 110)  (exp: & c->strings) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1630:3-1630:27)
  read with [] (conf. 110)  (exp: & c->strings) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1654:3-1654:31)
[Warning][Race] Memory location choices.worker_count (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:548:13-548:21)
  read with [] (conf. 100)  (exp: & c->worker_count) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1792:9-1792:54)
  read with [] (conf. 100)  (exp: & c->worker_count) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1832:3-1832:69)
  read with [] (conf. 100)  (exp: & c->worker_count) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1835:3-1835:35)
  write with [] (conf. 110)  (exp: & c->worker_count) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1612:5-1612:39)
  write with [] (conf. 110)  (exp: & c->worker_count) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1615:5-1615:53)
  read with [] (conf. 110)  (exp: & c->worker_count) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1832:3-1832:69)
  read with [] (conf. 110)  (exp: & c->worker_count) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1835:3-1835:35)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:582:12-582:13)
[Warning][Deadcode][CWE-570] condition '! buffer' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1499:7-1499:15)
[Warning][Deadcode][CWE-571] condition 'positions' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1005:9-1005:18)
[Warning][Race] Memory location (struct search_job).processed (race with conf. 100):
  write with [] (conf. 100)  (exp: & job->processed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1673:3-1673:26)
  write with [] (conf. 100)  (exp: & job->processed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1675:5-1675:42)
  read with [] (conf. 100)  (exp: & job->processed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1672:3-1672:26)
  read with [] (conf. 100)  (exp: & job->processed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1673:3-1673:26)
  read with [] (conf. 100)  (exp: & job->processed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1674:7-1674:44)
  read with [] (conf. 100)  (exp: & job->processed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1677:3-1677:24)
[Warning][Race] Memory location (struct search_job).search (race with conf. 100):
  write with [] (conf. 100)  (exp: & *(c->strings + tmp)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1654:3-1654:31)
  read with [] (conf. 100)  (exp: & job->search) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1779:7-1779:54)
  read with [] (conf. 100)  (exp: & job->search) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1782:10-1782:85)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:2516:10-2516:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1531:10-1531:11)
[Warning][Race] Memory location (alloc@sid:918@tid:Top Threads(#top)) (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1823:3-1823:55)
  free with [] (conf. 110)  (exp: (void *)job) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1862:3-1862:20)
[Warning][Race] Memory location (alloc@sid:918@tid:Top Threads(#top)).choices (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1823:3-1823:55)
  read with [] (conf. 100)  (exp: & job->choices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1674:7-1674:44)
  read with [] (conf. 100)  (exp: & job->choices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1675:5-1675:42)
  read with [] (conf. 100)  (exp: & job->choices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1770:3-1770:38)
  write with [] (conf. 110)  (exp: & job->choices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1826:3-1826:19)
  free with [] (conf. 110)  (exp: (void *)job) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1862:3-1862:20)
[Warning][Race] Memory location (alloc@sid:918@tid:Top Threads(#top)).search (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1823:3-1823:55)
  write with [] (conf. 100)  (exp: & *(c->strings + tmp)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1654:3-1654:31)
  read with [] (conf. 100)  (exp: & job->search) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1779:7-1779:54)
  read with [] (conf. 100)  (exp: & *(c->strings + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1779:7-1779:54)
  read with [] (conf. 100)  (exp: & *(c->strings + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1781:10-1781:63)
  read with [] (conf. 100)  (exp: & job->search) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1782:10-1782:85)
  read with [] (conf. 100)  (exp: & *(c->strings + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1782:10-1782:85)
  write with [] (conf. 110)  (exp: & job->search) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1825:3-1825:23)
  free with [] (conf. 110)  (exp: (void *)job) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1862:3-1862:20)
[Warning][Race] Memory location (alloc@sid:918@tid:Top Threads(#top)).workers (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1823:3-1823:55)
  read with [] (conf. 100)  (exp: & job->workers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1796:5-1796:90)
  read with [] (conf. 100)  (exp: & job->workers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1802:5-1802:72)
  write with [] (conf. 110)  (exp: & job->workers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1833:3-1833:42)
  read with [] (conf. 110)  (exp: & job->workers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1834:3-1834:25)
  free with [] (conf. 110)  (exp: (void *)job) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1862:3-1862:20)
[Warning][Race] Memory location usage_str (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1921:19-1921:764)
  write with [] (conf. 100)  (exp: & *(c->strings + tmp)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1654:3-1654:31)
  read with [] (conf. 110)  (exp: & usage_str) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1927:3-1927:82)
[Warning][Deadcode][CWE-571] condition 'positions' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1029:7-1029:16)
[Warning][Deadcode][CWE-570] condition 'sizeof(c) > 1UL' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:731:7-731:22)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/fzy/main.c:1550:10-1550:11)
SV-COMP result: unknown
[Info][Race] Memory locations race summary:
  safe: 40
  vulnerable: 0
  unsafe: 50
  total memory locations: 90
[Info][Unsound] ASM ignored
[Warning][Unsound][Call] No suitable function to call
