From ziqishuai at gmail.com Sat Feb 25 03:29:02 2023 From: ziqishuai at gmail.com (Ziqi Shuai) Date: Sat, 25 Feb 2023 11:29:02 +0800 Subject: [klee-dev] About external shared libraries Message-ID: Hi all, I'm trying to use KLEE to analyze some real-world programs such as image processing programs. Unfortunately, I found KLEE usually terminated early because of 'failed external call' errors, where the call was from shared libraries located in directories on the system search path. I know I can resolve the trouble through loading necessary shared libraries manually, i.e., using the '-load' option. However, real-world programs often depend on a bulk of shared libraries, which make the manual way clumsy and tedious. Hence, I'd like to know whether KLEE is able to search for these shared libraries in an automatic way, just like what native executables do. Best Regards, Ziqi -------------- next part -------------- HTML attachment scrubbed and removed From c.cadar at imperial.ac.uk Tue Feb 28 10:49:30 2023 From: c.cadar at imperial.ac.uk (Cristian Cadar) Date: Tue, 28 Feb 2023 10:49:30 +0000 Subject: [klee-dev] About external shared libraries In-Reply-To: References: Message-ID: <5706af35-09fd-ed0f-a00c-714adf0971fb@imperial.ac.uk> Hi Ziqi, There is no such feature in KLEE currently. If this is something you'd like to contribute, we'd be happy to discuss your proposal in more detail. Best, Cristian On 25/02/2023 03:29, Ziqi Shuai wrote: > Hi all, > I'm trying to use KLEE to analyze some real-world programs such as image > processing programs. Unfortunately, I found KLEE usually terminated > early because of 'failed external call' errors, where?the call was from > shared libraries located in directories on the system search path. > > I know I can resolve the trouble through loading necessary shared > libraries manually, i.e., using the '-load' option. However, real-world > programs often depend on a bulk?of shared libraries, which make the > manual way clumsy?and tedious. Hence, I'd like to know whether KLEE is > able to search for these shared libraries in an automatic way,?just like > what native executables do. > > Best Regards, > Ziqi > > _______________________________________________ > klee-dev mailing list > klee-dev at imperial.ac.uk > https://mailman.ic.ac.uk/mailman/listinfo/klee-dev