search

S2E / s2e-env

Your S2E project management tools. Visit https://s2e.systems/docs to get started.
Other
92 stars 51 forks source link

Concretization in tlb_fill #398

Open vitalych opened 4 years ago

vitalych commented 4 years ago

When there is a page fault on a symbolic address, the address gets concretized in tlb_fill() when being written to the cr2 register. This could probably be avoided by making the address concrete but without adding constraints. This should be enough to satisfy the OS.

vitalych commented 4 years ago

test.tar.xz.zip (Remove .zip extension, it's here only to satisfy github)