[klee-dev] About external shared libraries

[Cristian Cadar]

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