[klee-dev] How to handle projects containing library files

[im]

Dear KLEE community,When I use klee to deal with a project which uses some third-party library, what should I do?
If there is source code , I may compile it into xxx.bc and use --link-llvm-lib to add it into klee.
But if there is only library,
For example: a file main.c, it links library libxxx.a ,then how to use klee?

Yours sincerelytao.zhang
-------------- next part --------------
HTML attachment scrubbed and removed