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@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
