Hi,
We don't support 32-bit anymore. See e.g.:
https://github.com/klee/klee/issues/1327
https://github.com/klee/klee/issues/286
Cristian
On 23/03/2021 06:08, kmohit wrote:
Hi,
KLEE version: 2.2
LLVM version: 9.0.0
Uclibc version: 1.2
Solver: Z3
I am trying to run a 32-bit bitcode on KLEE but I am getting the
following error :
*LLVM ERROR: 64-bit code requested on a subtarget that doesn't support it!*
**
**
*
*After a little bit of research I found that building klee on 32 bit
system, I can run 32 bitcode on KLEE. However, I am unable to build
KLEE-2.2 on 32 bit system.
My question is how can I run 32 bitcode on klee version 2.2.
ThanksĀ in advance !
Mohit kumar
For assimilation and dissemination of knowledge, visit cakes.cdac.in
150th Anniversary Mahatma Gandhi
------------------------------------------------------------------------------------------------------------
[ C-DAC is on Social-Media too. Kindly follow us at:
Facebook: https://www.facebook.com/CDACINDIA & Twitter: @cdacindia ]
This e-mail is for the sole use of the intended recipient(s) and may
contain confidential and privileged information. If you are not the
intended recipient, please contact the sender by reply e-mail and destroy
all copies and the original message. Any unauthorized review, use,
disclosure, dissemination, forwarding, printing or copying of this email
is strictly prohibited and appropriate legal action will be taken.
------------------------------------------------------------------------------------------------------------
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev