Following is a small code example which displays this error regarding user
specified assembly addresses.
*#include <stdio.h>*
*volatile unsigned char x1[5] __asm("0x7050000");*
*
*
*int main(int argc, char** argv) {*
*
*
* int i;*
* for(i=0; i<4; i++)*
* {*
* x1[i]='k';*
* }*
*
*
* printf("%s\n",x1);*
* return 0;*
*}*
On Tue, Jun 19, 2012 at 11:43 PM, Kapil Anand <[email protected]> wrote:
> 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
