keep top when truncating shadow stack
commit58e253d2442ae44986f5917d833ba67a81083c39
authorDominik Gabi <dominik@fb.com>
Fri, 19 Nov 2021 21:48:12 +0000 (19 13:48 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 19 Nov 2021 21:49:29 +0000 (19 13:49 -0800)
tree597a87a41dccead3c864ad97da54aadf8eb7e6ec
parent75bbb59046b00b21baf4c0a028301a7336c96762
keep top when truncating shadow stack

Summary: Instead of truncating and blindly extending the stack on unknown operations; shift the stack to the right and left respectively. This seems to preserve more accurately tainted information (is still a workaround though).

Reviewed By: ricklavoie

Differential Revision: D32517509

fbshipit-source-id: 7e61f6e111caa778d28b0109bb56043027518543
hphp/runtime/vm/taint/interpreter.cpp
hphp/runtime/vm/taint/state.cpp
hphp/runtime/vm/taint/state.h