[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.

2014-05-08 22:30 GMT+08:00 Qixue Xiao <s2exqx at gmail.com>:
> 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.