Hi, Following short list to give you quick start:
* checkout, configure and build KLEE on the command line
- I assume the build directory is inside the KLEE sources
- you should be able to run tests from there
* in Eclipse (with CDT plugin installed):
- new C++ Project
-> uncheck “use default location” and point to the source code location
-> select “Linux GCC” as toolchain
-> click next
-> advanced settings:
-> select "C/C++ Build" on the left side
-> unselect “Generate Makefiles automatically”
-> Update the "build directory" to point to the build directory
inside your KLEE sources
-> open "C/C++ General” on the left side and select “Paths and Symbols”
-> add the LLVM include directory there to all languages and
configuration
-> ok
-> Finish
Voila.
I’m currently using Eclipse Mars.
Let me know if you have any problems, or even better:
enhance that information and make a pull request here:
https://github.com/klee/klee.github.io
so we can update the documentation, maybe with some pictures.
Have fun,
Martin
> On 08 Sep 2015, at 09:38, felicia <[email protected]> wrote:
>
> Hi,
>
> I would like to use Eclipse for compiling and debug KLEE source code.
> So, I could trace it easily. Please inform me the right way to do it.
>
> Thank you.
>
> _______________________________________________
> klee-dev mailing list
> [email protected]
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
---------------------------------------------------
Martin Nowack
Research Assistant
Technische Universität Dresden
Computer Science
Institute of Systems Architecture
Systems Engineering
01062 Dresden
Phone: +49 351 463 39608
Email: [email protected]
----------------------------------------------------
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
