Hi,
In principle, the instructions for LLVM 13 should also work for LLVM 16,
with appropriate adjustments: https://klee-se.org/build/build-llvm13/
Let us know if you run into any issues.
Best,
Cristian
On 24/06/2025 13:53, 刘乔森 wrote:
I noticed that KLEE 3.1 supports LLVM 16, as mentioned in the release
notes. I want to use KLEE with LLVM 16 for symbolic execution in my
project. Could you provide detailed steps on how to properly configure
and build KLEE 3.1 to work with LLVM 16? Are there any specific
dependencies or settings I need to pay attention to for optimal
compatibility? Are there any recommended build guides or official
documentation for this setup?
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
