fix constraint lost problem caused by mmap() wrapper

[tiedaoxiaotubie]

mmap() should do symbolization stuff, because sometimes it also works like a read function, if the program use mmap() to map part of input into memory, we need to make these bytes as symbolic