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