llvm dev - Jul 2018 - Bitcode generated with LLVM 7.0 used in LLVM 3.4

Hi

I need a concolic execution framework based on LLVM. As far as I know, KLEE
might be the best choice. However, KLEE(the stable version) is based on
LLVM 3.4.

I compiled my code with the latest LLVM, whose version is 7.0. Anyone know
whether the bitcode could be used by KLEE. Or do I have to compile with the
old version of LLVM again. Furthermore, if you have any other concolic
execution framework, please recommend it to me. Many Thanks

Regards
Muhui
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20180714/5aeac547/attachment.html>

As far as I remember the bitcode format changed during 3.4 and 7.0 so
BitcodeReader might broke, just saying

Zhang
> 在 2018年7月15日，09:25，Muhui Jiang via llvm-dev <llvm-dev at
lists.llvm.org> 写道：
> 
> Hi
> 
> I need a concolic execution framework based on LLVM. As far as I know, KLEE
might be the best choice. However, KLEE(the stable version) is based on LLVM
3.4.
> 
> I compiled my code with the latest LLVM, whose version is 7.0. Anyone know
whether the bitcode could be used by KLEE. Or do I have to compile with the old
version of LLVM again. Furthermore, if you have any other concolic execution
framework, please recommend it to me. Many Thanks
> 
> Regards
> Muhui
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev

https://llvm.org/docs/DeveloperPolicy.html#ir-backwards-compatibility
LLVM 7.0 can probably read and compile bitcode from 3.4, though some
optimisations may be missed.
3.4 definitely cannot read bitcode from later versions.


On 15 July 2018 at 17:37, mayuyu.io via llvm-dev <llvm-dev at
lists.llvm.org>
wrote:
> As far as I remember the bitcode format changed during 3.4 and 7.0 so
> BitcodeReader might broke, just saying
>
> Zhang
>
> > 在 2018年7月15日，09:25，Muhui Jiang via llvm-dev <llvm-dev at
lists.llvm.org>
> 写道：
> >
> > Hi
> >
> > I need a concolic execution framework based on LLVM. As far as I know,
> KLEE might be the best choice. However, KLEE(the stable version) is based
> on LLVM 3.4.
> >
> > I compiled my code with the latest LLVM, whose version is 7.0. Anyone
> know whether the bitcode could be used by KLEE. Or do I have to compile
> with the old version of LLVM again. Furthermore, if you have any other
> concolic execution framework, please recommend it to me. Many Thanks
> >
> > Regards
> > Muhui
> > _______________________________________________
> > LLVM Developers mailing list
> > llvm-dev at lists.llvm.org
> > http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20180715/fd954943/attachment.html>