Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / valgrind / 5dcde04a7d0fb7b79a464661720e494e20546637 / . / 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.