Hi Kris,
On Wed, Feb 1, 2017 at 4:46 PM, Krzysztof Kwiatkowski kris@amongbytes.com wrote:
Hi guys,
I have maybe dumb question, so please forgive me but I'm not really expert in this topic. I think it would be interesting to use valgrind (memcheck) for testing OP-TEE. It actually seems not really possible/super complicated/I don't know how to do it. But any idea if it would be possible be possible to compile whole thing in clang with interesting sanitizers enabled? Then I would like to run tests on TEE and be somehow notified if sanitizer detects an error.
Do you know if somebody have done it already?
I'd say that it's more or less impossible.
But we have something similar. If you build OP-TEE with CFG_CORE_SANITIZE_KADDRESS=y there's checks performed in a similar manner to KASAN in the Linux kernel.
Regards, Jens