Hi all; When i want to symbolically execute a program in which a symbolic variable is manipulated by an external library function call, how should i link the external library as part of the llvm compilation process for this program.
for example: given a symbolic variable lets say "msg". it is manipulated like msg = dn_comp (...) where dn_comp is part of an external library. i get the error "KLEE: ERROR: failed external call:__dn_comp" -- Mehmet Fatih BOYACI UIllinois at Urbana-Champaign PhD Candidate, Computer Science -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20090720/ebe233b0/attachment.html
