Benchmarks on goblint-new

2021-10-19 17:28:21 /mnt/goblint-svcomp/vesal/analyzer/goblint -v --set dbg.timeout 900 --enable incremental.save --set save_run original knot_comb.c --enable dbg.uncalled --enable allglobs --enable printstats Preprocessing files. cpp --undef __BLOCKS__ -I/mnt/goblint-svcomp/vesal/analyzer/includes "knot_comb.c" -o "/mnt/goblint-svcomp/vesal/bench/pthread/goblint_temp_531761/knot_comb.c" Parsing files. Frontc is parsing /mnt/goblint-svcomp/vesal/bench/pthread/goblint_temp_531761/knot_comb.c Converting CABS->CIL Constructors: read_config, init_cycle_clock, init_debug Adding constructors to: main And now... the Goblin! Startfuns: [main] Exitfuns: [] Otherfuns: [] Using old format for phases! Activated analyses for phase 0: expRelation, base, threadid, threadflag, threadreturn, escape, mutex, mallocWrapper Activated transformations for phase 0: Generating the control flow graph. Initializing 44 globals. Executing 53 assigns. Solving the constraint system with td3. Solver statistics are shown every 10s or by signal sigusr1. Unstable solver start vars in 1. phase: call of main on knot_comb.c:1153:1 warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([thread_main@knot_comb.c:1260:7, main], {})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([thread_main@knot_comb.c:1260:7, main], {})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([thread_main@knot_comb.c:1260:7, main], {})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([thread_main_autospawn@knot_comb.c:1243:5, main], {})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([thread_main_autospawn@knot_comb.c:1243:5, main], {})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([thread_main_autospawn@knot_comb.c:1243:5, main], {})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([thread_main_autospawn@knot_comb.c:1243:5, main], {})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([thread_main_autospawn@knot_comb.c:1243:5, main], {})} and (Unknown int([0,64])) Data after solve completed: |rho|=5845 |stable|=5815 |infl|=5845 |wpoint|=5 Postsolving [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:2101:3) [Warning][Unknown] Unknown address in {&tmp} has escaped. (knot_comb.c:2101:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:2102:3) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(str, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:2049:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:2052:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:2056:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (knot_comb.c:2060:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:2064:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1417:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (knot_comb.c:2111:3) [Warning][Unknown] Unknown address in {&tmp___1} has escaped. (knot_comb.c:2111:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:2112:3) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(str, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:2049:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:2052:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:2056:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (knot_comb.c:2060:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:2064:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1417:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (knot_comb.c:2121:3) [Warning][Unknown] Unknown address in {&tmp___3} has escaped. (knot_comb.c:2121:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:2122:3) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(str, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:2049:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:2052:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:2056:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (knot_comb.c:2060:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:2064:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1417:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (knot_comb.c:2131:3) [Warning][Unknown] Unknown address in {&tmp___5} has escaped. (knot_comb.c:2131:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:2132:3) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(str, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:2049:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:2052:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:2056:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (knot_comb.c:2060:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:2064:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1417:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___7, NoOffset)) (knot_comb.c:2141:3) [Warning][Unknown] Unknown address in {&tmp___7} has escaped. (knot_comb.c:2141:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:2142:3) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(str, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:2049:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:2052:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:2056:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (knot_comb.c:2060:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:2064:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1417:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___9, NoOffset)) (knot_comb.c:2151:3) [Warning][Unknown] Unknown address in {&tmp___9} has escaped. (knot_comb.c:2151:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:2152:3) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(str, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:2049:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:2052:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:2056:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (knot_comb.c:2060:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:2064:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1417:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___11, NoOffset)) (knot_comb.c:2161:3) [Warning][Unknown] Unknown address in {&tmp___11} has escaped. (knot_comb.c:2161:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:2162:3) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(str, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:2049:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:2052:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:2056:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (knot_comb.c:2060:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:2064:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1417:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___13, NoOffset)) (knot_comb.c:2171:3) [Warning][Unknown] Unknown address in {&tmp___13} has escaped. (knot_comb.c:2171:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:2172:3) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(str, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:2049:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:2052:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:2056:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (knot_comb.c:2060:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:2064:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1417:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(str, NoOffset)) (knot_comb.c:2181:3) [Warning][Unknown] Unknown address in {&str} has escaped. (knot_comb.c:2181:3) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(str, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:2182:3) [Warning][Unknown] Unknown address in (char const * __restrict )str has escaped. (knot_comb.c:2184:5) [Warning][Unknown] Unknown address in {&p} has escaped. (knot_comb.c:2184:5) [Warning][Unknown] Spawning functions from unknown function: p (knot_comb.c:2184:5) [Warning][Unknown] Not creating a thread from p because its type is char * (knot_comb.c:2184:5) [Warning][Unknown] Function definition missing for strtol (knot_comb.c:2184:5) [Warning][Unknown] INVALIDATING ALL GLOBALS! (knot_comb.c:2184:5) [Warning][Unknown] Invalidating expressions: AddrOf(Var(conf_new_stack_kb_log2, NoOffset)), AddrOf(Var(conf_new_stack_size, NoOffset)), AddrOf(Var(conf_no_statcollect, NoOffset)), AddrOf(Var(conf_no_stacktrace, NoOffset)), AddrOf(Var(conf_no_debug, NoOffset)), AddrOf(Var(conf_show_thread_details, NoOffset)), AddrOf(Var(conf_show_thread_stacks, NoOffset)), AddrOf(Var(conf_dump_timing_info, NoOffset)), AddrOf(Var(conf_dump_blocking_graph, NoOffset)), AddrOf(Var(conf_no_init_messages, NoOffset)), AddrOf(Var(virtual_start_ticks, NoOffset)), AddrOf(Var(real_start_ticks, NoOffset)), AddrOf(Var(ticks_per_second, NoOffset)), AddrOf(Var(ticks_per_millisecond, NoOffset)), AddrOf(Var(ticks_per_microsecond, NoOffset)), AddrOf(Var(ticks_per_nanosecond, NoOffset)), AddrOf(Var(ticks_rdiff, NoOffset)), AddrOf(Var(ticks_diff, NoOffset)), AddrOf(Var(g_bytes_sent, NoOffset)), AddrOf(Var(g_cache_misses, NoOffset)), AddrOf(Var(g_cache_hits, NoOffset)), AddrOf(Var(g_spawn_on_demand, NoOffset)), AddrOf(Var(g_use_timer, NoOffset)), AddrOf(Var(g_cache_mutex, NoOffset)), CastE(TPtr(TInt(char, const ), __restrict ), Lval(Var(str, NoOffset))), CastE(TPtr(TPtr(TInt(char, ), ), __restrict ), AddrOf(Var(p, NoOffset))), Const(Int64(0,int,None)) (knot_comb.c:2184:5) [Warning][Unknown] Invalidating expressions: AddrOf(Var(val, NoOffset)) (knot_comb.c:2184:5) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(p, NoOffset))), CastE(TInt(unsigned int, ), Lval(Var(str, NoOffset))))" not understood. (knot_comb.c:2185:5) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:2186:7) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2191:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___15, NoOffset)) (knot_comb.c:2190:7) [Warning][Unknown] Unknown address in {&tmp___15} has escaped. (knot_comb.c:2190:7) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2196:5) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2199:7) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2202:9) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2205:11) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2208:13) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2211:15) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:2214:17) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:2217:19) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1417:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1417:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1417:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1417:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Debug][Analyzer] Base EvalInt 1e6 * (double )((long long )end_tv.tv_sec) + (double )end_tv.tv_usec < (1e6 * (double )((long long )start_tv.tv_sec) + (double )start_tv.tv_usec) + (double )1000 query answering bot instead of Unknown (knot_comb.c:1496:7) [Debug][Analyzer] Base EvalInt ! (1e6 * (double )((long long )end_tv.tv_sec) + (double )end_tv.tv_usec < (1e6 * (double )((long long )start_tv.tv_sec) + (double )start_tv.tv_usec) + (double )1000) query answering bot instead of Unknown (knot_comb.c:1496:7) [Warning][Unknown] Invariant failed: expression "UnOp(!, <(PlusA(*(Const(CReal(1000000.000000, double, 1e6)), CastE(TFloat(double, ), CastE(TInt(long long, ), Lval(Var(end_tv, Field(tv_sec:TNamed(__time_t, TInt(long, ), ), NoOffset)))))), CastE(TFloat(double, ), Lval(Var(end_tv, Field(tv_usec:TNamed(__suseconds_t, TInt(long, ), ), NoOffset))))), PlusA(PlusA(*(Const(CReal(1000000.000000, double, 1e6)), CastE(TFloat(double, ), CastE(TInt(long long, ), Lval(Var(start_tv, Field(tv_sec:TNamed(__time_t, TInt(long, ), ), NoOffset)))))), CastE(TFloat(double, ), Lval(Var(start_tv, Field(tv_usec:TNamed(__suseconds_t, TInt(long, ), ), NoOffset))))), CastE(TFloat(double, ), Const(Int64(1000,int,None))))))" not understood. (knot_comb.c:1496:7) [Debug][Analyzer] Base EvalInt 1e6 * (double )((long long )end_tv.tv_sec) + (double )end_tv.tv_usec == (1e6 * (double )((long long )start_tv.tv_sec) + (double )start_tv.tv_usec) + (double )1000 query answering bot instead of Unknown (knot_comb.c:1500:5) [Warning][Unknown] Invariant failed: expression "==(PlusA(*(Const(CReal(1000000.000000, double, 1e6)), CastE(TFloat(double, ), CastE(TInt(long long, ), Lval(Var(end_tv, Field(tv_sec:TNamed(__time_t, TInt(long, ), ), NoOffset)))))), CastE(TFloat(double, ), Lval(Var(end_tv, Field(tv_usec:TNamed(__suseconds_t, TInt(long, ), ), NoOffset))))), PlusA(PlusA(*(Const(CReal(1000000.000000, double, 1e6)), CastE(TFloat(double, ), CastE(TInt(long long, ), Lval(Var(start_tv, Field(tv_sec:TNamed(__time_t, TInt(long, ), ), NoOffset)))))), CastE(TFloat(double, ), Lval(Var(start_tv, Field(tv_usec:TNamed(__suseconds_t, TInt(long, ), ), NoOffset))))), CastE(TFloat(double, ), Const(Int64(1000,int,None)))))" not understood. (knot_comb.c:1500:5) [Warning][Unknown] Spawning functions from unknown function: start_tv (knot_comb.c:1484:5) [Warning][Unknown] Not creating a thread from start_tv because its type is struct timeval (knot_comb.c:1484:5) [Warning][Unknown] Function definition missing for gettimeofday (knot_comb.c:1484:5) [Warning][Unknown] INVALIDATING ALL GLOBALS! (knot_comb.c:1484:5) [Warning][Unknown] Invalidating expressions: AddrOf(Var(conf_new_stack_kb_log2, NoOffset)), AddrOf(Var(conf_new_stack_size, NoOffset)), AddrOf(Var(conf_no_statcollect, NoOffset)), AddrOf(Var(conf_no_stacktrace, NoOffset)), AddrOf(Var(conf_no_debug, NoOffset)), AddrOf(Var(conf_show_thread_details, NoOffset)), AddrOf(Var(conf_show_thread_stacks, NoOffset)), AddrOf(Var(conf_dump_timing_info, NoOffset)), AddrOf(Var(conf_dump_blocking_graph, NoOffset)), AddrOf(Var(conf_no_init_messages, NoOffset)), AddrOf(Var(virtual_start_ticks, NoOffset)), AddrOf(Var(real_start_ticks, NoOffset)), AddrOf(Var(ticks_per_second, NoOffset)), AddrOf(Var(ticks_per_millisecond, NoOffset)), AddrOf(Var(ticks_per_microsecond, NoOffset)), AddrOf(Var(ticks_per_nanosecond, NoOffset)), AddrOf(Var(ticks_rdiff, NoOffset)), AddrOf(Var(ticks_diff, NoOffset)), AddrOf(Var(g_bytes_sent, NoOffset)), AddrOf(Var(g_cache_misses, NoOffset)), AddrOf(Var(g_cache_hits, NoOffset)), AddrOf(Var(g_spawn_on_demand, NoOffset)), AddrOf(Var(g_use_timer, NoOffset)), AddrOf(Var(g_cache_mutex, NoOffset)), CastE(TPtr(TCompLoop(struct timeval, _, ), __restrict ), AddrOf(Var(start_tv, NoOffset))), CastE(TPtr(TCompLoop(struct timezone, _, ), __restrict ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (knot_comb.c:1484:5) [Warning][Unknown] Unknown address in {&g_cache_mutex} has escaped. (knot_comb.c:1484:5) [Warning][Unknown] Spawning functions from unknown function: start_tv (knot_comb.c:1487:7) [Warning][Unknown] Not creating a thread from start_tv because its type is struct timeval (knot_comb.c:1487:7) [Warning][Unknown] Function definition missing for gettimeofday (knot_comb.c:1487:7) [Warning][Unknown] INVALIDATING ALL GLOBALS! (knot_comb.c:1487:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(conf_new_stack_kb_log2, NoOffset)), AddrOf(Var(conf_new_stack_size, NoOffset)), AddrOf(Var(conf_no_statcollect, NoOffset)), AddrOf(Var(conf_no_stacktrace, NoOffset)), AddrOf(Var(conf_no_debug, NoOffset)), AddrOf(Var(conf_show_thread_details, NoOffset)), AddrOf(Var(conf_show_thread_stacks, NoOffset)), AddrOf(Var(conf_dump_timing_info, NoOffset)), AddrOf(Var(conf_dump_blocking_graph, NoOffset)), AddrOf(Var(conf_no_init_messages, NoOffset)), AddrOf(Var(virtual_start_ticks, NoOffset)), AddrOf(Var(real_start_ticks, NoOffset)), AddrOf(Var(ticks_per_second, NoOffset)), AddrOf(Var(ticks_per_millisecond, NoOffset)), AddrOf(Var(ticks_per_microsecond, NoOffset)), AddrOf(Var(ticks_per_nanosecond, NoOffset)), AddrOf(Var(ticks_rdiff, NoOffset)), AddrOf(Var(ticks_diff, NoOffset)), AddrOf(Var(g_bytes_sent, NoOffset)), AddrOf(Var(g_cache_misses, NoOffset)), AddrOf(Var(g_cache_hits, NoOffset)), AddrOf(Var(g_spawn_on_demand, NoOffset)), AddrOf(Var(g_use_timer, NoOffset)), AddrOf(Var(g_cache_mutex, NoOffset)), CastE(TPtr(TCompLoop(struct timeval, _, ), __restrict ), AddrOf(Var(start_tv, NoOffset))), CastE(TPtr(TCompLoop(struct timezone, _, ), __restrict ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (knot_comb.c:1487:7) [Warning][Unknown] Unknown address in {&g_cache_mutex} has escaped. (knot_comb.c:1487:7) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1488:7) [Warning][Unknown] Spawning functions from unknown function: end_tv (knot_comb.c:1494:7) [Warning][Unknown] Not creating a thread from end_tv because its type is struct timeval (knot_comb.c:1494:7) [Warning][Unknown] Function definition missing for gettimeofday (knot_comb.c:1494:7) [Warning][Unknown] INVALIDATING ALL GLOBALS! (knot_comb.c:1494:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(conf_new_stack_kb_log2, NoOffset)), AddrOf(Var(conf_new_stack_size, NoOffset)), AddrOf(Var(conf_no_statcollect, NoOffset)), AddrOf(Var(conf_no_stacktrace, NoOffset)), AddrOf(Var(conf_no_debug, NoOffset)), AddrOf(Var(conf_show_thread_details, NoOffset)), AddrOf(Var(conf_show_thread_stacks, NoOffset)), AddrOf(Var(conf_dump_timing_info, NoOffset)), AddrOf(Var(conf_dump_blocking_graph, NoOffset)), AddrOf(Var(conf_no_init_messages, NoOffset)), AddrOf(Var(virtual_start_ticks, NoOffset)), AddrOf(Var(real_start_ticks, NoOffset)), AddrOf(Var(ticks_per_second, NoOffset)), AddrOf(Var(ticks_per_millisecond, NoOffset)), AddrOf(Var(ticks_per_microsecond, NoOffset)), AddrOf(Var(ticks_per_nanosecond, NoOffset)), AddrOf(Var(ticks_rdiff, NoOffset)), AddrOf(Var(ticks_diff, NoOffset)), AddrOf(Var(g_bytes_sent, NoOffset)), AddrOf(Var(g_cache_misses, NoOffset)), AddrOf(Var(g_cache_hits, NoOffset)), AddrOf(Var(g_spawn_on_demand, NoOffset)), AddrOf(Var(g_use_timer, NoOffset)), AddrOf(Var(g_cache_mutex, NoOffset)), CastE(TPtr(TCompLoop(struct timeval, _, ), __restrict ), AddrOf(Var(end_tv, NoOffset))), CastE(TPtr(TCompLoop(struct timezone, _, ), __restrict ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))) (knot_comb.c:1494:7) [Warning][Unknown] Unknown address in {&g_cache_mutex} has escaped. (knot_comb.c:1494:7) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1495:7) [Warning][Unknown] Invariant failed: expression "UnOp(!, <(PlusA(*(Const(CReal(1000000.000000, double, 1e6)), CastE(TFloat(double, ), CastE(TInt(long long, ), Lval(Var(end_tv, Field(tv_sec:TNamed(__time_t, TInt(long, ), ), NoOffset)))))), CastE(TFloat(double, ), Lval(Var(end_tv, Field(tv_usec:TNamed(__suseconds_t, TInt(long, ), ), NoOffset))))), PlusA(PlusA(*(Const(CReal(1000000.000000, double, 1e6)), CastE(TFloat(double, ), CastE(TInt(long long, ), Lval(Var(start_tv, Field(tv_sec:TNamed(__time_t, TInt(long, ), ), NoOffset)))))), CastE(TFloat(double, ), Lval(Var(start_tv, Field(tv_usec:TNamed(__suseconds_t, TInt(long, ), ), NoOffset))))), CastE(TFloat(double, ), Const(Int64(1000,int,None))))))" not understood. (knot_comb.c:1496:7) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1531:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1532:3) [Debug][Analyzer] Base EvalInt argc query answering bot instead of Unknown (knot_comb.c:1188:3) [Debug][Analyzer] Base EvalInt argc != 3 query answering bot instead of Unknown (knot_comb.c:1188:3) [Warning][Unknown] Unknown address in (FILE * __restrict )stderr has escaped. (knot_comb.c:1190:7) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (knot_comb.c:1190:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:1197:5) [Debug][Analyzer] Base EvalInt ! allocOps query answering bot instead of Unknown (knot_comb.c:1636:3) [Debug][Analyzer] Base EvalInt ! ht query answering bot instead of Unknown (knot_comb.c:1641:3) [Warning][Unknown] Spawning functions from unknown function: (alloc@sid:919) (knot_comb.c:1644:3) [Warning][Unknown] Not creating a thread from (alloc@sid:919) because its type is PLHashTable (knot_comb.c:1644:3) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(ht, NoOffset))), Const(Int64(0,int,None)), CastE(TNamed(size_t, TInt(unsigned int, ), ), sizeofE(Lval(Mem(Lval(Var(ht, NoOffset)), NoOffset)))) (knot_comb.c:1644:3) [Debug][Analyzer] Base EvalInt ! ht->buckets query answering bot instead of Unknown (knot_comb.c:1650:3) [Warning][Unknown] Unknown address in {&((alloc@sid:919), knot_comb.c:1585:3)} has escaped. (knot_comb.c:1651:6) [Warning][Unknown] Invalidating expressions: Lval(Var(item, NoOffset)) (knot_comb.c:1592:3) [Warning][Unknown] Unknown address in {&((alloc@sid:919), knot_comb.c:1585:3)} has escaped. (knot_comb.c:1592:3) [Warning][Unknown] Unknown address in (void *)ht->buckets has escaped. (knot_comb.c:1654:3) [Warning][Unknown] Unknown address in {&((alloc@sid:919), knot_comb.c:1585:3)} has escaped. (knot_comb.c:1654:3) [Warning][Unknown] Spawning functions from unknown function: (alloc@sid:919) (knot_comb.c:1654:3) [Warning][Unknown] Not creating a thread from (alloc@sid:919) because its type is PLHashEntry * (knot_comb.c:1654:3) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Mem(Lval(Var(ht, NoOffset)), Field(buckets:TPtr(TPtr(TNamed(PLHashEntry, TCompLoop(struct PLHashEntry, _, ), ), ), ), NoOffset)))), Const(Int64(0,int,None)), CastE(TInt(unsigned int, ), Lval(Var(nb, NoOffset))) (knot_comb.c:1654:3) [Warning][Unknown] Invariant failed: expression "UnOp(!, !=(CastE(TInt(unsigned int, ), Lval(Var(g_hash, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None))))))" not understood. (knot_comb.c:470:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:1205:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(nthreads, NoOffset)) (knot_comb.c:1207:5) [Warning][Unknown] Unknown address in (FILE * __restrict )stderr has escaped. (knot_comb.c:1209:7) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TNamed(FILE, TCompLoop(struct _IO_FILE, _, ), ), __restrict ), Lval(Var(stderr, NoOffset))) (knot_comb.c:1209:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(s, NoOffset)) (knot_comb.c:1215:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___1, NoOffset)) (knot_comb.c:1221:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:1227:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(saddr, Field(sin_port:TNamed(in_port_t, TNamed(uint16_t, TInt(unsigned short, ), ), ), NoOffset))) (knot_comb.c:1228:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (knot_comb.c:1230:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (knot_comb.c:1235:3) [Warning][Unknown] Spawning functions from unknown function: caddr, len (knot_comb.c:1091:5) [Warning][Unknown] Not creating a thread from caddr because its type is struct sockaddr_in (knot_comb.c:1091:5) [Warning][Unknown] Not creating a thread from len because its type is int (knot_comb.c:1091:5) [Warning][Unknown] Invalidating expressions: Lval(Var(s, NoOffset)), CastE(TPtr(TCompLoop(struct sockaddr, _, ), __restrict ), CastE(TPtr(TCompLoop(struct sockaddr, _, ), ), AddrOf(Var(caddr, NoOffset)))), CastE(TPtr(TNamed(socklen_t, TNamed(__socklen_t, TInt(unsigned int, ), ), ), __restrict ), AddrOf(Var(len, NoOffset))) (knot_comb.c:1091:5) [Warning][Unknown] Invalidating expressions: AddrOf(Var(c, NoOffset)) (knot_comb.c:1091:5) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:1100:5) [Warning][Unknown] Unknown value in {&request} could be an escaped pointer address! (knot_comb.c:1022:3) [Warning][Unknown] Invariant failed: expression "UnOp(!, !=(CastE(TInt(unsigned int, ), Lval(Var(state, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None))))))" not understood. (knot_comb.c:664:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(newline, NoOffset)) (knot_comb.c:697:5) [Warning][Unknown] Unknown address in {&newline} has escaped. (knot_comb.c:697:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(newline, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:698:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(newline, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:698:5) [Warning][Unknown] Spawning functions from unknown function: state (knot_comb.c:720:11) [Warning][Unknown] Not creating a thread from state because its type is input_state (knot_comb.c:720:11) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid( const ), ), AddrOf(Mem(Lval(Var(state, NoOffset)), Field(buf:TArray(TInt(char, ), Some(Const(Int64(512,int,None))), ), Index(Lval(Mem(Lval(Var(state, NoOffset)), Field(used:TInt(int, ), NoOffset))), NoOffset))))), CastE(TInt(unsigned int, ), MinusA(Lval(Mem(Lval(Var(state, NoOffset)), Field(valid:TInt(int, ), NoOffset))), Lval(Mem(Lval(Var(state, NoOffset)), Field(used:TInt(int, ), NoOffset))))) (knot_comb.c:720:11) [Warning][Unknown] Spawning functions from unknown function: state (knot_comb.c:710:9) [Warning][Unknown] Not creating a thread from state because its type is input_state (knot_comb.c:710:9) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(empty, NoOffset))) (knot_comb.c:710:9) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:710:9) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:699:7) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:699:7) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(line, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:589:5) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:594:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(url, NoOffset)) (knot_comb.c:602:11) [Warning][Unknown] Unknown address in {&url} has escaped. (knot_comb.c:602:11) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(url, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:603:11) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(url, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:603:11) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:606:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:606:13) [Warning][Unknown] Invalidating expressions: AddrOf(Var(protocol, NoOffset)) (knot_comb.c:607:13) [Warning][Unknown] Unknown address in {&protocol} has escaped. (knot_comb.c:607:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:607:13) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(protocol, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:608:13) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:611:15) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:611:15) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (knot_comb.c:612:15) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (knot_comb.c:614:17) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:614:17) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:619:19) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:619:19) [Warning][Unknown] Invariant failed: expression "UnOp(!, <=(CastE(TInt(unsigned int, ), Lval(Var(line, NoOffset))), CastE(TInt(unsigned int, ), Lval(Var(url, NoOffset)))))" not understood. (knot_comb.c:630:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:633:13) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (knot_comb.c:634:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:634:13) [Warning][Unknown] Spawning functions from unknown function: request (knot_comb.c:639:13) [Warning][Unknown] Not creating a thread from request because its type is http_request (knot_comb.c:639:13) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), StartOf(Mem(Lval(Var(request, NoOffset)), Field(url:TArray(TInt(char, ), Some(Const(Int64(80,int,None))), ), NoOffset)))) (knot_comb.c:639:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:639:13) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(line, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:589:5) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:1436:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:1438:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:819:11) [Warning][Unknown] Unknown address in {&tmp} has escaped. (knot_comb.c:819:11) [Warning][Unknown] Invariant failed: expression "UnOp(!, !=(CastE(TInt(unsigned int, ), Lval(Var(tmp, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None))))))" not understood. (knot_comb.c:820:11) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:829:5) [Warning][Unknown] Unknown address in {&tmp___0} has escaped. (knot_comb.c:829:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(tmp___0, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:830:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(tmp___0, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:830:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(filename, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:868:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(fd, NoOffset)) (knot_comb.c:869:5) [Warning][Unknown] Spawning functions from unknown function: buf (knot_comb.c:892:7) [Warning][Unknown] Not creating a thread from buf because its type is char [8192] (knot_comb.c:892:7) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), StartOf(Var(buf, NoOffset))) (knot_comb.c:892:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(n, NoOffset)) (knot_comb.c:892:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:900:9) [Warning][Unknown] Invalidating expressions: Lval(Var(fd, NoOffset)) (knot_comb.c:920:5) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:1040:9) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (knot_comb.c:1042:9) [Warning][Unknown] Invalidating expressions: Lval(Var(c, NoOffset)) (knot_comb.c:1123:7) [Warning][Unknown] Spawning functions from unknown function: attr (knot_comb.c:1107:9) [Warning][Unknown] Not creating a thread from attr because its type is pthread_attr_t (knot_comb.c:1107:9) [Warning][Unknown] Invalidating expressions: AddrOf(Var(attr, NoOffset)) (knot_comb.c:1107:9) [Warning][Unknown] Spawning functions from unknown function: attr (knot_comb.c:1108:9) [Warning][Unknown] Not creating a thread from attr because its type is pthread_attr_t (knot_comb.c:1108:9) [Warning][Unknown] Invalidating expressions: AddrOf(Var(attr, NoOffset)), Const(Int64(1,int,None)) (knot_comb.c:1108:9) [Warning][Unknown] Invalidating expressions: AddrOf(Var(rv, NoOffset)) (knot_comb.c:1108:9) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Unknown value in {&request} could be an escaped pointer address! (knot_comb.c:1022:3) [Warning][Unknown] Invariant failed: expression "UnOp(!, !=(CastE(TInt(unsigned int, ), Lval(Var(state, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None))))))" not understood. (knot_comb.c:664:3) [Warning][Unknown] Invariant failed: expression "UnOp(!, !=(CastE(TInt(unsigned int, ), Lval(Var(state, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None))))))" not understood. (knot_comb.c:664:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(newline, NoOffset)) (knot_comb.c:697:5) [Warning][Unknown] Unknown address in {&newline} has escaped. (knot_comb.c:697:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(newline, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:698:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(newline, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:698:5) [Warning][Unknown] Spawning functions from unknown function: state (knot_comb.c:720:11) [Warning][Unknown] Not creating a thread from state because its type is input_state (knot_comb.c:720:11) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid( const ), ), AddrOf(Mem(Lval(Var(state, NoOffset)), Field(buf:TArray(TInt(char, ), Some(Const(Int64(512,int,None))), ), Index(Lval(Mem(Lval(Var(state, NoOffset)), Field(used:TInt(int, ), NoOffset))), NoOffset))))), CastE(TInt(unsigned int, ), MinusA(Lval(Mem(Lval(Var(state, NoOffset)), Field(valid:TInt(int, ), NoOffset))), Lval(Mem(Lval(Var(state, NoOffset)), Field(used:TInt(int, ), NoOffset))))) (knot_comb.c:720:11) [Warning][Unknown] Spawning functions from unknown function: state (knot_comb.c:710:9) [Warning][Unknown] Not creating a thread from state because its type is input_state (knot_comb.c:710:9) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(empty, NoOffset))) (knot_comb.c:710:9) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:710:9) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:699:7) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:699:7) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(line, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:589:5) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:594:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(url, NoOffset)) (knot_comb.c:602:11) [Warning][Unknown] Unknown address in {&url} has escaped. (knot_comb.c:602:11) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(url, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:603:11) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(url, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:603:11) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:606:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:606:13) [Warning][Unknown] Invalidating expressions: AddrOf(Var(protocol, NoOffset)) (knot_comb.c:607:13) [Warning][Unknown] Unknown address in {&protocol} has escaped. (knot_comb.c:607:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:607:13) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(protocol, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:608:13) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:611:15) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:611:15) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (knot_comb.c:612:15) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (knot_comb.c:614:17) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:614:17) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:619:19) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:619:19) [Warning][Unknown] Invariant failed: expression "UnOp(!, <=(CastE(TInt(unsigned int, ), Lval(Var(line, NoOffset))), CastE(TInt(unsigned int, ), Lval(Var(url, NoOffset)))))" not understood. (knot_comb.c:630:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:633:13) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (knot_comb.c:634:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:634:13) [Warning][Unknown] Spawning functions from unknown function: request (knot_comb.c:639:13) [Warning][Unknown] Not creating a thread from request because its type is http_request (knot_comb.c:639:13) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), StartOf(Mem(Lval(Var(request, NoOffset)), Field(url:TArray(TInt(char, ), Some(Const(Int64(80,int,None))), ), NoOffset)))) (knot_comb.c:639:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:639:13) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(line, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:589:5) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:1436:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:1438:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:819:11) [Warning][Unknown] Unknown address in {&tmp} has escaped. (knot_comb.c:819:11) [Warning][Unknown] Invariant failed: expression "UnOp(!, !=(CastE(TInt(unsigned int, ), Lval(Var(tmp, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None))))))" not understood. (knot_comb.c:820:11) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:829:5) [Warning][Unknown] Unknown address in {&tmp___0} has escaped. (knot_comb.c:829:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(tmp___0, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:830:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(tmp___0, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:830:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(filename, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:868:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(fd, NoOffset)) (knot_comb.c:869:5) [Warning][Unknown] Spawning functions from unknown function: buf (knot_comb.c:892:7) [Warning][Unknown] Not creating a thread from buf because its type is char [8192] (knot_comb.c:892:7) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), StartOf(Var(buf, NoOffset))) (knot_comb.c:892:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(n, NoOffset)) (knot_comb.c:892:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:900:9) [Warning][Unknown] Invalidating expressions: Lval(Var(fd, NoOffset)) (knot_comb.c:920:5) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:1040:9) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (knot_comb.c:1042:9) [Warning][Unknown] Invalidating expressions: Lval(Var(c, NoOffset)) (knot_comb.c:1070:3) [Warning][Unknown] Invalidating expressions: Lval(Var(c, NoOffset)) (knot_comb.c:1119:9) [Warning][Unknown] Invariant failed: expression "UnOp(!, !=(CastE(TInt(unsigned int, ), Lval(Var(targs, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None))))))" not understood. (knot_comb.c:1253:7) [Warning][Unknown] Invariant failed: expression "UnOp(!, !=(CastE(TInt(unsigned int, ), Lval(Var(targs, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None))))))" not understood. (knot_comb.c:1253:7) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:1436:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:1438:3) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(targs, NoOffset))) (knot_comb.c:1148:3) [Warning][Unknown] Spawning functions from unknown function: caddr, len (knot_comb.c:1091:5) [Warning][Unknown] Not creating a thread from caddr because its type is struct sockaddr_in (knot_comb.c:1091:5) [Warning][Unknown] Not creating a thread from len because its type is int (knot_comb.c:1091:5) [Warning][Unknown] Invalidating expressions: Lval(Var(s, NoOffset)), CastE(TPtr(TCompLoop(struct sockaddr, _, ), __restrict ), CastE(TPtr(TCompLoop(struct sockaddr, _, ), ), AddrOf(Var(caddr, NoOffset)))), CastE(TPtr(TNamed(socklen_t, TNamed(__socklen_t, TInt(unsigned int, ), ), ), __restrict ), AddrOf(Var(len, NoOffset))) (knot_comb.c:1091:5) [Warning][Unknown] Invalidating expressions: AddrOf(Var(c, NoOffset)) (knot_comb.c:1091:5) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:1100:5) [Warning][Unknown] Unknown value in {&request} could be an escaped pointer address! (knot_comb.c:1022:3) [Warning][Unknown] Invariant failed: expression "UnOp(!, !=(CastE(TInt(unsigned int, ), Lval(Var(state, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None))))))" not understood. (knot_comb.c:664:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(newline, NoOffset)) (knot_comb.c:697:5) [Warning][Unknown] Unknown address in {&newline} has escaped. (knot_comb.c:697:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(newline, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:698:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(newline, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:698:5) [Warning][Unknown] Spawning functions from unknown function: state (knot_comb.c:720:11) [Warning][Unknown] Not creating a thread from state because its type is input_state (knot_comb.c:720:11) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid( const ), ), AddrOf(Mem(Lval(Var(state, NoOffset)), Field(buf:TArray(TInt(char, ), Some(Const(Int64(512,int,None))), ), Index(Lval(Mem(Lval(Var(state, NoOffset)), Field(used:TInt(int, ), NoOffset))), NoOffset))))), CastE(TInt(unsigned int, ), MinusA(Lval(Mem(Lval(Var(state, NoOffset)), Field(valid:TInt(int, ), NoOffset))), Lval(Mem(Lval(Var(state, NoOffset)), Field(used:TInt(int, ), NoOffset))))) (knot_comb.c:720:11) [Warning][Unknown] Spawning functions from unknown function: state (knot_comb.c:710:9) [Warning][Unknown] Not creating a thread from state because its type is input_state (knot_comb.c:710:9) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(empty, NoOffset))) (knot_comb.c:710:9) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:710:9) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:699:7) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:699:7) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(line, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:589:5) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:594:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(url, NoOffset)) (knot_comb.c:602:11) [Warning][Unknown] Unknown address in {&url} has escaped. (knot_comb.c:602:11) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(url, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:603:11) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(url, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:603:11) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:606:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:606:13) [Warning][Unknown] Invalidating expressions: AddrOf(Var(protocol, NoOffset)) (knot_comb.c:607:13) [Warning][Unknown] Unknown address in {&protocol} has escaped. (knot_comb.c:607:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:607:13) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(protocol, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:608:13) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:611:15) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:611:15) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (knot_comb.c:612:15) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (knot_comb.c:614:17) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:614:17) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:619:19) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:619:19) [Warning][Unknown] Invariant failed: expression "UnOp(!, <=(CastE(TInt(unsigned int, ), Lval(Var(line, NoOffset))), CastE(TInt(unsigned int, ), Lval(Var(url, NoOffset)))))" not understood. (knot_comb.c:630:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:633:13) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (knot_comb.c:634:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:634:13) [Warning][Unknown] Spawning functions from unknown function: request (knot_comb.c:639:13) [Warning][Unknown] Not creating a thread from request because its type is http_request (knot_comb.c:639:13) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), StartOf(Mem(Lval(Var(request, NoOffset)), Field(url:TArray(TInt(char, ), Some(Const(Int64(80,int,None))), ), NoOffset)))) (knot_comb.c:639:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:639:13) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(line, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:589:5) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:1436:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:1438:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:819:11) [Warning][Unknown] Unknown address in {&tmp} has escaped. (knot_comb.c:819:11) [Warning][Unknown] Invariant failed: expression "UnOp(!, !=(CastE(TInt(unsigned int, ), Lval(Var(tmp, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None))))))" not understood. (knot_comb.c:820:11) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:829:5) [Warning][Unknown] Unknown address in {&tmp___0} has escaped. (knot_comb.c:829:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(tmp___0, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:830:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(tmp___0, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:830:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(filename, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:868:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(fd, NoOffset)) (knot_comb.c:869:5) [Warning][Unknown] Spawning functions from unknown function: buf (knot_comb.c:892:7) [Warning][Unknown] Not creating a thread from buf because its type is char [8192] (knot_comb.c:892:7) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), StartOf(Var(buf, NoOffset))) (knot_comb.c:892:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(n, NoOffset)) (knot_comb.c:892:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:900:9) [Warning][Unknown] Invalidating expressions: Lval(Var(fd, NoOffset)) (knot_comb.c:920:5) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:1040:9) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (knot_comb.c:1042:9) [Warning][Unknown] Invalidating expressions: Lval(Var(c, NoOffset)) (knot_comb.c:1123:7) [Warning][Unknown] Spawning functions from unknown function: attr (knot_comb.c:1107:9) [Warning][Unknown] Not creating a thread from attr because its type is pthread_attr_t (knot_comb.c:1107:9) [Warning][Unknown] Invalidating expressions: AddrOf(Var(attr, NoOffset)) (knot_comb.c:1107:9) [Warning][Unknown] Spawning functions from unknown function: attr (knot_comb.c:1108:9) [Warning][Unknown] Not creating a thread from attr because its type is pthread_attr_t (knot_comb.c:1108:9) [Warning][Unknown] Invalidating expressions: AddrOf(Var(attr, NoOffset)), Const(Int64(1,int,None)) (knot_comb.c:1108:9) [Warning][Unknown] Invalidating expressions: AddrOf(Var(rv, NoOffset)) (knot_comb.c:1108:9) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Unknown value in {&request} could be an escaped pointer address! (knot_comb.c:1022:3) [Warning][Unknown] Invariant failed: expression "UnOp(!, !=(CastE(TInt(unsigned int, ), Lval(Var(state, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None))))))" not understood. (knot_comb.c:664:3) [Warning][Unknown] Invariant failed: expression "UnOp(!, !=(CastE(TInt(unsigned int, ), Lval(Var(state, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None))))))" not understood. (knot_comb.c:664:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(newline, NoOffset)) (knot_comb.c:697:5) [Warning][Unknown] Unknown address in {&newline} has escaped. (knot_comb.c:697:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(newline, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:698:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(newline, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:698:5) [Warning][Unknown] Spawning functions from unknown function: state (knot_comb.c:720:11) [Warning][Unknown] Not creating a thread from state because its type is input_state (knot_comb.c:720:11) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid( const ), ), AddrOf(Mem(Lval(Var(state, NoOffset)), Field(buf:TArray(TInt(char, ), Some(Const(Int64(512,int,None))), ), Index(Lval(Mem(Lval(Var(state, NoOffset)), Field(used:TInt(int, ), NoOffset))), NoOffset))))), CastE(TInt(unsigned int, ), MinusA(Lval(Mem(Lval(Var(state, NoOffset)), Field(valid:TInt(int, ), NoOffset))), Lval(Mem(Lval(Var(state, NoOffset)), Field(used:TInt(int, ), NoOffset))))) (knot_comb.c:720:11) [Warning][Unknown] Spawning functions from unknown function: state (knot_comb.c:710:9) [Warning][Unknown] Not creating a thread from state because its type is input_state (knot_comb.c:710:9) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), Lval(Var(empty, NoOffset))) (knot_comb.c:710:9) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:710:9) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:699:7) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:699:7) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(line, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:589:5) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:594:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(url, NoOffset)) (knot_comb.c:602:11) [Warning][Unknown] Unknown address in {&url} has escaped. (knot_comb.c:602:11) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(url, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:603:11) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(url, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:603:11) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:606:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:606:13) [Warning][Unknown] Invalidating expressions: AddrOf(Var(protocol, NoOffset)) (knot_comb.c:607:13) [Warning][Unknown] Unknown address in {&protocol} has escaped. (knot_comb.c:607:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:607:13) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(protocol, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:608:13) [Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (knot_comb.c:611:15) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:611:15) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___4, NoOffset)) (knot_comb.c:612:15) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (knot_comb.c:614:17) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:614:17) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:619:19) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:619:19) [Warning][Unknown] Invariant failed: expression "UnOp(!, <=(CastE(TInt(unsigned int, ), Lval(Var(line, NoOffset))), CastE(TInt(unsigned int, ), Lval(Var(url, NoOffset)))))" not understood. (knot_comb.c:630:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:633:13) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___5, NoOffset)) (knot_comb.c:634:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:634:13) [Warning][Unknown] Spawning functions from unknown function: request (knot_comb.c:639:13) [Warning][Unknown] Not creating a thread from request because its type is http_request (knot_comb.c:639:13) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TInt(char, ), __restrict ), StartOf(Mem(Lval(Var(request, NoOffset)), Field(url:TArray(TInt(char, ), Some(Const(Int64(80,int,None))), ), NoOffset)))) (knot_comb.c:639:13) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:639:13) [Warning][Unknown] Invariant failed: expression "==(CastE(TInt(unsigned int, ), Lval(Var(line, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:589:5) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:1436:3) [Warning][Unknown] Unknown value type given as function argument (knot_comb.c:1437:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1352:3) [Warning][Unknown] Unknown value in ap could be an escaped pointer address! (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: Lval(Var(ap, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:1371:3) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:1371:3) [Warning][Unknown] Unknown address given as function argument (knot_comb.c:1458:3) [Warning][Unknown] Spawning functions from unknown function: str (knot_comb.c:1377:3) [Warning][Unknown] Not creating a thread from str because its type is char [200] (knot_comb.c:1377:3) [Warning][Unknown] Invalidating expressions: Const(Int64(2,int,None)), StartOf(Var(str, NoOffset)), Lval(Var(len, NoOffset)) (knot_comb.c:1377:3) [Warning][Unknown] ASM statement ignored. (knot_comb.c:1379:3) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:1438:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp, NoOffset)) (knot_comb.c:819:11) [Warning][Unknown] Unknown address in {&tmp} has escaped. (knot_comb.c:819:11) [Warning][Unknown] Invariant failed: expression "UnOp(!, !=(CastE(TInt(unsigned int, ), Lval(Var(tmp, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None))))))" not understood. (knot_comb.c:820:11) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___0, NoOffset)) (knot_comb.c:829:5) [Warning][Unknown] Unknown address in {&tmp___0} has escaped. (knot_comb.c:829:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(tmp___0, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:830:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(tmp___0, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:830:5) [Warning][Unknown] Invariant failed: expression "!=(CastE(TInt(unsigned int, ), Lval(Var(filename, NoOffset))), CastE(TInt(unsigned int, ), CastE(TPtr(TVoid(), ), Const(Int64(0,int,None)))))" not understood. (knot_comb.c:868:3) [Warning][Unknown] Invalidating expressions: AddrOf(Var(fd, NoOffset)) (knot_comb.c:869:5) [Warning][Unknown] Spawning functions from unknown function: buf (knot_comb.c:892:7) [Warning][Unknown] Not creating a thread from buf because its type is char [8192] (knot_comb.c:892:7) [Warning][Unknown] Invalidating expressions: CastE(TPtr(TVoid(), ), StartOf(Var(buf, NoOffset))) (knot_comb.c:892:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(n, NoOffset)) (knot_comb.c:892:7) [Warning][Unknown] Invalidating expressions: AddrOf(Var(ret, NoOffset)) (knot_comb.c:900:9) [Warning][Unknown] Invalidating expressions: Lval(Var(fd, NoOffset)) (knot_comb.c:920:5) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___2, NoOffset)) (knot_comb.c:1040:9) [Warning][Unknown] Invalidating expressions: AddrOf(Var(tmp___3, NoOffset)) (knot_comb.c:1042:9) [Warning][Unknown] Invalidating expressions: Lval(Var(c, NoOffset)) (knot_comb.c:1070:3) [Warning][Unknown] Invalidating expressions: Lval(Var(c, NoOffset)) (knot_comb.c:1119:9) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([main], {thread_main@knot_comb.c:1260:7})} and (Unknown int([0,64])) warn_type leq: incomparable abstr. values Thread and Int at knot_comb.c:1075:1: {([thread_main_autospawn@knot_comb.c:1243:5, main], {})} and (Unknown int([0,64])) [Warning][Unknown] ASM statement ignored. (knot_comb.c:764:3) [Warning][Unknown] Write to unknown address: privatization is unsound. (knot_comb.c:1287:7) Saving the solver result to original/solver.marshalled Saving the current configuration to original/config.json, meta-data about this run to original/meta.json, and solver statistics to original/solver_stats.csv runtime: 00:00:04.130 vars: 5845, evals: 13551 |rho|=2663 |called|=0 |stable|=5815 |infl|=5845 |wpoint|=5 Found 179 contexts for 29 functions. Top 5 functions: 32 contexts for entry state of output_aux on knot_comb.c:1341:1 26 contexts for entry state of assert_failed on knot_comb.c:1443:1 20 contexts for entry state of fatal on knot_comb.c:1432:1 13 contexts for entry state of output on knot_comb.c:1412:1 9 contexts for entry state of bool_value on knot_comb.c:2042:1 Memory statistics: total=7684.93MB, max=28.81MB, minor=7680.84MB, major=46.86MB, promoted=42.77MB minor collections=3669 major collections=13 compactions=0 [Warning][Deadcode] Function "fstat" will never be called: 2LoC (knot_comb.c:245:1) [Warning][Deadcode] Function "cache_new" will never be called: 46LoC (knot_comb.c:278:1) [Warning][Deadcode] Function "cache_add" will never be called: 18LoC (knot_comb.c:352:1) [Warning][Deadcode] Function "cache_remove" will never be called: 22LoC (knot_comb.c:382:1) [Warning][Deadcode] Function "cache_evict" will never be called: 7LoC (knot_comb.c:420:1) [Warning][Deadcode] Function "cache_find" will never be called: 2LoC (knot_comb.c:435:1) [Warning][Deadcode] Function "cache_use" will never be called: 4LoC (knot_comb.c:443:1) [Warning][Deadcode] Function "cache_finish_get" will never be called: 4LoC (knot_comb.c:454:1) [Warning][Deadcode] Function "cache_get" will never be called: 16LoC (knot_comb.c:476:1) [Warning][Deadcode] Function "cache_entry_addref" will never be called: 5LoC (knot_comb.c:502:1) [Warning][Deadcode] Function "cache_entry_release" will never be called: 13LoC (knot_comb.c:514:1) [Warning][Deadcode] Function "get_request_entry" will never be called: 6LoC (knot_comb.c:925:1) [Warning][Deadcode] Function "process_client_cache" will never be called: 39LoC (knot_comb.c:940:1) [Warning][Deadcode] Function "real_toutput" will never be called: 6LoC (knot_comb.c:1384:1) [Warning][Deadcode] Function "real_debug" will never be called: 6LoC (knot_comb.c:1398:1) [Warning][Deadcode] Function "warning" will never be called: 4LoC (knot_comb.c:1422:1) [Warning][Deadcode] Function "DefaultAllocEntry" will never be called: 2LoC (knot_comb.c:1596:1) [Warning][Deadcode] Function "DefaultFreeEntry" will never be called: 3LoC (knot_comb.c:1604:1) [Warning][Deadcode] Function "PL_HashTableDestroy" will never be called: 14LoC (knot_comb.c:1663:1) [Warning][Deadcode] Function "PL_HashTableRawLookup" will never be called: 18LoC (knot_comb.c:1690:1) [Warning][Deadcode] Function "PL_HashTableRawLookupConst" will never be called: 13LoC (knot_comb.c:1723:1) [Warning][Deadcode] Function "PL_HashTableRawAdd" will never be called: 35LoC (knot_comb.c:1750:1) [Warning][Deadcode] Function "PL_HashTableAdd" will never be called: 13LoC (knot_comb.c:1804:1) [Warning][Deadcode] Function "PL_HashTableRawRemove" will never be called: 31LoC (knot_comb.c:1830:1) [Warning][Deadcode] Function "PL_HashTableRemove" will never be called: 7LoC (knot_comb.c:1880:1) [Warning][Deadcode] Function "PL_HashTableLookup" will never be called: 6LoC (knot_comb.c:1896:1) [Warning][Deadcode] Function "PL_HashTableLookupConst" will never be called: 6LoC (knot_comb.c:1911:1) [Warning][Deadcode] Function "PL_HashTableEnumerateEntries" will never be called: 28LoC (knot_comb.c:1926:1) [Warning][Deadcode] Function "PL_HashTableDump" will never be called: 2LoC (knot_comb.c:1977:1) [Warning][Deadcode] Function "PL_HashString" will never be called: 6LoC (knot_comb.c:1986:1) [Warning][Deadcode] Function "PL_CompareStrings" will never be called: 2LoC (knot_comb.c:2000:1) [Warning][Deadcode] Function "PL_CompareValues" will never be called: 1LoC (knot_comb.c:2008:1) [Warning][Race] Memory location attr.__align@knot_comb.c:1076:23 (race with conf. 90): write with {} (conf. 90) (knot_comb.c:1107:9) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 90) (knot_comb.c:1107:9) write with {} (conf. 90) (knot_comb.c:1108:9) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 90) (knot_comb.c:1108:9) [Success][Race] Memory location __progname@knot_comb.c:1442:19 (safe): read with {} (conf. 110) (knot_comb.c:1448:3) read with {thread:([main], {})} (conf. 110) (knot_comb.c:1448:3) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1448:3) read with {} (conf. 110) (knot_comb.c:1453:3) read with {thread:([main], {})} (conf. 110) (knot_comb.c:1453:3) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1453:3) read with {} (conf. 110) (knot_comb.c:1454:5) read with {thread:([main], {})} (conf. 110) (knot_comb.c:1454:5) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1454:5) [Warning][Race] Memory location thread@knot_comb.c:1077:18 (race with conf. 110): write with {} (conf. 90) (knot_comb.c:1114:7) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 90) (knot_comb.c:1114:7) write with {} (conf. 110) (knot_comb.c:1114:7) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1114:7) [Warning][Race] Memory location vrnow_prev@knot_comb.c:1329:19 (race with conf. 110): write with {} (conf. 110) (knot_comb.c:1378:3) write with {thread:([main], {})} (conf. 110) (knot_comb.c:1378:3) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1378:3) [Warning][Race] Memory location ticks_rdiff@knot_comb.c:1327:12 (race with conf. 110): read with {} (conf. 110) (knot_comb.c:1353:3) read with {thread:([main], {})} (conf. 110) (knot_comb.c:1353:3) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1353:3) read with {} (conf. 110) (knot_comb.c:1380:3) read with {thread:([main], {})} (conf. 110) (knot_comb.c:1380:3) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1380:3) write with {} (conf. 110) (knot_comb.c:1380:3) write with {thread:([main], {})} (conf. 110) (knot_comb.c:1380:3) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1380:3) [Success][Race] Memory location ticks_per_microsecond@knot_comb.c:1470:12 (safe): read with {thread:([main], {})} (conf. 110) (knot_comb.c:765:3) [Warning][Race] Memory location g_bytes_sent@knot_comb.c:779:11 (race with conf. 110): read with {} (conf. 110) (knot_comb.c:918:7) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:918:7) read with {} (conf. 110) (knot_comb.c:1045:11) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1045:11) read with {thread:([main], {})} (conf. 110) (knot_comb.c:1274:7) write with {} (conf. 110) (knot_comb.c:918:7) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:918:7) write with {} (conf. 110) (knot_comb.c:1045:11) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1045:11) write with {thread:([main], {})} (conf. 110) (knot_comb.c:1275:7) [Warning][Race] Memory location attr.__size[?]@knot_comb.c:1076:23 (race with conf. 90): write with {} (conf. 90) (knot_comb.c:1107:9) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 90) (knot_comb.c:1107:9) write with {} (conf. 90) (knot_comb.c:1108:9) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 90) (knot_comb.c:1108:9) [Success][Race] Memory location g_timer_interval@knot_comb.c:780:21 (safe): read with {thread:([main], {})} (conf. 110) (knot_comb.c:1270:5) read with {thread:([main], {})} (conf. 110) (knot_comb.c:1294:7) [Success][Race] Memory location g_cache_misses@knot_comb.c:778:5 (safe): read with {thread:([main], {})} (conf. 110) (knot_comb.c:1285:7) write with {thread:([main], {})} (conf. 110) (knot_comb.c:1286:7) [Warning][Race] Memory location g_conn_succeed@knot_comb.c:775:12 (race with conf. 110): read with {} (conf. 110) (knot_comb.c:1033:7) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1033:7) read with {thread:([main], {})} (conf. 110) (knot_comb.c:1278:7) write with {} (conf. 110) (knot_comb.c:1033:7) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1033:7) write with {thread:([main], {})} (conf. 110) (knot_comb.c:1279:7) [Warning][Race] Memory location g_conn_open@knot_comb.c:773:12 (race with conf. 110): read with {} (conf. 110) (knot_comb.c:1097:5) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1097:5) read with {thread:([main], {})} (conf. 110) (knot_comb.c:1276:7) write with {} (conf. 110) (knot_comb.c:1097:5) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1097:5) write with {thread:([main], {})} (conf. 110) (knot_comb.c:1277:7) [Warning][Race] Memory location g_conn_active@knot_comb.c:776:12 (race with conf. 110): read with {} (conf. 110) (knot_comb.c:1069:3) read with {} (conf. 110) (knot_comb.c:1098:5) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1098:5) read with {} (conf. 110) (knot_comb.c:1118:9) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1118:9) read with {} (conf. 110) (knot_comb.c:1124:7) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1124:7) read with {thread:([main], {})} (conf. 110) (knot_comb.c:1282:7) write with {} (conf. 110) (knot_comb.c:1069:3) write with {} (conf. 110) (knot_comb.c:1098:5) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1098:5) write with {} (conf. 110) (knot_comb.c:1118:9) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1118:9) write with {} (conf. 110) (knot_comb.c:1124:7) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1124:7) [Success][Race] Memory location g_cache_hits@knot_comb.c:777:5 (safe): read with {thread:([main], {})} (conf. 110) (knot_comb.c:1283:7) write with {thread:([main], {})} (conf. 110) (knot_comb.c:1284:7) [Warning][Race] Memory location g_conn_fail@knot_comb.c:774:12 (race with conf. 110): read with {} (conf. 110) (knot_comb.c:1035:7) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1035:7) read with {} (conf. 110) (knot_comb.c:1058:5) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1058:5) read with {} (conf. 110) (knot_comb.c:1117:9) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1117:9) read with {thread:([main], {})} (conf. 110) (knot_comb.c:1280:7) write with {} (conf. 110) (knot_comb.c:1035:7) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1035:7) write with {} (conf. 110) (knot_comb.c:1058:5) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1058:5) write with {} (conf. 110) (knot_comb.c:1117:9) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1117:9) write with {thread:([main], {})} (conf. 110) (knot_comb.c:1281:7) [Success][Race] Memory location g_use_cache@knot_comb.c:770:12 (safe): read with {} (conf. 110) (knot_comb.c:1024:5) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1024:5) [Success][Race] Memory location g_spawn_on_demand@knot_comb.c:769:5 (safe): read with {} (conf. 110) (knot_comb.c:1105:5) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1105:5) [Success][Race] Memory location g_use_timer@knot_comb.c:768:5 (safe): read with {} (conf. 110) (knot_comb.c:917:5) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:917:5) read with {thread:([main], {})} (conf. 110) (knot_comb.c:1267:3) [Warning][Race] Memory location attr_init_done@knot_comb.c:1075:12 (race with conf. 110): read with {} (conf. 110) (knot_comb.c:1106:7) read with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1106:7) write with {} (conf. 110) (knot_comb.c:1112:9) write with {thread:([thread_main_autospawn@knot_comb.c:1243:5, main], {})} (conf. 110) (knot_comb.c:1112:9) [Warning][Race] Memory location (alloc@sid:711).id@:-1:-1 (race with conf. 110): write with {} (conf. 90) (knot_comb.c:1148:3) read with {} (conf. 110) (knot_comb.c:1146:3) write with {thread:([main], {})} (conf. 110) (knot_comb.c:1256:7) [Warning][Race] Memory location (alloc@sid:711).s@:-1:-1 (race with conf. 110): write with {} (conf. 90) (knot_comb.c:1148:3) read with {} (conf. 110) (knot_comb.c:1147:3) write with {thread:([main], {})} (conf. 110) (knot_comb.c:1257:7) Summary for all memory locations: safe: 8 vulnerable: 2 unsafe: 11 ------------------- total: 21 vars = 5845 evals = 13551 Timings: TOTAL 4.093 s parse 0.008 s convert to CIL 0.007 s analysis 4.080 s global_inits 0.003 s solving 4.059 s S.Dom.equal 0.010 s postsolver 0.568 s Timing used Memory statistics: total=7687.98MB, max=28.81MB, minor=7683.83MB, major=47.19MB, promoted=43.05MB minor collections=3670 major collections=13 compactions=0 === APPENDED BY BENCHMARKING SCRIPT === Analysis began: 2021-10-19 17:28:21 +0000 Analysis ended: 2021-10-19 17:28:25 +0000 Duration: 4.15 s Goblint params: /mnt/goblint-svcomp/vesal/analyzer/goblint -v --set dbg.timeout 900 --enable incremental.save --set save_run original knot_comb.c --enable dbg.uncalled --enable allglobs --enable printstats 1>/mnt/goblint-svcomp/vesal/bench/bench_result/knot_comb.FromScratch.txt 2>&1 Goblint version: heads/incremental/comparing-runs-0-g61376cf8 Cil version: 1.8.1 (unknown) Configuration: tracing disabled