[klee-dev] Running KLEE for 32-bit

[Cristian Cadar]

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 at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>