(adding the klee-dev mailing list to CC again) On Tue, Mar 12, 2013 at 01:23:08PM +0800, 明白了 wrote: > Hello,how can I open the source code of this virture machine?In what > circumstances can I open it? And can you recommend me a suitable software to > open it. > Thanks a lot!
As descibed at "Getting Started"[1], you can download the current development version of KLEE either with Subversion[2] or Git[3], both of which can be installed through the package managers of most Linux distributions. To view the source code, you can use your favorite integrated development environment, or a file browser and a text editor. You may view and modify the KLEE source code without obtaining special permission, but if you want to distribute a modified version of it, please read LICENSE.TXT (which is part of the source). [1] http://klee.llvm.org/GetStarted.html#build [2] https://subversion.apache.org/ [3] http://git-scm.com/ Hope that helps, Jonathan Neuschäfer _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
