Hi folks,
Some applications would require using valloc(). I am wondering if there
is a possible way to implement the valloc() within KLEE. Any idea?-- Regards, Heming Cui -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20101210/2cfbb5d1/attachment.html
