Hi, I'm currently working on a security type system that enforces a noninterference-like property based on a static analysis of dalvik bytecode. In the context of this analysis I need to know if DMV registers are shared between threads.
I suspect they are not shared, but I could not find information on developer.android.com or via Google about this. Can some give me a pointer on this? (Or some information about how concurrency is handled at that level in general?) (I hope this is the right place to ask such a question) Thanks
signature.asc
Description: OpenPGP digital signature
