soundless
Ideally, pointer analysis like Andersen's algorithm should be sound and should not produce any false negative. Therefore, you should not be able to leak the secret here. Of course, ideally.
Writeups
Official
No official writeup linked.
Community
No community writeups yet. Solved it? Share how.
Log in to add a community writeup.