./deagle --no-assertions --datarace --64 /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c


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


Deagle version 2.1 64-bit x86_64 linux
which contains:
CBMC version 5.67.0 (SVCOMP2023_221122-2-g2121ef1a2) 64-bit x86_64 linux
Parsing /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c
Converting
Type-checking main
file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1701 function load_binary: function 'ceil' is not declared
Generating GOTO Program
Adding CPROVER library (x86_64)
file <builtin-library-ceil> line 14: warning: implicit function declaration "ceil"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1701 function load_binary
signed int (void)
new definition in module <built-in-library> file <builtin-library-ceil> line 14
double (double x)
file <builtin-library-pthread_mutex_init> line 27: warning: pointer parameter types differ between declaration and definition "pthread_mutex_init"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 253
signed int (pthread_mutex_t *, const pthread_mutexattr_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_init> line 27
signed int (pthread_mutex_t *mutex, const pthread_mutexattr_t *mutexattr)
file <builtin-library-pthread_mutex_unlock> line 17: warning: pointer parameter types differ between declaration and definition "pthread_mutex_unlock"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 256
signed int (pthread_mutex_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_unlock> line 17
signed int (pthread_mutex_t *mutex)
file <builtin-library-pthread_mutex_lock> line 17: warning: pointer parameter types differ between declaration and definition "pthread_mutex_lock"
old definition in module main file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 255
signed int (pthread_mutex_t *)
new definition in module <built-in-library> file <builtin-library-pthread_mutex_lock> line 17
signed int (pthread_mutex_t *mutex)
Removal of function pointers and virtual functions
file <builtin-library-__spawned_thread> line 34 function __spawned_thread: replacing function pointer by 3 possible targets
Generic Property Instrumentation
Running with 8 object bits, 56 offset bits (default)
Starting Bounded Model Checking
set limit type 2
Use SV-COMP unwinding strategy: 2
Deagle's solver is set!!!!!!
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 0
**** WARNING: no body for function signal
**** WARNING: no body for function epoll_create
Unwinding loop strtol.0 iteration 1 file <builtin-library-strtol> line 44 function strtol thread 0
Not unwinding loop strtol.0 iteration 2 file <builtin-library-strtol> line 44 function strtol thread 0
Unwinding loop strtol.0 iteration 1 file <builtin-library-strtol> line 44 function strtol thread 0
Not unwinding loop strtol.0 iteration 2 file <builtin-library-strtol> line 44 function strtol thread 0
Unwinding loop main.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1779 function main thread 0
**** WARNING: no body for function open
Unwinding loop read.0 iteration 1 file <builtin-library-read> line 64 function read thread 0
Unwinding loop load_binary.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1692 function load_binary thread 0
Unwinding loop read.0 iteration 1 file <builtin-library-read> line 64 function read thread 0
Not unwinding loop load_binary.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1692 function load_binary thread 0
Unwinding loop load_binary.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1708 function load_binary thread 0
Not unwinding loop load_binary.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1708 function load_binary thread 0
Unwinding loop read.0 iteration 1 file <builtin-library-read> line 64 function read thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
**** WARNING: no body for function sprintf
Unwinding loop load_binary.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1722 function load_binary thread 0
Unwinding loop read.0 iteration 1 file <builtin-library-read> line 64 function read thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop load_binary.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1722 function load_binary thread 0
Unwinding loop load_binary.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1720 function load_binary thread 0
Unwinding loop read.0 iteration 1 file <builtin-library-read> line 64 function read thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Unwinding loop load_binary.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1722 function load_binary thread 0
Unwinding loop read.0 iteration 1 file <builtin-library-read> line 64 function read thread 0
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 0
Not unwinding loop load_binary.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1722 function load_binary thread 0
Not unwinding loop load_binary.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1720 function load_binary thread 0
Unwinding loop main.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1788 function main thread 0
Not unwinding loop main.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1788 function main thread 0
**** WARNING: no body for function strftime
pointer handling for concurrency is unsound
Unwinding loop main.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1802 function main thread 0
Not unwinding loop main.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1802 function main thread 0
Unwinding loop getConnectedSockets.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 763 function getConnectedSockets thread 1
Not unwinding loop getConnectedSockets.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 763 function getConnectedSockets thread 1
**** WARNING: no body for function shutdown
**** WARNING: no body for function setsockopt
Unwinding loop loader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1513 function loader thread 1
Not unwinding loop loader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1513 function loader thread 1
**** WARNING: no body for function usleep
Unwinding loop loader.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1505 function loader thread 1
Unwinding loop getConnectedSockets.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 763 function getConnectedSockets thread 1
Not unwinding loop getConnectedSockets.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 763 function getConnectedSockets thread 1
Unwinding loop loader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1513 function loader thread 1
Not unwinding loop loader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1513 function loader thread 1
Not unwinding loop loader.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1505 function loader thread 1
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 1
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 1
Unwinding loop strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 1
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 1
**** WARNING: no body for function strsep
**** WARNING: no body for function socket
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 1
**** WARNING: no body for function bind
Unwinding loop loader.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1572 function loader thread 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 1
Not unwinding loop loader.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1572 function loader thread 1
**** WARNING: no body for function connect
Unwinding loop strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 1
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 1
Unwinding loop strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 1
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 1
**** WARNING: no body for function epoll_ctl
Unwinding loop loader.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1500 function loader thread 1
Unwinding loop getConnectedSockets.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 763 function getConnectedSockets thread 1
Not unwinding loop getConnectedSockets.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 763 function getConnectedSockets thread 1
Unwinding loop loader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1513 function loader thread 1
Not unwinding loop loader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1513 function loader thread 1
Unwinding loop loader.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1505 function loader thread 1
Unwinding loop getConnectedSockets.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 763 function getConnectedSockets thread 1
Not unwinding loop getConnectedSockets.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 763 function getConnectedSockets thread 1
Unwinding loop loader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1513 function loader thread 1
Not unwinding loop loader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1513 function loader thread 1
Not unwinding loop loader.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1505 function loader thread 1
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 1
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 1
Unwinding loop strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 1
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 1
Unwinding loop loader.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1572 function loader thread 1
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 1
Not unwinding loop loader.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1572 function loader thread 1
Unwinding loop strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 1
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 1
Unwinding loop strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 1
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 1
Not unwinding loop loader.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1500 function loader thread 1
Unwinding loop loader.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1647 function loader thread 1
Not unwinding loop loader.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1647 function loader thread 1
Unwinding loop loader.5 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1643 function loader thread 1
Unwinding loop loader.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1647 function loader thread 1
Not unwinding loop loader.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1647 function loader thread 1
Not unwinding loop loader.5 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1643 function loader thread 1
Unwinding loop flood.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 838 function flood thread 2
Not unwinding loop flood.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 838 function flood thread 2
aborting path on assume(false) at file <builtin-library-__spawned_thread> line 34 function __spawned_thread thread 3
Unwinding loop getConnectedSockets.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 763 function getConnectedSockets thread 3
Not unwinding loop getConnectedSockets.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 763 function getConnectedSockets thread 3
Unwinding loop loader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1513 function loader thread 3
Not unwinding loop loader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1513 function loader thread 3
Unwinding loop loader.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1505 function loader thread 3
Unwinding loop getConnectedSockets.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 763 function getConnectedSockets thread 3
Not unwinding loop getConnectedSockets.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 763 function getConnectedSockets thread 3
Unwinding loop loader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1513 function loader thread 3
Not unwinding loop loader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1513 function loader thread 3
Not unwinding loop loader.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1505 function loader thread 3
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 3
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 3
Unwinding loop strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 3
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 3
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 3
Unwinding loop loader.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1572 function loader thread 3
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 3
Not unwinding loop loader.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1572 function loader thread 3
Unwinding loop strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 3
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 3
Unwinding loop strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 3
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 3
Unwinding loop loader.3 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1500 function loader thread 3
Unwinding loop getConnectedSockets.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 763 function getConnectedSockets thread 3
Not unwinding loop getConnectedSockets.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 763 function getConnectedSockets thread 3
Unwinding loop loader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1513 function loader thread 3
Not unwinding loop loader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/ma[Debug][Analyzer] Base EvalInt argc query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1761:3)
[Debug][Analyzer] Base EvalInt argc < 4 query answering bot instead of Unknown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1761:3)
[Warning][Unknown] Unknown address in (FILE * __restrict  )stderr has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1762:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(FILE,
                                            TCompLoop(struct _IO_FILE, _, ), ),  __restrict  ), Lval(Var(stderr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1762:5)
[Warning][Unknown] Unknown address in (FILE * __restrict  )stdout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1763:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ),  __restrict  ), Lval(Var(stdout, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1763:5)
[Warning][Unknown] Unknown address in (void (*)(int  ))1 has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1767:3)
[Warning][Unknown] Invalidating expressions: Const(Int64(13,int,None)), CastE(TPtr(TFun(TVoid(), : TInt(int, ), ), ), Const(Int64(1,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1767:3)
[Warning][Unknown] Function definition missing for epoll_create (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1768:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1768:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable, NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), Const(Int64(57005,int,None)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1768:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(epollFD, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1768:3)
[Debug][Unknown] Failed evaluating *(argv + 1)  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1769:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(infd, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1770:3)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1770:3)
[Warning][Unknown] Spawning functions from unknown function: sighandler (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1771:3)
[Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), AddrOf(Var(sighandler, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1771:3)
[Warning][Unknown] Unknown value type given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1771:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1772:3)
[Debug][Unknown] Failed evaluating *(argv + 5)  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1772:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1772:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(maxConnectedSockets, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1774:3)
[Debug][Unknown] Failed evaluating *(argv + 6)  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1774:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1774:3)
[Warning][Unknown] Unknown address in {&stateTable[def_exc:Unknown int([-31,31])].mutex} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1780:5)
[Debug][Unknown] Failed evaluating *(argv + 3)  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1783:3)
[Warning][Unknown] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1783:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1728:7)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1728:7)
[Warning][Unknown] Unknown address in (char * __restrict  )(*(binary.slices + slice) + tmp___3) has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1729:7)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char, ),  __restrict  ), PlusPI(Lval(Mem(PlusPI(Lval(Var(binary, Field(slices:TPtr(TPtr(TInt(unsigned char, ), ), ), NoOffset))), Lval(Var(slice, NoOffset))), NoOffset)), Lval(Var(tmp___3, NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1729:7)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1729:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(fd, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1688:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1688:3)
[Warning][Unknown] Spawning functions from unknown function: ch (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1693:5)
[Warning][Unknown] Not creating a thread from ch because its type is unsigned char  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1693:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), AddrOf(Var(ch, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1693:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1693:5)
[Warning][Unknown] Invalidating expressions: Lval(Var(fd, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1700:3)
[Warning][Unknown] Unknown value in (double )((float )size / (float )128) could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1701:3)
[Warning][Unknown] Function definition missing for ceil (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1701:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1701:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable, NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), CastE(TFloat(double, ), /(CastE(TFloat(float, ), Lval(Var(size, NoOffset))), CastE(TFloat(float, ), Const(Int64(128,int,None))))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1701:3)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1701:3)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1701:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1701:3)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1701:3)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1701:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(binary,
                                     Field(num_slices:TInt(int, ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1701:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1701:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1710:5)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1711:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(fd,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1716:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1716:3)
[Warning][Unknown] Spawning functions from unknown function: ch (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1723:7)
[Warning][Unknown] Not creating a thread from ch because its type is unsigned char  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1723:7)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), AddrOf(Var(ch, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1723:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1723:7)
[Warning][Unknown] Invalidating expressions: Lval(Var(fd, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1738:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1783:3)
[Debug][Unknown] Failed evaluating *(argv + 4)  to lvalue (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1784:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1784:3)
[Warning][Unknown] Spawning functions from unknown function: readmelolfgt (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1498:3)
[Warning][Unknown] Not creating a thread from readmelolfgt because its type is char [1024] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1498:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(readmelolfgt, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(1024,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1498:3)
[Warning][Unknown] Function definition missing for shutdown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:729:9)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:729:9)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable, NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), Lval(Var(fd, NoOffset)), Const(Int64(2,int,None)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:729:9)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:729:9)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:729:9)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:729:9)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:729:9)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:729:9)
[Warning][Unknown] Invalidating expressions: Lval(Var(fd,
                                   NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:733:9)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(time_t, TNamed(__time_t, TInt(long, ), ), ), ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1510:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1510:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(orig, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1532:5)
[Warning][Unknown] Unknown address in {&orig} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1532:5)
[Warning][Unknown] Unknown address in {&running} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5)
[Warning][Unknown] Spawning functions from unknown function: running (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5)
[Warning][Unknown] Not creating a thread from running because its type is char * (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5)
[Warning][Unknown] Function definition missing for strsep (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), CastE(TPtr(TPtr(TInt(char, ), ),  __restrict  ), AddrOf(Var(running, NoOffset))), CastE(TPtr(TInt(char,  const  ),  __restrict  ), Const(CStr(":"))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(token,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5)
[Warning][Unknown] Unknown address in {&token} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1534:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___1,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1539:7)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1539:7)
[Warning][Unknown] Spawning functions from unknown function: dest_addr (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1556:5)
[Warning][Unknown] Not creating a thread from dest_addr because its type is struct sockaddr_in  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1556:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), AddrOf(Var(dest_addr, NoOffset))), Const(Int64(0,int,None)), sizeof(TCompLoop(struct sockaddr_in, _, )) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1556:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(dest_addr, Field(sin_port:TNamed(in_port_t, TNamed(uint16_t, TNamed(__uint16_t, TInt(unsigned short, ), ), ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1558:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(dest_addr, Field(sin_addr:TCompLoop(struct in_addr, _, ), Field(s_addr:TNamed(in_addr_t, TNamed(uint32_t, TNamed(__uint32_t, TInt(unsigned int, ), ), ), ), NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1559:5)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1559:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1573:7)
[Warning][Unknown] Unknown address in {&tmp___2} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1573:7)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1574:7)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1574:7)
[Warning][Unknown] Invalidating expressions: Lval(Var(fd, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1576:11)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(fd, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1580:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1585:7)
[Warning][Unknown] Spawning functions from unknown function: my_addr (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1589:7)
[Warning][Unknown] Not creating a thread from my_addr because its type is struct sockaddr_in  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1589:7)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), AddrOf(Var(my_addr, NoOffset))), Const(Int64(0,int,None)), sizeof(TCompLoop(struct sockaddr_in, _, )) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1589:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(my_addr, Field(sin_addr:TCompLoop(struct in_addr, _, ), Field(s_addr:TNamed(in_addr_t, TNamed(uint32_t, TNamed(__uint32_t, TInt(unsigned int, ), ), ), ), NoOffset)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1590:7)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1590:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(my_addr, Field(sin_port:TNamed(in_port_t, TNamed(uint16_t, TNamed(__uint16_t, TInt(unsigned short, ), ), ), ), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1593:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1595:7)
[Warning][Unknown] Unknown address in {&tmp___5} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1595:7)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1596:7)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1596:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___6, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1597:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(res,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1605:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___7,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1608:7)
[Warning][Unknown] Unknown address in {&tmp___7} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1608:7)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1609:7)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1609:7)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(time_t, TNamed(__time_t, TInt(long, ), ), ), ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1621:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___8, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1621:7)
[Warning][Unknown] Unknown address in {&running} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7)
[Warning][Unknown] Spawning functions from unknown function: running (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7)
[Warning][Unknown] Not creating a thread from running because its type is char * (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7)
[Warning][Unknown] Function definition missing for strsep (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), CastE(TPtr(TPtr(TInt(char, ), ),  __restrict  ), AddrOf(Var(running, NoOffset))), CastE(TPtr(TInt(char,  const  ),  __restrict  ), Const(CStr(":"))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(token,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7)
[Warning][Unknown] Unknown address in {&token} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1627:7)
[Warning][Unknown] Spawning functions from unknown function: stateTable (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1628:7)
[Warning][Unknown] Not creating a thread from stateTable because its type is struct stateSlot_t [1] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1628:7)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(stateTable, Index(Lval(Var(fd, NoOffset)), Field(username:TArray(TInt(char, ), Some(Const(Int64(32,int,None))), ), NoOffset))))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1628:7)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1628:7)
[Warning][Unknown] Unknown address in {&running} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7)
[Warning][Unknown] Spawning functions from unknown function: running (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7)
[Warning][Unknown] Not creating a thread from running because its type is char * (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7)
[Warning][Unknown] Function definition missing for strsep (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), CastE(TPtr(TPtr(TInt(char, ), ),  __restrict  ), AddrOf(Var(running, NoOffset))), CastE(TPtr(TInt(char,  const  ),  __restrict  ), Const(CStr(":"))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(token,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7)
[Warning][Unknown] Unknown address in {&token} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1629:7)
[Warning][Unknown] Spawning functions from unknown function: stateTable (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1630:7)
[Warning][Unknown] Not creating a thread from stateTable because its type is struct stateSlot_t [1] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1630:7)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(stateTable, Index(Lval(Var(fd, NoOffset)), Field(password:TArray(TInt(char, ), Some(Const(Int64(32,int,None))), ), NoOffset))))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1630:7)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1630:7)
[Warning][Unknown] Spawning functions from unknown function: event (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1639:5)
[Warning][Unknown] Not creating a thread from event because its type is struct epoll_event  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1639:5)
[Warning][Unknown] Function definition missing for epoll_ctl (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1639:5)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1639:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), Lval(Var(epollFD, NoOffset)), Const(Int64(1,int,None)), Lval(Var(fd, NoOffset)), AddrOf(Var(event, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1639:5)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1639:5)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1639:5)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1639:5)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1639:5)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1639:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), Lval(Var(orig, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1640:5)
[Warning][Unknown] Unknown address in (void *)orig has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1640:5)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1640:5)
[Warning][Unknown] Invalidating expressions: Lval(Var(fd, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1610:9)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(orig, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1541:9)
[Warning][Unknown] Unknown address in (void *)orig has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1541:9)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1541:9)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(orig, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1536:7)
[Warning][Unknown] Unknown address in (void *)orig has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1536:7)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1536:7)
[Warning][Unknown] Unknown address in (FILE * __restrict  )infd has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1501:5)
[Warning][Unknown] Spawning functions from unknown function: readmelolfgt (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1501:5)
[Warning][Unknown] Not creating a thread from readmelolfgt because its type is char [1024] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1501:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(readmelolfgt, NoOffset))), CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ),  __restrict  ), Lval(Var(infd, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1501:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___9,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1501:5)
[Warning][Unknown] Unknown address in {&tmp___9} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1501:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(time_t, TNamed(__time_t, TInt(long, ), ), ), ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1644:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___10, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1644:5)
[Warning][Unknown] Spawning functions from unknown function: running_threads (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:835:3)
[Warning][Unknown] Not creating a thread from running_threads because its type is int volatile    (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:835:3)
[Warning][Unknown] Function definition missing for __sync_fetch_and_add (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:835:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:835:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), AddrOf(Var(running_threads, NoOffset)), Const(Int64(1,int,None)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:835:3)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:835:3)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:835:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:835:3)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:835:3)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:835:3)
[Warning][Unknown] Function definition missing for shutdown (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:729:9)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:729:9)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), Lval(Var(fd, NoOffset)), Const(Int64(2,int,None)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:729:9)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:729:9)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:729:9)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:729:9)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:729:9)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:729:9)
[Warning][Unknown] Invalidating expressions: Lval(Var(fd,
                                   NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:733:9)
[Warning][Unknown] Spawning functions from unknown function: so_error, len (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1410:11)
[Warning][Unknown] Not creating a thread from so_error because its type is int  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1410:11)
[Warning][Unknown] Not creating a thread from len because its type is socklen_t  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1410:11)
[Warning][Unknown] Function definition missing for getsockopt (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1410:11)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1410:11)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), Lval(Mem(Lval(Var(state___1, NoOffset)), Field(fd:TInt(int, ), NoOffset))), Const(Int64(1,int,None)), Const(Int64(4,int,None)), CastE(TPtr(TVoid(),  __restrict  ), AddrOf(Var(so_error, NoOffset))), CastE(TPtr(TNamed(socklen_t, TNamed(__socklen_t, TInt(unsigned int, ), ), ),  __restrict  ), AddrOf(Var(len, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1410:11)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1410:11)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1410:11)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1410:11)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1410:11)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1410:11)
[Warning][Unknown] Unknown value in {&pevents[def_exc:Unknown int([-31,31])]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1419:11)
[Warning][Unknown] Spawning functions from unknown function: pevents (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1419:11)
[Warning][Unknown] Not creating a thread from pevents because its type is struct epoll_event [25] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1419:11)
[Warning][Unknown] Function definition missing for epoll_ctl (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1419:11)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1419:11)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), Lval(Var(epollFD, NoOffset)), Const(Int64(3,int,None)), Lval(Mem(Lval(Var(state___1, NoOffset)), Field(fd:TInt(int, ), NoOffset))), AddrOf(Var(pevents, Index(Lval(Var(i, NoOffset)), NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1419:11)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1419:11)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1419:11)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1419:11)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1419:11)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1419:11)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:900:9)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:900:9)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(buf, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(10241,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:900:9)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:545:3)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:545:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(buf, NoOffset)), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Lval(Var(len, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:545:3)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(buf, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3)
[Warning][Unknown] Spawning functions from unknown function: hex_buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:565:5)
[Warning][Unknown] Not creating a thread from hex_buf because its type is char [32] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:565:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(hex_buf, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:565:5)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:545:3)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:545:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(buf,
                                   NoOffset)), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Lval(Var(len, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:545:3)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(buf, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3)
[Warning][Unknown] Spawning functions from unknown function: hex_buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:565:5)
[Warning][Unknown] Not creating a thread from hex_buf because its type is char [32] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:565:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(hex_buf, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:565:5)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:545:3)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:545:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(buf,
                                   NoOffset)), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Lval(Var(len, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:545:3)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(buf, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3)
[Warning][Unknown] Spawning functions from unknown function: hex_buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:565:5)
[Warning][Unknown] Not creating a thread from hex_buf because its type is char [32] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:565:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(hex_buf, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:565:5)
[Warning][Unknown] Spawning functions from unknown function: hex_buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:590:5)
[Warning][Unknown] Not creating a thread from hex_buf because its type is char [32] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:590:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(hex_buf, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:590:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:595:3)
[Warning][Unknown] Spawning functions from unknown function: hex_buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:590:5)
[Warning][Unknown] Not creating a thread from hex_buf because its type is char [32] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:590:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(hex_buf, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:590:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:595:3)
[Warning][Unknown] Spawning functions from unknown function: hex_buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:590:5)
[Warning][Unknown] Not creating a thread from hex_buf because its type is char [32] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:590:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(hex_buf, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:590:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:595:3)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:545:3)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:545:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(buf, NoOffset)), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Lval(Var(len, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:545:3)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3)
[Warning][Unknown] Invalidating expressions: Lval(Var(buf, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:546:3)
[Warning][Unknown] Spawning functions from unknown function: hex_buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:565:5)
[Warning][Unknown] Not creating a thread from hex_buf because its type is char [32] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:565:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(hex_buf, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:565:5)
[Warning][Unknown] Invariant failed: expression "<=(CastE(TInt(unsigned long,
                                       ), Lval(Var(cur, NoOffset))), CastE(TInt(unsigned long, ), Lval(Var(last, NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:658:3)
[Warning][Unknown] Invariant failed: expression "<=(CastE(TInt(unsigned long, ), Lval(Var(cur, NoOffset))), CastE(TInt(unsigned long, ), Lval(Var(last, NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:658:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:659:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:660:7)
[Warning][Unknown] Invariant failed: expression "<=(CastE(TInt(unsigned long,
                                       ), Lval(Var(cur, NoOffset))), CastE(TInt(unsigned long, ), Lval(Var(last, NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:658:3)
[Warning][Unknown] Invariant failed: expression "<=(CastE(TInt(unsigned long, ), Lval(Var(cur, NoOffset))), CastE(TInt(unsigned long, ), Lval(Var(last, NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:658:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:659:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:660:7)
[Warning][Unknown] Invariant failed: expression "<=(CastE(TInt(unsigned long,
                                       ), Lval(Var(cur, NoOffset))), CastE(TInt(unsigned long, ), Lval(Var(last, NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:658:3)
[Warning][Unknown] Invariant failed: expression "<=(CastE(TInt(unsigned long, ), Lval(Var(cur, NoOffset))), CastE(TInt(unsigned long, ), Lval(Var(last, NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:658:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:659:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:660:7)
[Warning][Unknown] Invariant failed: expression "<=(CastE(TInt(unsigned long,
                                       ), Lval(Var(cur, NoOffset))), CastE(TInt(unsigned long, ), Lval(Var(last, NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:658:3)
[Warning][Unknown] Invariant failed: expression "<=(CastE(TInt(unsigned long, ), Lval(Var(cur, NoOffset))), CastE(TInt(unsigned long, ), Lval(Var(last, NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:658:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:659:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:660:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:431:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___1,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:434:3)
[Warning][Unknown] Spawning functions from unknown function: (alloc@sid:6) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:435:3)
[Warning][Unknown] Not creating a thread from (alloc@sid:6) because its type is char  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:435:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), Lval(Var(tmpStr, NoOffset))), Const(Int64(0,int,None)), PlusA(Lval(Var(tmp___1, NoOffset)), Const(Int64(1,unsigned long,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:435:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:449:7)
[Warning][Unknown] Unknown address in {&tmp___2} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:449:7)
[Warning][Unknown] Spawning functions from unknown function: (alloc@sid:6), buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:458:7)
[Warning][Unknown] Not creating a thread from (alloc@sid:6) because its type is char  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:458:7)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:458:7)
[Warning][Unknown] Function definition missing for strncat (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:458:7)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:458:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), CastE(TPtr(TInt(char, ),  __restrict  ), Lval(Var(tmpStr, NoOffset))), CastE(TPtr(TInt(char,  const  ),  __restrict  ), PlusPI(Lval(Var(bufStr, NoOffset)), Lval(Var(i, NoOffset)))), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(1,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:458:7)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:458:7)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:458:7)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:458:7)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:458:7)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:458:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___3,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:439:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:463:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:487:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___5,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:467:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(tmpStr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:493:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), Lval(Var(tmpStr, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:488:7)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), StartOf(Var(textBuffer, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(2048,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:616:3)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(textBuffer, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:619:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:620:3)
[Warning][Unknown] Spawning functions from unknown function: hex_buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:590:5)
[Warning][Unknown] Not creating a thread from hex_buf because its type is char [32] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:590:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(hex_buf, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:590:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:595:3)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), StartOf(Var(textBuffer, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(2048,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:616:3)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(textBuffer, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:619:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:620:3)
[Warning][Unknown] Invariant failed: expression "<=(CastE(TInt(unsigned long,
                                       ), Lval(Var(cur, NoOffset))), CastE(TInt(unsigned long, ), Lval(Var(last, NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:658:3)
[Warning][Unknown] Invariant failed: expression "<=(CastE(TInt(unsigned long, ), Lval(Var(cur, NoOffset))), CastE(TInt(unsigned long, ), Lval(Var(last, NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:658:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:659:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:660:7)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1038:13)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1038:13)
[Warning][Unknown] Function definition missing for strcasestr (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1038:13)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1038:13)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), CastE(TPtr(TInt(char,  const  ), ), StartOf(Var(buf, NoOffset))), Const(CStr("access denied")) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1038:13)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1038:13)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1038:13)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1038:13)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1038:13)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1038:13)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___8,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1038:13)
[Warning][Unknown] Unknown address in {&tmp___8} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1038:13)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1043:15)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1043:15)
[Warning][Unknown] Function definition missing for strcasestr (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1043:15)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1043:15)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), CastE(TPtr(TInt(char,  const  ), ), StartOf(Var(buf, NoOffset))), Const(CStr("invalid password")) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1043:15)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1043:15)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1043:15)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1043:15)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1043:15)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1043:15)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___9,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1043:15)
[Warning][Unknown] Unknown address in {&tmp___9} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1043:15)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1048:17)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1048:17)
[Warning][Unknown] Function definition missing for strcasestr (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1048:17)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1048:17)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), CastE(TPtr(TInt(char,  const  ), ), StartOf(Var(buf, NoOffset))), Const(CStr("login incorrect")) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1048:17)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1048:17)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1048:17)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1048:17)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1048:17)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1048:17)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___10,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1048:17)
[Warning][Unknown] Unknown address in {&tmp___10} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1048:17)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1053:19)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1053:19)
[Warning][Unknown] Function definition missing for strcasestr (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1053:19)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1053:19)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), CastE(TPtr(TInt(char,  const  ), ), StartOf(Var(buf, NoOffset))), Const(CStr("password is wrong")) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1053:19)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1053:19)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1053:19)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1053:19)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1053:19)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1053:19)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___11,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1053:19)
[Warning][Unknown] Unknown address in {&tmp___11} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1053:19)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1061:13)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1061:13)
[Warning][Unknown] Function definition missing for strcasestr (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1061:13)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1061:13)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), CastE(TPtr(TInt(char,  const  ), ), StartOf(Var(buf, NoOffset))), Const(CStr("BusyBox")) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1061:13)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1061:13)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1061:13)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1061:13)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1061:13)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1061:13)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___12,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1061:13)
[Warning][Unknown] Unknown address in {&tmp___12} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1061:13)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(textBuffer, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(2048,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:616:3)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(textBuffer, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:619:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:620:3)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(textBuffer, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(2048,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:616:3)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(textBuffer, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:619:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:620:3)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1122:13)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1122:13)
[Warning][Unknown] Function definition missing for strcasestr (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1122:13)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1122:13)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), CastE(TPtr(TInt(char,  const  ), ), StartOf(Var(buf, NoOffset))), Const(CStr("applet not found")) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1122:13)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1122:13)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1122:13)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1122:13)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1122:13)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1122:13)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___15,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1122:13)
[Warning][Unknown] Unknown address in {&tmp___15} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1122:13)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(textBuffer, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(2048,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:616:3)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(textBuffer, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:619:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:620:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___25,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1139:13)
[Warning][Unknown] Unknown address in {&tmp___25} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1139:13)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___26,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1143:15)
[Warning][Unknown] Unknown address in {&tmp___26} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1143:15)
[Warning][Unknown] Spawning functions from unknown function: stateTable (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1239:19)
[Warning][Unknown] Not creating a thread from stateTable because its type is struct stateSlot_t [1] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1239:19)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Mem(Lval(Var(state___0, NoOffset)), Field(path:TArray(TArray(TInt(char, ), Some(Const(Int64(32,int,None))), ), Some(Const(Int64(5,int,None))), ), Index(Const(Int64(0,int,None)), NoOffset))))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1239:19)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(textBuffer, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(2048,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:616:3)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(textBuffer, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:619:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:620:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1204:25)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1186:23)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1164:27)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1164:27)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___20,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1151:19)
[Warning][Unknown] Unknown address in {&tmp___20} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1151:19)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1151:19)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___19,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1156:21)
[Warning][Unknown] Unknown address in {&tmp___19} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1156:21)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1156:21)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___18,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1153:21)
[Warning][Unknown] Unknown address in {&tmp___18} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1153:21)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1153:21)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(space,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1159:19)
[Warning][Unknown] Unknown address in {&space} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1159:19)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1159:19)
[Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned long,
                                       ), Lval(Var(start, NoOffset))), CastE(TInt(unsigned long, ), Lval(Var(tmp_buf, NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1160:19)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1161:21)
[Warning][Unknown] Invariant failed: expression ">(CastE(TInt(unsigned long, ), Lval(Var(start, NoOffset))), CastE(TInt(unsigned long, ), StartOf(Var(buf, NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1163:25)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(space,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1176:23)
[Warning][Unknown] Unknown address in {&space} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1176:23)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1176:23)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1179:19)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1183:23)
[Warning][Unknown] Spawning functions from unknown function: stateTable (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1192:23)
[Warning][Unknown] Not creating a thread from stateTable because its type is struct stateSlot_t [1] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1192:23)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Mem(Lval(Var(state___0, NoOffset)), Field(path:TArray(TArray(TInt(char, ), Some(Const(Int64(32,int,None))), ), Some(Const(Int64(5,int,None))), ), Index(Lval(Var(memes, NoOffset)), NoOffset))))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1192:23)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1192:23)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1198:21)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1201:25)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___21,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1216:19)
[Warning][Unknown] Unknown address in {&tmp___21} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1216:19)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1216:19)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___22,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1218:21)
[Warning][Unknown] Unknown address in {&tmp___22} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1218:21)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1218:21)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___23,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1228:17)
[Warning][Unknown] Spawning functions from unknown function: stateTable (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1230:19)
[Warning][Unknown] Not creating a thread from stateTable because its type is struct stateSlot_t [1] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1230:19)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Mem(Lval(Var(state___0, NoOffset)), Field(path:TArray(TArray(TInt(char, ), Some(Const(Int64(32,int,None))), ), Some(Const(Int64(5,int,None))), ), Index(Const(Int64(0,int,None)), NoOffset))))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1230:19)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1255:13)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1255:13)
[Warning][Unknown] Function definition missing for strcasestr (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1255:13)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1255:13)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), CastE(TPtr(TInt(char,  const  ), ), StartOf(Var(buf, NoOffset))), Const(CStr("applet not found")) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1255:13)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1255:13)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1255:13)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1255:13)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1255:13)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1255:13)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___29,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1255:13)
[Warning][Unknown] Unknown address in {&tmp___29} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1255:13)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___27,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1273:19)
[Warning][Unknown] Spawning functions from unknown function: stateTable (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1275:21)
[Warning][Unknown] Not creating a thread from stateTable because its type is struct stateSlot_t [1] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1275:21)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Mem(Lval(Var(state___0, NoOffset)), Field(path:TArray(TArray(TInt(char, ), Some(Const(Int64(32,int,None))), ), Some(Const(Int64(5,int,None))), ), Index(Const(Int64(0,int,None)), NoOffset))))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1275:21)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(textBuffer, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(2048,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:616:3)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(textBuffer, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:619:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:620:3)
[Warning][Unknown] Spawning functions from unknown function: stateTable (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1266:19)
[Warning][Unknown] Not creating a thread from stateTable because its type is struct stateSlot_t [1] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1266:19)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Mem(Lval(Var(state___0, NoOffset)), Field(path:TArray(TArray(TInt(char, ), Some(Const(Int64(32,int,None))), ), Some(Const(Int64(5,int,None))), ), Index(Const(Int64(0,int,None)), NoOffset))))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1266:19)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1297:13)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1297:13)
[Warning][Unknown] Function definition missing for strcasestr (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1297:13)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1297:13)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), CastE(TPtr(TInt(char,  const  ), ), StartOf(Var(buf, NoOffset))), Const(CStr("applet not found")) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1297:13)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1297:13)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1297:13)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1297:13)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1297:13)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1297:13)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___31,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1297:13)
[Warning][Unknown] Unknown address in {&tmp___31} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1297:13)
[Warning][Unknown] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1301:15)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(textBuffer, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(2048,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:616:3)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(textBuffer, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:619:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:620:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1301:15)
[Warning][Unknown] Invariant failed: expression "==(CastE(TInt(int,
                                       ), Lval(Mem(Lval(Var(state___0, NoOffset)), Field(echoInd:TNamed(uint16_t, TNamed(__uint16_t, TInt(unsigned short, ), ), ), NoOffset)))), Lval(Var(binary, Field(num_slices:TInt(int, ), NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1303:15)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1318:13)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1318:13)
[Warning][Unknown] Function definition missing for strcasestr (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1318:13)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1318:13)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), CastE(TPtr(TInt(char,  const  ), ), StartOf(Var(buf, NoOffset))), Const(CStr("applet not found")) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1318:13)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1318:13)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1318:13)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1318:13)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1318:13)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1318:13)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___32,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1318:13)
[Warning][Unknown] Unknown address in {&tmp___32} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1318:13)
[Warning][Unknown] Unknown address given as function argument (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1320:15)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(textBuffer, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(2048,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:616:3)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(textBuffer, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:619:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:620:3)
[Warning][Unknown] Spawning functions from unknown function: buf (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1333:13)
[Warning][Unknown] Not creating a thread from buf because its type is unsigned char [10241] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1333:13)
[Warning][Unknown] Function definition missing for strcasestr (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1333:13)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1333:13)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), CastE(TPtr(TInt(char,  const  ), ), StartOf(Var(buf, NoOffset))), Const(CStr("applet not found")) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1333:13)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1333:13)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1333:13)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1333:13)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1333:13)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1333:13)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___33,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1333:13)
[Warning][Unknown] Unknown address in {&tmp___33} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1333:13)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(textBuffer, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(2048,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:616:3)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(textBuffer, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:619:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:620:3)
[Warning][Unknown] Invariant failed: expression "<=(CastE(TInt(unsigned long,
                                       ), Lval(Var(cur, NoOffset))), CastE(TInt(unsigned long, ), Lval(Var(last, NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:658:3)
[Warning][Unknown] Invariant failed: expression "<=(CastE(TInt(unsigned long, ), Lval(Var(cur, NoOffset))), CastE(TInt(unsigned long, ), Lval(Var(last, NoOffset))))" not understood. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:658:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:659:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:660:7)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(textBuffer, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(2048,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:615:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:616:3)
[Warning][Unknown] Spawning functions from unknown function: textBuffer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Not creating a thread from textBuffer because its type is char [2048] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(textBuffer, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:617:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:619:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:620:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(time_t,
                                            TNamed(__time_t, TInt(long, ), ), ), ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:747:7)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:747:7)
[Warning][Unknown] Spawning functions from unknown function: event (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1401:11)
[Warning][Unknown] Not creating a thread from event because its type is struct epoll_event  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1401:11)
[Warning][Unknown] Function definition missing for epoll_ctl (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1401:11)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1401:11)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable, NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), Lval(Var(epollFD, NoOffset)), Const(Int64(3,int,None)), Lval(Mem(Lval(Var(state___0, NoOffset)), Field(fd:TInt(int, ), NoOffset))), AddrOf(Var(event, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1401:11)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1401:11)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1401:11)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1401:11)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1401:11)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1401:11)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:859:9)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:859:9)
[Warning][Unknown] Unknown value in {&pevents[def_exc:0]} could be an escaped pointer address! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:855:5)
[Warning][Unknown] Spawning functions from unknown function: pevents (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:855:5)
[Warning][Unknown] Not creating a thread from pevents because its type is struct epoll_event [25] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:855:5)
[Warning][Unknown] Function definition missing for epoll_wait (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:855:5)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:855:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable,
                                     NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), Lval(Var(epollFD, NoOffset)), StartOf(Var(pevents, NoOffset)), Const(Int64(25,int,None)), Const(Int64(10000,int,None)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:855:5)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:855:5)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:855:5)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:855:5)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:855:5)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:855:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(ret,
                                     NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:855:5)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___37, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:858:9)
[Warning][Unknown] Unknown address in {&tmp___37} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:858:9)
[Warning][Unknown] Spawning functions from unknown function: running_threads (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1431:3)
[Warning][Unknown] Not creating a thread from running_threads because its type is int volatile    (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1431:3)
[Warning][Unknown] Function definition missing for __sync_fetch_and_sub (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1431:3)
[Warning][Unknown] INVALIDATING ALL GLOBALS! (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1431:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(stateTable, NoOffset)), AddrOf(Var(binary, NoOffset)), AddrOf(Var(run_arg, NoOffset)), AddrOf(Var(infd, NoOffset)), AddrOf(Var(maxFDSaw, NoOffset)), AddrOf(Var(port, NoOffset)), AddrOf(Var(remote_hangup, NoOffset)), AddrOf(Var(failed_connect, NoOffset)), AddrOf(Var(login_done, NoOffset)), AddrOf(Var(timed_out, NoOffset)), AddrOf(Var(bytes_sent, NoOffset)), AddrOf(Var(found_srvs, NoOffset)), AddrOf(Var(running_threads, NoOffset)), AddrOf(Var(running_threads, NoOffset)), Const(Int64(1,int,None)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1431:3)
[Warning][Unknown] Unknown address in {&stateTable} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1431:3)
[Warning][Unknown] Unknown address in {&binary} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1431:3)
[Warning][Unknown] Unknown address in {&((alloc@sid:1152), /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1431:3)
[Warning][Unknown] Unknown address in {&run_arg} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1431:3)
[Warning][Unknown] Unknown address in {&infd} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1431:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(time_t,
                                            TNamed(__time_t, TInt(long, ), ), ), ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1793:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1793:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1795:3)
[Warning][Unknown] Unknown address in {&tmp___1} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1795:3)
[Warning][Unknown] Spawning functions from unknown function: timeText (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1797:3)
[Warning][Unknown] Not creating a thread from timeText because its type is char [100] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1797:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(timeText, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1797:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1797:3)
[Warning][Unknown] Spawning functions from unknown function: temp (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1806:3)
[Warning][Unknown] Not creating a thread from temp because its type is char [17] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1806:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(temp, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(17,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1806:3)
[Warning][Unknown] Spawning functions from unknown function: temp (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1807:3)
[Warning][Unknown] Not creating a thread from temp because its type is char [17] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1807:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(temp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1807:3)
[Warning][Unknown] Spawning functions from unknown function: temp (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1809:3)
[Warning][Unknown] Not creating a thread from temp because its type is char [17] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1809:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(temp, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(17,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1809:3)
[Warning][Unknown] Spawning functions from unknown function: temp (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1810:3)
[Warning][Unknown] Not creating a thread from temp because its type is char [17] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1810:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(temp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1810:3)
[Warning][Unknown] Spawning functions from unknown function: temp (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1812:3)
[Warning][Unknown] Not creating a thread from temp because its type is char [17] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1812:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(temp, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(17,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1812:3)
[Warning][Unknown] Spawning functions from unknown function: temp (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1813:3)
[Warning][Unknown] Not creating a thread from temp because its type is char [17] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1813:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(temp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1813:3)
[Warning][Unknown] Spawning functions from unknown function: temp (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1815:3)
[Warning][Unknown] Not creating a thread from temp because its type is char [17] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1815:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(temp, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(17,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1815:3)
[Warning][Unknown] Spawning functions from unknown function: temp (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1816:3)
[Warning][Unknown] Not creating a thread from temp because its type is char [17] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1816:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(temp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1816:3)
[Warning][Unknown] Spawning functions from unknown function: temp (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1818:3)
[Warning][Unknown] Not creating a thread from temp because its type is char [17] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1818:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(temp, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(17,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1818:3)
[Warning][Unknown] Spawning functions from unknown function: temp (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1819:3)
[Warning][Unknown] Not creating a thread from temp because its type is char [17] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1819:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(temp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1819:3)
[Warning][Unknown] Spawning functions from unknown function: temp (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1821:3)
[Warning][Unknown] Not creating a thread from temp because its type is char [17] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1821:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(temp, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(17,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1821:3)
[Warning][Unknown] Spawning functions from unknown function: temp (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1822:3)
[Warning][Unknown] Not creating a thread from temp because its type is char [17] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1822:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(temp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1822:3)
[Warning][Unknown] Spawning functions from unknown function: temp (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1824:3)
[Warning][Unknown] Not creating a thread from temp because its type is char [17] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1824:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(temp, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(17,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1824:3)
[Warning][Unknown] Spawning functions from unknown function: temp (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1825:3)
[Warning][Unknown] Not creating a thread from temp because its type is char [17] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1825:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(temp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1825:3)
[Warning][Unknown] Spawning functions from unknown function: temp (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1827:3)
[Warning][Unknown] Not creating a thread from temp because its type is char [17] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1827:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), StartOf(Var(temp, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(17,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1827:3)
[Warning][Unknown] Spawning functions from unknown function: temp (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1828:3)
[Warning][Unknown] Not creating a thread from temp because its type is char [17] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1828:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(temp, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1828:3)
[Warning][Unknown] Spawning functions from unknown function: (alloc@sid:1290) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1844:5)
[Warning][Unknown] Not creating a thread from (alloc@sid:1290) because its type is char  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1844:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(),
                                ), Lval(Var(new, NoOffset))), Const(CChr('\000')), CastE(TNamed(size_t, TInt(unsigned long, ), ), Const(Int64(96,int,None))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1844:5)
[Warning][Unknown] Spawning functions from unknown function: (alloc@sid:1290) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1845:5)
[Warning][Unknown] Not creating a thread from (alloc@sid:1290) because its type is char  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1845:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), Lval(Var(new, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1845:5)
[Warning][Unknown] Spawning functions from unknown function: (alloc@sid:1290) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1847:5)
[Warning][Unknown] Not creating a thread from (alloc@sid:1290) because its type is char  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1847:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), Lval(Var(new, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1847:5)
[Warning][Unknown] Spawning functions from unknown function: (alloc@sid:1290) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1849:5)
[Warning][Unknown] Not creating a thread from (alloc@sid:1290) because its type is char  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1849:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), Lval(Var(new, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1849:5)
[Warning][Unknown] Spawning functions from unknown function: (alloc@sid:1290) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1851:5)
[Warning][Unknown] Not creating a thread from (alloc@sid:1290) because its type is char  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1851:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), Lval(Var(new, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1851:5)
[Warning][Unknown] Spawning functions from unknown function: (alloc@sid:1290) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1853:5)
[Warning][Unknown] Not creating a thread from (alloc@sid:1290) because its type is char  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1853:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), Lval(Var(new, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1853:5)
[Warning][Unknown] Spawning functions from unknown function: (alloc@sid:1290) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1855:5)
[Warning][Unknown] Not creating a thread from (alloc@sid:1290) because its type is char  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1855:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), Lval(Var(new, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1855:5)
[Warning][Unknown] Spawning functions from unknown function: (alloc@sid:1290) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1858:5)
[Warning][Unknown] Not creating a thread from (alloc@sid:1290) because its type is char  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1858:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), Lval(Var(new, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1858:5)
[Warning][Unknown] Spawning functions from unknown function: (alloc@sid:1290) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1860:5)
[Warning][Unknown] Not creating a thread from (alloc@sid:1290) because its type is char  (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1860:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), Lval(Var(new, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1860:5)
[Warning][Unknown] Unknown address in stdout has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1863:5)
[Warning][Unknown] Invalidating expressions: Lval(Var(stdout,
                                   NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1863:5)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1863:5)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(time_t, TNamed(__time_t, TInt(long, ), ), ), ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1868:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(now, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1868:3)
[Warning][Unknown] Invalidating expressions: AddrOf(Var(t, NoOffset)) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1869:3)
[Warning][Unknown] Unknown address in {&t} has escaped. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1869:3)
[Warning][Unknown] Spawning functions from unknown function: timeText (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1870:3)
[Warning][Unknown] Not creating a thread from timeText because its type is char [100] (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1870:3)
[Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char,
                                     ),  __restrict  ), StartOf(Var(timeText, NoOffset))) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1870:3)
[Warning][Unknown] Write to unknown address: privatization is unsound. (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1870:3)
[Warning][Deadcode] Function "chomp" will never be called: 10LoC (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1444:1)
[Warning][Race] Memory location stateTable[?].pathInd@main.c:278:20 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1257:15)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1264:17)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1265:17)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1268:19)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1273:19)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1277:21)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1283:17)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1301:15)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1320:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:723:7)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:723:7)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1264:17)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1267:19)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1276:21)
[Warning][Race] Memory location (alloc@sid:1152)[?]@:-1:-1 (race with conf. 100):
  read with {} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1301:15)
  read with {thread:([main], {})} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1711:5)
  read with {thread:([main], {})} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1728:7)
  read with {thread:([main], {})} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1729:7)
  write with {thread:([main], {})} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1710:5)
[Warning][Race] Memory location (alloc@sid:6)@:-1:-1 (race with conf. 90):
  write with {} (conf. 90) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:435:3)
  write with {} (conf. 90) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:488:7)
  write with {} (conf. 90) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:493:3)
[Warning][Race] Memory location stateTable[?].echoInd@main.c:278:20 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1299:15)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1300:15)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1303:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:722:7)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:722:7)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1300:15)
[Warning][Race] Memory location stateTable[?].got_prompt@main.c:278:20 (race with conf. 110):
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:726:7)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:726:7)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:978:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:986:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:994:17)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1001:19)
[Warning][Race] Memory location stateTable[?].special@main.c:278:20 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1094:13)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:725:7)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:725:7)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:973:15)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1626:7)
[Warning][Race] Memory location debug_mode@main.c:263:22 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:558:3)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:583:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1835:5)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1776:5)
[Warning][Race] Memory location stateTable[?].is_open@main.c:278:20 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:727:7)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:727:7)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:728:9)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:728:9)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1625:7)
[Warning][Race] Memory location stateTable[?].success@main.c:278:20 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1381:11)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:724:7)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:724:7)
[Warning][Race] Memory location stateTable[?].state@main.c:278:20 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:565:5)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:590:5)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:884:11)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:902:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:905:11)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:918:11)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:957:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:964:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1010:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1032:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1076:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1087:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1102:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1116:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1133:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1249:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1291:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1312:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1327:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1340:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1354:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1376:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1380:9)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1388:11)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1391:11)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1407:9)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1518:15)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1652:13)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:714:7)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:714:7)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:909:17)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:914:17)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:922:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:980:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:988:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:996:17)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1003:19)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1020:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1026:17)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1040:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1045:17)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1050:19)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1055:21)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1064:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1070:17)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1083:13)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1095:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1097:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1111:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1127:17)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1234:17)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1242:19)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1259:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1270:19)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1279:21)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1304:17)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1306:17)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1322:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1335:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1349:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1364:15)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1370:17)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1417:11)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1624:7)
[Warning][Race] Memory location run_arg@main.c:275:6 (race with conf. 110):
  read with {thread:([main], {})} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1772:3)
  read with {thread:([main], {})} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1774:3)
  read with {thread:([main], {})} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1783:3)
  read with {thread:([main], {})} (conf. 100) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1784:3)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1320:15)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1784:3)
[Warning][Race] Memory location bytes_sent@main.c:267:23 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:594:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1855:5)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:594:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1864:5)
[Warning][Race] Memory location maxFDSaw@main.c:273:23 (race with conf. 110):
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:763:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:763:3)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1513:7)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1614:5)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1647:5)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1615:7)
[Warning][Race] Memory location running_threads@main.c:265:14 (race with conf. 90):
  read with {} (conf. 90) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:835:3)
  read with {} (conf. 90) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1431:3)
  write with {} (conf. 90) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:835:3)
  write with {} (conf. 90) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1431:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1838:7)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1860:5)
[Warning][Race] Memory location binary.num_slices@main.c:277:38 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1303:15)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1702:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1708:3)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1701:3)
[Warning][Race] Memory location binary.slices@main.c:277:38 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1301:15)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1704:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1710:5)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1711:5)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1728:7)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1729:7)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1703:3)
[Warning][Race] Memory location (alloc@sid:6)@:-1:-1 (race with conf. 90):
  read with {} (conf. 90) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:458:7)
  write with {} (conf. 90) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:458:7)
[Warning][Race] Memory location stateTable[?].path[?][?]@main.c:278:20 (race with conf. 110):
  write with {} (conf. 90) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1192:23)
  write with {} (conf. 90) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1230:19)
  write with {} (conf. 90) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1239:19)
  write with {} (conf. 90) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1266:19)
  write with {} (conf. 90) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1275:21)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:715:7)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:715:7)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:716:7)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:716:7)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:717:7)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:717:7)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:718:7)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:718:7)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:719:7)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:719:7)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1194:23)
[Warning][Race] Memory location stateTable[?].username[?]@main.c:278:20 (race with conf. 110):
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 90) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1628:7)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:720:7)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:720:7)
[Warning][Race] Memory location stateTable[?].password[?]@main.c:278:20 (race with conf. 110):
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 90) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1630:7)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:721:7)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:721:7)
[Warning][Race] Memory location stateTable[?].updatedAt@main.c:278:20 (race with conf. 110):
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1516:11)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1650:9)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:748:7)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1622:7)
[Warning][Race] Memory location maxConnectedSockets@main.c:264:12 (race with conf. 110):
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1507:7)
  write with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1774:3)
[Warning][Race] Memory location stateTable[?].slotUsed@main.c:278:20 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:711:3)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:711:3)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:745:3)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:764:5)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:764:5)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1387:9)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1515:9)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1618:5)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1649:7)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:713:7)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:713:7)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1623:7)
[Warning][Race] Memory location stateTable[?].fd@main.c:278:20 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:712:5)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:712:5)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:746:5)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:885:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:887:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:890:11)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:906:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:919:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:920:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:928:19)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:938:19)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:952:15)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:966:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:979:15)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:987:15)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:995:17)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1002:19)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1012:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1019:15)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1025:17)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1034:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1063:15)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1069:17)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1078:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1082:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1089:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1093:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1104:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1110:15)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1118:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1126:17)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1135:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1232:17)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1240:19)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1251:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1257:15)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1268:19)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1277:21)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1283:17)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1293:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1301:15)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1314:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1320:15)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1329:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1342:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1348:15)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1356:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1363:15)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1369:17)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1377:11)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1382:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1384:11)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1389:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1392:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1399:11)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1401:11)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1410:11)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1412:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1413:13)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1419:11)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1421:11)
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1423:11)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1519:17)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1521:17)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1523:15)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1653:15)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1655:15)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1657:13)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1620:7)
[Warning][Race] Memory location remote_hangup@main.c:271:24 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:675:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1851:5)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:675:3)
[Warning][Race] Memory location failed_connect@main.c:270:24 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:693:3)
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:693:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1849:5)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:693:3)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:693:3)
[Warning][Race] Memory location found_srvs@main.c:266:24 (race with conf. 110):
  read with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:702:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1845:5)
  write with {} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:702:3)
[Warning][Race] Memory location timed_out@main.c:268:24 (race with conf. 110):
  read with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:684:3)
  read with {thread:([main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1847:5)
  write with {thread:([loader@/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:1787:3, main], {})} (conf. 110) (/mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c:684:3)

Summary for all memory locations:
	safe:           24
	vulnerable:      3
	unsafe:         25
	-------------------
	total:          52
in.c line 1513 function loader thread 3
Unwinding loop loader.1 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1505 function loader thread 3
Unwinding loop getConnectedSockets.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 763 function getConnectedSockets thread 3
Not unwinding loop getConnectedSockets.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 763 function getConnectedSockets thread 3
Unwinding loop loader.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1513 function loader thread 3
Not unwinding loop loader.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1513 function loader thread 3
Not unwinding loop loader.1 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1505 function loader thread 3
Unwinding loop strlen.0 iteration 1 file <builtin-library-strlen> line 18 function strlen thread 3
Not unwinding loop strlen.0 iteration 2 file <builtin-library-strlen> line 18 function strlen thread 3
Unwinding loop strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 3
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 3
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 3
Unwinding loop loader.2 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1572 function loader thread 3
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 3
Not unwinding loop loader.2 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1572 function loader thread 3
Unwinding loop strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 3
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 3
Unwinding loop strcpy.0 iteration 1 file <builtin-library-strcpy> line 32 function strcpy thread 3
Not unwinding loop strcpy.0 iteration 2 file <builtin-library-strcpy> line 32 function strcpy thread 3
Not unwinding loop loader.3 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1500 function loader thread 3
Unwinding loop loader.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1647 function loader thread 3
Not unwinding loop loader.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1647 function loader thread 3
Unwinding loop loader.5 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1643 function loader thread 3
Unwinding loop loader.4 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1647 function loader thread 3
Not unwinding loop loader.4 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1647 function loader thread 3
Not unwinding loop loader.5 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 1643 function loader thread 3
aborting path on assume(false) at file <builtin-library-exit> line 7 function exit thread 3
Unwinding loop flood.0 iteration 1 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 838 function flood thread 3
Not unwinding loop flood.0 iteration 2 file /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c line 838 function flood thread 3
Handling datarace, passing the problem to goblint first
getcwd: /mnt/goblint-svcomp/benchexec/tools-pldi/deagle
/mnt/goblint-svcomp/benchexec/tools-pldi/deagle/goblint/goblint /mnt/goblint-svcomp/goblint-bench/bench/concrat/Mirai-Source-Code/main.c | tee goblint/goblint_output: 0
