Showing error 1755

User: Jiri Slaby
Error type: Reachable Error Location
Error type description: A specified error location is reachable in some program path
File location: product-lines/email_spec4_productSimulator_unsafe.cil.c
Line in file: 1308
Project: SV-COMP 2013
Project version: 2.6.28
Tools: Manual Work
Entered: 2013-01-17 16:57:54 UTC

Source: 

1278    {
1279#line 341
1280    tmp___3 = getEmailSignKey(msg);
1281#line 341
1282    tmp___4 = isKeyPairValid(tmp___3, pubkey);
1283    }
1284#line 341
1285    if (tmp___4) {
1286      {
1287#line 342
1288      setEmailIsSignatureVerified(msg, 1);
1289      }
1290    } else {
1291
1292    }
1293  } else {
1294
1295  }
1296#line 1706 "Client.c"
1297  return;
1298}
1299}
1300#line 1 "wsllib_check.o"
1301#pragma merger(0,"wsllib_check.i","")
1302#line 3 "wsllib_check.c"
1303void __automaton_fail(void) 
1304{ 
1305
1306  {
1307  goto ERROR;
1308  ERROR: ;
1309#line 53 "wsllib_check.c"
1310  return;
1311}
1312}
1313#line 1 "ClientLib.o"
1314#pragma merger(0,"ClientLib.i","")
1315#line 6 "ClientLib.h"
1316char *getClientName(int handle ) ;
1317#line 8
1318void setClientName(int handle , char *value ) ;
Show full sources
↑