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
