Hi, I noticed that KLEE has a functionality for specifying an address in assembly code for globals. However, it seems that the code in AddressSpace.cpp, specifically the function "copyOutConcretes" limit its applicability in case of external functions. It make only that data available to external functions whose address has not been specified by user.
Suppose we have a global structure in Code, whose address is specified in the code, and pass the pointer to this structure to an external call ( say getopt_long which takes structure pointer and is quite common in coreutils), then does KLEE not suppose to work on such programs? I was having problems running KLEE in such situations. Thanks --Kapil
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
