s2e-env icon indicating copy to clipboard operation
s2e-env copied to clipboard

Published 20 hours ago • verified publisher icon S2E

Concretization in tlb_fill

Open vitalych opened this issue 4 years ago • 1 comments

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 avatar Mar 25 '20 18:03 vitalych

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

vitalych avatar Apr 15 '20 12:04 vitalych