[klee-commits] [1518] Only the remote addr should be sym.

[cristic at stanford.edu]

Revision: 1518
          http://keeda.stanford.edu/viewvc/viewvc.cgi?view=rev&revision=1518
Author:   cristic
Date:     2009-03-19 17:09:52 -0700 (Thu, 19 Mar 2009)
Log Message:
-----------
Only the remote addr should be sym.

Modified Paths:
--------------
    models/simple/fd_init.c

Modified: models/simple/fd_init.c
===================================================================
--- models/simple/fd_init.c	2009-03-19 22:20:46 UTC (rev 1517)
+++ models/simple/fd_init.c	2009-03-20 00:09:52 UTC (rev 1518)
@@ -99,7 +99,7 @@
     dfile->conn = calloc(1, sizeof(*(dfile->conn)));
     dfile->conn->localaddr = calloc(1, sizeof(*(dfile->conn->localaddr)));
     dfile->conn->remoteaddr = malloc(sizeof(*(dfile->conn->localaddr)));
-    klee_make_symbolic_name(dfile->conn, sizeof(*dfile->conn), conn_name);
+    klee_make_symbolic_name(dfile->conn->remoteaddr, sizeof(*dfile->conn->remoteaddr), conn_name);
     /* TODO: conn should be more meaningful! e.g. the lengths */
   }
 }
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://keeda.Stanford.EDU/pipermail/klee-commits/attachments/20090319/92c7c15c/attachment.html