Hi all,
I will try to apply klee to check Xen (e.x. version 3.3.0) source code
like
your similar work to HiStar. But meet so many errors, most of them about
link and inline asm. Is there any detail stuff describing how do you deal
with
HiStar? thank!
cheers,
Liu Jian
----
email to: gjk.liu at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20091228/4f5a8b03/attachment.html
