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 <[email protected]>:
> 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.

_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

Reply via email to