From c.cadar at imperial.ac.uk Thu Jul 3 09:25:32 2025 From: c.cadar at imperial.ac.uk (Cristian Cadar) Date: Thu, 3 Jul 2025 10:25:32 +0200 Subject: [klee-dev] How to configure and build KLEE to work with LLVM 16? In-Reply-To: <729a624e.a42d.197a1c9723c.Coremail.liuqiaosen666@163.com> References: <729a624e.a42d.197a1c9723c.Coremail.liuqiaosen666@163.com> Message-ID: 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 > klee-dev at imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev