./goblint --conf conf/examples/large-program.json --cil.cstd c90 --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/Mirai-Source-Code/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][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/Mirai-Source-Code/main.c:1762:5-1762:91)
[Info][Unsound] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1762:5-1762:91)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1762:5-1762:91)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1762:5-1762:91)
[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(stdout, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1763:5-1764:25)
[Info][Unsound] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1763:5-1764:25)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1763:5-1764:25)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1763:5-1764:25)
[Info][Unsound] Unknown address in (void (*)(int  ))1 has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1767:3-1767:32)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1767:3-1767:32)
[Info][Imprecise] Invalidating expressions: Const(Int(13,int,13)), CastE(TPtr(TFun(TVoid(), : TInt(int, ), ), ), Const(Int(1,int,1))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1767:3-1767:32)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1767:3-1767:32)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(epollFD, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1768:3-1768:32)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1769:3-1769:24)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(infd, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1770:3-1770:85)
[Info][Unsound] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1770:3-1770:85)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1770:3-1770:85)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1770:3-1770:85)
[Info][Imprecise] Invalidating expressions: Const(Int(2,int,2)), AddrOf(Var(sighandler, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1771:3-1771:26)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1771:3-1771:26)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1772:3-1772:40)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1772:3-1772:40)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(maxConnectedSockets, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1774:3-1774:56)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1774:3-1774:56)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1783:3-1783:27)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(fd, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1688:3-1688:35)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1688:3-1688:35)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), AddrOf(Var(ch, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1693:5-1693:47)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1693:5-1693:47)
[Info][Imprecise] Invalidating expressions: Lval(Var(fd, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1700:3-1700:12)
[Info][Unsound] Unknown value in {&(alloc@sid:1222@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3-1703:44)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1711:9-1711:76)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1710:5-1710:52)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(fd, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1716:3-1716:35)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1716:3-1716:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1728:7-1728:63)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1728:7-1728:63)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), PlusPI(Lval(Mem(PlusPI(Lval(Var(binary, Field(slices:TPtr(TPtr(TInt(unsigned char, ), ), ), NoOffset))), Lval(Var(slice, NoOffset))), NoOffset)), Lval(Var(tmp___3, NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1729:7-1730:24)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1729:7-1730:24)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), AddrOf(Var(ch, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1723:7-1723:53)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1723:7-1723:53)
[Info][Imprecise] Invalidating expressions: Lval(Var(fd, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1738:3-1738:12)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1783:3-1783:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1784:3-1784:24)
[Info][Imprecise] Invalidating expressions: Lval(Var(fd, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:733:9-733:18)
[Warning][Unknown] unlocking mutex (stateTable[def_exc:Unknown int([-31,31])].mutex) which may not be held (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1527:9-1527:52)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(time_t, TNamed(__time_t, TInt(long, ), ), ), ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1510:7-1510:40)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1510:7-1510:40)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(readmelolfgt, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1501:5-1501:88)
[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(infd, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1501:5-1501:88)
[Info][Unsound] Unknown address in (FILE * __restrict  )infd has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1501:5-1501:88)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1501:5-1501:88)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___9, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1501:5-1501:88)
[Info][Unsound] Unknown address in {&tmp___9} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1501:5-1501:88)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1501:5-1501:88)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(orig, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1532:5-1532:48)
[Info][Unsound] Unknown address in {&orig} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1532:5-1532:48)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1532:5-1532:48)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TPtr(TInt(char, ), ),  __restrict  ), AddrOf(Var(running, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5-1534:84)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(token, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5-1534:84)
[Info][Unsound] Unknown address in {&token} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5-1534:84)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5-1534:84)
[Info][Unsound] Unknown address in {&running} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5-1534:84)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5-1534:84)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1539:7-1539:47)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1539:7-1539:47)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(dest_addr, Field(sin_port:TNamed(in_port_t, TNamed(uint16_t, TNamed(__uint16_t, TInt(unsigned short, ), ), ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1558:5-1558:46)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(dest_addr, Field(sin_addr:TComp(struct in_addr, s_addr : TNamed(in_addr_t, TNamed(uint32_t, TNamed(__uint32_t, TInt(unsigned int, ), ), ), ), , ), Field(s_addr:TNamed(in_addr_t, TNamed(uint32_t, TNamed(__uint32_t, TInt(unsigned int, ), ), ), ), NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1559:5-1559:63)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1559:5-1559:63)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1573:7-1573:35)
[Info][Unsound] Unknown address in {&tmp___2} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1573:7-1573:35)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1573:7-1573:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1574:11-1574:24)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1574:11-1574:24)
[Info][Imprecise] Invalidating expressions: Lval(Var(fd, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1576:11-1576:20)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(fd, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1580:7-1580:27)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), Const(Int(0,int,0))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1585:7-1585:40)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1585:7-1585:40)
[Info][Imprecise] Invalidating expressions: |(Lval(Var(tmp___3, NoOffset)), Const(Int(2048,int,2048))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1586:7-1586:35)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(my_addr, Field(sin_addr:TComp(struct in_addr, s_addr : TNamed(in_addr_t, TNamed(uint32_t, TNamed(__uint32_t, TInt(unsigned int, ), ), ), ), , ), Field(s_addr:TNamed(in_addr_t, TNamed(uint32_t, TNamed(__uint32_t, TInt(unsigned int, ), ), ), ), NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1590:7-1590:65)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1590:7-1590:65)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(my_addr, Field(sin_port:TNamed(in_port_t, TNamed(uint16_t, TNamed(__uint16_t, TInt(unsigned short, ), ), ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1593:7-1593:51)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1595:7-1595:35)
[Info][Unsound] Unknown address in {&tmp___5} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1595:7-1595:35)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1595:7-1595:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1596:7-1596:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1596:7-1596:19)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___6, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1597:7-1598:50)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(res, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1605:5-1606:49)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___7, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1608:7-1608:35)
[Info][Unsound] Unknown address in {&tmp___7} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1608:7-1608:35)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1608:7-1608:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1609:11-1609:26)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1609:11-1609:26)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(time_t, TNamed(__time_t, TInt(long, ), ), ), ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1621:7-1621:44)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___8, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1621:7-1621:44)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TPtr(TInt(char, ), ),  __restrict  ), AddrOf(Var(running, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7-1627:86)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(token, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7-1627:86)
[Info][Unsound] Unknown address in {&token} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7-1627:86)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7-1627:86)
[Info][Unsound] Unknown address in {&running} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7-1627:86)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7-1627:86)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1628:7-1628:93)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1628:7-1628:93)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TPtr(TInt(char, ), ),  __restrict  ), AddrOf(Var(running, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7-1629:86)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(token, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7-1629:86)
[Info][Unsound] Unknown address in {&token} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7-1629:86)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7-1629:86)
[Info][Unsound] Unknown address in {&running} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7-1629:86)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7-1629:86)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1630:7-1630:93)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1630:7-1630:93)
[Warning][Unknown] unlocking mutex (stateTable[def_exc:Unknown int([-31,31])].mutex) which may not be held (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1634:5-1634:49)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(event, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1639:5-1639:39)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)orig in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1640:5-1640:23)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1640:5-1640:23)
[Info][Imprecise] Invalidating expressions: Lval(Var(fd, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1610:9-1610:18)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)orig in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1541:9-1541:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1541:9-1541:27)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer (void *)orig in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1536:7-1536:25)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1536:7-1536:25)
[Warning][Unknown] unlocking mutex (stateTable[def_exc:Unknown int([-31,31])].mutex) which may not be held (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1661:7-1661:54)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(time_t, TNamed(__time_t, TInt(long, ), ), ), ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1644:5-1644:43)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___10, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1644:5-1644:43)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(running_threads, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:835:3-835:45)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(),  __restrict  ), AddrOf(Var(so_error, NoOffset))), CastE(TPtr(TNamed(socklen_t, TNamed(__socklen_t, TInt(unsigned int, ), ), ),  __restrict  ), AddrOf(Var(len, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1410:11-1410:110)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(pevents, Index(Lval(Var(i, NoOffset)), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1419:11-1419:61)
[Warning][Unknown] unlocking mutex (stateTable[def_exc:Unknown int([-31,31])].mutex) which may not be held (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1425:9-1425:49)
[Warning][Unknown] unlocking mutex (stateTable[def_exc:Unknown int([-31,31])].mutex) which may not be held (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1414:13-1414:53)
[Info][Imprecise] Invalidating expressions: Lval(Var(buf, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3-546:45)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3-546:45)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(hex_buf, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:565:5-566:47)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(hex_buf, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:590:5-591:47)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:595:3-595:63)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:659:9-659:44)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:660:7-660:67)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:449:7-449:100)
[Info][Unsound] Unknown address in {&tmp___2} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:449:7-449:100)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:449:7-449:100)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:487:9-487:63)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(textBuffer, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3-618:17)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___8, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1038:13-1038:71)
[Info][Unsound] Unknown address in {&tmp___8} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1038:13-1038:71)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1038:13-1038:71)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___9, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1043:15-1043:76)
[Info][Unsound] Unknown address in {&tmp___9} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1043:15-1043:76)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1043:15-1043:76)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___10, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1048:17-1048:78)
[Info][Unsound] Unknown address in {&tmp___10} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1048:17-1048:78)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1048:17-1048:78)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___11, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1053:19-1053:82)
[Info][Unsound] Unknown address in {&tmp___11} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1053:19-1053:82)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1053:19-1053:82)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___12, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1061:13-1061:66)
[Info][Unsound] Unknown address in {&tmp___12} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1061:13-1061:66)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1061:13-1061:66)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___15, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1122:13-1122:75)
[Info][Unsound] Unknown address in {&tmp___15} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1122:13-1122:75)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1122:13-1122:75)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1204:29-1204:55)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1186:27-1186:53)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1164:31-1164:53)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1164:31-1164:53)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1151:19-1151:68)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1151:19-1151:68)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1156:21-1156:70)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1156:21-1156:70)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1153:21-1153:70)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1153:21-1153:70)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(space, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1159:19-1159:59)
[Info][Unsound] Unknown address in {&space} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1159:19-1159:59)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1159:19-1159:59)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1159:19-1159:59)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1161:25-1161:49)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(space, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1176:23-1176:63)
[Info][Unsound] Unknown address in {&space} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1176:23-1176:63)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1176:23-1176:63)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1176:23-1176:63)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1179:23-1179:47)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1183:27-1183:52)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1192:23-1193:50)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1198:25-1198:48)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1201:29-1201:54)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1216:19-1216:68)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1216:19-1216:68)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1218:21-1218:70)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1218:21-1218:70)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___29, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1255:13-1255:75)
[Info][Unsound] Unknown address in {&tmp___29} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1255:13-1255:75)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1255:13-1255:75)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___31, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1297:13-1297:75)
[Info][Unsound] Unknown address in {&tmp___31} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1297:13-1297:75)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1297:13-1297:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1301:15-1302:91)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1301:15-1302:91)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___32, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1318:13-1318:75)
[Info][Unsound] Unknown address in {&tmp___32} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1318:13-1318:75)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1318:13-1318:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1320:15-1321:71)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___33, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1333:13-1333:75)
[Info][Unsound] Unknown address in {&tmp___33} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1333:13-1333:75)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1333:13-1333:75)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(time_t, TNamed(__time_t, TInt(long, ), ), ), ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:747:7-747:40)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:747:7-747:40)
[Warning][Unknown] unlocking mutex (stateTable[def_exc:Unknown int([-31,31])].mutex) which may not be held (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1395:9-1395:49)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(event, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1401:11-1401:56)
[Warning][Unknown] unlocking mutex (stateTable[def_exc:Unknown int([-31,31])].mutex) which may not be held (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:891:11-891:47)
[Info][Imprecise] Invalidating expressions: StartOf(Var(pevents, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:855:5-855:50)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:855:5-855:50)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___37, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:858:9-858:38)
[Info][Unsound] Unknown address in {&tmp___37} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:858:9-858:38)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:858:9-858:38)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:859:13-859:31)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:859:13-859:31)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(running_threads, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1431:3-1431:45)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(time_t, TNamed(__time_t, TInt(long, ), ), ), ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1793:3-1793:40)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1793:3-1793:40)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1795:3-1795:47)
[Info][Unsound] Unknown address in {&tmp___1} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1795:3-1795:47)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1795:3-1795:47)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(timeText, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1797:3-1798:45)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1797:3-1798:45)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(temp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1807:3-1807:74)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(temp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1810:3-1810:81)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(temp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1813:3-1813:78)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(temp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1816:3-1816:77)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(temp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1819:3-1819:80)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(temp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1822:3-1822:71)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(temp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1825:3-1825:77)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(temp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1828:3-1828:81)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), Lval(Var(new, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1845:5-1846:24)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), Lval(Var(new, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1847:5-1848:23)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), Lval(Var(new, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1849:5-1850:28)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), Lval(Var(new, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1851:5-1852:27)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), Lval(Var(new, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1853:5-1854:24)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), Lval(Var(new, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1855:5-1856:24)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), Lval(Var(new, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1858:5-1859:21)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), Lval(Var(new, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1860:5-1861:29)
[Info][Imprecise] Invalidating expressions: Lval(Var(stdout, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1863:5-1863:19)
[Info][Unsound] Unknown address in stdout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1863:5-1863:19)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1863:5-1863:19)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1863:5-1863:19)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TNamed(time_t, TNamed(__time_t, TInt(long, ), ), ), ), CastE(TPtr(TVoid(), ), Const(Int(0,int,0)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1868:3-1868:36)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(now, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1868:3-1868:36)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(t, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1869:3-1869:41)
[Info][Unsound] Unknown address in {&t} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1869:3-1869:41)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1869:3-1869:41)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), StartOf(Var(timeText, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1870:3-1871:45)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1870:3-1871:45)
[Warning][Deadcode] Function 'handle_found' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:697:1-705:1)
[Warning][Deadcode] Function 'chomp' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1444:1-1466:1)
[Warning][Deadcode] Function 'flood' has dead code:
  on line 1382 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1382-1382)
[Warning][Deadcode] Function 'loader' has dead code:
  on line 1666 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1666-1666)
  on line 1668 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1668-1668)
[Warning][Deadcode] Function 'memmem' has dead code:
  on line 647 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:647-647)
  on lines 653..654 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:653-654)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 801
  dead: 18 (12 in uncalled functions)
  total lines: 819
[Warning][Race] Memory location debug_mode (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:263:22-263:51)
  write with [] (conf. 110)  (exp: & debug_mode) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1776:5-1776:34)
  read with [] (conf. 110)  (exp: & debug_mode) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:558:7-558:17)
  read with [] (conf. 110)  (exp: & debug_mode) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:583:7-583:17)
  read with [] (conf. 110)  (exp: & debug_mode) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1835:9-1835:19)
[Warning][Deadcode][CWE-570] condition 's_len == 0UL' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:646:7-646:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1200:30-1200:31)
[Warning][Deadcode][CWE-570] condition 's_len == 1UL' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:652:7-652:19)
[Warning][Race] Memory location bind_ip (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:262:13-262:41)
  read with [] (conf. 90)  (exp: (char ** __restrict  )(& running)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5-1534:84)
  read with [] (conf. 90)  (exp: (char ** __restrict  )(& running)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7-1627:86)
  read with [] (conf. 90)  (exp: (char ** __restrict  )(& running)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7-1629:86)
  read with [] (conf. 100)  (exp: & *(argv + 0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1763:5-1764:25)
  read with [] (conf. 100)  (exp: & *(argv + 1)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1769:3-1769:24)
  read with [] (conf. 100)  (exp: & *(argv + 2)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1770:3-1770:85)
  read with [] (conf. 100)  (exp: & *(argv + 5)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1772:3-1772:40)
  read with [] (conf. 100)  (exp: & *(argv + 6)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1774:3-1774:56)
  read with [] (conf. 100)  (exp: & *(argv + 3)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1783:3-1783:27)
  read with [] (conf. 100)  (exp: & *(argv + 4)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1784:3-1784:24)
  write with [] (conf. 110)  (exp: & bind_ip) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1769:3-1769:24)
  read with [] (conf. 110)  (exp: & bind_ip) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1590:7-1590:65)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1720:10-1720:11)
[Warning][Race] Memory location timed_out (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:268:24-268:62)
  write with [] (conf. 110)  (exp: & timed_out) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:684:3-684:42)
  read with [] (conf. 110)  (exp: & timed_out) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:684:3-684:42)
  read with [] (conf. 110)  (exp: & timed_out) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1847:5-1848:23)
[Warning][Race] Memory location (alloc@sid:1350@tid:Top Threads(#top)) (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1832:3-1832:32)
  free with [] (conf. 100)  (exp: (void *)orig) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1536:7-1536:25)
  free with [] (conf. 100)  (exp: (void *)orig) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1541:9-1541:27)
  free with [] (conf. 100)  (exp: (void *)orig) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1640:5-1640:23)
  write with [] (conf. 110)  (exp: (void *)new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1844:5-1844:45)
  write with [] (conf. 110)  (exp: (char * __restrict  )new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1845:5-1846:24)
  write with [] (conf. 110)  (exp: (char * __restrict  )new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1847:5-1848:23)
  write with [] (conf. 110)  (exp: (char * __restrict  )new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1849:5-1850:28)
  write with [] (conf. 110)  (exp: (char * __restrict  )new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1851:5-1852:27)
  write with [] (conf. 110)  (exp: (char * __restrict  )new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1853:5-1854:24)
  write with [] (conf. 110)  (exp: (char * __restrict  )new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1855:5-1856:24)
  write with [] (conf. 110)  (exp: (char * __restrict  )new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1858:5-1859:21)
  write with [] (conf. 110)  (exp: (char * __restrict  )new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1860:5-1861:29)
  read with [] (conf. 110)  (exp: new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1845:5-1846:24)
  read with [] (conf. 110)  (exp: new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1847:5-1848:23)
  read with [] (conf. 110)  (exp: new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1849:5-1850:28)
  read with [] (conf. 110)  (exp: new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1851:5-1852:27)
  read with [] (conf. 110)  (exp: new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1853:5-1854:24)
  read with [] (conf. 110)  (exp: new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1855:5-1856:24)
  read with [] (conf. 110)  (exp: new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1858:5-1859:21)
  read with [] (conf. 110)  (exp: new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1860:5-1861:29)
  read with [] (conf. 110)  (exp: new) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1862:5-1862:48)
[Warning][Race] Memory location epollFD (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:276:12-276:20)
  write with [] (conf. 110)  (exp: & epollFD) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1768:3-1768:32)
  read with [] (conf. 110)  (exp: & epollFD) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:855:5-855:50)
  read with [] (conf. 110)  (exp: & epollFD) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1401:11-1401:56)
  read with [] (conf. 110)  (exp: & epollFD) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1419:11-1419:61)
  read with [] (conf. 110)  (exp: & epollFD) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1639:5-1639:39)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1500:10-1500:11)
[Warning][Race] Memory location maxConnectedSockets (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:264:12-264:35)
  write with [] (conf. 110)  (exp: & maxConnectedSockets) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1774:3-1774:56)
  read with [] (conf. 110)  (exp: & maxConnectedSockets) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1507:11-1507:48)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1505:12-1505:13)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1011:18-1011:19)
[Warning][Race] Memory location (unsigned char *) (race with conf. 100):
  write with [] (conf. 100)  (exp: & *(binary.slices + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1710:5-1710:52)
  read with [] (conf. 100)  (exp: & *(binary.slices + (int )tmp___30)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1301:15-1302:91)
  read with [] (conf. 100)  (exp: & *(binary.slices + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1711:9-1711:76)
  read with [] (conf. 100)  (exp: & *(binary.slices + slice)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1728:7-1728:63)
  read with [] (conf. 100)  (exp: & *(binary.slices + slice)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1729:7-1730:24)
[Warning][Deadcode][CWE-571] condition 'stateTable[q].reconnecting == 0' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1517:17-1517:48)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1250:18-1250:19)
[Warning][Race] Memory location threads (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1744:7-1744:15)
  write with [] (conf. 110)  (exp: & threads) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1773:3-1773:16)
  read with [] (conf. 110)  (exp: & threads) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1788:10-1788:21)
[Warning][Race] Memory location run_arg (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:275:6-275:36)
  read with [] (conf. 90)  (exp: (char ** __restrict  )(& running)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5-1534:84)
  read with [] (conf. 90)  (exp: (char ** __restrict  )(& running)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7-1627:86)
  read with [] (conf. 90)  (exp: (char ** __restrict  )(& running)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7-1629:86)
  read with [] (conf. 100)  (exp: & *(argv + 0)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1763:5-1764:25)
  read with [] (conf. 100)  (exp: & *(argv + 1)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1769:3-1769:24)
  read with [] (conf. 100)  (exp: & *(argv + 2)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1770:3-1770:85)
  read with [] (conf. 100)  (exp: & *(argv + 5)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1772:3-1772:40)
  read with [] (conf. 100)  (exp: & *(argv + 6)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1774:3-1774:56)
  read with [] (conf. 100)  (exp: & *(argv + 3)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1783:3-1783:27)
  read with [] (conf. 100)  (exp: & *(argv + 4)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1784:3-1784:24)
  write with [] (conf. 110)  (exp: & run_arg) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1784:3-1784:24)
  read with [] (conf. 110)  (exp: & run_arg) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1320:15-1321:71)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1033:18-1033:19)
[Warning][Race] Memory location remote_hangup (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:271:24-271:66)
  write with [] (conf. 110)  (exp: & remote_hangup) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:675:3-675:46)
  read with [] (conf. 110)  (exp: & remote_hangup) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:675:3-675:46)
  read with [] (conf. 110)  (exp: & remote_hangup) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1851:5-1852:27)
[Warning][Race] Memory location stateTable[?].echoInd (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:278:20-410:53)
  write with [] (conf. 110)  (exp: & stateTable[fd].echoInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:722:7-722:44)
  write with [] (conf. 110)  (exp: & state___0->echoInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1300:15-1300:77)
  read with [] (conf. 110)  (exp: & state___0->echoInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1299:15-1299:44)
  read with [] (conf. 110)  (exp: & state___0->echoInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1300:15-1300:77)
  read with [] (conf. 110)  (exp: & state___0->echoInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1303:19-1303:64)
[Warning][Race] Memory location stateTable[?].fd (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:278:20-410:53)
  write with [] (conf. 110)  (exp: & stateTable[fd].fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1620:7-1620:29)
  read with [] (conf. 110)  (exp: & stateTable[fd].fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:712:9-712:32)
  read with [] (conf. 110)  (exp: & stateTable[fd].fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:746:9-746:32)
  read with [] (conf. 110)  (exp: & state->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:885:13-885:45)
  read with [] (conf. 110)  (exp: & state->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:887:13-887:44)
  read with [] (conf. 110)  (exp: & state->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:890:11-890:37)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:906:13-906:63)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:919:13-919:57)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:920:13-920:67)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:928:19-928:68)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:938:19-938:68)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:952:15-952:63)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:966:13-966:67)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:979:15-979:62)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:987:15-987:79)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:995:17-995:81)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1002:19-1002:83)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1012:13-1012:67)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1019:15-1019:79)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1025:17-1025:81)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1034:13-1034:67)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1063:15-1063:62)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1069:17-1069:64)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1078:13-1078:67)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1082:13-1082:59)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1089:13-1089:67)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1093:13-1093:56)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1104:13-1104:67)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1110:15-1110:80)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1118:13-1118:67)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1126:17-1126:74)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1135:13-1135:67)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1232:17-1233:87)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1240:19-1241:89)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1251:13-1251:67)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1257:15-1258:62)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1268:19-1269:66)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1277:21-1278:68)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1283:17-1285:64)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1293:13-1293:67)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1301:15-1302:91)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1314:13-1314:67)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1320:15-1321:71)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1329:13-1329:67)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1342:13-1342:67)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1348:15-1348:84)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1356:13-1356:67)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1363:15-1363:78)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1369:17-1369:80)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1377:11-1377:41)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1384:11-1384:41)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1389:13-1389:44)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1392:13-1392:44)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1399:11-1399:40)
  read with [] (conf. 110)  (exp: & state___0->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1401:11-1401:56)
  read with [] (conf. 110)  (exp: & state___1->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1410:11-1410:110)
  read with [] (conf. 110)  (exp: & state___1->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1412:13-1412:49)
  read with [] (conf. 110)  (exp: & state___1->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1413:13-1413:43)
  read with [] (conf. 110)  (exp: & state___1->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1419:11-1419:61)
  read with [] (conf. 110)  (exp: & state___1->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1421:11-1422:32)
  read with [] (conf. 110)  (exp: & state___1->fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1423:11-1423:41)
  read with [] (conf. 110)  (exp: & stateTable[q].fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1519:17-1519:56)
  read with [] (conf. 110)  (exp: & stateTable[q].fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1521:17-1521:49)
  read with [] (conf. 110)  (exp: & stateTable[q].fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1523:15-1523:48)
  read with [] (conf. 110)  (exp: & stateTable[q___0].fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1653:15-1653:58)
  read with [] (conf. 110)  (exp: & stateTable[q___0].fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1655:15-1655:51)
  read with [] (conf. 110)  (exp: & stateTable[q___0].fd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1657:13-1657:50)
[Warning][Race] Memory location stateTable[?].got_prompt (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:278:20-410:53)
  write with [] (conf. 110)  (exp: & stateTable[fd].got_prompt) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:726:7-726:51)
  write with [] (conf. 110)  (exp: & state___0->got_prompt) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:978:15-978:55)
  write with [] (conf. 110)  (exp: & state___0->got_prompt) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:986:15-986:55)
  write with [] (conf. 110)  (exp: & state___0->got_prompt) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:994:17-994:57)
  write with [] (conf. 110)  (exp: & state___0->got_prompt) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1001:19-1001:59)
[Warning][Race] Memory location stateTable[?].is_open (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:278:20-410:53)
  write with [] (conf. 110)  (exp: & stateTable[fd].is_open) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:728:9-728:50)
  write with [] (conf. 110)  (exp: & stateTable[fd].is_open) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1625:7-1625:48)
  read with [] (conf. 110)  (exp: & stateTable[fd].is_open) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:727:11-727:33)
[Warning][Race] Memory location stateTable[?].password[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:278:20-410:53)
  write with [] (conf. 110)  (exp: & stateTable[fd].password[0]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:721:7-721:43)
  write with [] (conf. 110)  (exp: (char * __restrict  )(stateTable[fd].password)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1630:7-1630:93)
[Warning][Race] Memory location stateTable[?].path[?][?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:278:20-410:53)
  write with [] (conf. 110)  (exp: & stateTable[fd].path[0][0]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:715:7-715:42)
  write with [] (conf. 110)  (exp: & stateTable[fd].path[1][0]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:716:7-716:42)
  write with [] (conf. 110)  (exp: & stateTable[fd].path[2][0]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:717:7-717:42)
  write with [] (conf. 110)  (exp: & stateTable[fd].path[3][0]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:718:7-718:42)
  write with [] (conf. 110)  (exp: & stateTable[fd].path[4][0]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:719:7-719:42)
  write with [] (conf. 110)  (exp: (char * __restrict  )(state___0->path[memes])) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1192:23-1193:50)
  write with [] (conf. 110)  (exp: & state___0->path[memes][iii - 1]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1194:23-1194:70)
  write with [] (conf. 110)  (exp: (char * __restrict  )(state___0->path[0])) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1230:19-1230:98)
  write with [] (conf. 110)  (exp: (char * __restrict  )(state___0->path[0])) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1239:19-1239:105)
  write with [] (conf. 110)  (exp: (char * __restrict  )(state___0->path[0])) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1266:19-1266:105)
  write with [] (conf. 110)  (exp: (char * __restrict  )(state___0->path[0])) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1275:21-1275:107)
  read with [] (conf. 110)  (exp: (char const   *)(state___0->path[0])) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1228:17-1228:70)
  read with [] (conf. 110)  (exp: (char const   *)(state___0->path[state___0->pathInd])) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1273:19-1273:89)
[Warning][Race] Memory location stateTable[?].pathInd (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:278:20-410:53)
  write with [] (conf. 110)  (exp: & stateTable[fd].pathInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:723:7-723:43)
  write with [] (conf. 110)  (exp: & state___0->pathInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1264:17-1264:78)
  write with [] (conf. 110)  (exp: & state___0->pathInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1267:19-1267:51)
  write with [] (conf. 110)  (exp: & state___0->pathInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1276:21-1276:53)
  read with [] (conf. 110)  (exp: & state___0->pathInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1257:15-1258:62)
  read with [] (conf. 110)  (exp: & state___0->pathInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1264:17-1264:78)
  read with [] (conf. 110)  (exp: & state___0->pathInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1265:21-1265:50)
  read with [] (conf. 110)  (exp: & state___0->pathInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1268:19-1269:66)
  read with [] (conf. 110)  (exp: & state___0->pathInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1273:19-1273:89)
  read with [] (conf. 110)  (exp: & state___0->pathInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1277:21-1278:68)
  read with [] (conf. 110)  (exp: & state___0->pathInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1283:17-1285:64)
  read with [] (conf. 110)  (exp: & state___0->pathInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1301:15-1302:91)
  read with [] (conf. 110)  (exp: & state___0->pathInd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1320:15-1321:71)
[Warning][Race] Memory location stateTable[?].slotUsed (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:278:20-410:53)
  write with [] (conf. 110)  (exp: & stateTable[fd].slotUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:713:7-713:34)
  write with [] (conf. 110)  (exp: & stateTable[fd].slotUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1623:7-1623:34)
  read with [] (conf. 110)  (exp: & stateTable[fd].slotUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:711:7-711:30)
  read with [] (conf. 110)  (exp: & stateTable[fd].slotUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:745:7-745:30)
  read with [] (conf. 110)  (exp: & stateTable[q].slotUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:764:9-764:31)
  read with [] (conf. 110)  (exp: & state___0->slotUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1387:13-1387:32)
  read with [] (conf. 110)  (exp: & stateTable[q].slotUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1515:13-1515:35)
  read with [] (conf. 110)  (exp: & stateTable[fd].slotUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1618:9-1618:34)
  read with [] (conf. 110)  (exp: & stateTable[q___0].slotUsed) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1649:11-1649:37)
[Warning][Race] Memory location stateTable[?].special (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:278:20-410:53)
  write with [] (conf. 110)  (exp: & stateTable[fd].special) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:725:7-725:48)
  write with [] (conf. 110)  (exp: & state___0->special) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:973:15-973:52)
  write with [] (conf. 110)  (exp: & stateTable[fd].special) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1626:7-1626:48)
  read with [] (conf. 110)  (exp: & state___0->special) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1094:17-1094:46)
[Warning][Race] Memory location stateTable[?].state (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:278:20-410:53)
  write with [] (conf. 110)  (exp: & stateTable[fd].state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:714:7-714:46)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:909:17-909:52)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:914:17-914:52)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:922:15-922:50)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:980:15-980:50)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:988:15-988:50)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:996:17-996:52)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1003:19-1003:54)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1020:15-1020:50)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1026:17-1026:52)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1040:15-1040:52)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1045:17-1045:54)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1050:19-1050:56)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1055:21-1055:58)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1064:15-1064:50)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1070:17-1070:52)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1083:13-1083:48)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1095:15-1095:52)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1097:15-1097:50)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1111:15-1111:50)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1127:17-1127:53)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1234:17-1234:54)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1242:19-1242:56)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1259:15-1259:52)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1270:19-1270:56)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1279:21-1279:58)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1304:17-1304:54)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1306:17-1306:54)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1322:15-1322:52)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1335:15-1335:52)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1349:15-1349:52)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1364:15-1364:50)
  write with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1370:17-1370:52)
  write with [] (conf. 110)  (exp: & state___1->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1417:11-1417:46)
  write with [] (conf. 110)  (exp: & stateTable[fd].state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1624:7-1624:46)
  read with [] (conf. 110)  (exp: & stateTable[sock].state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:565:5-566:47)
  read with [] (conf. 110)  (exp: & stateTable[sock].state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:590:5-591:47)
  read with [] (conf. 110)  (exp: & state->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:884:15-884:38)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:902:9-902:43)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:905:15-905:42)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:918:15-918:42)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:957:17-957:48)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:964:13-964:40)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1010:13-1010:40)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1032:13-1032:40)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1076:13-1076:40)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1087:13-1087:40)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1102:13-1102:40)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1116:13-1116:40)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1133:13-1133:41)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1249:13-1249:42)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1291:13-1291:42)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1312:13-1312:42)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1327:13-1327:42)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1340:13-1340:42)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1354:13-1354:42)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1376:13-1376:42)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1380:13-1380:42)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1388:15-1388:50)
  read with [] (conf. 110)  (exp: & state___0->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1391:15-1391:44)
  read with [] (conf. 110)  (exp: & state___1->state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1407:13-1407:40)
  read with [] (conf. 110)  (exp: & stateTable[q].state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1518:19-1518:49)
  read with [] (conf. 110)  (exp: & stateTable[q___0].state) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1652:17-1652:51)
[Warning][Race] Memory location stateTable[?].success (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:278:20-410:53)
  write with [] (conf. 110)  (exp: & stateTable[fd].success) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:724:7-724:48)
  read with [] (conf. 110)  (exp: & state___0->success) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1381:15-1381:33)
[Warning][Race] Memory location stateTable[?].updatedAt (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:278:20-410:53)
  write with [] (conf. 110)  (exp: & stateTable[fd].updatedAt) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:748:7-748:43)
  write with [] (conf. 110)  (exp: & stateTable[fd].updatedAt) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1622:7-1622:47)
  read with [] (conf. 110)  (exp: & stateTable[q].updatedAt) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1516:15-1516:53)
  read with [] (conf. 110)  (exp: & stateTable[q___0].updatedAt) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1650:13-1650:59)
[Warning][Race] Memory location stateTable[?].username[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:278:20-410:53)
  write with [] (conf. 110)  (exp: & stateTable[fd].username[0]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:720:7-720:43)
  write with [] (conf. 110)  (exp: (char * __restrict  )(stateTable[fd].username)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1628:7-1628:93)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:438:10-438:11)
[Warning][Race] Memory location infd (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:274:6-274:12)
  write with [] (conf. 110)  (exp: & infd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1770:3-1770:85)
  read with [] (conf. 110)  (exp: & infd) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1501:5-1501:88)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1292:18-1292:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:466:10-466:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1077:18-1077:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1572:12-1572:13)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:471:12-471:13)
[Warning][Race] Memory location port (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:272:25-272:59)
  write with [] (conf. 110)  (exp: & port) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1592:7-1592:80)
  read with [] (conf. 110)  (exp: & port) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1591:7-1591:21)
  read with [] (conf. 110)  (exp: & port) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1592:7-1592:80)
[Warning][Race] Memory location (void ) (race with conf. 100):
  free with [] (conf. 100)  (exp: (void *)orig) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1536:7-1536:25)
  free with [] (conf. 100)  (exp: (void *)orig) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1541:9-1541:27)
  free with [] (conf. 100)  (exp: (void *)orig) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1640:5-1640:23)
[Warning][Race] Memory location localtime (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:248:47-248:82)
  call with [] (conf. 110)  (exp: localtime) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1795:3-1795:47)
  call with [] (conf. 110)  (exp: localtime) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1869:3-1869:41)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1313:18-1313:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1088:18-1088:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:854:10-854:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1834:10-1834:11)
[Warning][Race] Memory location bytes_sent (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:267:23-267:61)
  write with [] (conf. 110)  (exp: & bytes_sent) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:594:3-594:44)
  write with [] (conf. 110)  (exp: & bytes_sent) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1864:5-1864:43)
  read with [] (conf. 110)  (exp: & bytes_sent) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:594:3-594:44)
  read with [] (conf. 110)  (exp: & bytes_sent) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1855:5-1856:24)
[Warning][Deadcode][CWE-571] condition '(unsigned long )desc != (unsigned long )((void *)0)' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:505:7-505:58)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1328:18-1328:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1103:18-1103:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1341:18-1341:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1117:18-1117:19)
[Warning][Race] Memory location (alloc@sid:5@tid:Top Threads(#top)) (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:432:3-432:30)
  free with [] (conf. 100)  (exp: (void *)orig) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1536:7-1536:25)
  free with [] (conf. 100)  (exp: (void *)orig) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1541:9-1541:27)
  free with [] (conf. 100)  (exp: (void *)orig) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1640:5-1640:23)
  write with [] (conf. 110)  (exp: (void *)tmpStr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:435:3-435:43)
  write with [] (conf. 110)  (exp: (char * __restrict  )tmpStr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:458:7-459:26)
  read with [] (conf. 110)  (exp: (char * __restrict  )tmpStr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:458:7-459:26)
  read with [] (conf. 110)  (exp: (char const   *)tmpStr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:463:3-463:41)
  free with [] (conf. 110)  (exp: (void *)tmpStr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:488:7-488:27)
  free with [] (conf. 110)  (exp: (void *)tmpStr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:493:3-493:23)
[Warning][Race] Memory location (alloc@sid:5@tid:Top Threads(#top))[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:432:3-432:30)
  free with [] (conf. 100)  (exp: (void *)orig) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1536:7-1536:25)
  free with [] (conf. 100)  (exp: (void *)orig) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1541:9-1541:27)
  free with [] (conf. 100)  (exp: (void *)orig) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1640:5-1640:23)
  write with [] (conf. 110)  (exp: (void *)tmpStr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:435:3-435:43)
  write with [] (conf. 110)  (exp: (char * __restrict  )tmpStr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:458:7-459:26)
  read with [] (conf. 110)  (exp: & *((tmpStr + bufLen) - q)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:473:13-473:52)
  read with [] (conf. 110)  (exp: & *((tmpStr + bufLen) - q)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:474:15-474:55)
  read with [] (conf. 110)  (exp: & *((tmpStr + bufLen) - q)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:475:17-475:57)
  read with [] (conf. 110)  (exp: & *((tmpStr + bufLen) - q)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:476:19-476:59)
  read with [] (conf. 110)  (exp: & *((tmpStr + bufLen) - q)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:487:9-487:63)
  free with [] (conf. 110)  (exp: (void *)tmpStr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:488:7-488:27)
  free with [] (conf. 110)  (exp: (void *)tmpStr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:493:3-493:23)
[Warning][Race] Memory location (alloc@sid:1210@tid:Top Threads(#top))[?] (race with conf. 100): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1702:3-1702:72)
  write with [] (conf. 100)  (exp: & *(binary.slices + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1710:5-1710:52)
  read with [] (conf. 100)  (exp: & *(binary.slices + (int )tmp___30)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1301:15-1302:91)
  read with [] (conf. 100)  (exp: & *(binary.slices + i)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1711:9-1711:76)
  read with [] (conf. 100)  (exp: & *(binary.slices + slice)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1728:7-1728:63)
  read with [] (conf. 100)  (exp: & *(binary.slices + slice)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1729:7-1730:24)
[Warning][Race] Memory location maxFDSaw (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:273:23-273:59)
  write with [] (conf. 110)  (exp: & maxFDSaw) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1615:7-1615:50)
  read with [] (conf. 110)  (exp: & maxFDSaw) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:763:10-763:46)
  read with [] (conf. 110)  (exp: & maxFDSaw) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1513:14-1513:50)
  read with [] (conf. 110)  (exp: & maxFDSaw) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1614:9-1614:46)
  read with [] (conf. 110)  (exp: & maxFDSaw) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1647:12-1647:52)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1355:18-1355:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:904:16-904:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1134:18-1134:19)
[Warning][Race] Memory location failed_connect (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:270:24-270:67)
  write with [] (conf. 110)  (exp: & failed_connect) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:693:3-693:47)
  read with [] (conf. 110)  (exp: & failed_connect) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:693:3-693:47)
  read with [] (conf. 110)  (exp: & failed_connect) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1849:5-1850:28)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1643:10-1643:11)
[Warning][Deadcode][CWE-570] condition 'state___0->success' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1381:15-1381:33)
[Warning][Deadcode][CWE-571] condition 'stateTable[q___0].reconnecting == 0' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1651:15-1651:50)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1150:24-1150:25)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1162:30-1162:31)
[Warning][Race] Memory location running_threads (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:265:14-265:48)
  write with [] (conf. 110)  (exp: & running_threads) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:835:3-835:45)
  write with [] (conf. 110)  (exp: & running_threads) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1431:3-1431:45)
  read with [] (conf. 110)  (exp: & running_threads) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:835:3-835:45)
  read with [] (conf. 110)  (exp: & running_threads) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1431:3-1431:45)
  read with [] (conf. 110)  (exp: & running_threads) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1838:7-1838:51)
  read with [] (conf. 110)  (exp: & running_threads) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1860:5-1861:29)
[Warning][Race] Memory location binary.num_slices (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:277:38-277:45)
  write with [] (conf. 110)  (exp: & binary.num_slices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1701:3-1701:66)
  read with [] (conf. 110)  (exp: & binary.num_slices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1303:19-1303:64)
  read with [] (conf. 110)  (exp: & binary.num_slices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1702:3-1702:72)
  read with [] (conf. 110)  (exp: & binary.num_slices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1708:10-1708:31)
[Warning][Race] Memory location binary.slices (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:277:38-277:45)
  write with [] (conf. 110)  (exp: & binary.slices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3-1703:44)
  read with [] (conf. 110)  (exp: & binary.slices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1301:15-1302:91)
  read with [] (conf. 110)  (exp: & binary.slices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1704:7-1704:67)
  read with [] (conf. 110)  (exp: & binary.slices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1710:5-1710:52)
  read with [] (conf. 110)  (exp: & binary.slices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1711:9-1711:76)
  read with [] (conf. 110)  (exp: & binary.slices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1728:7-1728:63)
  read with [] (conf. 110)  (exp: & binary.slices) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1729:7-1730:24)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1692:10-1692:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1182:28-1182:29)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:965:18-965:19)
SV-COMP result: unknown
[Info][Race] Memory locations race summary:
  safe: 7
  vulnerable: 0
  unsafe: 36
  total memory locations: 43
