symEval: correctly store lengths of memory derefs
authorTodd Frederick <taf@cs.wisc.edu>
Thu, 3 Jun 2010 17:02:18 +0000 (12:02 -0500)
committerTodd Frederick <taf@cs.wisc.edu>
Thu, 3 Jun 2010 17:02:18 +0000 (12:02 -0500)
commitb0ce754d7f379c9de766887e412a2d5486575928
tree425d3ea57d8d988ea2470bb055a20312c80f5205
parent547080169555eb269d5860b57fe4844c41dc292d
symEval: correctly store lengths of memory derefs
symEval/src/SymEvalPolicy.h