manticoreos/manticore

Virtual memory region tracks only one page

Opened this issue · 0 comments

penberg commented

The VMRegion struct only tracks a single page address, which means delete() leaks pages.