Closed tiedaoxiaotubie closed 1 year ago
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
mmap()
read
mmap()
should do symbolization stuff, because sometimes it also works like aread
function, if the program usemmap()
to map part of input into memory, we need to make these bytes as symbolic