system services 0 Memory areas whose taint information is changed and overlap page boundries in virtual memory need to be handled with care is used bugThis section focuses on the details of our dynamic analysis and how we combine it with the taint information the system manages gerridaeSo for a thread switch to occur there needs to be at least a transition from the current executing thread to kernel space, where the scheduler performs the actual thread switch, and a transition back to the new thread that is executed in user space animalSince this is a conservative approach we do not loose any taint information but sometimes more then the absolute minimum is tainted