Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / valgrind / c756a8e4929c87ea9e801eac2507988caf3206ac / . / TODO
blob: 738e5094490804848da34549b8e336a080d2bcd2 [file] [log] [blame]
Doesn't run
~~~~~~~~~~~
User Mode Linux.
Wine.
Desirable
~~~~~~~~~
Stack: make return address into NoAccess ?
Future
~~~~~~
Automatic invariant inference and checking.