Information about how KLEE would be executed in other arquitectures

[Ray Lass]

Hello,

I am working with Klee some time ago, and I would like to know which would
be the problem to use KLEE in other architectures, as if I use llvm for ARM
then It would be possible to execute KLEE.

if not What would be the explanation or the place where KLEE would not
support this. (This is what I would like to know)


Thanks in advance. I would really appreciate if you could give me even a
small explanation.

[Jonathan Neuschäfer]

Post by Ray Lass
Hello,
I am working with Klee some time ago, and I would like to know which would
be the problem to use KLEE in other architectures, as if I use llvm for ARM
then It would be possible to execute KLEE.

http://klee.llvm.org/GetStarted.html states: "NOTE: KLEE is currently
tested only on Linux x86-32 and x86-64 targets, using LLVM 2.9."

I don't think there should be anything that limits KLEE to x86/amd64,
and I'd certainly be interested to hear if someone tries to use it on
other architectures.

Are you experiencing problems with KLEE on other architectures?


HTH,
Jonathan Neuschäfer