search

borzacchiello / seninja

symbolic execution plugin for binary ninja
BSD 2-Clause "Simplified" License
247 stars 19 forks source link

Memory page initialization #18

Open skirge opened 4 months ago

skirge commented 4 months ago

Hello,

I think that there is a bug in segment loading - when segment doesn't end on page boundary like this: Start End 0xXXXXXXX 0xYYYYY698 0xYYYYY698 0xZZZZZZZZ then first page of second segment is not initialized with data (creation is skipped in mmap function)