./goblint --conf conf/examples/large-program.json --enable ana.context.widen --cil.cstd c90 --enable ana.sv-comp.enabled --disable witness.enabled --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/Remotery/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: Const(Int(2,int,2)), AddrOf(Var(sigintHandler, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:636:3-636:29)
[Info][Unsound] Unknown value type given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:636:3-636:29)
[Info][Unsound] Unknown address in {&rmt} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:637:3-637:43)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:637:3-637:43)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:834:3-834:60)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6890:3-6890:44)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6600:3-6600:38)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6601:3-6601:57)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6602:3-6602:41)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6603:3-6603:49)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6604:3-6604:37)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6605:3-6605:80)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6606:3-6606:42)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6607:3-6607:56)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6608:3-6608:32)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top)).propertyMutex} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6608:3-6608:32)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6609:3-6609:58)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6610:3-6610:34)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6612:3-6612:43)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6613:3-6613:44)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6614:3-6614:42)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6615:3-6615:46)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6616:3-6616:40)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6617:3-6617:34)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6618:3-6618:49)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6619:3-6619:60)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6620:3-6620:64)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6621:3-6621:63)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6622:3-6622:65)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6623:3-6623:39)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6624:3-6624:39)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6625:3-6625:29)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top)).timer} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6625:3-6625:29)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tv, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:912:3-912:25)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:913:3-913:98)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6627:3-6627:34)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6627:3-6627:34)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6628:7-6628:65)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6628:7-6628:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6631:3-6632:74)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4131:3-4131:51)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4132:3-4132:51)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4133:3-4133:38)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4134:3-4134:22)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4135:3-4135:44)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4136:3-4136:74)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4137:3-4137:42)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4138:3-4138:81)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4139:3-4139:46)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4141:3-4141:38)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4142:7-4142:69)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4145:3-4145:63)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2100:3-2100:48)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2101:3-2101:39)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2102:3-2102:34)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2103:3-2103:38)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4145:3-4145:63)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4155:3-4155:101)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4096:3-4096:43)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4097:7-4097:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4100:3-4100:83)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3545:3-3545:38)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3546:3-3546:44)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3547:3-3547:49)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3548:3-3548:39)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3549:3-3549:39)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3550:3-3550:39)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3551:3-3551:39)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3552:3-3552:39)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3553:7-3553:76)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3555:5-3555:50)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3556:9-3556:78)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3559:5-3559:60)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2586:3-2586:26)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3559:5-3559:60)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4100:3-4100:83)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4103:9-4103:77)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4104:7-4104:50)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3578:3-3578:30)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3604:7-3604:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3605:5-3605:49)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2599:3-2599:30)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2673:7-2673:31)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2674:5-2674:46)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2674:5-2674:46)
[Info][Imprecise] Invalidating expressions: CastE(TPtr(TVoid(), ), StartOf(Var(temp_buf, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2679:9-2679:84)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2679:9-2679:84)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2679:9-2679:84)
[Info][Imprecise] Invalidating expressions: Lval(Mem(Lval(Var(tcp_socket, NoOffset)), Field(socket:TNamed(SOCKET, TInt(int, ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2684:5-2684:30)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2684:5-2684:30)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2685:5-2685:28)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3605:5-3605:49)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3606:5-3606:44)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:852:4-852:51)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:852:4-852:51)
[Warning][Behavior > Undefined > InvalidMemoryDeallocation][CWE-590] Points-to set for pointer ptr in function free is top. Potentially invalid memory deallocation may occur (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3606:5-3606:44)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3607:5-3607:54)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4104:7-4104:50)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4105:7-4105:45)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4105:7-4105:45)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4106:7-4106:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4110:3-4111:56)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3591:3-3591:26)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3592:3-3592:111)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(s, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2625:3-2625:22)
[Info][Imprecise] Invalidating expressions: Lval(Var(handle, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:956:3-956:71)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:956:3-956:71)
[Info][Imprecise] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:996:3-996:40)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(sig, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:996:3-996:40)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:996:3-996:40)
[Info][Unsound] Unknown address in {&tmp___0} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:996:3-996:40)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:996:3-996:40)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1028:5-1028:68)
[Info][Imprecise] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(sig, NoOffset)), CastE(TPtr(TVoid( const  ), ), Lval(Var(value, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1039:3-1039:46)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(sin___0, 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/Remotery/main.c:2640:3-2640:43)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(sin___0, Field(sin_port:TNamed(in_port_t, TNamed(uint16_t, TNamed(__uint16_t, TInt(unsigned short, ), ), ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2641:3-2641:33)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2642:3-2642:108)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2647:3-2647:25)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2648:3-2648:25)
[Info][Imprecise] Invalidating expressions: Const(Int(2048,int,2048)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2653:3-2653:47)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___7, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2653:3-2653:47)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2653:3-2653:47)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3592:3-3592:111)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4110:3-4111:56)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6635:9-6635:67)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6635:9-6635:67)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6636:7-6636:37)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4167:7-4167:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4168:5-4168:48)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4168:5-4168:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4169:5-4169:43)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4169:5-4169:43)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4170:5-4170:53)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4172:7-4172:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4173:5-4173:48)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4173:5-4173:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4174:5-4174:43)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4174:5-4174:43)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4175:5-4175:53)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4177:7-4177:69)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4178:5-4178:39)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2115:7-2115:66)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2116:5-2116:34)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2116:5-2116:34)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2117:5-2117:40)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4178:5-4178:39)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4179:5-4179:37)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4179:5-4179:37)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4180:5-4180:44)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6637:7-6637:35)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6638:7-6638:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6642:4-6642:61)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6642:4-6642:61)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6643:4-6643:55)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6643:4-6643:55)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6645:3-6645:53)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6645:3-6645:53)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6646:7-6646:75)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6646:7-6646:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6649:3-6649:99)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3933:3-3933:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3934:3-3934:51)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3935:3-3935:37)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3936:3-3936:38)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3938:3-3938:47)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3939:7-3939:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3942:3-3942:67)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1373:3-1373:22)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1373:3-1373:22)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1374:3-1374:37)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1374:3-1374:37)
[Info][Imprecise] Invalidating expressions: StartOf(Var(path, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1375:3-1375:34)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(file_descriptor, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1375:3-1375:34)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1379:3-1379:37)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1383:3-1383:62)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1387:3-1387:74)
[Info][Unsound] Unknown address in {&tmp___1} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1387:3-1387:74)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1387:3-1387:74)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1388:3-1388:33)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1388:3-1388:33)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1389:7-1389:66)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1389:7-1389:66)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1390:5-1390:39)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1390:5-1390:39)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1393:3-1393:90)
[Info][Unsound] Unknown address in {&tmp___2} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1393:3-1393:90)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1393:3-1393:90)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1393:3-1393:90)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1393:3-1393:90)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1394:7-1394:61)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1394:7-1394:61)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1397:5-1398:32)
[Info][Unsound] Unknown address in {&tmp___3} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1397:5-1398:32)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1397:5-1398:32)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1397:5-1398:32)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1397:5-1398:32)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1399:9-1399:72)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1399:9-1399:72)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1403:7-1403:65)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1403:7-1403:65)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3942:3-3942:67)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3945:9-3945:67)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3946:7-3946:50)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1417:7-1417:65)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1418:5-1418:62)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1420:3-1420:37)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3946:7-3946:50)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3947:7-3947:35)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3947:7-3947:35)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3948:7-3948:55)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3952:3-3952:36)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3952:3-3952:36)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3953:3-3953:62)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3953:3-3953:62)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6652:9-6652:77)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6652:9-6652:77)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6653:7-6653:56)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3965:7-3965:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3966:5-3966:48)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3966:5-3966:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3967:5-3967:33)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3967:5-3967:33)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3968:5-3968:53)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6654:7-6654:45)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6655:7-6655:61)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6660:3-6660:45)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6660:3-6660:45)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6661:7-6661:71)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6661:7-6661:71)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6664:3-6664:55)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2474:3-2474:38)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2475:3-2475:48)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2477:3-2477:34)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2478:7-2478:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2481:3-2481:59)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2481:3-2481:59)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2492:3-2492:44)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2493:7-2493:69)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2496:3-2496:69)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2336:3-2336:35)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2337:3-2337:30)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2338:3-2338:88)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2339:3-2339:37)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2340:7-2340:66)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2343:3-2343:89)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2343:3-2343:89)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2496:3-2496:69)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2499:9-2499:71)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2500:7-2500:47)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2355:7-2355:66)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2356:5-2356:34)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2356:5-2356:34)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2357:5-2357:43)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2500:7-2500:47)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2501:7-2501:39)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2501:7-2501:39)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2502:7-2502:52)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6667:9-6667:73)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6667:9-6667:73)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6668:7-6668:48)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2517:7-2517:69)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2518:5-2518:45)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2518:5-2518:45)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2519:5-2519:37)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2519:5-2519:37)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2520:5-2520:50)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2522:7-2522:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2523:5-2523:35)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2523:5-2523:35)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2524:5-2524:33)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2524:5-2524:33)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2525:5-2525:40)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6669:7-6669:41)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6670:7-6670:53)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6709:3-6709:53)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6709:3-6709:53)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6710:7-6710:74)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6710:7-6710:74)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6713:3-6713:100)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6713:3-6713:100)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top)).timer} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6713:3-6713:100)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5164:3-5164:34)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5164:3-5164:34)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5165:3-5165:53)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5165:3-5165:53)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5166:3-5166:49)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5166:3-5166:49)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5167:3-5167:54)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5167:3-5167:54)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5168:3-5168:58)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5168:3-5168:58)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5169:3-5169:57)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5169:3-5169:57)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5170:3-5170:143)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5170:3-5170:143)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5171:3-5171:51)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5171:3-5171:51)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5172:3-5172:66)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5172:3-5172:66)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5173:3-5173:66)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5173:3-5173:66)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5174:3-5174:62)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5174:3-5174:62)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:956:3-956:71)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:958:5-958:26)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5181:5-5181:64)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5181:5-5181:64)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5182:9-5182:92)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5182:9-5182:92)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5185:5-5186:62)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5185:5-5186:62)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1862:3-1862:30)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1863:3-1863:24)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1864:3-1864:31)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1865:3-1865:58)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1866:3-1867:68)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1866:3-1867:68)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1828:3-1828:48)
[Warning][Imprecise][Call] Function pointer *(thread->callback) may contain unknown functions. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1828:3-1828:48)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1828:3-1828:48)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1866:3-1867:68)
[Info][Imprecise] Invalidating expressions: AddrOf(Mem(Lval(Var(thread, NoOffset)), Field(handle:TNamed(rmtThreadHandle, TNamed(pthread_t, TInt(unsigned long, ), ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1870:5-1870:36)
[Info][Unsound] Unknown address in & thread->handle has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1870:5-1870:36)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1870:5-1870:36)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1870:5-1870:36)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5185:5-5186:62)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5189:11-5189:94)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5189:11-5189:94)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5190:9-5190:67)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5190:9-5190:67)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1909:3-1909:36)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1842:3-1842:27)
[Error][Imprecise][Unsound] Function definition missing for pthread_equal (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1843:3-1843:51)
[Info][Imprecise] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1843:3-1843:51)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(sig, NoOffset)), Lval(Mem(Lval(Var(thread, NoOffset)), Field(handle:TNamed(rmtThreadHandle, TNamed(pthread_t, TInt(unsigned long, ), ), ), NoOffset))), Lval(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1843:3-1843:51)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1843:3-1843:51)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1843:3-1843:51)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1911:5-1911:34)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1884:3-1884:58)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1912:5-1912:27)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1893:3-1893:36)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1897:3-1897:53)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5190:9-5190:67)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5191:9-5191:62)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5191:9-5191:62)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5191:9-5191:62)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5192:9-5192:72)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5192:9-5192:72)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6716:9-6716:76)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6716:9-6716:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6717:7-6717:55)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5206:7-5206:90)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5206:7-5206:90)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5207:5-5207:63)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5207:5-5207:63)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5207:5-5207:63)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5208:5-5208:58)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5208:5-5208:58)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5208:5-5208:58)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5209:5-5209:68)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5209:5-5209:68)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5212:10-5212:69)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5212:10-5212:69)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5213:5-5213:71)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5214:5-5214:47)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5012:9-5012:95)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5012:9-5012:95)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5013:7-5013:69)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5217:7-5217:63)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5217:7-5217:63)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5218:5-5218:55)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5218:5-5218:55)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5220:3-5220:53)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5220:3-5220:53)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1104:3-1104:31)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6718:7-6718:44)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6719:7-6719:60)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6724:3-6724:55)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6724:3-6724:55)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6725:7-6725:76)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6725:7-6725:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6728:3-6730:93)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1935:3-1935:39)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1935:3-1935:39)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1936:3-1936:39)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1936:3-1936:39)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1937:3-1937:37)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1937:3-1937:37)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1938:3-1938:40)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1938:3-1938:40)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1939:3-1939:41)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1939:3-1939:41)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1940:3-1940:45)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1940:3-1940:45)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1941:3-1941:52)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1941:3-1941:52)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6743:3-6743:19)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1162:3-1162:38)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6747:3-6747:38)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6747:3-6747:38)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6748:7-6748:65)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6748:7-6748:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6751:3-6751:84)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6751:3-6751:84)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6754:9-6754:67)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6754:9-6754:67)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6755:7-6755:40)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6756:7-6756:35)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6757:7-6757:45)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6894:7-6894:37)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6772:7-6772:65)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6772:7-6772:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6773:5-6773:38)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6774:5-6774:33)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6775:5-6775:43)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6781:7-6781:76)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6781:7-6781:76)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6782:5-6782:55)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1953:7-1953:50)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1956:10-1956:78)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1957:5-1957:55)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1957:5-1957:55)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1958:9-1958:81)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1961:6-1961:62)
[Warning][Imprecise][Call] Function pointer *(allocator->destructor) may contain unknown functions. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1961:6-1961:62)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1961:6-1961:62)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1962:5-1962:43)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1962:5-1962:43)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1963:5-1963:33)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6783:5-6783:44)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6784:5-6784:60)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6786:7-6786:74)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6786:7-6786:74)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6787:5-6787:53)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6788:5-6788:42)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6789:5-6789:58)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6791:3-6791:29)
[Info][Imprecise] Invalidating expressions: Lval(Var(fp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:871:5-871:15)
[Info][Unsound] Unknown address in fp has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:871:5-871:15)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:871:5-871:15)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:871:5-871:15)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6792:7-6792:71)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6792:7-6792:71)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6793:5-6793:46)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6794:5-6794:39)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6795:5-6795:51)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6797:7-6797:75)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6797:7-6797:75)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6798:5-6798:54)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6799:5-6799:43)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6800:5-6800:59)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6802:7-6802:65)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6802:7-6802:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6803:5-6803:35)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6804:5-6804:33)
[Warning][Imprecise] Trying to update a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6805:5-6805:40)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6811:3-6811:34)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top)).propertyMutex} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6811:3-6811:34)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6895:7-6895:33)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:852:4-852:51)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7043:3-7044:72)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7043:3-7044:72)
[Info][Unsound] Unknown address in {&thread_profiler} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7043:3-7044:72)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7043:3-7044:72)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5266:3-5266:58)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5266:3-5266:58)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1743:3-1743:23)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5270:5-5270:96)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5232:3-5232:51)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5232:3-5232:51)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5236:9-5236:47)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5234:10-5234:71)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5234:10-5234:71)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5235:5-5235:73)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5238:7-5238:57)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5238:7-5238:57)
[Info][Unsound] Unknown mutex unlocked, base privatization unsound (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1092:3-1092:30)
[Warning][Unknown] unlocking unknown mutex which may not be held (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1092:3-1092:30)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5243:3-5243:92)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5243:3-5243:92)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5244:3-5245:48)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5244:3-5245:48)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4968:3-4968:63)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4969:3-4969:48)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4970:3-4970:52)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4971:3-4971:40)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4972:3-4972:90)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4973:3-4973:72)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4978:3-4979:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1815:3-1815:62)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1802:3-1802:35)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1803:3-1803:78)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1555:12-1555:28)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1573:7-1573:26)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1574:11-1574:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1570:9-1570:30)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1584:12-1584:28)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1599:7-1599:26)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1600:11-1600:27)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1596:9-1596:30)
[Info][Imprecise] Invalidating expressions: Lval(Var(value, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1144:3-1144:56)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1144:3-1144:56)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1805:3-1805:61)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1690:5-1690:85)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1694:5-1694:28)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4978:3-4979:65)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4980:3-4980:93)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1440:9-1440:14)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4981:3-4982:85)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3308:3-3308:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3276:5-3276:32)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3234:3-3234:88)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3288:3-3288:55)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3290:3-3290:54)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3292:3-3292:35)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4981:3-4982:85)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4983:3-4984:63)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4942:3-4943:54)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4011:5-4011:59)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4011:5-4011:59)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4012:5-4012:93)
[Error][Imprecise][Unsound] Function definition missing for __sync_bool_compare_and_swap (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1114:3-1114:64)
[Info][Unsound] Unknown address in val has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1114:3-1114:64)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1114:3-1114:64)
[Info][Imprecise] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1114:3-1114:64)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(sig, NoOffset)), Lval(Var(val, NoOffset)), Lval(Var(old_val, NoOffset)), Lval(Var(new_val, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1114:3-1114:64)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1114:3-1114:64)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1114:3-1114:64)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4003:5-4003:20)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4004:5-4004:46)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1180:3-1180:28)
[Info][Unsound] ASM statement ignored. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1171:3-1171:38)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4006:5-4006:45)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4014:7-4014:39)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4015:7-4015:44)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4949:3-4949:23)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4950:3-4950:36)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4951:3-4952:26)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4953:3-4953:56)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4030:3-4030:69)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4035:3-4035:73)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1201:3-1201:34)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4983:3-4984:63)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4986:3-4986:58)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4987:7-4987:85)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5275:5-5275:84)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5275:5-5275:84)
[Info][Unsound] Unknown address in (void const   *)value has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5275:5-5275:84)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7055:10-7055:38)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7056:5-7056:27)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7062:7-7063:43)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7062:7-7063:43)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7010:3-7010:71)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7014:3-7015:24)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7016:3-7016:56)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7083:5-7083:91)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7083:5-7083:91)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7101:3-7102:72)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7101:3-7102:72)
[Info][Unsound] Unknown address in {&thread_profiler} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7101:3-7102:72)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7101:3-7102:72)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7104:5-7105:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7104:5-7105:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5139:7-5139:89)
[Info][Unsound] Unknown address in {&sample} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7107:5-7108:44)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7107:5-7108:44)
[Info][Unsound] Unknown address in {&sample} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5030:3-5030:58)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5030:3-5030:58)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7132:3-7133:72)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7132:3-7133:72)
[Info][Unsound] Unknown address in {&thread_profiler} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7132:3-7133:72)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7132:3-7133:72)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7135:5-7135:62)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7136:9-7136:40)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7136:9-7136:40)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7137:7-7137:73)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7137:7-7137:73)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7139:7-7139:45)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7139:7-7139:45)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top)).timer} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7139:7-7139:45)
[Info][Imprecise] Invalidating expressions: AddrOf(Var(tv, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:922:3-922:25)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:923:3-923:109)
[Info][Imprecise] Trying to read a field, but the struct is unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:923:3-923:109)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7141:7-7141:44)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4456:7-4456:30)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4456:7-4456:30)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4457:9-4457:45)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4457:9-4457:45)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4458:7-4458:82)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4458:7-4458:82)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4460:7-4460:84)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4460:7-4460:84)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4463:5-4463:82)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4463:5-4463:82)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4465:3-4465:42)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4465:3-4465:42)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4466:7-4466:68)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4466:7-4466:68)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4467:6-4467:62)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4467:6-4467:62)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7142:7-7142:92)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7142:7-7142:92)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5088:3-5088:52)
[Info][Unsound] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5088:3-5088:52)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5089:3-5089:31)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:647:3-647:34)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6915:5-6915:34)
[Info][Unsound] Unknown value in {&(alloc@sid:4394@tid:Top Threads(#top))} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6916:5-6916:30)
[Warning][Deadcode] Function 'maxU16' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:764:1-776:1)
[Warning][Deadcode] Function 'minS32' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:777:1-789:1)
[Warning][Deadcode] Function 'maxS32' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:790:1-802:1)
[Warning][Deadcode] Function 'minU32' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:803:1-815:1)
[Warning][Deadcode] Function 'rmtRealloc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:838:1-846:1)
[Warning][Deadcode] Function 'rmtOpenFile' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:856:1-864:1)
[Warning][Deadcode] Function 'rmtWriteFile' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:876:1-893:1)
[Warning][Deadcode] Function 'msTimer_Get' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:894:1-906:1)
[Warning][Deadcode] Function 'msSleep' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:926:1-934:1)
[Warning][Deadcode] Function 'TimeDateNow' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:935:1-947:1)
[Warning][Deadcode] Function 'rmt_GetLastErrorMessage' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1043:1-1059:1)
[Warning][Deadcode] Function 'AtomicCompareAndSwapPointer' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1123:1-1138:1)
[Warning][Deadcode] Function 'AtomicSubS32' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1148:1-1156:1)
[Warning][Deadcode] Function 'LoadAcquirePointer' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1185:1-1194:1)
[Warning][Deadcode] Function 'StoreReleasePointer' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1205:1-1214:1)
[Warning][Deadcode] Function 'Well512_Init' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1217:1-1233:1)
[Warning][Deadcode] Function 'Well512_RandomU32' is uncalled: 13 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1234:1-1257:1)
[Warning][Deadcode] Function 'Well512_RandomOpenLimit' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1258:1-1275:1)
[Warning][Deadcode] Function 'Log2i' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1286:1-1298:1)
[Warning][Deadcode] Function 'GaloisLFSRMask' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1302:1-1315:1)
[Warning][Deadcode] Function 'GaloisLFSRNext' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1316:1-1328:1)
[Warning][Deadcode] Function 'strstr_s' is uncalled: 49 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1454:1-1532:1)
[Warning][Deadcode] Function 'strcpy_s_safe_c' is uncalled: 33 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1612:1-1664:1)
[Warning][Deadcode] Function 'itoa_s' is uncalled: 13 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1704:1-1729:1)
[Warning][Deadcode] Function 'rmtGetNbProcessors' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1730:1-1737:1)
[Warning][Deadcode] Function 'rmtSuspendThread' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1747:1-1754:1)
[Warning][Deadcode] Function 'rmtResumeThread' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1755:1-1762:1)
[Warning][Deadcode] Function 'rmtGetUserModeThreadContext' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1763:1-1770:1)
[Warning][Deadcode] Function 'rmtSetThreadContext' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1771:1-1778:1)
[Warning][Deadcode] Function 'rmtCloseThreadHandle' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1787:1-1794:1)
[Warning][Deadcode] Function 'ObjectLink_Constructor' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1917:1-1928:1)
[Warning][Deadcode] Function 'ObjectAllocator_Push' is uncalled: 13 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1968:1-1995:1)
[Warning][Deadcode] Function 'ObjectAllocator_Pop' is uncalled: 13 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1996:1-2023:1)
[Warning][Deadcode] Function 'ObjectAllocator_Alloc' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2024:1-2062:1)
[Warning][Deadcode] Function 'ObjectAllocator_Free' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2063:1-2076:1)
[Warning][Deadcode] Function 'ObjectAllocator_FreeRange' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2077:1-2091:1)
[Warning][Deadcode] Function 'Buffer_Grow' is uncalled: 9 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2122:1-2140:1)
[Warning][Deadcode] Function 'Buffer_Pad' is uncalled: 9 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2141:1-2160:1)
[Warning][Deadcode] Function 'Buffer_AlignedPad' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2161:1-2169:1)
[Warning][Deadcode] Function 'Buffer_Write' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2170:1-2191:1)
[Warning][Deadcode] Function 'Buffer_WriteStringZ' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2192:1-2205:1)
[Warning][Deadcode] Function 'Buffer_WriteU32' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2218:1-2238:1)
[Warning][Deadcode] Function 'IsLittleEndian' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2239:1-2253:1)
[Warning][Deadcode] Function 'Buffer_WriteF64' is uncalled: 29 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2254:1-2298:1)
[Warning][Deadcode] Function 'Buffer_WriteU64' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2299:1-2307:1)
[Warning][Deadcode] Function 'Buffer_WriteStringWithLength' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2308:1-2327:1)
[Warning][Deadcode] Function 'rmtHashTable_Insert' is uncalled: 22 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2363:1-2400:1)
[Warning][Deadcode] Function 'rmtHashTable_Resize' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2401:1-2441:1)
[Warning][Deadcode] Function 'rmtHashTable_Find' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2442:1-2460:1)
[Warning][Deadcode] Function 'StringTable_Find' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2530:1-2543:1)
[Warning][Deadcode] Function 'StringTable_Insert' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2544:1-2560:1)
[Warning][Deadcode] Function 'TCPSocket_PollStatus' is uncalled: 36 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2690:1-2762:1)
[Warning][Deadcode] Function 'TCPSocket_AcceptConnection' is uncalled: 27 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2763:1-2809:1)
[Warning][Deadcode] Function 'TCPTryAgain' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2810:1-2818:1)
[Warning][Deadcode] Function 'TCPSocket_Send' is uncalled: 39 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2819:1-2889:1)
[Warning][Deadcode] Function 'TCPSocket_Receive' is uncalled: 32 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2890:1-2949:1)
[Warning][Deadcode] Function 'rol' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2950:1-2957:1)
[Warning][Deadcode] Function 'clearWBuffert' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2958:1-2973:1)
[Warning][Deadcode] Function 'innerHash' is uncalled: 61 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2974:1-3065:1)
[Warning][Deadcode] Function 'calc' is uncalled: 36 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3066:1-3123:1)
[Warning][Deadcode] Function 'SHA1_Calculate' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3124:1-3135:1)
[Warning][Deadcode] Function 'Base64_CalculateEncodedLength' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3137:1-3144:1)
[Warning][Deadcode] Function 'Base64_Encode' is uncalled: 42 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3145:1-3218:1)
[Warning][Deadcode] Function 'GetField' is uncalled: 16 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3313:1-3344:1)
[Warning][Deadcode] Function 'WebSocketHandshake' is uncalled: 82 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3382:1-3532:1)
[Warning][Deadcode] Function 'WebSocket_PollStatus' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3612:1-3623:1)
[Warning][Deadcode] Function 'WebSocket_AcceptConnection' is uncalled: 29 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3624:1-3674:1)
[Warning][Deadcode] Function 'WriteSize' is uncalled: 9 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3675:1-3695:1)
[Warning][Deadcode] Function 'WebSocket_PrepareBuffer' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3696:1-3708:1)
[Warning][Deadcode] Function 'WebSocket_FrameHeaderSize' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3709:1-3722:1)
[Warning][Deadcode] Function 'WebSocket_WriteFrameHeader' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3723:1-3744:1)
[Warning][Deadcode] Function 'WebSocket_Send' is uncalled: 15 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3745:1-3774:1)
[Warning][Deadcode] Function 'ReceiveFrameHeader' is uncalled: 43 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3775:1-3851:1)
[Warning][Deadcode] Function 'WebSocket_Receive' is uncalled: 38 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3852:1-3922:1)
[Warning][Deadcode] Function 'rmtMessageQueue_PeekNextMessage' is uncalled: 13 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4039:1-4065:1)
[Warning][Deadcode] Function 'rmtMessageQueue_ConsumeNextMessage' is uncalled: 9 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4066:1-4084:1)
[Warning][Deadcode] Function 'Server_IsClientConnected' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4185:1-4200:1)
[Warning][Deadcode] Function 'Server_DisconnectClient' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4201:1-4219:1)
[Warning][Deadcode] Function 'Server_Send' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4220:1-4242:1)
[Warning][Deadcode] Function 'Server_ReceiveMessage' is uncalled: 17 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4243:1-4277:1)
[Warning][Deadcode] Function 'bin_MessageHeader' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4278:1-4299:1)
[Warning][Deadcode] Function 'bin_MessageFooter' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4300:1-4314:1)
[Warning][Deadcode] Function 'Server_Update' is uncalled: 40 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4315:1-4387:1)
[Warning][Deadcode] Function 'Sample_Constructor' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4388:1-4418:1)
[Warning][Deadcode] Function 'Sample_Destructor' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4419:1-4426:1)
[Warning][Deadcode] Function 'Sample_Prepare' is uncalled: 16 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4427:1-4449:1)
[Warning][Deadcode] Function 'Sample_CopyState' is uncalled: 17 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4472:1-4495:1)
[Warning][Deadcode] Function 'bin_Sample' is uncalled: 48 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4497:1-4585:1)
[Warning][Deadcode] Function 'bin_SampleArray' is uncalled: 12 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4586:1-4611:1)
[Warning][Deadcode] Function 'HashCombine' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4679:1-4687:1)
[Warning][Deadcode] Function 'FlattenSamples' is uncalled: 18 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4795:1-4825:1)
[Warning][Deadcode] Function 'FreeSamples' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4826:1-4843:1)
[Warning][Deadcode] Function 'SampleTree_CopySample' is uncalled: 22 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4844:1-4887:1)
[Warning][Deadcode] Function 'SampleTree_Copy' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4888:1-4906:1)
[Warning][Deadcode] Function 'QueueSampleTree' is uncalled: 13 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4907:1-4931:1)
[Warning][Deadcode] Function 'CloseOpenSamples' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5035:1-5058:1)
[Warning][Deadcode] Function 'MakePartialTreeCopy' is uncalled: 8 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5059:1-5077:1)
[Warning][Deadcode] Function 'ThreadProfilers_ThreadInCallback' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5280:1-5288:1)
[Warning][Deadcode] Function 'GatherThreads' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5289:1-5299:1)
[Warning][Deadcode] Function 'GatherThreadsLoop' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5300:1-5319:1)
[Warning][Deadcode] Function 'QueueProcessorThreads' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5320:1-5344:1)
[Warning][Deadcode] Function 'CheckForStallingSamples' is uncalled: 18 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5345:1-5382:1)
[Warning][Deadcode] Function 'InitThreadSampling' is uncalled: 17 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5383:1-5413:1)
[Warning][Deadcode] Function 'SampleThreadsLoop' is uncalled: 105 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5414:1-5601:1)
[Warning][Deadcode] Function 'PropertySnapshot_Constructor' is uncalled: 11 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5602:1-5620:1)
[Warning][Deadcode] Function 'PropertySnapshot_Destructor' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5621:1-5628:1)
[Warning][Deadcode] Function 'saturate' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5631:1-5644:1)
[Warning][Deadcode] Function 'PostProcessSamples' is uncalled: 39 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5645:1-5713:1)
[Warning][Deadcode] Function 'Remotery_SendLogTextMessage' is uncalled: 25 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5714:1-5762:1)
[Warning][Deadcode] Function 'bin_SampleName' is uncalled: 21 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5763:1-5806:1)
[Warning][Deadcode] Function 'Remotery_AddToStringTable' is uncalled: 14 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5807:1-5836:1)
[Warning][Deadcode] Function 'bin_SampleTree' is uncalled: 55 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5837:1-5934:1)
[Warning][Deadcode] Function 'Remotery_SendToViewerAndLog' is uncalled: 9 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5937:1-5956:1)
[Warning][Deadcode] Function 'Remotery_SendSampleTreeMessage' is uncalled: 21 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5959:1-5995:1)
[Warning][Deadcode] Function 'Remotery_SendProcessorThreads' is uncalled: 51 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5996:1-6092:1)
[Warning][Deadcode] Function 'FreePropertySnapshots' is uncalled: 6 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6093:1-6107:1)
[Warning][Deadcode] Function 'Remotery_SerialisePropertySnapshots' is uncalled: 135 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6108:1-6326:1)
[Warning][Deadcode] Function 'Remotery_SendPropertySnapshot' is uncalled: 9 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6327:1-6345:1)
[Warning][Deadcode] Function 'Remotery_ConsumeMessageQueue' is uncalled: 39 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6348:1-6403:1)
[Warning][Deadcode] Function 'Remotery_FlushMessageQueue' is uncalled: 21 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6404:1-6441:1)
[Warning][Deadcode] Function 'Remotery_MapMessageQueue' is uncalled: 19 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6442:1-6478:1)
[Warning][Deadcode] Function 'Remotery_ThreadMain' is uncalled: 20 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6483:1-6513:1)
[Warning][Deadcode] Function 'Remotery_ReceiveMessage' is uncalled: 28 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6514:1-6563:1)
[Warning][Deadcode] Function 'CRTRealloc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6833:1-6841:1)
[Warning][Deadcode] Function '_rmt_SetGlobalInstance' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6922:1-6931:1)
[Warning][Deadcode] Function '_rmt_GetGlobalInstance' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6932:1-6939:1)
[Warning][Deadcode] Function 'MakeWideString' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6940:1-6963:1)
[Warning][Deadcode] Function 'SetDebuggerThreadName' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6964:1-6974:1)
[Warning][Deadcode] Function '_rmt_SetCurrentThreadName' is uncalled: 10 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6975:1-6997:1)
[Warning][Deadcode] Function '_rmt_MarkFrame' is uncalled: 3 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7148:1-7158:1)
[Warning][Deadcode] Function '_rmt_IterateChildren' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7159:1-7172:1)
[Warning][Deadcode] Function '_rmt_IterateNext' is uncalled: 9 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7173:1-7192:1)
[Warning][Deadcode] Function '_rmt_SampleTreeGetThreadName' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7193:1-7200:1)
[Warning][Deadcode] Function '_rmt_SampleTreeGetRootSample' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7201:1-7208:1)
[Warning][Deadcode] Function '_rmt_SampleGetName' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7209:1-7222:1)
[Warning][Deadcode] Function '_rmt_SampleGetNameHash' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7223:1-7230:1)
[Warning][Deadcode] Function '_rmt_SampleGetCallCount' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7231:1-7238:1)
[Warning][Deadcode] Function '_rmt_SampleGetStart' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7239:1-7246:1)
[Warning][Deadcode] Function '_rmt_SampleGetTime' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7247:1-7254:1)
[Warning][Deadcode] Function '_rmt_SampleGetSelfTime' is uncalled: 2 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7255:1-7263:1)
[Warning][Deadcode] Function '_rmt_SampleGetType' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7264:1-7271:1)
[Warning][Deadcode] Function '_rmt_SampleGetColour' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7272:1-7282:1)
[Warning][Deadcode] Function '_rmt_PropertyIterateChildren' is uncalled: 5 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7283:1-7296:1)
[Warning][Deadcode] Function '_rmt_PropertyIterateNext' is uncalled: 9 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7297:1-7316:1)
[Warning][Deadcode] Function '_rmt_PropertyGetName' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7317:1-7324:1)
[Warning][Deadcode] Function '_rmt_PropertyGetDescription' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7325:1-7332:1)
[Warning][Deadcode] Function '_rmt_PropertyGetNameHash' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7333:1-7340:1)
[Warning][Deadcode] Function '_rmt_PropertyGetType' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7341:1-7348:1)
[Warning][Deadcode] Function '_rmt_PropertyGetValue' is uncalled: 1 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7349:1-7356:1)
[Warning][Deadcode] Function 'RegisterProperty' is uncalled: 23 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7357:1-7395:1)
[Warning][Deadcode] Function '_rmt_PropertySetValue' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7396:1-7407:1)
[Warning][Deadcode] Function '_rmt_PropertyAddValue' is uncalled: 4 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7408:1-7419:1)
[Warning][Deadcode] Function 'TakePropertySnapshot' is uncalled: 26 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7420:1-7463:1)
[Warning][Deadcode] Function '_rmt_PropertySnapshotAll' is uncalled: 25 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7464:1-7507:1)
[Warning][Deadcode] Function 'PropertyFrameReset' is uncalled: 24 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7508:1-7547:1)
[Warning][Deadcode] Function '_rmt_PropertyFrameResetAll' is uncalled: 7 LLoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7548:1-7562:1)
[Warning][Deadcode] Function 'Remotery_Constructor' has dead code:
  on line 6598 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6598-6598)
  on lines 6675..6681 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6675-6681)
  on lines 6683..6705 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6683-6705)
  on lines 6733..6736 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6733-6736)
  on line 6738 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6738-6738)
[Warning][Deadcode] Function 'Remotery_Destructor' has dead code:
  on line 6770 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6770-6770)
[Warning][Deadcode] Function 'SampleTree_Constructor' has dead code:
  on line 4623 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4623-4623)
  on lines 4625..4634 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4625-4634)
  on line 4636 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4636-4636)
  on lines 4638..4643 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4638-4643)
  on line 4645 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4645-4645)
  on lines 4647..4650 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4647-4650)
  on lines 4652..4654 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4652-4654)
[Warning][Deadcode] Function 'SampleTree_Destructor' has dead code:
  on line 4663 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4663-4663)
  on lines 4665..4667 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4665-4667)
  on lines 4669..4672 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4669-4672)
  on line 4674 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4674-4674)
[Warning][Deadcode] Function 'SampleTree_Pop' has dead code:
  on line 4783 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4783-4783)
  on lines 4785..4786 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4785-4786)
  on lines 4788..4789 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4788-4789)
  on lines 4791..4792 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4791-4792)
[Warning][Deadcode] Function 'SampleTree_Push' has dead code:
  on line 4701 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4701-4701)
  on lines 4703..4704 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4703-4704)
  on lines 4706..4710 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4706-4710)
  on lines 4713..4720 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4713-4720)
  on line 4722 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4722-4722)
  on lines 4725..4731 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4725-4731)
  on lines 4734..4737 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4734-4737)
  on lines 4739..4742 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4739-4742)
  on lines 4744..4745 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4744-4745)
  on line 4748 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4748-4748)
  on lines 4751..4754 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4751-4754)
  on line 4756 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4756-4756)
  on lines 4758..4765 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4758-4765)
  on lines 4767..4768 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4767-4768)
  on lines 4770..4771 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4770-4771)
  on lines 4773..4774 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4773-4774)
[Warning][Deadcode] Function 'Server_Constructor' has dead code:
  on lines 4148..4151 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4148-4151)
  on line 4153 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4153-4153)
[Warning][Deadcode] Function 'StartFunc' has dead code:
  on line 1826 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1826-1826)
[Warning][Deadcode] Function 'StringTable_Constructor' has dead code:
  on lines 2484..2487 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2484-2487)
  on line 2489 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2489-2489)
[Warning][Deadcode] Function 'TCPSocket_Close' has dead code:
  on line 2671 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2671-2671)
[Warning][Deadcode] Function 'TCPSocket_RunServer' has dead code:
  on lines 2631..2632 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2631-2632)
  on line 2636 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2636-2636)
[Warning][Deadcode] Function 'ThreadProfiler_Constructor' has dead code:
  on line 4976 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4976-4976)
  on line 4988 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4988-4988)
  on lines 4993..4998 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4993-4998)
  on line 5000 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5000-5000)
  on line 5002 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5002-5002)
[Warning][Deadcode] Function 'ThreadProfiler_Destructor' has dead code:
  on lines 5014..5015 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5014-5015)
  on line 5017 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5017-5017)
  on lines 5019..5020 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5019-5020)
[Warning][Deadcode] Function 'ThreadProfiler_GetNameHash' has dead code:
  on line 5134 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5134-5134)
  on lines 5146..5150 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5146-5150)
[Warning][Deadcode] Function 'ThreadProfiler_Pop' has dead code:
  on lines 5090..5097 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5090-5097)
  on lines 5099..5100 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5099-5100)
  on lines 5102..5107 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5102-5107)
  on line 5109 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5109-5109)
  on lines 5112..5113 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5112-5113)
  on line 5115 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5115-5115)
  on line 5117 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5117-5117)
[Warning][Deadcode] Function 'ThreadProfiler_Push' has dead code:
  on lines 5031..5032 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5031-5032)
[Warning][Deadcode] Function 'ThreadProfilers_Destructor' has dead code:
  on line 5215 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5215-5215)
[Warning][Deadcode] Function 'ThreadProfilers_GetCurrentThreadProfiler' has dead code:
  on line 5273 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5273-5273)
[Warning][Deadcode] Function 'ThreadProfilers_GetThreadProfiler' has dead code:
  on lines 5246..5249 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5246-5249)
  on lines 5251..5254 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5251-5254)
[Warning][Deadcode] Function 'WebSocket_Constructor' has dead code:
  on lines 3562..3565 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3562-3565)
  on line 3567 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3567-3567)
[Warning][Deadcode] Function '_rmt_BeginCPUSample' has dead code:
  on lines 7109..7111 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7109-7111)
  on line 7113 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7113-7113)
  on line 7117 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7117-7117)
[Warning][Deadcode] Function '_rmt_CreateGlobalInstance' has dead code:
  on line 6878 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6878-6878)
  on line 6883 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6883-6883)
  on line 6888 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6888-6888)
[Warning][Deadcode] Function '_rmt_LogText' has dead code:
  on line 7046 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7046-7046)
[Warning][Deadcode] Function 'rmtMakeError' has dead code:
  on line 1026 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1026-1026)
  on line 1033 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1033-1033)
[Warning][Deadcode] Function 'rmtMessageQueue_CommitMessage' has dead code:
  on line 4028 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4028-4028)
[Warning][Deadcode] Function 'rmtThread_RequestExit' has dead code:
  on line 1882 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1882-1882)
[Warning][Deadcode] Function 'rmtThread_Valid' has dead code:
  on line 1840 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1840-1840)
[Warning][Deadcode] Function 'strncat_s_safe_c' has dead code:
  on line 1539 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1539-1539)
  on line 1542 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1542-1542)
  on line 1545 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1545-1545)
  on line 1548 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1548-1548)
  on line 1551 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1551-1551)
[Warning][Deadcode] Function 'strnlen_s_safe_c' has dead code:
  on line 1430 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1430-1430)
  on line 1433 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1433-1433)
  on line 1436 (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1436-1436)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 1100
  dead: 2414 (2185 in uncalled functions)
  total lines: 3514
[Warning][Race] Memory location (struct __anonstruct_StringTable_515543109).text (race with conf. 100):
  write with [] (conf. 100)  (exp: & table->text) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2474:3-2474:38)
  write with [] (conf. 100)  (exp: & table->text) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2477:3-2477:34)
  write with [] (conf. 100)  (exp: & table->text) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2525:5-2525:40)
  read with [] (conf. 100)  (exp: & table->text) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2478:7-2478:65)
  read with [] (conf. 100)  (exp: & table->text) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2481:3-2481:59)
  read with [] (conf. 100)  (exp: & table->text) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2522:7-2522:65)
  read with [] (conf. 100)  (exp: & table->text) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2523:5-2523:35)
  read with [] (conf. 100)  (exp: & table->text) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2524:5-2524:33)
[Warning][Race] Memory location (struct __anonstruct_StringTable_515543109).text_map (race with conf. 100):
  write with [] (conf. 100)  (exp: & table->text_map) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2475:3-2475:48)
  write with [] (conf. 100)  (exp: & table->text_map) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2492:3-2492:44)
  write with [] (conf. 100)  (exp: & table->text_map) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2502:7-2502:52)
  write with [] (conf. 100)  (exp: & table->text_map) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2520:5-2520:50)
  read with [] (conf. 100)  (exp: & table->text_map) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2493:7-2493:69)
  read with [] (conf. 100)  (exp: & table->text_map) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2496:3-2496:69)
  read with [] (conf. 100)  (exp: & table->text_map) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2499:9-2499:71)
  read with [] (conf. 100)  (exp: & table->text_map) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2500:7-2500:47)
  read with [] (conf. 100)  (exp: & table->text_map) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2501:7-2501:39)
  read with [] (conf. 100)  (exp: & table->text_map) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2517:7-2517:69)
  read with [] (conf. 100)  (exp: & table->text_map) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2518:5-2518:45)
  read with [] (conf. 100)  (exp: & table->text_map) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2519:5-2519:37)
[Warning][Deadcode][CWE-570] condition 'reuse_open_port' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2630:7-2630:22)
[Warning][Race] Memory location g_SettingsInitialized (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:688:16-688:51)
  write with [] (conf. 110)  (exp: & g_SettingsInitialized) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6865:5-6865:40)
  read with [] (conf. 110)  (exp: & g_SettingsInitialized) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6847:7-6847:34)
[Warning][Deadcode][CWE-570] condition 'limit_connections_to_localhost' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2635:7-2635:37)
[Warning][Deadcode][CWE-571] condition '(unsigned int )tmp___1 == 0U' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7103:7-7103:35)
[Warning][Deadcode][CWE-570] condition '(unsigned int )error___3 != 0U' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6732:7-6732:37)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )thread != (unsigned long )((void *)0))' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1881:7-1881:64)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4002:10-4002:11)
[Warning][Deadcode][CWE-571] condition '(unsigned int )tmp___0 == 0U' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7134:7-7134:35)
[Warning][Race] Memory location rmt_sample_hash_aggregate (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:564:15-564:53)
  write with [] (conf. 110)  (exp: & *hash_cache) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5141:9-5141:32)
  read with [] (conf. 110)  (exp: & *hash_cache) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5131:5-5131:28)
[Warning][Deadcode][CWE-570] condition '(unsigned long )dest == (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1538:7-1538:58)
[Warning][Deadcode][CWE-570] condition '(unsigned long )src == (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1541:7-1541:57)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )tcp_socket != (unsigned long )((void *)0))' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2670:7-2670:68)
[Warning][Deadcode][CWE-570] condition '(unsigned long )slen > 4UL << 10' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1544:7-1544:39)
[Warning][Deadcode][CWE-570] condition 'dmax == 0U' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1547:7-1547:17)
[Warning][Deadcode][CWE-570] condition '(unsigned long )dmax > 4UL << 10' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1550:7-1550:39)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )message != (unsigned long )((void *)0))' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4027:7-4027:65)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )rmt != (unsigned long )((void *)0))' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6769:7-6769:61)
[Warning][Deadcode][CWE-571] condition '(unsigned long )hash_cache != (unsigned long )((void *)0)' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5130:7-5130:64)
[Warning][Race] Memory location (struct Msg_AddToStringTable).hash (race with conf. 100):
  write with [] (conf. 100)  (exp: & payload->hash) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4949:3-4949:23)
[Warning][Race] Memory location (struct Msg_AddToStringTable).length (race with conf. 100):
  write with [] (conf. 100)  (exp: & payload->length) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4950:3-4950:36)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )name != (unsigned long )((void *)0))' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5133:11-5133:66)
[Warning][Race] Memory location (struct __anonunion_pthread_mutex_t_335460617) (race with conf. 100):
  free with [] (conf. 100)  (exp: mutex) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1104:3-1104:31)
[Error][Analyzer][Unsound] both branches over condition '! ((unsigned long )tree != (unsigned long )((void *)0))' are dead (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4782:7-4782:62)
[Warning][Race] Memory location (struct __anonstruct_rmtHashTable_1056137675).maxNbSlots (race with conf. 100):
  write with [] (conf. 100)  (exp: & table->maxNbSlots) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2336:3-2336:35)
  read with [] (conf. 100)  (exp: & table->maxNbSlots) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2338:3-2338:88)
  read with [] (conf. 100)  (exp: & table->maxNbSlots) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2343:3-2343:89)
[Warning][Race] Memory location (struct __anonstruct_rmtHashTable_1056137675).nbSlots (race with conf. 100):
  write with [] (conf. 100)  (exp: & table->nbSlots) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2337:3-2337:30)
[Warning][Race] Memory location (struct __anonstruct_rmtHashTable_1056137675).slots (race with conf. 100):
  write with [] (conf. 100)  (exp: & table->slots) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2339:3-2339:37)
  write with [] (conf. 100)  (exp: & table->slots) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2357:5-2357:43)
  read with [] (conf. 100)  (exp: & table->slots) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2340:7-2340:66)
  read with [] (conf. 100)  (exp: & table->slots) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2343:3-2343:89)
  read with [] (conf. 100)  (exp: & table->slots) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2355:7-2355:66)
  read with [] (conf. 100)  (exp: & table->slots) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2356:5-2356:34)
[Warning][Race] Memory location (struct Message).payload (race with conf. 100):
  write with [] (conf. 100)  (exp: (void * __restrict  )(message->payload)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7014:3-7015:24)
[Warning][Race] Memory location (struct Message).payload_size (race with conf. 100):
  write with [] (conf. 100)  (exp: & msg->payload_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4014:7-4014:39)
[Warning][Race] Memory location (struct Message).threadProfiler (race with conf. 100):
  write with [] (conf. 100)  (exp: & msg->threadProfiler) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4015:7-4015:44)
[Warning][Race] Memory location (void ) (race with conf. 100):
  read with [] (conf. 80)  (exp: (void *)buffer->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1393:3-1393:90)
  read with [] (conf. 80)  (exp: (void *)(buffer->ptr + size)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1397:5-1398:32)
  read with [] (conf. 80)  (exp: (void *)buffer->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1418:5-1418:62)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 100)  (exp: (void *)table->slots) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2343:3-2343:89)
  write with [] (conf. 100)  (exp: (void *)(queue->data)->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3953:3-3953:62)
  write with [] (conf. 100)  (exp: (void * __restrict  )(payload + 1)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4951:3-4952:26)
  free with [] (conf. 100)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (void const   ) (race with conf. 100):
  write with [] (conf. 80)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  read with [] (conf. 100)  (exp: (void const   * __restrict  )src) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3234:3-3234:88)
  read with [] (conf. 100)  (exp: (void const   * __restrict  )string) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4951:3-4952:26)
[Warning][Race] Memory location g_Settings.enableThreadSampler (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.enableThreadSampler) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6851:5-6851:49)
  read with [] (conf. 110)  (exp: & g_Settings.enableThreadSampler) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5179:7-5179:43)
[Warning][Race] Memory location g_Settings.free (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.free) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6856:5-6856:32)
  read with [] (conf. 110)  (exp: & g_Settings.free) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:852:4-852:51)
[Warning][Race] Memory location g_Settings.input_handler (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.input_handler) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6858:5-6858:88)
[Warning][Race] Memory location g_Settings.input_handler_context (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.input_handler_context) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6859:5-6859:49)
[Warning][Race] Memory location g_Settings.limit_connections_to_localhost (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.limit_connections_to_localhost) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6850:5-6850:60)
  read with [] (conf. 110)  (exp: & g_Settings.limit_connections_to_localhost) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6631:3-6632:74)
[Warning][Race] Memory location g_Settings.logPath (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.logPath) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6860:5-6860:47)
  read with [] (conf. 110)  (exp: & g_Settings.logPath) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6674:7-6674:72)
[Warning][Race] Memory location g_Settings.malloc (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.malloc) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6855:5-6855:36)
  read with [] (conf. 110)  (exp: & g_Settings.malloc) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:834:3-834:60)
[Warning][Race] Memory location g_Settings.maxNbMessagesPerUpdate (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.maxNbMessagesPerUpdate) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6854:5-6854:54)
[Warning][Race] Memory location g_Settings.messageQueueSizeInBytes (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.messageQueueSizeInBytes) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6853:5-6853:58)
  read with [] (conf. 110)  (exp: & g_Settings.messageQueueSizeInBytes) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6649:3-6649:99)
[Warning][Race] Memory location g_Settings.msSleepBetweenServerUpdates (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.msSleepBetweenServerUpdates) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6852:5-6852:56)
[Warning][Race] Memory location g_Settings.port (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.port) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6848:5-6848:37)
  read with [] (conf. 110)  (exp: & g_Settings.port) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6631:3-6632:74)
[Warning][Race] Memory location g_Settings.realloc (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.realloc) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6857:5-6857:38)
[Warning][Race] Memory location g_Settings.reuse_open_port (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.reuse_open_port) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6849:5-6849:45)
  read with [] (conf. 110)  (exp: & g_Settings.reuse_open_port) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6631:3-6632:74)
[Warning][Race] Memory location g_Settings.sampletree_context (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.sampletree_context) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6862:5-6862:46)
[Warning][Race] Memory location g_Settings.sampletree_handler (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.sampletree_handler) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6861:5-6861:107)
[Warning][Race] Memory location g_Settings.snapshot_callback (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.snapshot_callback) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6863:5-6863:104)
[Warning][Race] Memory location g_Settings.snapshot_context (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:687:20-687:31)
  write with [] (conf. 110)  (exp: & g_Settings.snapshot_context) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6864:5-6864:44)
[Warning][Race] Memory location (struct __anonstruct_ObjectAllocator_929114526).constructor (race with conf. 100):
  write with [] (conf. 100)  (exp: & allocator->constructor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1936:3-1936:39)
[Warning][Race] Memory location (struct __anonstruct_ObjectAllocator_929114526).destructor (race with conf. 100):
  write with [] (conf. 100)  (exp: & allocator->destructor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1937:3-1937:37)
  read with [] (conf. 100)  (exp: & allocator->destructor) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1958:9-1958:81)
[Warning][Race] Memory location (struct __anonstruct_ObjectAllocator_929114526).first_free (race with conf. 100):
  write with [] (conf. 100)  (exp: & allocator->first_free) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1941:3-1941:52)
  write with [] (conf. 100)  (exp: & allocator->first_free) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1963:5-1963:33)
  read with [] (conf. 100)  (exp: & allocator->first_free) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1956:10-1956:78)
  read with [] (conf. 100)  (exp: & allocator->first_free) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1957:5-1957:55)
  read with [] (conf. 100)  (exp: & allocator->first_free) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1962:5-1962:43)
[Warning][Race] Memory location (struct __anonstruct_ObjectAllocator_929114526).nb_allocated (race with conf. 100):
  write with [] (conf. 100)  (exp: & allocator->nb_allocated) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1940:3-1940:45)
[Warning][Race] Memory location (struct __anonstruct_ObjectAllocator_929114526).nb_free (race with conf. 100):
  write with [] (conf. 100)  (exp: & allocator->nb_free) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1938:3-1938:40)
[Warning][Race] Memory location (struct __anonstruct_ObjectAllocator_929114526).nb_inuse (race with conf. 100):
  write with [] (conf. 100)  (exp: & allocator->nb_inuse) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1939:3-1939:41)
  read with [] (conf. 100)  (exp: & allocator->nb_inuse) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1953:7-1953:50)
[Warning][Race] Memory location (struct __anonstruct_ObjectAllocator_929114526).object_size (race with conf. 100):
  write with [] (conf. 100)  (exp: & allocator->object_size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1935:3-1935:39)
[Warning][Race] Memory location (struct __anonstruct_TCPSocket_44120681).socket (race with conf. 100):
  write with [] (conf. 100)  (exp: & tcp_socket->socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2586:3-2586:26)
  write with [] (conf. 100)  (exp: & tcp_socket->socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2647:3-2647:25)
  write with [] (conf. 100)  (exp: & tcp_socket->socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2685:5-2685:28)
  read with [] (conf. 100)  (exp: & tcp_socket->socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2653:3-2653:47)
  read with [] (conf. 100)  (exp: & tcp_socket->socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2673:7-2673:31)
  read with [] (conf. 100)  (exp: & tcp_socket->socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2674:5-2674:46)
  read with [] (conf. 100)  (exp: & tcp_socket->socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2679:9-2679:84)
  read with [] (conf. 100)  (exp: & tcp_socket->socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2684:5-2684:30)
[Warning][Race] Memory location g_Remotery (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5629:17-5629:54)
  write with [] (conf. 110)  (exp: & g_Remotery) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6743:3-6743:19)
  write with [] (conf. 110)  (exp: & g_Remotery) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6778:5-6778:41)
  read with [] (conf. 110)  (exp: & g_Remotery) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6740:7-6740:68)
  read with [] (conf. 110)  (exp: & g_Remotery) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6911:7-6911:65)
  read with [] (conf. 110)  (exp: & g_Remotery) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7040:7-7040:64)
  read with [] (conf. 110)  (exp: & g_Remotery) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7043:3-7044:72)
  read with [] (conf. 110)  (exp: & g_Remotery) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7062:7-7063:43)
  read with [] (conf. 110)  (exp: & g_Remotery) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7083:5-7083:91)
  read with [] (conf. 110)  (exp: & g_Remotery) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7098:7-7098:64)
  read with [] (conf. 110)  (exp: & g_Remotery) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7101:3-7102:72)
  read with [] (conf. 110)  (exp: & g_Remotery) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7104:5-7105:55)
  read with [] (conf. 110)  (exp: & g_Remotery) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7129:7-7129:64)
  read with [] (conf. 110)  (exp: & g_Remotery) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7132:3-7133:72)
  read with [] (conf. 110)  (exp: & g_Remotery) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7139:7-7139:45)
[Warning][Deadcode][CWE-570] condition '! (sizeof(MessageID ) == sizeof(rmtU32 ))' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6877:7-6877:48)
[Warning][Race] Memory location (struct __anonstruct_Server_646260831).bin_buf (race with conf. 100):
  write with [] (conf. 100)  (exp: & server->bin_buf) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4137:3-4137:42)
  write with [] (conf. 100)  (exp: & server->bin_buf) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4141:3-4141:38)
  write with [] (conf. 100)  (exp: & server->bin_buf) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4180:5-4180:44)
  read with [] (conf. 100)  (exp: & server->bin_buf) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4142:7-4142:69)
  read with [] (conf. 100)  (exp: & server->bin_buf) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4145:3-4145:63)
  read with [] (conf. 100)  (exp: & server->bin_buf) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4177:7-4177:69)
  read with [] (conf. 100)  (exp: & server->bin_buf) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4178:5-4178:39)
  read with [] (conf. 100)  (exp: & server->bin_buf) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4179:5-4179:37)
[Warning][Race] Memory location (struct __anonstruct_Server_646260831).client_socket (race with conf. 100):
  write with [] (conf. 100)  (exp: & server->client_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4132:3-4132:51)
  write with [] (conf. 100)  (exp: & server->client_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4170:5-4170:53)
  read with [] (conf. 100)  (exp: & server->client_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4167:7-4167:75)
  read with [] (conf. 100)  (exp: & server->client_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4168:5-4168:48)
  read with [] (conf. 100)  (exp: & server->client_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4169:5-4169:43)
[Warning][Race] Memory location (struct __anonstruct_Server_646260831).last_ping_time (race with conf. 100):
  write with [] (conf. 100)  (exp: & server->last_ping_time) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4133:3-4133:38)
[Warning][Race] Memory location (struct __anonstruct_Server_646260831).limit_connections_to_localhost (race with conf. 100):
  write with [] (conf. 100)  (exp: & server->limit_connections_to_localhost) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4136:3-4136:74)
[Warning][Race] Memory location (struct __anonstruct_Server_646260831).listen_socket (race with conf. 100):
  write with [] (conf. 100)  (exp: & server->listen_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4096:3-4096:43)
  write with [] (conf. 100)  (exp: & server->listen_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4106:7-4106:55)
  write with [] (conf. 100)  (exp: & server->listen_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4131:3-4131:51)
  write with [] (conf. 100)  (exp: & server->listen_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4175:5-4175:53)
  read with [] (conf. 100)  (exp: & server->listen_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4097:7-4097:75)
  read with [] (conf. 100)  (exp: & server->listen_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4100:3-4100:83)
  read with [] (conf. 100)  (exp: & server->listen_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4103:9-4103:77)
  read with [] (conf. 100)  (exp: & server->listen_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4104:7-4104:50)
  read with [] (conf. 100)  (exp: & server->listen_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4105:7-4105:45)
  read with [] (conf. 100)  (exp: & server->listen_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4110:3-4111:56)
  read with [] (conf. 100)  (exp: & server->listen_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4172:7-4172:75)
  read with [] (conf. 100)  (exp: & server->listen_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4173:5-4173:48)
  read with [] (conf. 100)  (exp: & server->listen_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4174:5-4174:43)
[Warning][Race] Memory location (struct __anonstruct_Server_646260831).port (race with conf. 100):
  write with [] (conf. 100)  (exp: & server->port) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4134:3-4134:22)
[Warning][Race] Memory location (struct __anonstruct_Server_646260831).receive_handler (race with conf. 100):
  write with [] (conf. 100)  (exp: & server->receive_handler) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4138:3-4138:81)
  write with [] (conf. 100)  (exp: & (rmt->server)->receive_handler) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6642:4-6642:61)
[Warning][Race] Memory location (struct __anonstruct_Server_646260831).receive_handler_context (race with conf. 100):
  write with [] (conf. 100)  (exp: & server->receive_handler_context) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4139:3-4139:46)
  write with [] (conf. 100)  (exp: & (rmt->server)->receive_handler_context) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6643:4-6643:55)
[Warning][Race] Memory location (struct __anonstruct_Server_646260831).reuse_open_port (race with conf. 100):
  write with [] (conf. 100)  (exp: & server->reuse_open_port) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4135:3-4135:44)
[Warning][Race] Memory location g_lastErrorMessageTlsHandle (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1000:15-1000:56)
  write with [] (conf. 110)  (exp: handle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:956:3-956:71)
  write with [] (conf. 110)  (exp: & *handle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:958:5-958:26)
  write with [] (conf. 110)  (exp: & g_lastErrorMessageTlsHandle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6809:5-6809:46)
  read with [] (conf. 110)  (exp: & g_lastErrorMessageTlsHandle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1013:7-1013:49)
  read with [] (conf. 110)  (exp: & g_lastErrorMessageTlsHandle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1020:3-1020:48)
  read with [] (conf. 110)  (exp: & g_lastErrorMessageTlsHandle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1028:5-1028:68)
  read with [] (conf. 110)  (exp: & g_lastErrorMessageTlsHandle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6807:7-6807:49)
  read with [] (conf. 110)  (exp: & g_lastErrorMessageTlsHandle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6808:5-6808:41)
[Warning][Deadcode][CWE-570] condition '(unsigned int )error != 0U' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4147:7-4147:33)
[Warning][Race] Memory location (struct VirtualMirrorBuffer).ptr (race with conf. 100):
  write with [] (conf. 100)  (exp: & buffer->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1374:3-1374:37)
  write with [] (conf. 100)  (exp: & buffer->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1388:3-1388:33)
  write with [] (conf. 100)  (exp: & buffer->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1390:5-1390:39)
  write with [] (conf. 100)  (exp: & buffer->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1420:3-1420:37)
  read with [] (conf. 100)  (exp: & buffer->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1389:7-1389:66)
  read with [] (conf. 100)  (exp: & buffer->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1393:3-1393:90)
  read with [] (conf. 100)  (exp: & buffer->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1394:7-1394:61)
  read with [] (conf. 100)  (exp: & buffer->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1397:5-1398:32)
  read with [] (conf. 100)  (exp: & buffer->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1399:9-1399:72)
  read with [] (conf. 100)  (exp: & buffer->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1403:7-1403:65)
  read with [] (conf. 100)  (exp: & buffer->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1417:7-1417:65)
  read with [] (conf. 100)  (exp: & buffer->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1418:5-1418:62)
  read with [] (conf. 100)  (exp: & (queue->data)->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3953:3-3953:62)
  read with [] (conf. 100)  (exp: & (queue->data)->ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4011:5-4011:59)
[Warning][Race] Memory location (struct VirtualMirrorBuffer).size (race with conf. 100):
  write with [] (conf. 100)  (exp: & buffer->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1373:3-1373:22)
  read with [] (conf. 100)  (exp: & buffer->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1418:5-1418:62)
  read with [] (conf. 100)  (exp: & (queue->data)->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3952:3-3952:36)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )remotery != (unsigned long )((void *)0))' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6882:7-6882:66)
[Warning][Deadcode][CWE-570] condition '(unsigned long )*remotery == (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6887:7-6887:63)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )rmt != (unsigned long )((void *)0))' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6597:7-6597:61)
[Warning][Deadcode][CWE-571] condition '(unsigned long )*remotery != (unsigned long )((void *)0)' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6893:9-6893:65)
[Warning][Race] Memory location sig (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:619:5-619:12)
  write with [] (conf. 110)  (exp: & sig) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:625:3-625:16)
  read with [] (conf. 110)  (exp: & sig) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:642:10-642:18)
[Warning][Race] Memory location (struct rmtMessageQueue).data (race with conf. 100):
  write with [] (conf. 100)  (exp: & queue->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3934:3-3934:51)
  write with [] (conf. 100)  (exp: & queue->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3938:3-3938:47)
  write with [] (conf. 100)  (exp: & queue->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3948:7-3948:55)
  write with [] (conf. 100)  (exp: & queue->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3968:5-3968:53)
  read with [] (conf. 100)  (exp: & queue->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3939:7-3939:65)
  read with [] (conf. 100)  (exp: & queue->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3942:3-3942:67)
  read with [] (conf. 100)  (exp: & queue->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3945:9-3945:67)
  read with [] (conf. 100)  (exp: & queue->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3946:7-3946:50)
  read with [] (conf. 100)  (exp: & queue->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3947:7-3947:35)
  read with [] (conf. 100)  (exp: & queue->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3952:3-3952:36)
  read with [] (conf. 100)  (exp: & queue->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3953:3-3953:62)
  read with [] (conf. 100)  (exp: & queue->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3965:7-3965:65)
  read with [] (conf. 100)  (exp: & queue->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3966:5-3966:48)
  read with [] (conf. 100)  (exp: & queue->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3967:5-3967:33)
  read with [] (conf. 100)  (exp: & queue->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4011:5-4011:59)
[Warning][Race] Memory location (struct rmtMessageQueue).read_pos (race with conf. 100):
  write with [] (conf. 100)  (exp: & queue->read_pos) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3935:3-3935:37)
[Warning][Race] Memory location (struct rmtMessageQueue).size (race with conf. 100):
  write with [] (conf. 100)  (exp: & queue->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3933:3-3933:27)
  write with [] (conf. 100)  (exp: & queue->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3952:3-3952:36)
  read with [] (conf. 100)  (exp: & queue->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3953:3-3953:62)
  read with [] (conf. 100)  (exp: & queue->size) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4003:5-4003:20)
[Warning][Race] Memory location (struct rmtMessageQueue).write_pos (race with conf. 100):
  write with [] (conf. 100)  (exp: & queue->write_pos) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3936:3-3936:38)
[Warning][Race] Memory location (struct ThreadProfiler).lastProcessorIndex (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread_profiler->lastProcessorIndex) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4970:3-4970:52)
[Warning][Race] Memory location (struct ThreadProfiler).nbSamplesWithoutCallback (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread_profiler->nbSamplesWithoutCallback) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4968:3-4968:63)
[Warning][Race] Memory location (struct ThreadProfiler).processorIndex (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread_profiler->processorIndex) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4969:3-4969:48)
[Warning][Race] Memory location (struct ThreadProfiler).sampleTrees (race with conf. 100):
  write with [] (conf. 100)  (exp: (void *)(thread_profiler->sampleTrees)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4972:3-4972:90)
  read with [] (conf. 100)  (exp: & thread_profiler->sampleTrees) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4972:3-4972:90)
[Warning][Race] Memory location (struct ThreadProfiler).sampleTrees[?] (race with conf. 100):
  write with [] (conf. 100)  (exp: (void *)(thread_profiler->sampleTrees)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4972:3-4972:90)
  write with [] (conf. 100)  (exp: & thread_profiler->sampleTrees[0]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4986:3-4986:58)
  read with [] (conf. 100)  (exp: & thread_profiler->sampleTrees) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4972:3-4972:90)
  read with [] (conf. 100)  (exp: & thread_profiler->sampleTrees[0]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4987:7-4987:85)
  read with [] (conf. 100)  (exp: & thread_profiler->sampleTrees[index___0]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5012:9-5012:95)
  read with [] (conf. 100)  (exp: & thread_profiler->sampleTrees[sample->type]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5088:3-5088:52)
  read with [] (conf. 100)  (exp: & thread_profiler->sampleTrees[0]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7135:5-7135:62)
[Warning][Race] Memory location (struct ThreadProfiler).threadId (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread_profiler->threadId) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4971:3-4971:40)
  read with [] (conf. 100)  (exp: & thread_profiler->threadId) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5236:9-5236:47)
[Warning][Race] Memory location (struct ThreadProfiler).threadNameHash (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread_profiler->threadNameHash) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4981:3-4982:85)
  read with [] (conf. 100)  (exp: & thread_profiler->threadNameHash) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4983:3-4984:63)
[Warning][Race] Memory location g_RemoteryCreated (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5630:16-5630:47)
  write with [] (conf. 110)  (exp: & g_RemoteryCreated) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6744:3-6744:34)
  write with [] (conf. 110)  (exp: & g_RemoteryCreated) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6779:5-6779:36)
  read with [] (conf. 110)  (exp: & g_RemoteryCreated) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6777:7-6777:24)
  read with [] (conf. 110)  (exp: & g_RemoteryCreated) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6908:7-6908:34)
[Warning][Race] Memory location (struct ThreadProfilers).compiledSampleFn (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread_profilers->compiledSampleFn) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5166:3-5166:49)
[Warning][Race] Memory location (struct ThreadProfilers).compiledSampleFnSize (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread_profilers->compiledSampleFnSize) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5167:3-5167:54)
[Warning][Race] Memory location (struct ThreadProfilers).maxNbThreadProfilers (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread_profilers->maxNbThreadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5170:3-5170:143)
[Warning][Race] Memory location (struct ThreadProfilers).mqToRmtThread (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread_profilers->mqToRmtThread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5165:3-5165:53)
[Warning][Race] Memory location (struct ThreadProfilers).nbThreadProfilers (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread_profilers->nbThreadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5169:3-5169:57)
  read with [] (conf. 100)  (exp: & thread_profilers->nbThreadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5212:10-5212:69)
  read with [] (conf. 100)  (exp: & thread_profilers->nbThreadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5234:10-5234:71)
  read with [] (conf. 100)  (exp: & thread_profilers->nbThreadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5243:3-5243:92)
[Warning][Race] Memory location (struct ThreadProfilers).threadGatherThread (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread_profilers->threadGatherThread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5173:3-5173:66)
[Warning][Race] Memory location (struct ThreadProfilers).threadProfilerTlsHandle (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread_profilers->threadProfilerTlsHandle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5168:3-5168:58)
  read with [] (conf. 100)  (exp: & thread_profilers->threadProfilerTlsHandle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5217:7-5217:63)
  read with [] (conf. 100)  (exp: & thread_profilers->threadProfilerTlsHandle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5218:5-5218:55)
  read with [] (conf. 100)  (exp: & thread_profilers->threadProfilerTlsHandle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5266:3-5266:58)
  read with [] (conf. 100)  (exp: & thread_profilers->threadProfilerTlsHandle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5275:5-5275:84)
[Warning][Race] Memory location (struct ThreadProfilers).threadSampleThread (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread_profilers->threadSampleThread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5172:3-5172:66)
  write with [] (conf. 100)  (exp: & thread_profilers->threadSampleThread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5181:5-5181:64)
  write with [] (conf. 100)  (exp: & thread_profilers->threadSampleThread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5192:9-5192:72)
  write with [] (conf. 100)  (exp: & thread_profilers->threadSampleThread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5209:5-5209:68)
  read with [] (conf. 100)  (exp: & thread_profilers->threadSampleThread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5182:9-5182:92)
  read with [] (conf. 100)  (exp: & thread_profilers->threadSampleThread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5185:5-5186:62)
  read with [] (conf. 100)  (exp: & thread_profilers->threadSampleThread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5189:11-5189:94)
  read with [] (conf. 100)  (exp: & thread_profilers->threadSampleThread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5190:9-5190:67)
  read with [] (conf. 100)  (exp: & thread_profilers->threadSampleThread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5191:9-5191:62)
  read with [] (conf. 100)  (exp: & thread_profilers->threadSampleThread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5206:7-5206:90)
  read with [] (conf. 100)  (exp: & thread_profilers->threadSampleThread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5207:5-5207:63)
  read with [] (conf. 100)  (exp: & thread_profilers->threadSampleThread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5208:5-5208:58)
[Warning][Race] Memory location (struct ThreadProfilers).timer (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread_profilers->timer) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5164:3-5164:34)
[Warning][Deadcode][CWE-570] condition '(unsigned int )error != 0U' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5272:9-5272:35)
[Warning][Deadcode][CWE-570] condition '(unsigned int )error != 0U' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2483:7-2483:33)
[Warning][Race] Memory location rand (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:554:41-554:52)
  call with [] (conf. 110)  (exp: rand) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:604:3-604:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1681:10-1681:11)
[Error][Analyzer][Unsound] both branches over condition '! ((unsigned long )tree != (unsigned long )((void *)0))' are dead (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4622:7-4622:62)
[Warning][Deadcode][CWE-570] condition '(unsigned int )error != 0U' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4975:7-4975:33)
[Warning][Deadcode][CWE-570] condition '(unsigned long )dest == (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1429:7-1429:58)
[Warning][Deadcode][CWE-570] condition 'dmax == 0U' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1432:7-1432:17)
[Warning][Deadcode][CWE-570] condition '(unsigned long )dmax > 4UL << 10' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1435:7-1435:39)
[Warning][Deadcode][CWE-570] condition '(unsigned long )thread_profiler->sampleTrees[0] == (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4987:7-4987:85)
[Warning][Deadcode][CWE-570] condition '(unsigned long )g_Settings.logPath != (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6674:7-6674:72)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1439:10-1439:11)
[Warning][Race] Memory location countThreads (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1796:15-1796:31)
  write with [] (conf. 110)  (exp: value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1144:3-1144:56)
  read with [] (conf. 110)  (exp: value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1144:3-1144:56)
[Warning][Deadcode][CWE-570] condition '(unsigned int )tmp___0 != 0U' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7045:7-7045:35)
[Error][Analyzer][Unsound] both branches over condition '! ((unsigned long )tree != (unsigned long )((void *)0))' are dead (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4662:7-4662:62)
[Warning][Deadcode][CWE-571] condition 'index___0 < 6U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5011:10-5011:24)
[Warning][Race] Memory location (struct __anonstruct_WebSocket_37999051).data.mask[?] (race with conf. 100):
  write with [] (conf. 100)  (exp: & web_socket->data.mask[0]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3549:3-3549:39)
  write with [] (conf. 100)  (exp: & web_socket->data.mask[1]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3550:3-3550:39)
  write with [] (conf. 100)  (exp: & web_socket->data.mask[2]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3551:3-3551:39)
  write with [] (conf. 100)  (exp: & web_socket->data.mask[3]) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3552:3-3552:39)
[Warning][Race] Memory location (struct __anonstruct_WebSocket_37999051).frame_bytes_remaining (race with conf. 100):
  write with [] (conf. 100)  (exp: & web_socket->frame_bytes_remaining) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3547:3-3547:49)
[Warning][Race] Memory location (struct __anonstruct_WebSocket_37999051).mask_offset (race with conf. 100):
  write with [] (conf. 100)  (exp: & web_socket->mask_offset) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3548:3-3548:39)
[Warning][Race] Memory location (struct __anonstruct_WebSocket_37999051).mode (race with conf. 100):
  write with [] (conf. 100)  (exp: & web_socket->mode) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3546:3-3546:44)
  write with [] (conf. 100)  (exp: & web_socket->mode) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3591:3-3591:26)
[Warning][Race] Memory location (struct __anonstruct_WebSocket_37999051).tcp_socket (race with conf. 100):
  write with [] (conf. 100)  (exp: & web_socket->tcp_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3545:3-3545:38)
  write with [] (conf. 100)  (exp: & web_socket->tcp_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3555:5-3555:50)
  write with [] (conf. 100)  (exp: & web_socket->tcp_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3607:5-3607:54)
  read with [] (conf. 100)  (exp: & web_socket->tcp_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3553:7-3553:76)
  read with [] (conf. 100)  (exp: & web_socket->tcp_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3556:9-3556:78)
  read with [] (conf. 100)  (exp: & web_socket->tcp_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3559:5-3559:60)
  read with [] (conf. 100)  (exp: & web_socket->tcp_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3592:3-3592:111)
  read with [] (conf. 100)  (exp: & web_socket->tcp_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3604:7-3604:76)
  read with [] (conf. 100)  (exp: & web_socket->tcp_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3605:5-3605:49)
  read with [] (conf. 100)  (exp: & web_socket->tcp_socket) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3606:5-3606:44)
[Warning][Deadcode][CWE-571] condition '(unsigned long )thread_profiler->sampleTrees[index___0] != (unsigned long )((void *)0)' is always true (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5012:9-5012:95)
[Warning][Deadcode][CWE-570] condition '(unsigned int )error___0 != 0U' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:3561:9-3561:39)
[Warning][Deadcode][CWE-570] condition '(unsigned long )thread_message_ptr == (unsigned long )((void *)0)' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1025:9-1025:74)
[Warning][Race] Memory location (struct Sample).recurse_depth (race with conf. 100):
  write with [] (conf. 100)  (exp: & sample->recurse_depth) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7137:7-7137:73)
  read with [] (conf. 100)  (exp: & sample->recurse_depth) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7136:9-7136:40)
  read with [] (conf. 100)  (exp: & sample->recurse_depth) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7137:7-7137:73)
[Warning][Race] Memory location (struct Sample).us_length (race with conf. 100):
  write with [] (conf. 100)  (exp: & sample->us_length) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4465:3-4465:42)
  read with [] (conf. 100)  (exp: & sample->us_length) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4465:3-4465:42)
[Warning][Race] Memory location (struct Sample).us_sampled_length (race with conf. 100):
  write with [] (conf. 100)  (exp: & (sample->parent)->us_sampled_length) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4467:6-4467:62)
  read with [] (conf. 100)  (exp: & (sample->parent)->us_sampled_length) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4467:6-4467:62)
[Warning][Deadcode][CWE-570] condition 'error_len >= (rmtU32 )g_errorMessageSize' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1032:7-1032:47)
[Error][Analyzer][Unsound] both branches over condition '! ((unsigned long )tree != (unsigned long )((void *)0))' are dead (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:4700:7-4700:62)
[Warning][Race] Memory location (struct Thread_t).callback (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread->callback) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1862:3-1862:30)
[Warning][Race] Memory location (struct Thread_t).error (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread->error) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1864:3-1864:31)
[Warning][Race] Memory location (struct Thread_t).handle (race with conf. 100):
  write with [] (conf. 100)  (exp: (pthread_t * __restrict  )(& thread->handle)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1866:3-1867:68)
  write with [] (conf. 100)  (exp: & thread->handle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1870:5-1870:36)
  read with [] (conf. 100)  (exp: & thread->handle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1843:3-1843:51)
  read with [] (conf. 100)  (exp: & thread->handle) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1897:3-1897:53)
[Warning][Race] Memory location (struct Thread_t).param (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread->param) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1863:3-1863:24)
[Warning][Race] Memory location (struct Thread_t).request_exit (race with conf. 100):
  write with [] (conf. 100)  (exp: & thread->request_exit) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1865:3-1865:58)
  write with [] (conf. 100)  (exp: & thread->request_exit) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1884:3-1884:58)
[Warning][Race] Memory location rmt_sample_hash_delay (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:591:15-591:49)
  write with [] (conf. 110)  (exp: & *hash_cache) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5141:9-5141:32)
  read with [] (conf. 110)  (exp: & *hash_cache) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5131:5-5131:28)
[Warning][Race] Memory location (struct __anonstruct_Buffer_678719378).alloc_granularity (race with conf. 100):
  write with [] (conf. 100)  (exp: & buffer->alloc_granularity) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2100:3-2100:48)
[Warning][Race] Memory location (struct __anonstruct_Buffer_678719378).bytes_allocated (race with conf. 100):
  write with [] (conf. 100)  (exp: & buffer->bytes_allocated) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2101:3-2101:39)
[Warning][Race] Memory location (struct __anonstruct_Buffer_678719378).bytes_used (race with conf. 100):
  write with [] (conf. 100)  (exp: & buffer->bytes_used) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2102:3-2102:34)
[Warning][Race] Memory location (struct __anonstruct_Buffer_678719378).data (race with conf. 100):
  write with [] (conf. 100)  (exp: & buffer->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2103:3-2103:38)
  write with [] (conf. 100)  (exp: & buffer->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2117:5-2117:40)
  read with [] (conf. 100)  (exp: & buffer->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2115:7-2115:66)
  read with [] (conf. 100)  (exp: & buffer->data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:2116:5-2116:34)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)) (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).logfile (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & rmt->logfile) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6604:3-6604:37)
  read with [] (conf. 110)  (exp: & rmt->logfile) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6791:3-6791:29)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).map_message_queue_data (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & rmt->map_message_queue_data) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6606:3-6606:42)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).map_message_queue_fn (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & rmt->map_message_queue_fn) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6605:3-6605:80)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).mq_to_rmt_thread (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & rmt->mq_to_rmt_thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6601:3-6601:57)
  write with [] (conf. 110)  (exp: & rmt->mq_to_rmt_thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6645:3-6645:53)
  write with [] (conf. 110)  (exp: & rmt->mq_to_rmt_thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6655:7-6655:61)
  write with [] (conf. 110)  (exp: & rmt->mq_to_rmt_thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6800:5-6800:59)
  read with [] (conf. 110)  (exp: & rmt->mq_to_rmt_thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6646:7-6646:75)
  read with [] (conf. 110)  (exp: & rmt->mq_to_rmt_thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6649:3-6649:99)
  read with [] (conf. 110)  (exp: & rmt->mq_to_rmt_thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6652:9-6652:77)
  read with [] (conf. 110)  (exp: & rmt->mq_to_rmt_thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6653:7-6653:56)
  read with [] (conf. 110)  (exp: & rmt->mq_to_rmt_thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6654:7-6654:45)
  read with [] (conf. 110)  (exp: & rmt->mq_to_rmt_thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6713:3-6713:100)
  read with [] (conf. 110)  (exp: & rmt->mq_to_rmt_thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6797:7-6797:75)
  read with [] (conf. 110)  (exp: & rmt->mq_to_rmt_thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6798:5-6798:54)
  read with [] (conf. 110)  (exp: & rmt->mq_to_rmt_thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6799:5-6799:43)
  read with [] (conf. 110)  (exp: & g_Remotery->mq_to_rmt_thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7062:7-7063:43)
  read with [] (conf. 110)  (exp: & g_Remotery->mq_to_rmt_thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7083:5-7083:91)
  read with [] (conf. 110)  (exp: & g_Remotery->mq_to_rmt_thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7104:5-7105:55)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).propertyAllocator (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & rmt->propertyAllocator) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6609:3-6609:58)
  write with [] (conf. 110)  (exp: & rmt->propertyAllocator) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6724:3-6724:55)
  write with [] (conf. 110)  (exp: & rmt->propertyAllocator) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6784:5-6784:60)
  read with [] (conf. 110)  (exp: & rmt->propertyAllocator) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6725:7-6725:76)
  read with [] (conf. 110)  (exp: & rmt->propertyAllocator) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6728:3-6730:93)
  read with [] (conf. 110)  (exp: & rmt->propertyAllocator) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6781:7-6781:76)
  read with [] (conf. 110)  (exp: & rmt->propertyAllocator) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6782:5-6782:55)
  read with [] (conf. 110)  (exp: & rmt->propertyAllocator) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6783:5-6783:44)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).propertyFrame (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & rmt->propertyFrame) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6610:3-6610:34)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).rootProperty.defaultValue.Bool (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & root_property->defaultValue.Bool) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6618:3-6618:49)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).rootProperty.description (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & root_property->description) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6617:3-6617:34)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).rootProperty.firstChild (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & root_property->firstChild) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6620:3-6620:64)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).rootProperty.flags (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & root_property->flags) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6615:3-6615:46)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).rootProperty.initialised (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & root_property->initialised) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6612:3-6612:43)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).rootProperty.lastChild (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & root_property->lastChild) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6621:3-6621:63)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).rootProperty.name (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & root_property->name) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6616:3-6616:40)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).rootProperty.nameHash (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & root_property->nameHash) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6623:3-6623:39)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).rootProperty.nextSibling (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & root_property->nextSibling) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6622:3-6622:65)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).rootProperty.parent (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & root_property->parent) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6619:3-6619:60)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).rootProperty.type (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & root_property->type) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6613:3-6613:44)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).rootProperty.uniqueID (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & root_property->uniqueID) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6624:3-6624:39)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).rootProperty.value.Bool (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & root_property->value.Bool) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6614:3-6614:42)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).server (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & rmt->server) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6600:3-6600:38)
  write with [] (conf. 110)  (exp: & rmt->server) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6627:3-6627:34)
  write with [] (conf. 110)  (exp: & rmt->server) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6638:7-6638:42)
  write with [] (conf. 110)  (exp: & rmt->server) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6805:5-6805:40)
  read with [] (conf. 110)  (exp: & rmt->server) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6628:7-6628:65)
  read with [] (conf. 110)  (exp: & rmt->server) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6631:3-6632:74)
  read with [] (conf. 110)  (exp: & rmt->server) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6635:9-6635:67)
  read with [] (conf. 110)  (exp: & rmt->server) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6636:7-6636:37)
  read with [] (conf. 110)  (exp: & rmt->server) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6637:7-6637:35)
  read with [] (conf. 110)  (exp: & rmt->server) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6642:4-6642:61)
  read with [] (conf. 110)  (exp: & rmt->server) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6643:4-6643:55)
  read with [] (conf. 110)  (exp: & rmt->server) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6802:7-6802:65)
  read with [] (conf. 110)  (exp: & rmt->server) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6803:5-6803:35)
  read with [] (conf. 110)  (exp: & rmt->server) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6804:5-6804:33)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).string_table (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & rmt->string_table) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6603:3-6603:49)
  write with [] (conf. 110)  (exp: & rmt->string_table) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6660:3-6660:45)
  write with [] (conf. 110)  (exp: & rmt->string_table) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6670:7-6670:53)
  write with [] (conf. 110)  (exp: & rmt->string_table) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6795:5-6795:51)
  read with [] (conf. 110)  (exp: & rmt->string_table) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6661:7-6661:71)
  read with [] (conf. 110)  (exp: & rmt->string_table) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6664:3-6664:55)
  read with [] (conf. 110)  (exp: & rmt->string_table) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6667:9-6667:73)
  read with [] (conf. 110)  (exp: & rmt->string_table) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6668:7-6668:48)
  read with [] (conf. 110)  (exp: & rmt->string_table) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6669:7-6669:41)
  read with [] (conf. 110)  (exp: & rmt->string_table) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6792:7-6792:71)
  read with [] (conf. 110)  (exp: & rmt->string_table) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6793:5-6793:46)
  read with [] (conf. 110)  (exp: & rmt->string_table) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6794:5-6794:39)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).thread (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & rmt->thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6602:3-6602:41)
  write with [] (conf. 110)  (exp: & rmt->thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6747:3-6747:38)
  write with [] (conf. 110)  (exp: & rmt->thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6757:7-6757:45)
  write with [] (conf. 110)  (exp: & rmt->thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6775:5-6775:43)
  read with [] (conf. 110)  (exp: & rmt->thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6748:7-6748:65)
  read with [] (conf. 110)  (exp: & rmt->thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6751:3-6751:84)
  read with [] (conf. 110)  (exp: & rmt->thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6754:9-6754:67)
  read with [] (conf. 110)  (exp: & rmt->thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6755:7-6755:40)
  read with [] (conf. 110)  (exp: & rmt->thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6756:7-6756:35)
  read with [] (conf. 110)  (exp: & rmt->thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6772:7-6772:65)
  read with [] (conf. 110)  (exp: & rmt->thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6773:5-6773:38)
  read with [] (conf. 110)  (exp: & rmt->thread) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6774:5-6774:33)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).threadProfilers (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & rmt->threadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6607:3-6607:56)
  write with [] (conf. 110)  (exp: & rmt->threadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6709:3-6709:53)
  write with [] (conf. 110)  (exp: & rmt->threadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6719:7-6719:60)
  write with [] (conf. 110)  (exp: & rmt->threadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6789:5-6789:58)
  read with [] (conf. 110)  (exp: & rmt->threadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6710:7-6710:74)
  read with [] (conf. 110)  (exp: & rmt->threadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6713:3-6713:100)
  read with [] (conf. 110)  (exp: & rmt->threadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6716:9-6716:76)
  read with [] (conf. 110)  (exp: & rmt->threadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6717:7-6717:55)
  read with [] (conf. 110)  (exp: & rmt->threadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6718:7-6718:44)
  read with [] (conf. 110)  (exp: & rmt->threadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6786:7-6786:74)
  read with [] (conf. 110)  (exp: & rmt->threadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6787:5-6787:53)
  read with [] (conf. 110)  (exp: & rmt->threadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6788:5-6788:42)
  read with [] (conf. 110)  (exp: & g_Remotery->threadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7043:3-7044:72)
  read with [] (conf. 110)  (exp: & g_Remotery->threadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7101:3-7102:72)
  read with [] (conf. 110)  (exp: & g_Remotery->threadProfilers) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:7132:3-7133:72)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top)).timer.counter_start (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 110)  (exp: & timer->counter_start) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:913:3-913:98)
  read with [] (conf. 110)  (exp: & timer->counter_start) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:923:3-923:109)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Race] Memory location (alloc@sid:4394@tid:Top Threads(#top))[?] (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6820:3-6820:30)
  write with [] (conf. 90)  (exp: (void const   *)value) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:984:3-984:51)
  write with [] (conf. 100)  (exp: (void * __restrict  )thread_message_ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1037:3-1038:29)
  write with [] (conf. 100)  (exp: & *(thread_message_ptr + error_len)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1039:3-1039:46)
  free with [] (conf. 110)  (exp: ptr) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:6829:3-6829:12)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )thread != (unsigned long )((void *)0))' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1825:7-1825:64)
[Warning][Race] Memory location rmt_sample_hash_recursive (race with conf. 110): (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:576:15-576:53)
  write with [] (conf. 110)  (exp: & *hash_cache) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5141:9-5141:32)
  read with [] (conf. 110)  (exp: & *hash_cache) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:5131:5-5131:28)
[Warning][Deadcode][CWE-570] condition '! ((unsigned long )thread != (unsigned long )((void *)0))' is always false (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Remotery/main.c:1839:7-1839:64)
SV-COMP result: unknown
[Info][Race] Memory locations race summary:
  safe: 15
  vulnerable: 0
  unsafe: 122
  total memory locations: 137
[Error][Analyzer][Unsound] Both branches dead
[Info][Unsound] ASM ignored
[Warning][Unsound][Call] No suitable function to call
[Error][Imprecise][Unsound] Function definition missing
