[klee-dev] a question about fnction information

[Qixue Xiao]

Hi, every one,

I want to know  a function linked from which object in llvm bitcode,
how should I do?
for example, when I get the function named xxx, I want to know
function xxx whether is from libc library or other object.

I have used the linkage type to check it, but functions in libc or my
program are both ExternalLinkage.

thanks.