[klee-dev] External function "mmap" can not be resolved correctly

[peng li]

Hi There

I am using the latest klee-uclibc from homepage, it looks like that
KLEE is not able to resolve "mmap" system call correctly, KLEE always
aborts at the following code:

void* m = mmap(0, masterLength, PROT_READ, _MAP_BASE, masterFD, 0);
uint64_t* fptr = (uint64_t*)m;
__attribute__((unused)) uint64_t version = le64toh(*fptr++);

The "fptr" pointer can not be resolved in the executeMemoryOperation 
function,
any idea about it?

Thanks
Peng